Resultados de 21 a 30 de 909 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
Refinado por:
Nome da Publicação:
Theoretical Computer Science
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 21 |
Material Type: Artigo
|
|
Conversation protocols: a formalism for specification and verification of reactive electronic servicesFu, Xiang ; Bultan, Tevfik ; Su, JianwenTheoretical computer science, 2004-11, Vol.328 (1), p.19-37 [Periódico revisado por pares]Amsterdam: Elsevier B.VTexto completo disponível |
| 22 |
Material Type: Artigo
|
|
A theory of timed automataAlur, Rajeev ; Dill, David L.Theoretical computer science, 1994-04, Vol.126 (2), p.183-235 [Periódico revisado por pares]Amsterdam: Elsevier B.VTexto completo disponível |
| 23 |
Material Type: Artigo
|
|
State complexity of some operations on binary regular languagesJIRASKOVA, GalinaTheoretical computer science, 2005-02, Vol.330 (2), p.287-298 [Periódico revisado por pares]Amsterdam: Elsevier B.VTexto completo disponível |
| 24 |
Material Type: Artigo
|
|
Modeling and querying biomolecular interaction networksChabrier-Rivier, Nathalie ; Chiaverini, Marc ; Danos, Vincent ; Fages, François ; Schächter, VincentTheoretical computer science, 2004-09, Vol.325 (1), p.25-44 [Periódico revisado por pares]Amsterdam: Elsevier B.VTexto completo disponível |
| 25 |
Material Type: Artigo
|
|
The complexity of game isomorphismGabarró, Joaquim ; García, Alina ; Serna, MariaTheoretical computer science, 2011-11, Vol.412 (48), p.6675-6695 [Periódico revisado por pares]Oxford: Elsevier B.VTexto completo disponível |
| 26 |
Material Type: Artigo
|
|
Fully asynchronous behavior of double-quiescent elementary cellular automataFATES, Nazim ; THIERRY, Eric ; MORVAN, Michel ; SCHABANEL, NicolasTheoretical computer science, 2006-10, Vol.362 (1-3), p.1-16 [Periódico revisado por pares]Amsterdam: ElsevierTexto completo disponível |
| 27 |
Material Type: Artigo
|
|
Speedup for natural problems and noncomputabilityMonroe, HunterTheoretical computer science, 2011-02, Vol.412 (4), p.478-481 [Periódico revisado por pares]Oxford: Elsevier B.VTexto completo disponível |
| 28 |
Material Type: Artigo
|
|
Weighted tree automata and weighted logicsDroste, Manfred ; Vogler, HeikoTheoretical computer science, 2006-11, Vol.366 (3), p.228-247 [Periódico revisado por pares]Amsterdam: Elsevier B.VTexto completo disponível |
| 29 |
Material Type: Artigo
|
|
Optimal paths in weighted timed automataAlur, Rajeev ; La Torre, Salvatore ; Pappas, George J.Theoretical computer science, 2004-06, Vol.318 (3), p.297-322 [Periódico revisado por pares]Amsterdam: Elsevier B.VTexto completo disponível |
| 30 |
Material Type: Artigo
|
|
Infinite games on finitely coloured graphs with applications to automata on infinite treesZielonka, WieslawTheoretical computer science, 1998-06, Vol.200 (1), p.135-183 [Periódico revisado por pares]Amsterdam: Elsevier B.VTexto completo disponível |
Resultados de 21 a 30 de 909 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
Refinar Meus Resultados
Assunto
- Applied Sciences (846)
- Exact Sciences And Technology (846)
- Theoretical Computing (845)
- Computer Science; Control Theory; Systems (845)
- Automata. Abstract Machines. Turing Machines (841)
- Computer Science (692)
- Computer Science, Theory & Methods (692)
- Science & Technology (692)
- Technology (692)
- Algorithmics. Computability. Computer Arithmetics (287)
- Mathematics (249)
- Sciences And Techniques Of General Use (245)
- Language Theory And Syntactical Analysis (219)
- Logic And Foundations (98)
- Mathematical Logic, Foundations, Set Theory (98)
- Software (67)
- Combinatorics. Ordered Structures (67)
- Combinatorics (64)
- Miscellaneous (53)
- Algebra (49)
-
Mais opções
Data de Publicação
- Antes de1990 (94)
- 1990Até1999 (224)
- 2000Até2007 (506)
- 2008Até2016 (74)
- Após 2016 (12)
-
Mais opções
Base de Dados/Biblioteca
- EZB Electronic Journals Library (907)
- ScienceDirect - Connect here FIRST to enable access (907)
- Science Citation Index Expanded (Web of Science) (690)
- IngentaConnect Journals (72)
- Aerospace Database (11)
- SpringerLINK Lecture Notes in Computer Science (2015) (3)
- Lecture Notes in Computer Science Archive (through to 1996) (3)
-
Mais opções
Idioma
- Inglês (901)
- Japonês (34)
- Francês (11)
-
Mais opções
Nome da Publicação
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 