Ergebnisse filtern
Fachgebiet
Medium
  • 3
Erscheinungsjahr
  • 1
  • 1
  • 1
Autoren
  • 3
  • 1
  • 3
  • 1
  • 2
Verlag
  • 3
Preis
  • 2
  • 1
Sprachen
  • 3
Verfügbarkeit
  • 3
Katalog
  • 3

Mathematik | Informatik

3  Treffer  für „Stephan, Werner“
Alle Filter löschen
    Stephan / Hutter | Mechanizing Mathematical Reasoning | Buch | Sack Fachmedien

    Stephan / Hutter Mechanizing Mathematical Reasoning

    Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday
    2005
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-25051-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hutter / Ullmann / Stephan | Applied Formal Methods - FM-Trends 98 | Buch | Sack Fachmedien

    Hutter / Ullmann / Stephan Applied Formal Methods - FM-Trends 98

    International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998, Proceedings
    1999
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-66462-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hutter / Ullmann / Müller | Security in Pervasive Computing | Buch | Sack Fachmedien

    Hutter / Ullmann / Müller Security in Pervasive Computing

    First International Conference, Boppard, Germany, March 12-14, 2003, Revised Papers
    2004
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-20887-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular