skip to main content
Idioma:
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Busca Simples
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: Base de dados/Biblioteca: SpringerLINK Lecture Notes in Computer Science (2015) remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
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 1986
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 1986
Material Type:
Livro 		Adicionar ao Meu Espaço

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 1986

Brauer, W ; Reisig, W ; Rozenberg, G Rozenberg, G. ; Reisig, W. ; Brauer, W.

Berlin, Heidelberg: Springer Berlin Heidelberg 1987

Texto completo disponível

Citações Citado por
2
Real-Time: Theory in Practice: REX Workshop Mook, The Netherlands, June 3–7, 1991 Proceedings
Real-Time: Theory in Practice: REX Workshop Mook, The Netherlands, June 3–7, 1991 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Real-Time: Theory in Practice: REX Workshop Mook, The Netherlands, June 3–7, 1991 Proceedings

Bakker, 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 1992

Texto completo disponível

Citações Citado por
3
Semantics: Foundations and Applications: REX Workshop Beekbergen, The Netherlands, June 1–4, 1992 Proceedings
Semantics: Foundations and Applications: REX Workshop Beekbergen, The Netherlands, June 1–4, 1992 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Semantics: Foundations and Applications: REX Workshop Beekbergen, The Netherlands, June 1–4, 1992 Proceedings

Bakker, J. W. de ; Roever, W. -P. de ; Rozenberg, G Rozenberg, G. ; de Roever, W. -P. ; de Bakker, J. W.

Berlin, Heidelberg: Springer Berlin Heidelberg 1993

Texto completo disponível

Citações Citado por
4
Advances in Petri Nets 1985
Advances in Petri Nets 1985
Material Type:
Livro 		Adicionar ao Meu Espaço

Advances in Petri Nets 1985

Rozenberg, G Rozenberg, G.

Berlin, Heidelberg: Springer Berlin Heidelberg 1986

Texto completo disponível

Citações Citado por
5
Confluence of Typed Attributed Graph Transformation Systems
Confluence of Typed Attributed Graph Transformation Systems
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Confluence of Typed Attributed Graph Transformation Systems

Heckel, Reiko ; Küster, Jochen Malte ; Taentzer, Gabriele

Graph Transformation, 2002, p.161-176 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
6
Foundations of Object-Oriented Languages: REX School/Workshop Noordwijkerhout, The Netherlands, May 28–June 1, 1990 Proceedings
Foundations of Object-Oriented Languages: REX School/Workshop Noordwijkerhout, The Netherlands, May 28–June 1, 1990 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Foundations of Object-Oriented Languages: REX School/Workshop Noordwijkerhout, The Netherlands, May 28–June 1, 1990 Proceedings

Bakker, J. W. de ; Roever, W. P. de ; Rozenberg, G Rozenberg, G. ; de Bakker, J. W. ; de Roever, W. P.

Berlin, Heidelberg: Springer Berlin Heidelberg 1991

Texto completo disponível

Citações Citado por
7
A Decade of Concurrency Reflections and Perspectives: REX School/Symposium Noordwijkerhout, The Netherlands June 1–4, 1993 Proceedings
A Decade of Concurrency Reflections and Perspectives: REX School/Symposium Noordwijkerhout, The Netherlands June 1–4, 1993 Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

A Decade of Concurrency Reflections and Perspectives: REX School/Symposium Noordwijkerhout, The Netherlands June 1–4, 1993 Proceedings

Bakker, J. W. de ; Roever, W. -P. de ; Rozenberg, G Rozenberg, G. ; de Roever, W. -P. ; de Bakker, J. W.

Berlin, Heidelberg: Springer Berlin Heidelberg 1994

Texto completo disponível

Citações Citado por
8
Promoters and Inhibitors in Purely Catalytic P Systems
Promoters and Inhibitors in Purely Catalytic P Systems
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Promoters and Inhibitors in Purely Catalytic P Systems

Alhazov, Artiom ; Freund, Rudolf ; Verlan, Sergey

Membrane Computing, p.126-138 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
9
Fundamental Theory for Typed Attributed Graph Transformation
Fundamental Theory for Typed Attributed Graph Transformation
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Fundamental Theory for Typed Attributed Graph Transformation

Ehrig, Hartmut ; Prange, Ulrike ; Taentzer, Gabriele

Graph Transformations, 2004, p.161-177 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
10
Tutorial Introduction to Graph Transformation: A Software Engineering Perspective
Tutorial Introduction to Graph Transformation: A Software Engineering Perspective
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Tutorial Introduction to Graph Transformation: A Software Engineering Perspective

Baresi, Luciano ; Heckel, Reiko

Graph Transformation, 2002, p.402-429 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Revistas revisadas por pares (316)

Refinar Meus Resultados

Tipo de Recurso 

  1. Book Chapters  (168)
  2. Anais de Congresso  (124)
  3. Livros  (34)
  4. Artigos  (17)
  5. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1986  (11)
  2. 1986Até1994  (19)
  3. 1995Até1999  (7)
  4. 2000Até2005  (263)
  5. Após 2005  (52)
  6. Mais opções open sub menu

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.