Resultados de 1 a 10 de 230 para Busca Geral
Ordenado por:
Ordenado por:
RelevânciaOr hit Enter to replace sort method
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Mostrar Somente
Refinado por:
assunto:
Computer Science; Control Theory; Systems
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Ata de Congresso
|
|
Confluence of Typed Attributed Graph Transformation SystemsHeckel, Reiko ; Küster, Jochen Malte ; Taentzer, GabrieleGraph Transformation, 2002, p.161-176 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
| 2 |
Material Type: Ata de Congresso
|
|
Fundamental Theory for Typed Attributed Graph TransformationEhrig, Hartmut ; Prange, Ulrike ; Taentzer, GabrieleGraph Transformations, 2004, p.161-177 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
| 3 |
Material Type: Ata de Congresso
|
|
Tutorial Introduction to Graph Transformation: A Software Engineering PerspectiveBaresi, Luciano ; Heckel, ReikoGraph Transformation, 2002, p.402-429 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
| 4 |
Material Type: Artigo
|
|
Events and modules in reaction systemsEHRENFEUCHT, A ; ROZENBERG, GTheoretical computer science, 2007-05, Vol.376 (1-2), p.3-16 [Periódico revisado por pares]Amsterdam: ElsevierTexto completo disponível |
| 5 |
Material Type: Ata de Congresso
|
|
Transformation: The missing link of MDAGERBER, Anna ; LAWLEY, Michael ; RAYMOND, Kerry ; STEEL, Jim ; WOOD, AndrewLecture notes in computer science, 2002, p.90-105 [Periódico revisado por pares]Berlin: SpringerTexto completo disponível |
| 6 |
Material Type: Ata de Congresso
|
|
A Formal Semantics of UML Statecharts by Model Transition SystemsVARRO, DanielGraph Transformation, 2002, p.378-392 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
| 7 |
Material Type: Ata de Congresso
|
|
Partially-Ordered Two-Way Automata: A New Characterization of DASchwentick, Thomas ; Thérien, Denis ; Vollmer, HeribertDevelopments in Language Theory, 2002, p.239-250 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
| 8 |
Material Type: Ata de Congresso
|
|
A Short Introduction to Infinite AutomataThomas, WolfgangDevelopments in Language Theory, 2002, p.130-144 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
| 9 |
Material Type: Ata de Congresso
|
|
A Linear-Time Solution to the Knapsack Problem Using P Systems with Active MembranesPérez-Jiménez, Mario J. ; Riscos-Núñez, AgustinLecture notes in computer science, 2004, p.250-268 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
| 10 |
Material Type: Ata de Congresso
|
|
P Systems Running on a Cluster of ComputersCiobanu, Gabriel ; Wenyuan, GuoLecture notes in computer science, 2004, p.123-139 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
Resultados de 1 a 10 de 230 para Busca Geral
Ordenado por:
Ordenado por:
RelevânciaOr hit Enter to replace sort method
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Personalize Seus Resultados
Refine Search Results
Expandir Meus Resultados
Mostrar Somente
Refinar Meus Resultados
Tipo de Recurso
- Anais de Congresso (101)
- Artigos (82)
- Book Chapters (46)
- Livros (1)
-
Mais opções
Assunto
- Theoretical Computing (218)
- Science & Technology (207)
- Computer Science (197)
- Technology (196)
- Computer Science, Theory & Methods (185)
- Software (80)
- Language Theory And Syntactical Analysis (69)
- Computer Science, Software Engineering (64)
- Information Retrieval. Graph (63)
- Algorithmics. Computability. Computer Arithmetics (62)
- Graph Transformation (33)
- Computer Science, Artificial Intelligence (30)
- Mathematics (20)
- Graph Grammar (19)
- Automata. Abstract Machines. Turing Machines (17)
- Physical Sciences (15)
- Evolution Rule (14)
-
Mais opções
Data de Publicação
- Antes de1987 (30)
- 1987Até1991 (17)
- 1992Até1997 (14)
- 1998Até2003 (108)
- Após 2003 (62)
-
Mais opções
Base de Dados/Biblioteca
- Science Citation Index Expanded (Web of Science) (207)
- SpringerLINK Lecture Notes in Computer Science (2015) (151)
- SpringerLINK Lecture Notes in Computer Science Archive (Through 1996) (151)
- Elsevier ScienceDirect Journals (59)
- EZB Electronic Journals Library (47)
- SpringerLink Books Lecture Notes in Computer Science Archive (25)
- Springer Nature - Springer Lecture Notes in Computer Science eBooks (25)
- Springer Books Online Archive (25)
- Springer Books (25)
- EBSCOhost Computers and Applied Sciences Complete (20)
- Academic Search Premier (19)
- Springer Nature - Springer Journals All 2022 (14)
- Springer Nature - Complete Springer Journals (14)
- IngentaConnect Journals (9)
- Taylor & Francis:Master (3349 titles) (5)
- Taylor & Francis Open access Read & Publish (5)
- Taylor & Francis Current Content Access (5)
- Cambridge Journals Online (1)
- EDP Sciences (1)
- EBSCOhost Business Source Complete (1)
-
Mais opções
Nome da Publicação
- Theoretical Computer Science (31)
- Acta Informatica (12)
- Journal Of Computer And System Sciences (9)
- Discrete Applied Mathematics (8)
- International Journal Of Computer Mathematics (5)
- Information And Control (4)
- Information And Computation (3)
- Lecture Notes In Computer Science (3)
- Information Processing Letters (2)
- Computer Vision, Graphics, And Image Processing (2)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 