Resultados de 1 a 10 de 35 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
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Livro
|
|
Combinatorics on TracesVolker DiekertSpringer Berlin Heidelberg 1990Acesso online. A biblioteca também possui exemplares impressos. |
| 2 |
Material Type: Livro
|
|
The Book of tracesVolker Diekert 1955-; Grzegorz RozenbergSingapore World Scientific River Edge, N.J. c1995Localização: IME - Inst. Matemática e Estatística (QA804.C3 D559d )(Acessar) |
| 3 |
Material Type: Livro
|
|
STACS 2004Symposium on Theoretical Aspects of Computer Science Volker Diekert; Michel HabibSpringer Berlin / Heidelberg 2004Acesso online |
| 4 |
Material Type: Livro
|
|
STACS 2005 22nd Annual Symposium on Theoretical Aspects of Computer Science Stuttgart, Germany, February 24-26, 2005 : proceedingsSymposium on Theoretical Aspects of Computer Science (22nd 2005 Stuttgart, Germany) Volker Diekert 1955; Bruno DurandBerlin Springer New York c2005Acesso online. A biblioteca também possui exemplares impressos. |
| 5 |
Material Type: Livro
|
|
STACS 2004 21st Annual Symposium on Theoretical Aspects of Computer Science Montpellier, France, March 25-27, 2004 : proceedingsSymposium on Theoretical Aspects of Computer Science (21st 2004 Montpellier, France) Volker Diekert 1955; M Habib (Michel)Berlin Springer New York c2004Acesso online. A biblioteca também possui exemplares impressos. |
| 6 |
Material Type: Livro
|
|
Computer science -- theory and applications Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3-7, 2007 : proceedingsInternational Computer Science Symposium in Russia (2nd 2007 Ekaterinburg, Russia) Volker Diekert 1955-; Mikhail V Volkov; A Voronkov 1959- (Andreæi)Berlin Springer New York c2007Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.4649 ) e outros locais(Acessar) |
| 7 |
Material Type: Livro
|
|
Stacs 2004: 21st Annual Symposium on Theoretical Aspects of Computer Science, Montpellier, France, March 25-27, 2004, ProceedingsDiekert, Volker ; Habib, Michel Diekert, Volker ; Habib, MichelBerlin, Heidelberg: Springer Berlin / Heidelberg 2004Texto completo disponível |
| 8 |
Material Type: Artigo
|
|
A partial trace semantics for Petri netsDiekert, VTheoretical computer science, 1994-11, Vol.134 (1), p.87-105 [Periódico revisado por pares]Elsevier B.VTexto completo disponível |
| 9 |
Material Type: Artigo
|
|
Rational and Recognizable Complex Trace LanguagesDiekert, V. ; Gastin, P. ; Petit, A.Information and computation, 1995, Vol.116 (1), p.134-153 [Periódico revisado por pares]San Diego, CA: Elsevier IncTexto completo disponível |
| 10 |
Material Type: Artigo
|
|
Some remarks about stabilizersDiekert, Volker ; Krieger, DaliaTheoretical computer science, 2009-08, Vol.410 (30), p.2935-2946 [Periódico revisado por pares]Elsevier B.VTexto completo disponível |
Resultados de 1 a 10 de 35 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
- Artigos (19)
- Livros (8)
- Anais de Congresso (7)
- Book Chapters (1)
-
Mais opções
Assunto
- Computer Science (26)
- Science & Technology (23)
- Technology (21)
- Computer Science, Theory & Methods (17)
- Exact Sciences And Technology (17)
- Theoretical Computing (16)
- Applied Sciences (16)
- Computer Science; Control Theory; Systems (16)
- Language Theory And Syntactical Analysis (11)
- Mathematics (5)
- Physical Sciences (5)
- Computer Science, Information Systems (4)
- Formal Languages (3)
- Teoria Da Computação (Congressos) (2)
- Commutative Monoid (2)
- Concurrency (2)
- Automata. Abstract Machines. Turing Machines (2)
- Combinatorics (2)
- Computers (2)
- Computer Logic (2)
- Algorithmics. Computability. Computer Arithmetics (2)
- Combinatorial Analysis (1)
- Sequential Machine Theory (1)
- Parallel Processing (Electronic Computers) (1)
- Sequential Machine Theory (1)
- Combinatória (1)
- Teoria Da Computação (1)
- Combinatorial Analysis (1)
- Ciência Da Computação (Congressos) (1)
- Linguagens Formais (1)
-
Mais opções
Autor/Criador
Data de Publicação
- Antes de1990 (6)
- 1990Até1993 (6)
- 1994Até1997 (7)
- 1998Até2003 (6)
- Após 2003 (11)
-
Mais opções
Biblioteca
Base de Dados/Biblioteca
- Science Citation Index Expanded (Web of Science) (21)
- ScienceDirect® (14)
- EZB Electronic Journals Library (12)
- SpringerLINK Lecture Notes in Computer Science Archive (Through 1996) (9)
- SpringerLINK Lecture Notes in Computer Science (2015) (9)
- SpringerLink_现刊 (6)
- Springer Nature - Springer Journals All 2022 (6)
- Academic Search Premier (5)
- Computers & Applied Sciences Complete - EBSCO (5)
- Springer Nature - Springer Lecture Notes in Computer Science eBooks (3)
- Springer Books (3)
- SpringerLink Books Lecture Notes in Computer Science Archive (3)
- Springer Books Online Archive (3)
- IngentaConnect Journals (2)
- Business Source Complete (2)
- Aerospace Database (1)
-
Mais opções
Nome da Publicação
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 