Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
![]() |
Results and trends in theoretical computer science colloquium in honor of Arto Salomaa, Graz, Austria, June 10-11, 1994 : proceedingsArto Salomaa; J Karhumäki (Juliani),; Hermann A Maurer 1941-; Grzegorz Rozenberg; Colloquium in Honor of Arto Salomaa (1994 : Graz, AU)Berlin New York Springer-Verlag c1994Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.812 e.1 ) e outros locais(Acessar) |
2 |
Material Type: Livro
|
![]() |
Structures in logic and computer science a selection of essays in honor of A. EhrenfeuchtJan Mycielski 1932-; Grzegorz Rozenberg; Arto SalomaaBerlin Springer New York c1997Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1261 ) e outros locais(Acessar) |
3 |
Material Type: Livro
|
![]() |
Concurrent object-oriented programming and Petri nets advances in Petri netsGul A Agha; Fiorella De Cindio; Grzegorz RozenbergBerlin Springer New York c2001Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.2001 ) e outros locais(Acessar) |
4 |
Material Type: Livro
|
![]() |
Formal and natural computing essays dedicated to Grzegorz RozenbergWilfried Brauer; Grzegorz RozenbergBerlin Springer New York c2002Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.2300 ) e outros locais(Acessar) |
5 |
Material Type: Livro
|
![]() |
Theory is forever essays dedicated to Arto Salomaa on the occasion of his 70th birthdayArto Salomaa; Juhani Karhumäki; Hermann A Maurer 1941-; Gheorghe Paun; Grzegorz RozenbergBerlin Springer New York, NY 2004Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.3113 e.2 ) e outros locais(Acessar) |
6 |
Material Type: Livro
|
![]() |
Graph transformations second international conference, ICGT 2004, Rome Italy, September 28-October 2, 2004 : proceedingsICGT 2004 (2nd 2004 Rome, Italy) Gregor Engels; Francesco Parisi Presice; Grzegorz Rozenberg; Hartmut EhrigBerlin Springer New York c2004Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.3256 ) e outros locais(Acessar) |
7 |
Material Type: Livro
|
![]() |
Unconventional computation 4th international conference, UC 2005, Sevilla, Spain, October 3-7, 2005 proceedingsUC 2005 (2005 Seville, Spain) (4th Michael J Dinneen; Gheorghe Paun; Mario J Pérez-Jiménez; Grzegorz Rozenberg; Cristian Calude 1952Berlin Springer New York c2005Acesso online. A biblioteca também possui exemplares impressos. |
8 |
Material Type: Livro
|
![]() |
Formal methods in software and systems modeling essays dedicated to Hartmut Ehrig on the occasion of his 60th birthdayUgo Montanari; F Orejas (Fernando); Grzegorz Rozenberg; Gabriele Taentzer; Hartmut Ehrig; H.-J Kreowski (Hans-J org)Berlin Springer New York c2005Acesso online. A biblioteca também possui exemplares impressos. |
9 |
Material Type: Livro
|
![]() |
Unconventional computation 5th international conference, UC 2006, York, UK, September 4-8, 2006 proceedingsUC 2006 (5th 2006 York, England) Cristian Calude 1952; Michael J Dinneen; Gheorghe Paun; Grzegorz Rozenberg; Susan StepneyBerlin Springer New York c2006Acesso online. A biblioteca também possui exemplares impressos. |
10 |
Material Type: Livro
|
![]() |
Graph transformations third international conference, ICGT 2006, Natal, Rio Grande do Norte, Brazil, September 17-23, 2006 proceedingsICGT 2006 (3rd 2006 Natal, Brazil) Hartmut Ehrig; Ugo Montanari; Leila Ribeiro; Grzegorz Rozenberg; Andrea Corradini 1960Berlin Springer New York c2006Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.4178 e.2 ) e outros locais(Acessar) |