Resultados de 1 a 10 de 63 para Busca Geral
Ordenado por:
Ordenado por:
Data mais antigaOr hit Enter to replace sort method
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Refinado por:
assunto:
Theoretical Computing
Lecture Notes in Computer Science
Lecture Notes in Computer Science
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Artigo
|
|
Fundamentals of Generic ProgrammingDehnert, James C. ; Stepanov, Alexander Musser, David R. ; Loos, Rüdiger G. K. ; Jazayeri, MehdiGeneric Programming, 2000, p.1-11 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
| 2 |
Material Type: Artigo
|
|
On Distribution-Specific Learning with Membership Queries versus Pseudorandom GenerationKöbler, Johannes ; Lindner, Wolfgang Prasad, Sanjiva ; Kapoor, SanjivFST TCS 2000: Foundations of Software Technology and Theoretical Computer Science, 2000, p.336-347 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
| 3 |
Material Type: Artigo
|
|
Dynamically Ordered Probabilistic Choice Logic ProgrammingDe Vos, Marina ; Vermeir, Dirk Prasad, Sanjiva ; Kapoor, SanjivFST TCS 2000: Foundations of Software Technology and Theoretical Computer Science, 2000, p.227-239 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
| 4 |
Material Type: Artigo
|
|
A Generic Programming Environment for High-Performance Mathematical LibrariesSchreiner, Wolfgang ; Danielczyk-Landerl, Werner ; Marin, Mircea ; Stöcher, Wolfgang Musser, David R. ; Loos, Rüdiger G. K. ; Jazayeri, MehdiGeneric Programming, 2000, p.256-267 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
| 5 |
Material Type: Artigo
|
|
An Approach to Symbolic Test GenerationRusu, Vlad ; du Bousquet, Lydie ; Jéron, Thierry Santen, Thomas ; Stoddart, Bill ; Grieskamp, WolfgangIntegrated Formal Methods, 2000, p.338-357 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
| 6 |
Material Type: Artigo
|
|
Symbolic Checking of Signal-Transition Consistency for Verifying High-Level DesignsHamaguchi, Kiyoharu ; Urushihara, Hidekazu ; Kashiwabara, Toshinobu Johnson, Steven D. ; Hunt, Warren A.Formal Methods in Computer-Aided Design, 2000-01, p.492-506 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
| 7 |
Material Type: Artigo
|
|
Verification by Testing for Recursive Program SchemesLe Métayer, Daniel ; Nicolas, Valérie-Anne ; Ridoux, Olivier Bossi, AnnalisaLecture notes in computer science, 2000-01, p.255-272 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
| 8 |
Material Type: Artigo
|
|
Type Systems for Useless-Variable EliminationFischbach, Adam ; Hannan, John Danvy, Olivier ; Filinski, AndrzejLecture notes in computer science, 2001, p.25-38 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
| 9 |
Material Type: Artigo
|
|
Genetic Programming for Financial Time Series PredictionSantini, Massimo ; Tettamanzi, Andrea Tomassini, Marco ; Miller, Julian ; Tettamanzi, Andrea G. B. ; Lanzi, Pier Luca ; Ryan, Conor ; Langdon, William B.Genetic Programming, 2001, p.361-370 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
| 10 |
Material Type: Artigo
|
|
An Abstract Interpretation Framework for Analysing Mobile AmbientsLevi, Francesca ; Maffeis, Sergio Cousot, PatrickLecture notes in computer science, 2001, p.395-411 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
Resultados de 1 a 10 de 63 para Busca Geral
Ordenado por:
Ordenado por:
Data mais antigaOr 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
Refinar Meus Resultados
Assunto
- Computer Science, Software Engineering (60)
- Computer Science, Theory & Methods (59)
- Programming Theory (30)
- Software (19)
- Software Engineering (15)
- Language Theory And Syntactical Analysis (10)
- Computer Science, Artificial Intelligence (9)
- Algorithmics. Computability. Computer Arithmetics (9)
- Memory Organisation. Data Processing (5)
- Logical, Boolean And Switching Functions (5)
- Automata. Abstract Machines. Turing Machines (4)
- Extreme Programming (4)
- Information Retrieval. Graph (4)
-
Mais opções
Data de Publicação
- Antes de2000 (1)
- 2000Até2000 (7)
- 2001Até2001 (6)
- 2002Até2003 (44)
- Após 2003 (6)
-
Mais opções
Base de Dados/Biblioteca
- SpringerLink_回溯丛书_Lecture Notes in Computer Science Archive（NSTL购买） (63)
- SpringerLINK Lecture Notes in Computer Science (2015) (63)
- Science Citation Index Expanded (Web of Science) (63)
- IngentaConnect Journals (5)
- EZB Electronic Journals Library (1)
- ScienceDirect (1)
- EBSCOhost Business Source Complete (1)
- World Scientific_期刊 (1)
-
Mais opções
Nome da Publicação
- Extreme Programming And Agile Methods - Xp/agile Universe 2003 (17)
- Theoretical Computer Science, Proceedings (13)
- Theoretical Computer Science (11)
- High Performance Computing - Hipc 2002, Proceedings (3)
- Formal Methods And Software Engineering (3)
- Formal Methods And Software Engineering, Proceedings (3)
- High Performance Computing — Hipc 2002 (3)
- Eurasia-Ict 2002: Information And Communication Technology (2)
- Computing And Combinatorics, Proceedings (2)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 