Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Application and Theory of Petri Nets 1998: 19th International Conference, ICATPN'98 Lisbon, Portugal, June 22-26, 1998 ProceedingsDesel, Jörg ; Silva, Manuel Desel, Jörg ; Silva, ManuelBerlin, Heidelberg: Springer Berlin / Heidelberg 1998Texto completo disponível |
|
2 |
Material Type: Livro
|
Dependable Computing — EDCC-2: Second European Dependable Computing Conference Taormina, Italy, October 2–4, 1996 ProceedingsHlawiczka, Andrzej ; Silva, João Gabriel ; Simoncini, Luca Hlawiczka, Andrzej ; Silva, João Gabriel ; Simoncini, LucaBerlin, Heidelberg: Springer Berlin Heidelberg 1996Texto completo disponível |
|
3 |
Material Type: Livro
|
Advances in Petri Nets 1990Rozenberg, Grzegorz Rozenberg, GrzegorzBerlin, Heidelberg: Springer Berlin Heidelberg 1991Texto completo disponível |
|
4 |
Material Type: Livro
|
Applications and Theory of Petri Nets 2001: 22nd International Conference, ICATPN 2001 Newcastle upon Tyne, UK, June 25-29, 2001 ProceedingsColom, Jose-Manuel ; Koutny, Maciej Koutny, Maciej ; Colom, José-ManuelBerlin, Heidelberg: Springer Berlin / Heidelberg 2001Texto completo disponível |
|
5 |
Material Type: Livro
|
Data Base Techniques for Pictorial Applications: Florence, June 20–22, 1979Blaser, A Blaser, A.Berlin, Heidelberg: Springer Berlin Heidelberg 1980Texto completo disponível |
|
6 |
Material Type: Livro
|
Application and Theory of Petri Nets 1993: 14th International Conference Chicago, Illinois, USA, June 21–25, 1993 ProceedingsAjmone Marsan, Marco Ajmone Marsan, MarcoBerlin, Heidelberg: Springer Berlin Heidelberg 1993Texto completo disponível |
|
7 |
Material Type: Livro
|
FME 2001: Formal Methods for Increasing Software Productivity: International Symposium of Formal Methods Europe Berlin, Germany, March 12–16, 2001 ProceedingsOliveira, José Nuno ; Zave, Pamela Zave, Pamela ; Oliveira, José NunoBerlin, Heidelberg: Springer Berlin Heidelberg 2001Texto completo disponível |
|
8 |
Material Type: Livro
|
String Processing and Information Retrieval: 9th International Symposium, SPIRE 2002, Lisbon, Portugal, September 11-13, 2002 ProceedingsLaender, Alberto H. F ; Oliveira, Arlindo L Oliveira, Arlindo L. ; Laender, Alberto H. F.Berlin, Heidelberg: Springer Berlin / Heidelberg 2002Texto completo disponível |
|
9 |
Material Type: Livro
|
Web Engineering and Peer-To-Peer Computing: NETWORKING 2002 Workshops, Pisa, Italy, May 19-24, 2002, Revised PapersGregori, Enrico ; Cherkasova, Ludmila ; Cugola, Gianpaolo ; Panzieri, Fabio ; Picco, Gian P Cugola, Gianpaolo ; Picco, Gian Pietro ; Cherkasova, Ludmila ; Gregori, Enrico ; Panzieri, FabioBerlin, Heidelberg: Springer Berlin / Heidelberg 2002Texto completo disponível |
|
10 |
Material Type: Livro
|
Advances in Petri Nets 1989Rozenberg, Grzegorz Rozenberg, GrzegorzBerlin, Heidelberg: Springer Berlin Heidelberg 1990Texto completo disponível |