Resultados de 1 a 10 de 1.938 para Busca Geral
Mostrar Somente
- Recursos Online (1.360)
- Revistas revisadas por pares (465)
- Disponível na Biblioteca (57)
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Artigo
|
|
Theory of tracesAalbersberg, IJsbrand Jan ; Rozenberg, GrzegorzTheoretical computer science, 1988-01, Vol.60 (1), p.1-82 [Periódico revisado por pares]Amsterdam: Elsevier B.VTexto completo disponível |
| 2 |
Material Type: Livro
|
|
The Logic of Partial InformationAbdallah Grzegorz Rozenberg; Arto SalomaaSpringer Berlin Heidelberg 1995Acesso online |
| 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: Capítulo de Livro
|
|
Control Properties in Object-Oriented SpecificationsAgha, Gul A ; De Cindio, Fiorella ; Rozenberg, GrzegorzConcurrent Object-Oriented Programming and Petri Nets, 2001, Vol.2001Germany: Springer Berlin / HeidelbergTexto completo disponível |
| 5 |
Material Type: Capítulo de Livro
|
|
A Cooperative Petri Net EditorAgha, Gul A ; De Cindio, Fiorella ; Rozenberg, GrzegorzConcurrent Object-Oriented Programming and Petri Nets, 2001, Vol.2001Germany: Springer Berlin / HeidelbergTexto completo disponível |
| 6 |
Material Type: Capítulo de Livro
|
|
Object Oriented Modelling with Object Petri NetsAgha, Gul A ; De Cindio, Fiorella ; Rozenberg, GrzegorzConcurrent Object-Oriented Programming and Petri Nets, 2001, Vol.2001Germany: Springer Berlin / HeidelbergTexto completo disponível |
| 7 |
Material Type: Livro
|
|
Concurrent Object-Oriented Programming and Petri Nets: Advances in Petri NetsAgha, Gul A ; De Cindio, Fiorella ; Rozenberg, Grzegorz De Cindio, Fiorella ; Agha, Gul A. ; Rozenberg, GrzegorzBerlin, Heidelberg: Springer Berlin / Heidelberg 2001Texto completo disponível |
| 8 |
Material Type: Capítulo de Livro
|
|
Concurrent Object-Oriented Programming and Petri NetsAgha, Gul A ; De Cindio, Fiorella ; Rozenberg, GrzegorzConcurrent Object-Oriented Programming and Petri Nets, 2001, Vol.2001Germany: Springer Berlin / HeidelbergTexto completo disponível |
| 9 |
Material Type: Capítulo de Livro
|
|
Object Orientation in Hierarchical Predicate Transition NetsAgha, Gul A ; De Cindio, Fiorella ; Rozenberg, GrzegorzConcurrent Object-Oriented Programming and Petri Nets, 2001, Vol.2001Germany: Springer Berlin / HeidelbergTexto completo disponível |
| 10 |
Material Type: Capítulo de Livro
|
|
CLOWN as a Testbed for Concurrent Object-Oriented ConceptsAgha, Gul A ; De Cindio, Fiorella ; Rozenberg, GrzegorzConcurrent Object-Oriented Programming and Petri Nets, 2001, Vol.2001Germany: Springer Berlin / HeidelbergTexto completo disponível |
Resultados de 1 a 10 de 1.938 para Busca Geral
Personalize Seus Resultados
Refine Search Results
Expandir Meus Resultados
Mostrar Somente
- Recursos Online (1.360)
- Revistas revisadas por pares (465)
- Disponível na Biblioteca (57)
Refinar Meus Resultados
Tipo de Recurso
- Book Chapters (1.302)
- Livros (311)
- Artigos (270)
- Anais de Congresso (49)
- Reports (2)
- Conjunto de Dados (2)
- Recursos Textuais (1)
- magazinearticle (1)
-
Mais opções
Assunto
- Computer Science (458)
- Science & Technology (249)
- Technology (235)
- Mathematics (151)
- Software Engineering (138)
- Computer Science, Theory & Methods (127)
- Physical Sciences (108)
- Exact Sciences And Technology (102)
- Mathematics, Applied (102)
- Computer Science, Software Engineering (100)
- Applied Sciences (96)
- Computation By Abstract Devices (94)
- Computer Science; Control Theory; Systems (93)
- Theory Of Computation (90)
- Machine Theory (88)
- Theoretical Computing (88)
- Computers (85)
- User Interface Design & Usability (70)
- Algorithms (68)
- Logics And Meanings Of Programs (66)
- Petri Nets (43)
- Molecular Computers (30)
- Formal Languages (24)
- Redes De Petri (17)
- Petri Nets (15)
- Computabilidade E Complexidade (11)
- Sistemas Operacionais (9)
- Linguagens Formais (9)
- Arquitetura E Organização De Computadores (8)
- Ciência Da Computação (7)
- Computação Bioinspirada (Congressos) (7)
- Inteligência Artificial (Congressos) (7)
- Molecular Computers (6)
- Teoria Da Computação (6)
- Softwares (6)
- L Systems (6)
- Ordinateurs Mol Eculaires (5)
- L Systems (5)
- Formal Languages (5)
- Parallel Processing (Electronic Computers) (4)
- Engenharia De Software (4)
- Redes De Petri (3)
- Computação Bioinspirada (3)
- Linguagens Formais (2)
- Teoria Da Computação (2)
- Computabilidade E Complexidade (1)
-
Mais opções
Autor/Criador
- Rozenberg, G (122)
- Salomaa, A (62)
- Paun, G (12)
- Ehrig, H (12)
- Reisig, W (11)
- Bakker, J (7)
- Karhumäki, J (6)
- Engels, G (6)
- Maurer, H (5)
- Brauer, W (5)
- Rozenberg (4)
- Calude, C (4)
- Roever, W (4)
- Kreowski, H (4)
- Hutchison, D (3)
- Dinneen, M (3)
- Gabarro, J (3)
- Hartmut Ehrig (3)
- Diaz, M (3)
- Diaz, J (3)
-
Mais opções
Data de Publicação
- Antes de1983 (38)
- 1983Até1992 (367)
- 1993Até2002 (493)
- 2003Até2013 (760)
- Após 2013 (363)
-
Mais opções
Biblioteca
Base de Dados/Biblioteca
- Springer Books (1.382)
- SpringerLink_回溯丛书_Lecture Notes in Computer Science Archive（NSTL购买） (958)
- SpringerLINK Lecture Notes in Computer Science (2015) (883)
- Springer Books Online Archive (809)
- SpringerLink Books Lecture Notes in Computer Science Archive (807)
- Springer Nature - Springer Lecture Notes in Computer Science eBooks (787)
- Science Citation Index Expanded (Web of Science) (177)
- Academic Search Premier (137)
- EBSCOhost Computers and Applied Sciences Complete (133)
- IOS Press Journals (115)
- Engineered Materials Abstracts (91)
- Materials Research Database (91)
- METADEX (91)
- BACON - Mir@bel - GLOBAL_LIBRESACCES (89)
- Springer Nature - Springer Computer Science eBooks 2012 English International (85)
- ScienceDirect - Connect here FIRST to enable access (70)
- EZB Electronic Journals Library (64)
- SpringerLINK Lecture Notes in Computer Science (2014) (34)
- Springer Nature - Springer Computer Science eBooks 2015 English International (32)
- SpringerNature Journals (30)
-
Mais opções
Idioma
- Japonês (5)
- Alemão (2)
-
Mais opções
Nome da Publicação
- Fundamenta Informaticae (122)
- Theoretical Computer Science (35)
- International Journal Of Foundations Of Computer Science (13)
- Natural Computing (11)
- Acta Informatica (9)
- Daimi Pb (9)
- Journal Of Computer And System Sciences (7)
- Mathematical Structures In Computer Science (6)
- Information And Control (6)
- Discrete Applied Mathematics (5)
- Lecture Notes in Computer Science (3)
- Handbook of natural computing (1)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 