Resultados de 1 a 10 de 367 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, Theory & Methods
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Artigo
|
|
Introducing time in reaction systemsEhrenfeucht, A. ; Rozenberg, G.Theoretical computer science, 2009-02, Vol.410 (4), p.310-322 [Periódico revisado por pares]Elsevier B.VTexto completo disponível |
| 2 |
Material Type: Artigo
|
|
DNA computing by blockingRozenberg, G. ; Spaink, H.Theoretical computer science, 2003-01, Vol.292 (3), p.653-665 [Periódico revisado por pares]Amsterdam: Elsevier B.VTexto completo disponível |
| 3 |
Material Type: Artigo
|
|
Forbidding–enforcing systemsEhrenfeucht, A. ; Rozenberg, G.Theoretical computer science, 2003-01, Vol.292 (3), p.611-638 [Periódico revisado por pares]Amsterdam: Elsevier B.VTexto completo disponível |
| 4 |
Material Type: Artigo
|
|
A guide to membrane computingPăun, Gheorghe ; Rozenberg, GrzegorzTheoretical computer science, 2002-09, Vol.287 (1), p.73-100 [Periódico revisado por pares]Elsevier B.VTexto completo disponível |
| 5 |
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 |
| 6 |
Material Type: Artigo
|
|
COVERS FROM TEMPLATESEHRENFEUCHT, A. ; ROZENBERG, G.International journal of foundations of computer science, 2006-04, Vol.17 (2), p.475-488 [Periódico revisado por pares]World Scientific Publishing CompanyTexto completo disponível |
| 7 |
Material Type: Artigo
|
|
Gene assembly through cyclic graph decompositionEhrenfeucht, A. ; Harju, T. ; Rozenberg, G.Theoretical computer science, 2002-06, Vol.281 (1-2), p.325-349 [Periódico revisado por pares]Amsterdam: Elsevier B.VTexto completo disponível |
| 8 |
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 |
| 9 |
Material Type: Ata de Congresso
|
|
Promoters and Inhibitors in Purely Catalytic P SystemsAlhazov, Artiom ; Freund, Rudolf ; Verlan, SergeyMembrane Computing, p.126-138 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
| 10 |
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 |
Resultados de 1 a 10 de 367 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
- Book Chapters (137)
- Anais de Congresso (121)
- Artigos (109)
-
Mais opções
Assunto
- Exact Sciences And Technology (189)
- Applied Sciences (185)
- Computer Science; Control Theory; Systems (185)
- Theoretical Computing (180)
- Computer Science, Software Engineering (123)
- Computer Science, Artificial Intelligence (89)
- Software (73)
- Information Retrieval. Graph (62)
- Algorithmics. Computability. Computer Arithmetics (58)
- Graph Transformation (54)
- Language Theory And Syntactical Analysis (45)
- Graph Grammar (37)
- Logic (25)
- Science & Technology - Other Topics (25)
- Membrane Computing (23)
- Mathematics (21)
-
Mais opções
Data de Publicação
- Antes de1979 (12)
- 1979Até1985 (40)
- 1986Até1992 (25)
- 1993Até2002 (125)
- Após 2002 (166)
-
Mais opções
Base de Dados/Biblioteca
- Science Citation Index Expanded (Web of Science) (314)
- SpringerLINK Lecture Notes in Computer Science (2015) (274)
- Lecture Notes in Computer Science Archive (through to 1996) (274)
- ScienceDirect® (78)
- EZB Electronic Journals Library (75)
- SpringerLink Books Lecture Notes in Computer Science Archive (24)
- Springer Nature - Springer Lecture Notes in Computer Science eBooks (24)
- Springer Books Online Archive (24)
- Springer Books (24)
- EBSCOhost Computers and Applied Sciences Complete (12)
- Business Source Complete (10)
- Academic Search Premier (EB_SDU_P3) (9)
- IngentaConnect Journals (6)
- Springer Nature - Springer Journals All 2022 (6)
- Springer Nature - Complete Springer Journals (6)
- Gale Academic OneFile (Gale Reference Complete) (3)
- ACM Digital Library (Association for Computing Machinery) (3)
- SIAM Journals Archive (2)
- IEEE Electronic Library (IEL) Conference Proceedings (1)
- Taylor & Francis Current Content Access (1)
-
Mais opções
Nome da Publicação
- Theoretical Computer Science (39)
- Information And Control (20)
- Lecture Notes In Computer Science (17)
- Journal Of Computer And System Sciences (13)
- Theory Is Forever (12)
- Theory Is Forever: Essays Dedicated To Arto Salomaa On The Occasion Of His 70th Birthday (12)
- Information And Computation (3)
- Journal Of The Acm (3)
- Mathematical Systems Theory (3)
- Fuzzy Sets And Systems (3)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 