Resultados de 1 a 10 de 74 para Busca Geral
Mostrar Somente
Refinado por:
Base de dados/Biblioteca:
SpringerLINK Lecture Notes in Computer Science (2015)
| 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?Henzinger, Thomas A. ; Majumdar, Rupak 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 ScienceSTACS 2000, 2000, Vol.1770Germany: Springer Berlin / HeidelbergTexto completo disponível |
| 3 |
Material Type: Capítulo de Livro
|
|
Almost Complete SetsAmbos-Spies, Klaus ; Merkle, Wolfgang ; Reimann, Jan ; Terwijn, Sebastiaan A. 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 ScienceSTACS 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 CommunicationsBampis, Evripidis ; Giroudeau, Rodolphe ; König, Jean-Claude 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 ComplexityAmbainis, Andris ; de Wolf, Ronald 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 ScienceSTACS 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 ScienceSTACS 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?Engelfriet, Joost ; Maneth, Sebastian 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 ComplexityKoiran, Pascal 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 74 para Busca Geral
Personalize Seus Resultados
Refine Search Results
Expandir Meus Resultados
Mostrar Somente
Assunto
- Computer Science (60)
- Computer Science, Theory & Methods (39)
- Science & Technology (39)
- Technology (39)
- Applied Sciences (38)
- Exact Sciences And Technology (38)
- Theoretical Computing (37)
- Computer Science; Control Theory; Systems (37)
- Congresses (21)
- Computers (19)
- Theory Of Computation (18)
- Information Theory (18)
- Theoretische Informatik (15)
- Computer Science -- Congresses (14)
- Automata. Abstract Machines. Turing Machines (13)
- Algorithm Analysis And Problem Complexity (13)
- Computer Software (13)
- Algorithms (13)
- Algorithmics. Computability. Computer Arithmetics (13)
- Informatique (13)
-
Mais opções
Data de Publicação
- Antes de1986 (4)
- 1986Até1994 (3)
- 1995Até1997 (3)
- 1998Até2001 (58)
- Após 2001 (14)
-
Mais opções
Base de Dados/Biblioteca
- Springer Books (74)
- Springer Books Online Archive (74)
- SpringerLink Books Lecture Notes in Computer Science Archive (74)
- Springer Nature - Springer Lecture Notes in Computer Science eBooks (74)
- Lecture Notes in Computer Science Archive (through to 1996) (61)
- Science Citation Index Expanded (Web of Science) (39)
- IngentaConnect Journals (26)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 