Taschenbuch. Zustand: Neu. Formal Techniques for Networked and Distributed Systems - FORTE 2002 | 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11-14, 2002, Proceedings | Doron A. Peled (u. a.) | Taschenbuch | Einband - flex.(Paperback) | Englisch | 2002 | Springer | EAN 9783540001416 | Verantwortliche Person für die EU: Springer Nature Customer Service Center GmbH, Europaplatz 3, 69115 Heidelberg, productsafety[at]springernature[dot]com | Anbieter: preigu.
Anbieter: preigu, Osnabrück, Deutschland
Taschenbuch. Zustand: Neu. Database Theory - ICDT '95 | 5th International Conference, Prague, Czech Republic, January 11 - 13, 1995. Proceedings | Georg Gottlob (u. a.) | Taschenbuch | xii | Englisch | 1995 | Springer | EAN 9783540589075 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Taschenbuch. Zustand: Neu. Logic for Programming, Artificial Intelligence, and Reasoning | 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings | Moshe Vardi (u. a.) | Taschenbuch | Einband - flex.(Paperback) | Englisch | 2003 | Springer | EAN 9783540201014 | Verantwortliche Person für die EU: Springer Nature Customer Service Center GmbH, Europaplatz 3, 69115 Heidelberg, productsafety[at]springernature[dot]com | Anbieter: preigu.
Anbieter: preigu, Osnabrück, Deutschland
Taschenbuch. Zustand: Neu. Computer Aided Verification | 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28-July 2, 1998, Proceedings | Alan J. Hu (u. a.) | Taschenbuch | x | Englisch | 1998 | Springer | EAN 9783540646082 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.