Resultados de 1 a 10 de 75 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:
Congresses
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Livro
|
|
Mathematical Foundations of Programming Semantics: International Conference Manhattan, Kansas, April 11–12, 1985 ProceedingsMelton, Austin Melton, AustinBerlin, Heidelberg: Springer Berlin Heidelberg 1986Texto completo disponível |
| 2 |
Material Type: Livro
|
|
Logics of Programs: Workshop, Carnegie Mellon University Pittsburgh, PA, June 6–8, 1983Clarke, Edmund ; Kozen, Dexter Clarke, Edmund ; Kozen, DexterBerlin, Heidelberg: Springer Berlin Heidelberg 1984Texto completo disponível |
| 3 |
Material Type: Livro
|
|
Mathematical Foundations of Computer Science 1978: Proceedings, 7th Symposium Zakopane, Poland, September 4–8, 1978Winkowski, J Winkowski, J.Berlin, Heidelberg: Springer Berlin Heidelberg 1978Texto completo disponível |
| 4 |
Material Type: Livro
|
|
Foundations of Software Technology and Theoretical Computer Science: Eighth Conference, Pune, India December 21–23, 1988 ProceedingsNori, Kesav V ; Kumar, Sanjeev Kumar, Sanjeev ; Nori, Kesav V.Berlin, Heidelberg: Springer Berlin Heidelberg 1988Texto completo disponível |
| 5 |
Material Type: Livro
|
|
ESOP '88: 2nd European Symposium on Programming Nancy, France, March 21–24, 1988 ProceedingsGanzinger, H Ganzinger, H.Berlin, Heidelberg: Springer Berlin Heidelberg 1988Texto completo disponível |
| 6 |
Material Type: Livro
|
|
Foundations of Software Technology and Theoretical Computer Science: Seventh Conference, Pune, India December 17–19, 1987 ProceedingsNori, Kesav V Nori, Kesav V.Berlin, Heidelberg: Springer Berlin Heidelberg 1987Texto completo disponível |
| 7 |
Material Type: Livro
|
|
Logics of Programs: Workshop, Yorktown Heights, New York, May 1981Kozen, Dexter Kozen, DexterBerlin, Heidelberg: Springer Berlin Heidelberg 1982Texto completo disponível |
| 8 |
Material Type: Livro
|
|
Programming Languages: Implementations, Logics, and Programs: 9th International Symposium, PLILP '97 Including a Special Track on Declarative Programming Languages in Education Southampton, UK, September 3–5, 1997 ProceedingsGlaser, Hugh ; Hartel, Pieter ; Kuchen, Herbert Kuchen, Herbert ; Hartel, Pieter ; Glaser, HughBerlin, Heidelberg: Springer Berlin Heidelberg 1997Texto completo disponível |
| 9 |
Material Type: Livro
|
|
International Symposium on Programming: 5th Colloquium Turin, April 6–8, 1982 ProceedingsDezani-Ciancaglini, Mariangiola ; Montanari, Ugo Dezani-Ciancaglini, Mariangiola ; Montanari, UgoBerlin, Heidelberg: Springer Berlin Heidelberg 1982Texto completo disponível |
| 10 |
Material Type: Livro
|
|
Logics of Programs and Their Applications: Proceedings, Poznan, August 23–29, 1980Salwicki, A Salwicki, A.Berlin, Heidelberg: Springer Berlin Heidelberg 1983Texto completo disponível |
Resultados de 1 a 10 de 75 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
Assunto
- Computer Programming (73)
- Computer Science (72)
- Electronic Digital Computers -- Programming -- Congresses (70)
- Programmation (35)
- Programming Languages (35)
- Software Engineering (34)
- Logics And Meanings Of Programs (33)
- Logic Design (33)
- Computers (32)
- Mathematical Logic And Formal Languages (31)
- Programming Languages, Compilers, Interpreters (29)
- Computer Logic (29)
- Machine Theory (28)
- Compilers (28)
- Programming Techniques (27)
- Kongress (27)
- Computer Science Logic And Foundations Of Programming (24)
-
Mais opções
Data de Publicação
- Antes de1980 (8)
- 1980Até1984 (8)
- 1985Até1991 (15)
- 1992Até1998 (18)
- Após 1998 (50)
-
Mais opções
Base de Dados/Biblioteca
- Springer Books (65)
- Springer Books Online Archive (65)
- Lecture Notes in Computer Science Archive (through to 1996) (64)
- SpringerLink Books Lecture Notes in Computer Science Archive (64)
- Springer Nature - Springer Lecture Notes in Computer Science eBooks (58)
- SpringerLINK Lecture Notes in Computer Science (2015) (58)
- ACM Digital Library (6)
- Elsevier ScienceDirect eBook - All Access Books (3)
- ScienceDirect eBooks (3)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 