Resultados de 1 a 10 de 117 para Busca Geral
Mostrar Somente
- Recursos Online (90)
- Revistas revisadas por pares (58)
- Disponível na Biblioteca (29)
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Capítulo de Livro
|
|
A Classification of Symbolic Transition Systems?Symposium on Theoretical Aspects of Computer Science ; Reichel, Horst ; Tison, SophieLecture notes in computer science, 2000, Vol.1770, p.13-34 [Periódico revisado por pares]Germany: Springer Berlin / HeidelbergTexto completo disponível |
| 2 |
Material Type: Capítulo de Livro
|
|
About Cube-Free Morphisms (Extended Abstract)Symposium on Theoretical Aspects of Computer Science ; Reichel, Horst ; Tison, SophieSTACS 2000, 2000, Vol.1770Germany: Springer Berlin / HeidelbergTexto completo disponível |
| 3 |
Material Type: Capítulo de Livro
|
|
Almost Complete SetsSymposium on Theoretical Aspects of Computer Science ; Reichel, Horst ; Tison, SophieLecture notes in computer science, 2000, Vol.1770, p.419-430 [Periódico revisado por pares]Germany: Springer Berlin / HeidelbergTexto completo disponível |
| 4 |
Material Type: Capítulo de Livro
|
|
An Approximate Lp-Di erence Algorithm for Massive Data Streams? (Extended Abstract)??Symposium on Theoretical Aspects of Computer Science ; Reichel, Horst ; Tison, SophieSTACS 2000, 2000, Vol.1770Germany: Springer Berlin / HeidelbergTexto completo disponível |
| 5 |
Material Type: Capítulo de Livro
|
|
An Approximation Algorithm for the Precedence Constrained Scheduling Problem with Hierarchical CommunicationsSymposium on Theoretical Aspects of Computer Science ; Reichel, Horst ; Tison, SophieLecture notes in computer science, 2000, Vol.1770, p.443-454 [Periódico revisado por pares]Germany: Springer Berlin / HeidelbergTexto completo disponível |
| 6 |
Material Type: Capítulo de Livro
|
|
Average-Case Quantum Query ComplexitySymposium on Theoretical Aspects of Computer Science ; Reichel, Horst ; Tison, SophieLecture notes in computer science, 2000, Vol.1770, p.133-144 [Periódico revisado por pares]Germany: Springer Berlin / HeidelbergTexto completo disponível |
| 7 |
Material Type: Capítulo de Livro
|
|
Bias Invariance of Small Upper Spans (Extended Abstract)?Symposium on Theoretical Aspects of Computer Science ; Reichel, Horst ; Tison, SophieSTACS 2000, 2000, Vol.1770Germany: Springer Berlin / HeidelbergTexto completo disponível |
| 8 |
Material Type: Capítulo de Livro
|
|
Binary Exponential Backo Is Stable for High Arrival RatesSymposium on Theoretical Aspects of Computer Science ; Reichel, Horst ; Tison, SophieSTACS 2000, 2000, Vol.1770Germany: Springer Berlin / HeidelbergTexto completo disponível |
| 9 |
Material Type: Capítulo de Livro
|
|
Characterizing and Deciding MSO-Definability of Macro Tree Transductions?Symposium on Theoretical Aspects of Computer Science ; Reichel, Horst ; Tison, SophieLecture notes in computer science, 2000, Vol.1770, p.542-554 [Periódico revisado por pares]Germany: Springer Berlin / HeidelbergTexto completo disponível |
| 10 |
Material Type: Capítulo de Livro
|
|
Circuits versus Trees in Algebraic ComplexitySymposium on Theoretical Aspects of Computer Science ; Reichel, Horst ; Tison, SophieLecture notes in computer science, 2000, Vol.1770, p.35-52 [Periódico revisado por pares]Germany: Springer Berlin / HeidelbergTexto completo disponível |
Resultados de 1 a 10 de 117 para Busca Geral
Personalize Seus Resultados
Refine Search Results
Expandir Meus Resultados
Mostrar Somente
- Recursos Online (90)
- Revistas revisadas por pares (58)
- Disponível na Biblioteca (29)
Assunto
- Computer Science (80)
- Computer Science, Theory & Methods (40)
- Technology (40)
- Science & Technology (40)
- Exact Sciences And Technology (39)
- Applied Sciences (39)
- Theoretical Computing (38)
- Computer Science; Control Theory; Systems (38)
- Congresses (21)
- Teoria Da Computação (21)
- Computers (20)
- Information Theory (18)
- Theory Of Computation (18)
- Theoretische Informatik (15)
- Computer Science -- Congresses (14)
- Informatique (13)
- Algorithms (13)
- Algorithm Analysis And Problem Complexity (13)
- Computer Software (13)
- Algorithmics. Computability. Computer Arithmetics (13)
- Automata. Abstract Machines. Turing Machines (13)
- Electronic Data Processing (12)
- Ciência Da Computação (5)
- Teoria Da Computação (Congressos) (3)
- Processamento De Dados (2)
- Geometria Computacional (2)
- Algoritmos E Estruturas De Dados (2)
- Linguagem De Programação (1)
- Metodologia E Técnicas De Computação (1)
- Linguagens Formais (1)
- Matemática Da Computação (1)
- Engenharia De Software (1)
- Banco De Dados (1)
- Análise Numérica (1)
- Electronic Data Processing (1)
- Algoritmos De Aproximação (1)
-
Mais opções
Autor/Criador
- Symposium on Theoretical Aspects of Computer Science (37)
- Tison, S (6)
- Meinel, C (5)
- Morvan, M (5)
- Association Française pour la Cybernétique Économique et Technique (5)
- Reischuk, R (5)
- Reichel, H (5)
- Mayr, E (4)
- Finkel, A (4)
- Enjalbert, P (4)
- Mehlhorn, K (4)
- Alt, H (4)
- Gesellschaft für Informatik (4)
- Puech, C (4)
- Habib, M (4)
- Ferreira, A (4)
- Diekert, V (3)
- Wagner, K (3)
- Jantzen, M (3)
- Choffrut, C (2)
-
Mais opções
Data de Publicação
- Antes de1987 (9)
- 1987Até1990 (4)
- 1991Até1994 (9)
- 1995Até1999 (17)
- Após 1999 (86)
-
Mais opções
Biblioteca
Base de Dados/Biblioteca
- Springer Books (75)
- Springer Books Online Archive (75)
- SpringerLINK Lecture Notes in Computer Science (2015) (75)
- SpringerLink Books Lecture Notes in Computer Science Archive (75)
- Springer Nature - Springer Lecture Notes in Computer Science eBooks (75)
- Lecture Notes in Computer Science Archive (through to 1996) (62)
- Science Citation Index Expanded (Web of Science) (40)
- IngentaConnect Journals (26)
-
Mais opções
Nome da Publicação
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 