Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Petri Nets: Applications and Relationships to Other Models of Concurrency: Advances in Petri Nets 1986, Part II Proceedings of an Advanced Course Bad Honnef, 8.–19. September 1986Brauer, W ; Reisig, W ; Rozenberg, G Rozenberg, G. ; Reisig, W. ; Brauer, W.Berlin, Heidelberg: Springer Berlin Heidelberg 1987Texto completo disponível |
|
2 |
Material Type: Livro
|
Real-Time: Theory in Practice: REX Workshop Mook, The Netherlands, June 3–7, 1991 ProceedingsBakker, J. W. de ; Huizing, C ; Roever, W. P. de ; Rozenberg, G Huizing, C. ; de Roever, W. P. ; Rozenberg, G. ; de Bakker, J. W.Berlin, Heidelberg: Springer Berlin Heidelberg 1992Texto completo disponível |
|
3 |
Material Type: Livro
|
Semantics: Foundations and Applications: REX Workshop Beekbergen, The Netherlands, June 1–4, 1992 ProceedingsBakker, J. W. de ; Roever, W. -P. de ; Rozenberg, G Rozenberg, G. ; de Roever, W. -P. ; de Bakker, J. W.Berlin, Heidelberg: Springer Berlin Heidelberg 1993Texto completo disponível |
|
4 |
Material Type: Livro
|
Advances in Petri Nets 1985Rozenberg, G Rozenberg, G.Berlin, Heidelberg: Springer Berlin Heidelberg 1986Texto completo disponível |
|
5 |
Material Type: Livro
|
Foundations of Object-Oriented Languages: REX School/Workshop Noordwijkerhout, The Netherlands, May 28–June 1, 1990 ProceedingsBakker, J. W. de ; Roever, W. P. de ; Rozenberg, G Rozenberg, G. ; de Bakker, J. W. ; de Roever, W. P.Berlin, Heidelberg: Springer Berlin Heidelberg 1991Texto completo disponível |
|
6 |
Material Type: Livro
|
A Decade of Concurrency Reflections and Perspectives: REX School/Symposium Noordwijkerhout, The Netherlands June 1–4, 1993 ProceedingsBakker, J. W. de ; Roever, W. -P. de ; Rozenberg, G Rozenberg, G. ; de Roever, W. -P. ; de Bakker, J. W.Berlin, Heidelberg: Springer Berlin Heidelberg 1994Texto completo disponível |
|
7 |
Material Type: Livro
|
Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency: School/Workshop, Noordwijkerhout, The Netherlands May 30 – June 3, 1988Bakker, J. W. de ; Roever, W. -P. de ; Rozenberg, G Rozenberg, G. ; de Roever, W. -P. ; de Bakker, J. W.Berlin, Heidelberg: Springer Berlin Heidelberg 1989Texto completo disponível |
|
8 |
Material Type: Livro
|
Graph-Grammars and Their Application to Computer Science: 2nd International Workshop Haus Ohrbeck, Germany, October 4–8, 1982Ehrig, Hartmut ; Nagl, Manfred ; Rozenberg, Grzegorz Rozenberg, Grzegorz ; Ehrig, Hartmut ; Nagl, ManfredBerlin, Heidelberg: Springer Berlin Heidelberg 1983Texto completo disponível |
|
9 |
Material Type: Livro
|
Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness: REX Workshop, Mook, The Netherlands May 29 – June 2, 1989 ProceedingsBakker, J. W. de ; Roever, W. -P. de ; Rozenberg, G Rozenberg, G. ; de Roever, W. -P. ; de Bakker, J. W.Berlin, Heidelberg: Springer Berlin Heidelberg 1990Texto completo disponível |
|
10 |
Material Type: Livro
|
Advances in Petri Nets 1991Rozenberg, Grzegorz Rozenberg, GrzegorzBerlin, Heidelberg: Springer Berlin Heidelberg 1991Texto completo disponível |