Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
![]() |
Théorie des automates et applications actes des deuxièmes journées franco-belges, Université de Rouen, 3-5 Septembre 1991Journées franco-belges (2èmes 1991 Université de Rouen, France) Daniel KrobMont Saint-Aignan Publications de l'Université de Rouen c1992Localização: IME - Inst. Matemática e Estatística (QA804.C J86a )(Acessar) |
2 |
Material Type: Livro
|
![]() |
Formal modeling and analysis of timed systems third international conference, FORMATS 2005, Uppsala, Sweden September 26-28, 2005 : proceedingsFORMATS 2005 (2005 Uppsala, Sweden) Paul Pettersson; Wang Yi; SpringerLink (Online service)Berlin Springer c2005Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.3829 ) e outros locais(Acessar) |
3 |
Material Type: Livro
|
![]() |
Semantics of systems of concurrent processes proceedingsSpring School of the Laboratoire Informatique Theorique et Programmation, 17., la Roche Posay, 1990 Irene GuessarianBerlin Springer 1990Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.469 ) e outros locais(Acessar) |
4 |
Material Type: Livro
|
![]() |
Automata implementation 4th International Workshop on Implementing Automata, WIA'99, Potsdam, Germany, July 17-19, 1999 : revised papersInternational Workshop on Implementing Automata (4th 1999 Potsdam, Germany) Oliver Boldt; Helmut JürgensenBerlin Springer New York c2001Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.2214 ) e outros locais(Acessar) |
5 |
Material Type: Livro
|
![]() |
Implementation and application of automata 9th international conference, CIAA 2004, Kingston, Canada, July 22-24 2004 : revised selected papersCIAA 2004 (2004 Kingston, Ont.) Alexander Okhotin; Kai Salomaa; Sheng Yü; Michael DomaratzkiBerlin Springer New York c2005Acesso online. A biblioteca também possui exemplares impressos. |
6 |
Material Type: Livro
|
![]() |
Machines, Computations, and Universality 4th international conference, MCU 2004, Saint Petersburg, Russia September 21-24, 2004 : revised selected papersMCU 2004 (2004 Saint Petersburg, Russia) Maurice Margenstern; SpringerLink (Online service)Berlin Springer c2004Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.3354 ) e outros locais(Acessar) |
7 |
Material Type: Livro
|
![]() |
Automata implementation First International Workshop on Implementing Automata, WIA '96, London, Ontario, Canada, August 29-31, 1996 : revised papersInternational Workshop on Implementing Automata (1st 1996 London, Ont.) Darrell Ronald Raymond; Derick Wood 1940-; Sheng YüBerlin Springer New York c1997Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1260 ) e outros locais(Acessar) |
8 |
Material Type: Livro
|
![]() |
Automata implementation Second International Workshop on Implementing Automata, WIA'97, London, Ontario, Canada, September 18-20, 1997 ; rev. papersBerlin Springer 1998Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1436 ) e outros locais(Acessar) |
9 |
Material Type: Livro
|
![]() |
Implementation and application of automata 11th international conference, CIAA 2006, Taipei, Taiwan, August 21-23 2006 : proceedingsCIAA 2006 (2006 Taipei, Taiwan) Oscar H Ibarra; Hsu-Chun Yen 1958Berlin Springer New York c2006Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.4094 ) e outros locais(Acessar) |
10 |
Material Type: Livro
|
![]() |
Advanced lectures on machine learning ML Summer Schools 2003, Canberra, Australia, February 2-14, 2003 [and] T ubingen, Germany, August 4-16, 2003 : revised lecturesMachine Learning Summer School (2003 Canberra, A.C.T.) Olivier Bousquet; Ulrike von Luxburg; Gunnar R atsch; Machine Learning Summer School (2003 T ubingen, Germany)Berlin Springer New York 2004Acesso online. A biblioteca também possui exemplares impressos. |