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
|
![]() |
International Symposium on Programming: 6th Colloquium Toulouse, April 17–19, 1984 ProceedingsPaul, M ; Robinet, B Robinet, B. ; Paul, M.Berlin, Heidelberg: Springer Berlin Heidelberg 1984Texto completo disponível |
4 |
Material Type: Livro
|
![]() |
Formalization of Programming Concepts: International Colloquium Peniscola, Spain, April 19–25, 1981 ProceedingsDíaz, J ; Ramos, I Díaz, J. ; Ramos, I.Berlin, Heidelberg: Springer Berlin Heidelberg 1981Texto completo disponível |
5 |
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 |
6 |
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 |
7 |
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 |
8 |
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 |
9 |
Material Type: Livro
|
![]() |
Logics of Programs: Workshop, Yorktown Heights, New York, May 1981Kozen, Dexter Kozen, DexterBerlin, Heidelberg: Springer Berlin Heidelberg 1982Texto completo disponível |
10 |
Material Type: Livro
|
![]() |
Operating Systems: Proceedings of an International Symposium held at Rocquencourt, April 23–25, 1974Gelenbe, E ; Kaiser, C Gelenbe, E. ; Kaiser, C.Berlin, Heidelberg: Springer Berlin Heidelberg 1974Texto completo disponível |