Anbieter: preigu, Osnabrück, Deutschland
Taschenbuch. Zustand: Neu. Security in Pervasive Computing | First International Conference, Boppard, Germany, March 12-14, 2003, Revised Papers | Dieter Hutter (u. a.) | Taschenbuch | xii | Englisch | 2004 | Springer | EAN 9783540208877 | 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. Applied Formal Methods - FM-Trends 98 | International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998, Proceedings | Dieter Hutter (u. a.) | Taschenbuch | Einband - flex.(Paperback) | Englisch | 1999 | Springer | EAN 9783540664628 | 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. Security in Pervasive Computing | Second International Conference, SPC 2005, Boppard, Germany, April 6-8, 2005, Proceedings | Dieter Hutter (u. a.) | Taschenbuch | xi | Englisch | 2005 | Springer | EAN 9783540255215 | 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. Mechanizing Mathematical Reasoning | Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday | Dieter Hutter (u. a.) | Taschenbuch | x | Englisch | 2005 | Springer | EAN 9783540250517 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.