Resultados de 1 a 10 de 229 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
- Recursos Online (226)
- Revistas revisadas por pares (163)
- Disponível na Biblioteca (3)
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Livro
|
|
Automata, Languages and ProgrammingKuich Werner KuichSpringer Berlin Heidelberg 1992Acesso online |
| 2 |
Material Type: Livro
|
|
Semirings, automata, languagesWerner Kuich 1941- Arto SalomaaBerlin New York Springer-Verlag c1986Localização: IME - Inst. Matemática e Estatística (QA804 K96s )(Acessar) |
| 3 |
Material Type: Livro
|
|
Automata, languages and programming proceedingsColloquium on Automata, Languages and Programming (19. 1992 Wien) Werner KuichBerlin Springer 1992Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.623 e.1 ) e outros locais(Acessar) |
| 4 |
Material Type: Livro
|
|
Developments in Language TheoryConference on Developments in Language Theory Werner Kuich; Grzegorz Rozenberg; Arto SalomaaSpringer Berlin Heidelberg 2002Acesso online |
| 5 |
Material Type: Livro
|
|
Developments in language theory 5th international conference, DLT 2001, Wien, Austria, July 16-21, 2001 : revised papersConference on Developments in Language Theory (5th 2001 Vienna, Austria) Werner Kuich 1941-; Grzegorz Rozenberg; Arto SalomaaBerlin Springer New York c2002Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.2295 ) e outros locais(Acessar) |
| 6 |
Material Type: Ata de Congresso
|
|
Barbed bisimulationMilner, Robin ; Sangiorgi, Davide Kuich, W.Automata, Languages and Programming, 2005, p.685-695 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
| 7 |
Material Type: Ata de Congresso
|
|
What good are digital clocks?Henzinger, Thomas A. ; Manna, Zohar ; Pnueli, Amir Kuich, W.Automata, Languages and Programming, 2005, p.545-558 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
| 8 |
Material Type: Ata de Congresso
|
|
Abelian squares are avoidable on 4 lettersKeränen, Veikko Kuich, W.Automata, Languages and Programming, 2005, p.41-52 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
| 9 |
Material Type: Livro
|
|
Automata, Languages and Programming: 19th International Colloquium Wien, Austria, July 13–17, 1992 ProceedingsKuich, W Kuich, W.Berlin, Heidelberg: Springer Berlin Heidelberg 1992Texto completo disponível |
| 10 |
Material Type: Ata de Congresso
|
|
Characterization of temporal property classesChang, Edward ; Manna, Zohar ; Pnueli, Amir Kuich, W.Automata, Languages and Programming, 2005, p.474-486 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
Resultados de 1 a 10 de 229 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
- Recursos Online (226)
- Revistas revisadas por pares (163)
- Disponível na Biblioteca (3)
Refinar Meus Resultados
Tipo de Recurso
- Artigos (124)
- Anais de Congresso (61)
- Book Chapters (36)
- Livros (7)
- Resenhas (1)
-
Mais opções
Assunto
- Science & Technology (113)
- Physical Sciences (59)
- Computer Science (58)
- Technology (57)
- Mathematics (55)
- Computer Science, Theory & Methods (53)
- Exact Sciences And Technology (39)
- Theoretical Computing (37)
- Applied Sciences (37)
- Computer Science; Control Theory; Systems (37)
- Computer Science, Artificial Intelligence (31)
- Language Theory And Syntactical Analysis (25)
- Physics (17)
- Physics - Nuclear Experiment (17)
- Automata. Abstract Machines. Turing Machines (14)
- Synchrotrons (10)
- Physics - High Energy Physics - Experiment (10)
- Regular Language (9)
- Cern (8)
- Algebra (8)
- Formal Languages (2)
- Teoria Da Computação (2)
- Formal Languages (2)
- Semirings (Mathematics) (1)
- Machine Theory (1)
- Computabilidade E Complexidade (Congressos) (1)
- Anéis E Álgebras Associativos (1)
- Machine Theory (1)
- Linguagens Formais (Congressos) (1)
- Linguagens Formais (1)
-
Mais opções
Autor/Criador
- Kuich, W (5)
- Salomaa, A (3)
- Rozenberg, G (2)
- Conference on Developments in Language Theory (2)
- Colloquium on Automata, L (1)
- Kuich (1)
-
Mais opções
Data de Publicação
- Antes de1975 (16)
- 1975Até1987 (10)
- 1988Até1999 (13)
- 2000Até2013 (108)
- Após 2013 (85)
-
Mais opções
Biblioteca
Base de Dados/Biblioteca
- Springer Nature – Springer Lecture Notes in Computer Science Archive eBooks 1973-1996 (99)
- SpringerLINK Lecture Notes in Computer Science (2015) (98)
- Science Citation Index Expanded (Web of Science) (75)
- EZB Free E-Journals (57)
- SpringerLink (Online service) (47)
- Academic Search Premier (43)
- SCOAP3 Journals (40)
- EDP Sciences (34)
- Springer Open Access (32)
- BACON - Mir@bel - GLOBAL_LIBRESACCES (31)
- Academic OneFile (31)
- DOAJ Directory of Open Access Journals (31)
- ROAD: Directory of Open Access Scholarly Resources (22)
- Free E- Journals (22)
- arXiv.org (22)
- ScienceDirect® (21)
- Springer Nature - Springer Journals All 2022 (16)
- American Physical Society Journals (14)
- EBSCOhost Computers and Applied Sciences Complete (11)
- EBSCOhost Business Source Complete (9)
-
Mais opções
Idioma
- Inglês (223)
- Alemão (6)
- Japonês (3)
-
Mais opções
Nome da Publicação
- The European Physical Journal. C, Particles And Fields (31)
- arXiv.org (12)
- Computing (8)
- Information And Control (6)
- Physical Review. C (5)
- Theoretical Computer Science (5)
- Physical Review. C, Nuclear Physics (4)
- Physical Review Letters (3)
- Arxiv (2)
- International Journal Of Algebra And Computation (2)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 