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

Mathematik | Informatik

5  Treffer  für „Hutter, Dieter“
Alle Filter löschen
    Hutter / Ullmann | Security in Pervasive Computing | Buch | Sack Fachmedien

    Hutter / Ullmann Security in Pervasive Computing

    Second International Conference, SPC 2005, Boppard, Germany, April 6-8, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-25521-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hutter / Stephan | Mechanizing Mathematical Reasoning | Buch | Sack Fachmedien

    Hutter / Stephan Mechanizing Mathematical Reasoning

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

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

    International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998, Proceedings
    1. Auflage 1999
    Verlag: Springer
    ISBN: 978-3-540-66462-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bundy / Basin / Hutter | Rippling | Buch | Sack Fachmedien

    Bundy / Basin / Hutter Rippling

    Meta-Level Guidance for Mathematical Reasoning
    Erscheinungsjahr 2005
    Verlag: Cambridge University Press
    ISBN: 978-0-521-83449-0
    Medium: Buch
    150,90 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hutter / Müller / Stephan | Security in Pervasive Computing | Buch | Sack Fachmedien

    Hutter / Müller / Stephan Security in Pervasive Computing

    First International Conference, Boppard, Germany, March 12-14, 2003, Revised Papers
    1. Auflage 2004
    Verlag: Springer
    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