Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
![]() |
Interactive Markov chains and the quest for quantified qualityHolger Hermanns 1967-Berlin Springer New York c2002Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.2428 )(Acessar) |
2 |
Material Type: Livro
|
![]() |
The essence of computation complexity, analysis, transformation : essays dedicated to Neil D. JonesNeil D Jones; Torben Æ Mogensen 1960-; David A Schmidt 1953 May 10-; Hal SudboroughBerlin Springer New York c2002Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.2566 )(Acessar) |
3 |
Material Type: Livro
|
![]() |
Developments in language theory 7th international conference, DLT 2003, Szeged, Hungary, July 7-11, 2003 : proceedingsConference on Developments in Language Theory (7th 2003 Szeged, Hungary) Zoltán Ésik 1951-; Zoltán Fülöp 1955-Berlin Springer New York c2003Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.2710 )(Acessar) |
4 |
Material Type: Livro
|
![]() |
Implementation and application of automata 7th international conference, CIAA 2002, Tours, France, July 3-5, 2002 : revised papersInternational Conference on Implementation and Application of Automata (7th 2002 Tours, France) Jean-Marc Champarnaud; Denis MaurelBerlin Springer New York c2003Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.2608 )(Acessar) |
5 |
Material Type: Livro
|
![]() |
Implementation and application of automata 6th international conference, CIAA 2001, Pretoria, South Africa, July 23-25, 2001 : revised papersInternational Conference on Implementation and Application of Automata (6th 2001 Pretoria, South Africa) Bruce William Watson 1967-; Derick Wood 1940-Berlin Springer New York c2002Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.2494 ) e outros locais(Acessar) |
6 |
Material Type: Livro
|
![]() |
Computer organization and the system/370Harry KatzanNew York Van Nostrand Reinhold Co 1971Localização: EPBC - Esc. Politécnica-Bib Central (004.2 K159c ) e outros locais(Acessar) |
7 |
Material Type: Livro
|
![]() |
CONCUR 2001 concurrency theory : 12th international conference, Aalborg, Denmark, August 20-25, 2001, proceedingsInternational Conference on Concurrency Theory (12th 2001 Aalborg, Denmark) K. G Larsen 1957- (Kim G.); M Nielsen (Mogens) 1949-Berlin Springer New York 2001Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.2154 ) e outros locais(Acessar) |
8 |
Material Type: Livro
|
![]() |
CONCUR 2003 - concurrency theory 14th international conference, Marseille, France, September 3-5, 2003 : proceedingsInternational Conference on Concurrency Theory (14th 2003 Marseille, France) Roberto M Amadio; Denis LugiezBerlin Springer New York c2003Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.2761 )(Acessar) |
9 |
Material Type: Livro
|
![]() |
Automata Logics, and Infinite GamesErich Grädel Erich Grädel; Wolfgang Thomas; Thomas WilkeSpringer Berlin Heidelberg 2002Acesso online. A biblioteca também possui exemplares impressos. |
10 |
Material Type: Livro
|
![]() |
Administração por sistemasCharles J Minnich Oscar S NelsonSão Paulo Atlas 1971Localização: ECA - Escola de Comunicações e Artes (658.4032 M665a ) e outros locais(Acessar) |