Resultados de 11 a 20 de 115 para Busca Geral
Mostrar Somente
- Recursos Online (88)
- Revistas revisadas por pares (56)
- Disponível na Biblioteca (29)
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 11 |
Material Type: Capítulo de Livro
|
|
Characterizing and Deciding MSO-Definability of Macro Tree Transductions?Engelfriet, Joost ; Maneth, SebastianLecture notes in computer science, 2000, Vol.1770, p.542-554 [Periódico revisado por pares]Germany: Springer Berlin / HeidelbergTexto completo disponível |
| 12 |
Material Type: Capítulo de Livro
|
|
Circuits versus Trees in Algebraic ComplexityKoiran, PascalLecture notes in computer science, 2000, Vol.1770, p.35-52 [Periódico revisado por pares]Germany: Springer Berlin / HeidelbergTexto completo disponível |
| 13 |
Material Type: Capítulo de Livro
|
|
Codes and GraphsShokrollahi, M. AminLecture notes in computer science, 2000, Vol.1770, p.1-12 [Periódico revisado por pares]Germany: Springer Berlin / HeidelbergTexto completo disponível |
| 14 |
Material Type: Artigo de Congresso
|
|
Compression and entropyGeorges Hansel Dominique Perrin; Imre Simon 1943-2009; Annual Symposium on Theoretical Aspects of Computer Science - STACS (9. 1992 Cachan, France)Proceedings Berlin : Springer, 1992Berlin Springer 1992Localização: IME - Inst. Matemática e Estatística (PROD-834804 ) e outros locais(Acessar) |
| 15 |
Material Type: Capítulo de Livro
|
|
Controlled Conspiracy-2 Search? (Extended Abstract)Symposium on Theoretical Aspects of Computer ScienceSTACS 2000, 2000, Vol.1770Germany: Springer Berlin / HeidelbergTexto completo disponível |
| 16 |
Material Type: Capítulo de Livro
|
|
Decidability of Reachability Problems for Classes of Two Counters AutomataFinkel, Alain ; Sutre, GrégoireLecture notes in computer science, 2000, Vol.1770, p.346-357 [Periódico revisado por pares]Germany: Springer Berlin / HeidelbergTexto completo disponível |
| 17 |
Material Type: Capítulo de Livro
|
|
Distance Labeling Schemes for Well-Separated Graph ClassesKatz, Michal ; Katz, Nir A. ; Peleg, DavidLecture notes in computer science, 2000, Vol.1770, p.516-528 [Periódico revisado por pares]Germany: Springer Berlin / HeidelbergTexto completo disponível |
| 18 |
Material Type: Capítulo de Livro
|
|
Fast Integer Sorting in Linear SpaceHan, YijieLecture notes in computer science, 2000, Vol.1770, p.242-253 [Periódico revisado por pares]Germany: Springer Berlin / HeidelbergTexto completo disponível |
| 19 |
Material Type: Capítulo de Livro
|
|
Graph Isomorphism Is Low for ZPP(NP) and Other Lowness ResultsArvind, Vikraman ; Köbler, JohannesLecture notes in computer science, 2000, Vol.1770, p.431-442 [Periódico revisado por pares]Germany: Springer Berlin / HeidelbergTexto completo disponível |
| 20 |
Material Type: Capítulo de Livro
|
|
Hard Instances of Hard Problems?Lutz, Jack H. ; Mhetre, Vikram ; Srinivasan, SridharLecture notes in computer science, 2000, Vol.1770, p.324-333 [Periódico revisado por pares]Germany: Springer Berlin / HeidelbergTexto completo disponível |
Resultados de 11 a 20 de 115 para Busca Geral
Personalize Seus Resultados
Refine Search Results
Expandir Meus Resultados
Mostrar Somente
- Recursos Online (88)
- Revistas revisadas por pares (56)
- Disponível na Biblioteca (29)
Assunto
- Computer Science (78)
- Computer Science, Theory & Methods (40)
- Science & Technology (40)
- Technology (40)
- Applied Sciences (39)
- Exact Sciences And Technology (39)
- Theoretical Computing (38)
- Computer Science; Control Theory; Systems (38)
- Teoria Da Computação (21)
- Congresses (19)
- Computers (17)
- Theory Of Computation (16)
- Information Theory (16)
- Automata. Abstract Machines. Turing Machines (13)
- Theoretische Informatik (13)
- Algorithmics. Computability. Computer Arithmetics (13)
- Computer Science -- Congresses (12)
- Algorithm Analysis And Problem Complexity (12)
- Computer Software (12)
- Algorithms (12)
- Electronic Data Processing (12)
- Ciência Da Computação (5)
- Teoria Da Computação (Congressos) (3)
- Processamento De Dados (2)
- Algoritmos E Estruturas De Dados (2)
- Geometria Computacional (2)
- Análise Numérica (1)
- Metodologia E Técnicas De Computação (1)
- Engenharia De Software (1)
- Linguagem De Programação (1)
- Matemática Da Computação (1)
- Algoritmos De Aproximação (1)
- Linguagens Formais (1)
- Banco De Dados (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 (84)
-
Mais opções
Biblioteca
Base de Dados/Biblioteca
- Springer Books (73)
- Springer Books Online Archive (73)
- SpringerLINK Lecture Notes in Computer Science (2015) (73)
- SpringerLink Books Lecture Notes in Computer Science Archive (73)
- Springer Nature - Springer Lecture Notes in Computer Science eBooks (73)
- SpringerLINK Lecture Notes in Computer Science Archive (Through 1996) (60)
- Science Citation Index Expanded (Web of Science) (40)
- IngentaConnect Journals (27)
-
Mais opções
Nome da Publicação
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 