Resultados de 1 a 10 de 1.051 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
Refinado por:
assunto:
Mathematical Logic And Formal Languages
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Livro
|
|
Logic Based Program Synthesis and Transformation: 13th International Symposium LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected PapersBruynooghe, Maurice Bruynooghe, MauriceBerlin, Heidelberg: Springer Berlin / Heidelberg 2004Texto completo disponível |
| 2 |
Material Type: Livro
|
|
Types for Proofs and Programs: International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected PapersBerardi, Stefano ; Coppo, Mario ; Damiani, Ferruccio Berardi, Stefano ; Coppo, Mario ; Damiani, FerruccioBerlin, Heidelberg: Springer Berlin / Heidelberg 2004Texto completo disponível |
| 3 |
Material Type: Livro
|
|
Static Analysis: Third International Workshop, WSA '93 Padova, Italy, September 22–24, 1993 ProceedingsCousot, Patrick ; Falaschi, Moreno ; Filé, Gilberto ; Rauzy, Antoine Cousot, Patrick ; Rauzy, Antoine ; Falaschi, Moreno ; Filé, GilbertoBerlin, Heidelberg: Springer Berlin Heidelberg 1993Texto completo disponível |
| 4 |
Material Type: Livro
|
|
Computer Science Logic: 8th Workshop, CSL '94 Kazimierz, Poland, September 25–30, 1994 Selected PapersPacholski, Leszek ; Tiuryn, Jerzy Pacholski, Leszek ; Tiuryn, JerzyBerlin, Heidelberg: Springer Berlin Heidelberg 1995Texto completo disponível |
| 5 |
Material Type: Livro
|
|
Computer Aided Verification: 7th International Conference, CAV '95 Liège, Belgium, July 3–5, 1995 ProceedingsWolper, Pierre Wolper, PierreBerlin, Heidelberg: Springer Berlin Heidelberg 1995Texto completo disponível |
| 6 |
Material Type: Livro
|
|
Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, ProceedingsBasin, David ; Rusinowitch, Michael Basin, David ; Rusinowitch, MichaëlBerlin, Heidelberg: Springer Berlin / Heidelberg 2004Texto completo disponível |
| 7 |
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 |
| 8 |
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 |
| 9 |
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 |
| 10 |
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 |
Resultados de 1 a 10 de 1.051 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
Refinar Meus Resultados
Tipo de Recurso
- Livros (795)
- Anais de Congresso (254)
- Artigos (2)
-
Mais opções
Assunto
- Computer Science (1.019)
- Logic Design (698)
- Software Engineering (667)
- Computer Logic (663)
- Mathematical Logic (644)
- Machine Theory (640)
- Congresses (593)
- Programming Languages, Compilers, Interpreters (525)
- Artificial Intelligence (455)
- Computers (439)
- Logic, Symbolic And Mathematical (376)
- Programming Languages (361)
- Computer Programming (340)
- Kongress (335)
- Compilers (314)
- Computer Science Logic And Foundations Of Programming (307)
- Programming Techniques (306)
- Mathematics (305)
-
Mais opções
Data de Publicação
- Antes de1990 (19)
- 1990Até1996 (97)
- 1997Até2003 (259)
- 2004Até2012 (349)
- Após 2012 (397)
-
Mais opções
Base de Dados/Biblioteca
- SpringerLINK Lecture Notes in Computer Science (2015) (957)
- SpringerLINK Lecture Notes in Computer Science (929)
- Springer Books (829)
- Springer Nature - Springer Lecture Notes in Computer Science eBooks (741)
- Springer Books Online Archive (415)
- SpringerLink Books Lecture Notes in Computer Science Archive (406)
- SpringerLINK Lecture Notes in Computer Science (2014) (126)
- Springer Nature - Springer Computer Science eBooks 2012 English International (90)
- SpringerLINK Lecture Notes in Computer Science (2012) (87)
- Springer Nature - Springer Computer Science eBooks 2016 English International (87)
- SpringerLINK Lecture Notes in Computer Science (2016) (83)
- Springer Nature - Springer Computer Science eBooks 2015 English International (82)
- Springer Nature - Springer Computer Science eBooks 2014 English International (70)
- Springer Nature - Springer Computer Science eBooks 2013 English International (61)
- SpringerLINK Lecture Notes in Computer Science (2013) (56)
- SpringerLink Fully Open Access Books (16)
- DOAB: Directory of Open Access Books (16)
- OAPEN (16)
- Springer Nature OA Free Journals (11)
- IngentaConnect Journals (9)
-
Mais opções
Idioma
- Inglês (1.049)
- Francês (3)
- Japonês (3)
- Alemão (1)
-
Mais opções
Nome da Publicação
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 