Resultados de 1 a 10 de 859 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:
Base de dados/Biblioteca:
Springer Books Online Archive
| 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
|
|
Component-Based Software Engineering: 7th International Symposium, CBSE 2004, Edinburgh, UK, May 24-25, 2004, ProceedingsCrnkovic, Ivica ; Stafford, Judith A ; Schmidt, Heinz W ; Wallnau, Kurt Wallnau, Kurt ; Stafford, Judith A. ; Crnkovic, Ivica ; Schmidt, Heinz W.Berlin, Heidelberg: Springer Berlin / Heidelberg 2004Texto completo disponível |
| 5 |
Material Type: Livro
|
|
ZUM '95: The Z Formal Specification Notation: 9th International Conference of Z Users Limerick, Ireland, September 7–9, 1995 ProceedingsBowen, Jonathan P ; Hinchey, Michael G Bowen, Jonathan P. ; Hinchey, Michael G.Berlin, Heidelberg: Springer Berlin Heidelberg 1995Texto completo disponível |
| 6 |
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 |
| 7 |
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 |
| 8 |
Material Type: Livro
|
|
Computer Aided Verification: Fourth International Workshop, CAV '92 Montreal, Canada, June 29 – July 1, 1992 ProceedingsBochmann, Gregor von ; Probst, David Karl von Bochmann, Gregor ; Probst, David KarlBerlin, Heidelberg: Springer Berlin Heidelberg 1993Texto completo disponível |
| 9 |
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 |
| 10 |
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 |
Resultados de 1 a 10 de 859 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 (854)
- Anais de Congresso (2)
- Book Chapters (2)
- Recursos Textuais (1)
-
Mais opções
Assunto
- Logics And Meanings Of Programs (853)
- Computer Science (830)
- Logic Design (825)
- Computer Logic (645)
- Congresses (623)
- Software Engineering (526)
- Kongress (437)
- Mathematical Logic And Formal Languages (415)
- E-Book Springer Lncs (412)
- Programming Languages, Compilers, Interpreters (407)
- Programming Languages (369)
- Computers (365)
- Machine Theory (355)
- Compilers (336)
- Computer Programming (335)
- Mathematical Logic (327)
- Artificial Intelligence (300)
- Programming Techniques (285)
- Theory Of Computation (277)
- Software Engineering/programming And Operating Systems (270)
-
Mais opções
Data de Publicação
- Antes de1982 (10)
- 1982Até1989 (52)
- 1990Até1996 (156)
- 1997Até2004 (645)
- Após 2004 (438)
-
Mais opções
Base de Dados/Biblioteca
- Springer Books (859)
- SpringerLink Books Lecture Notes in Computer Science Archive (843)
- SpringerLINK Lecture Notes in Computer Science (841)
- SpringerLINK Lecture Notes in Computer Science (2015) (734)
- Springer Nature - Springer Lecture Notes in Computer Science eBooks (734)
- IngentaConnect Journals (9)
- ACM Digital Library Complete (4)
- Springer Nature - Springer Mathematics and Statistics eBooks 2007 English International (3)
- SpringerLINK Lecture Notes in Physics Archive (Through 1996) (1)
- SpringerLINK Lecture Notes in Mathematics (1)
- SpringerLINK Lecture Notes in Computer Science (2012) (1)
- EU BookShop (1)
- Springer Nature - Springer Lecture Notes in Physics eBooks (1)
- Springer Nature - Springer Lecture Notes in Mathematics eBooks (1)
- SpringerLINK Lecture Notes in Mathematics Contemporary (1997-present) (1)
- Science Citation Index Expanded (Web of Science) (1)
- Springer Nature - Springer Medicine eBooks 2005 English International (1)
- SpringerLINK Lecture Notes in Physics Contemporary (1997-present) (1)
- Springer Nature - Springer Medicine eBooks 2007 English International (1)
-
Mais opções
Idioma
- Japonês (3)
- Francês (1)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 