Resultados de 11 a 20 de 2.342 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
- Revistas revisadas por pares (1.473)
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 11 |
Material Type: Livro
|
|
Logic Programming: 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004, ProceedingsDemoen, Bart ; Lifschitz, Vladimir Demoen, Bart ; Lifschitz, VladimirBerlin, Heidelberg: Springer Berlin / Heidelberg 2004Texto completo disponível |
| 12 |
Material Type: Livro
|
|
Computer Science Logic: 7th Workshop, CSL '93 Swansea, United Kingdom September 13–17, 1993 Selected PapersBörger, Egon ; Gurevich, Yuri ; Meinke, Karl Gurevich, Yuri ; Meinke, Karl ; Börger, EgonBerlin, Heidelberg: Springer Berlin Heidelberg 1994Texto completo disponível |
| 13 |
Material Type: Livro
|
|
Computer Aided Verification: 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, ProceedingsAlur, Rajeev ; Peled, Doron A Alur, Rajeev ; Peled, Doron A.Berlin, Heidelberg: Springer Berlin / Heidelberg 2004Texto completo disponível |
| 14 |
Material Type: Livro
|
|
Algebraic Methodology and Software Technology: 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, ProceedingsRattray, Charles ; Maharaj, Savitri Shankland, Carron ; Maharaj, Savitri ; Rattray, CharlesBerlin, Heidelberg: Springer Berlin / Heidelberg 2004Texto completo disponível |
| 15 |
Material Type: Livro
|
|
Static Analysis: 11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004, ProceedingsGiacobazzi, Roberto Giacobazzi, RobertoBerlin, Heidelberg: Springer Berlin / Heidelberg 2004Texto completo disponível |
| 16 |
Material Type: Livro
|
|
Static Analysis: Third International Symposium, SAS '96 Aachen, Germany, September 24–26, 1996 ProceedingsCousot, Radhia ; Schmidt, David A Cousot, Radhia ; Schmidt, David A.Berlin, Heidelberg: Springer Berlin Heidelberg 1996Texto completo disponível |
| 17 |
Material Type: Livro
|
|
Programming Multi-Agent Systems: First International Workshop, PROMAS 2003, Melbourne, Australia, July 15, 2003, Selected Revised and Invited PapersDastani, Mehdi ; Dix, Juergen ; EL Fallah-Seghrouchni, Amal El Fallah-Seghrouchni, Amal ; Dastani, Mehdi M. ; Dix, JürgenBerlin, Heidelberg: Springer Berlin / Heidelberg 2004Texto completo disponível |
| 18 |
Material Type: Livro
|
|
Advances in Agent Communication: International Workshop on Agent Communication Languages, ACL 2003, Melbourne, Australia, July 14, 2003. Revised and Invited PapersDignum, Frank Dignum, FrankBerlin, Heidelberg: Springer Berlin Heidelberg 2004Texto completo disponível |
| 19 |
Material Type: Livro
|
|
Mathematical Foundations of Computer Science 2004: 29th International Symposium, MFCS 2004, Prague, Czech Republic, August 22-27, 2004, ProceedingsFiala, Jirí ; Koubek, Václav ; Kratochvíl, Jan Kratochvíl, Jan ; Fiala, Jiří ; Koubek, VáclavBerlin, Heidelberg: Springer Berlin / Heidelberg 2004Texto completo disponível |
| 20 |
Material Type: Livro
|
|
Extreme Programming and Agile Processes in Software Engineering: 5th International Conference, XP 2004, Garmisch-Partenkirchen, Germany, June 6-10, 2004, ProceedingsEckstein, Jutta ; Baumeister, Hubert Eckstein, Jutta ; Baumeister, HubertBerlin, Heidelberg: Springer Berlin / Heidelberg 2004Texto completo disponível |
Resultados de 11 a 20 de 2.342 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
- Revistas revisadas por pares (1.473)
Refinar Meus Resultados
Tipo de Recurso
- Livros (1.474)
- Artigos (441)
- Anais de Congresso (415)
- Book Chapters (8)
- Reports (1)
- Dissertações (1)
- Recursos Textuais (1)
- magazinearticle (1)
-
Mais opções
Assunto
- Logics And Meanings Of Programs (2.271)
- Computer Science (2.265)
- Logic Design (1.329)
- Software Engineering (1.324)
- Computer Logic (1.208)
- Congresses (1.060)
- Mathematical Logic And Formal Languages (1.051)
- Programming Languages, Compilers, Interpreters (937)
- Theory Of Computation (788)
- Computers (755)
- Programming Languages (720)
- Software Engineering/programming And Operating Systems (717)
- Machine Theory (716)
- Mathematical Logic (667)
- Artificial Intelligence (650)
- Kongress (628)
- Computer Programming (623)
- Compilers (589)
- Programming Techniques (547)
- Computer Software (536)
-
Mais opções
Data de Publicação
- Antes de1985 (18)
- 1985Até1993 (114)
- 1994Até2002 (530)
- 2003Até2012 (959)
- Após 2012 (936)
-
Mais opções
Base de Dados/Biblioteca
- SpringerLINK Lecture Notes in Computer Science (2015) (1.680)
- SpringerLINK Lecture Notes in Computer Science (1.674)
- Springer Books (1.530)
- Springer Nature - Springer Lecture Notes in Computer Science eBooks (1.324)
- Springer Books Online Archive (859)
- SpringerLink Books Lecture Notes in Computer Science Archive (843)
- EBSCOhost Computers and Applied Sciences Complete (432)
- Springer Nature - Complete Springer Journals (392)
- Springer Nature - Springer Journals All 2022 (390)
- EBSCOhost Academic Search Premier (390)
- Science Citation Index Expanded (Web of Science) (374)
- SpringerLINK Lecture Notes in Computer Science (2014) (200)
- Springer Nature - Springer Computer Science eBooks 2012 English International (134)
- Springer Nature - Springer Computer Science eBooks 2015 English International (129)
- Springer Nature - Springer Computer Science eBooks 2016 English International (126)
- SpringerLINK Lecture Notes in Computer Science (2012) (125)
- Springer Nature - Springer Computer Science eBooks 2013 English International (123)
- Springer Nature - Springer Computer Science eBooks 2014 English International (116)
- SpringerLINK Lecture Notes in Computer Science (2016) (114)
- SpringerLINK Lecture Notes in Computer Science (2013) (105)
-
Mais opções
Idioma
- Inglês (2.339)
- Japonês (17)
- Francês (4)
- Alemão (3)
-
Mais opções
Nome da Publicação
- Acta Informatica (388)
- Acm Transactions On Programming Languages And Systems (29)
- Acm Transactions On Database Systems (5)
- Acm Transactions On Software Engineering And Methodology (4)
- Ieee Transactions On Software Engineering (2)
- Lecture Notes In Computer Science (2)
- Synthese (2)
- Acta Inf (1)
- Acm Transactions On Computational Logic (1)
- Acm Transaction On Software Engineering And Methodology (1)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 