Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
![]() |
The Logic of Partial InformationAbdallah Grzegorz Rozenberg; Arto SalomaaSpringer Berlin Heidelberg 1995Acesso online |
2 |
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) |
3 |
Material Type: Livro
|
![]() |
Membrane ComputingSvetlana Cojocaru, Marian Gheorghe, Yurii Rogozhin, Grzegorz Rozenberg, Arto Salomaa Artiom Alhazov Svetlana Cojocaru; Marian Gheorghe; Yurii Rogozhin; Grzegorz Rozenberg; Arto SalomaaSpringer Berlin Heidelberg 2014Acesso online |
4 |
Material Type: Livro
|
![]() |
Stepwise Refinement of Distributed Systems Models, Formalisms, CorrectnessBakker Jacobus Willem Bakker; W.-P de Roever; Grzegorz RozenbergSpringer Berlin Heidelberg 1990Acesso online |
5 |
Material Type: Livro
|
![]() |
A Decade of Concurrency Reflections and PerspectivesBakker Jacobus Willem Bakker; W.-P de Roever; Grzegorz RozenbergSpringer Berlin Heidelberg 1994Acesso online |
6 |
Material Type: Livro
|
![]() |
Current trends in concurrencyJ W Bakker W P Roever; G RozenbergGoos, G, ed; Hartmanis, J, ed; Leeuwen, J Van, ed Lecture Notes In Computer Science Berlin, Springer-Verlag, c1985-Berlin Springer-Verlag c1986Localização: IFSC - Inst. Física de São Carlos (P621.38195 L471 v.224 )(Acessar) |
7 |
Material Type: Livro
|
![]() |
Current trends in concurrency overviews and tutorialsJ. W. de Bakker 1939- (Jacobus Willem); W.-P. de Roever; Grzegorz Rozenberg; Dutch Concurrency Project; European Strategic Programme of Research and Development in Information Technology Project 415; ESPRIT/LPC Advanced School on Current Trends in Concurrency (1985 Noordwijkerhout, Netherlands)Berlin New York Springer-Verlag c1986Localização: EPBC - Esc. Politécnica-Bib Central (004.272 Es66 ) e outros locais(Acessar) |
8 |
Material Type: Livro
|
![]() |
Structural Complexity IIBalcázar Josep Diaz; Joaquim Gabarro; Grzegorz Rozenberg; Arto SalomaaSpringer Berlin Heidelberg 1990Acesso online |
9 |
Material Type: Livro
|
![]() |
Structural Complexity IBalcázar Josep Diaz; Joaquim Gabarro; Grzegorz Rozenberg; Arto SalomaaSpringer Berlin Heidelberg 1988Acesso online |
10 |
Material Type: Livro
|
![]() |
Nonsequential ProcessesBest Cesar Fernandez C.; Grzegorz Rozenberg; Arto SalomaaSpringer Berlin Heidelberg 1988Acesso online |