Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
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. |
|
2 |
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) |
|
3 |
Material Type: Livro
|
Abstract state machines 2003 advances in theory and practice : 10th international workshop, ASM 2003, Taormina, Italy, March 3-7, 2003 : proceedingsASM 2003 (2003 Taormina, Italy) E Börger 1946- (Egon); Angelo Gargantini 1969-; Elvinia Riccobene 1964-Berlin Springer New York c2003Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.2589 )(Acessar) |
|
4 |
Material Type: Livro
|
Topics in mathematical system theoryR. E. Kalman 1930- (Rudolf Emil) Peter L Falb; Michael A ArbibNew York McGraw-Hill 1969Localização: EPBC - Esc. Politécnica-Bib Central (004.413 K126t ) e outros locais(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
|
Formal techniques, modelling and analysis of timed and fault-tolerant systems joint international conferences on Formal Modelling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24 2004 : proceedingsFORMATS 2004 (2004 Grenoble, France) Y Lakhnech (Yassine); Sergio Yovine; FTRTFT 2004 (2004 Grenoble, France)Berlin Springer New York c2004Acesso online. A biblioteca também possui exemplares impressos. |
|
7 |
Material Type: Livro
|
Static Analysis: 9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002. ProceedingsHermenegildo, Manuel ; Puebla, German Puebla, Germán ; Hermenegildo, Manuel V.Berlin, Heidelberg: Springer Berlin / Heidelberg 2002Texto completo disponível |
|
8 |
Material Type: Livro
|
Implementation and Application of Automata: 6th International Conference, CIAA 2001, Pretoria, South Africa, July 23-25, 2001. Revised PapersWatson, Bruce ; Wood, Derick Wood, Derick ; Watson, Bruce W.Berlin, Heidelberg: Springer Berlin / Heidelberg 2003Texto completo disponível |
|
9 |
Material Type: Livro
|
Abstraction, Reformulation, and Approximation: 5th International Symposium, SARA 2002, Kananaskis, Alberta, Canada, August 2-4, 2002, ProceedingsKoenig, Sven ; Holte, Robert C Holte, Robert C. ; Koenig, SvenBerlin, Heidelberg: Springer Berlin / Heidelberg 2002Texto completo disponível |
|
10 |
Material Type: Livro
|
Types for Proofs and Programs: International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24–28, 2002. Selected PapersGeuvers, Herman ; Wiedijk, Freek Geuvers, Herman ; Wiedijk, FreekBerlin, Heidelberg: Springer Berlin Heidelberg 2003Texto completo disponível |