Anbieter: preigu, Osnabrück, Deutschland
Taschenbuch. Zustand: Neu. Types for Proofs and Programs | International Workshop, TYPES '95, Torino, Italy, June 5 - 8, 1995 Selected Papers | Stefano Berardi (u. a.) | Taschenbuch | x | Englisch | 1996 | Springer | EAN 9783540617808 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Anbieter: preigu, Osnabrück, Deutschland
Taschenbuch. Zustand: Neu. Theoretical Computer Science | 9th Italian Conference, ICTCS 2005, Siena, Italy, October 12-14, 2005, Proceedings | Mario Coppo (u. a.) | Taschenbuch | xi | Englisch | 2005 | Springer | EAN 9783540291060 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Anbieter: preigu, Osnabrück, Deutschland
Taschenbuch. Zustand: Neu. Types for Proofs and Programs | International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers | Stefano Berardi (u. a.) | Taschenbuch | Einband - flex.(Paperback) | Englisch | 2004 | Springer | EAN 9783540221647 | Verantwortliche Person für die EU: Springer Nature Customer Service Center GmbH, Europaplatz 3, 69115 Heidelberg, productsafety[at]springernature[dot]com | Anbieter: preigu.