Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
![]() |
Abstract Software Specifications: 1979 Copenhagen Winter School January 22 – February 2, 1979 ProceedingsBjøorner, Dines Bjøorner, DinesBerlin, Heidelberg: Springer Berlin Heidelberg 1980Texto completo disponível |
2 |
Material Type: Livro
|
![]() |
Ada Software Tools Interfaces: Workshop, Bath, July 13–15, 1983 ProceedingsWallis, Peter J. L Wallis, Peter J. L.Berlin, Heidelberg: Springer Berlin Heidelberg 1984Texto completo disponível |
3 |
Material Type: Livro
|
![]() |
Advanced Programming Environments: Proceedings of an International Workshop Trondheim, Norway, June 16–18, 1986Conradi, Reidar ; Didriksen, Tor M ; Wanvik, Dag H Conradi, Reidar ; Didriksen, Tor M. ; Wanvik, Dag H.Berlin, Heidelberg: Springer Berlin Heidelberg 1986Texto completo disponível |
4 |
Material Type: Livro
|
![]() |
Category Theory and Computer Programming: Tutorial and Workshop, Guildford, U.K. September 16–20, 1985 ProceedingsPitt, David ; Abramsky, Samson ; Poigné, Axel ; Rydeheard, David Poigné, Axel ; Pitt, David ; Rydeheard, David ; Abramsky, SamsonBerlin, Heidelberg: Springer Berlin Heidelberg 1986Texto completo disponível |
5 |
Material Type: Livro
|
![]() |
Category Theory and Computer Science: 6th International Conference, CTCS '95 Cambridge, United Kingdom, August 7–11, 1995 ProceedingsPitt, David ; Rydeheard, David E ; Johnstone, Peter Rydeheard, David E. ; Johnstone, Peter ; Pitt, DavidBerlin, Heidelberg: Springer Berlin Heidelberg 1995Texto completo disponível |
6 |
Material Type: Livro
|
![]() |
Category Theory and Computer Science: Paris, France, September 3–6, 1991 ProceedingsPitt, David H ; Curien, Pierre-Louis ; Abramsky, Samson ; Pitts, Andrew M ; Poigné, Axel ; Rydeheard, David E Curien, Pierre-Louis ; Pitt, David H. ; Poigné, Axel ; Abramsky, Samson ; Pitts, Andrew M. ; Rydeheard, David E.Berlin, Heidelberg: Springer Berlin Heidelberg 1991Texto completo disponível |
7 |
Material Type: Livro
|
![]() |
Category Theory and Computer Science: Edinburgh, U.K., September 7–9, 1987 ProceedingsPitt, David H ; Poigné, Axel ; Rydeheard, David E Poigné, Axel ; Rydeheard, David E. ; Pitt, David H.Berlin, Heidelberg: Springer Berlin Heidelberg 1987Texto completo disponível |
8 |
Material Type: Livro
|
![]() |
Cognitive Models and Intelligent Environments for Learning ProgrammingLemut, Enrica ; DuBoulay, Benedict ; Dettori, Giuliana Dettori, Giuliana ; du Boulay, Benedict ; Lemut, EnricaBerlin, Heidelberg: Springer Berlin / Heidelberg 1993Texto completo disponível |
9 |
Material Type: Livro
|
![]() |
Computer Program Synthesis Methodologies: Proceedings of the NATO Advanced Study Institute Held at Bonas, France, September 28-October 10 1981Biermann, A. W ; Guiho, GDordrecht: Springer Netherlands 1982Texto completo disponível |
10 |
Material Type: Livro
|
![]() |
Conditional and Typed Rewriting Systems: 4th International Workshop, CTRS-94 Jerusalem, Israel, July 13–15, 1994 ProceedingsDershowitz, Nachum ; Lindenstrauss, Naomi Dershowitz, Nachum ; Lindenstrauss, NaomiBerlin, Heidelberg: Springer Berlin Heidelberg 1995Texto completo disponível |