mehr als bücher

Grid  List

  1. Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies
    Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies
    Tiziana Margaria
    Springer Verlag GmbH
    Taschenbuch
    Vorbestellbar
    70,61 €*
  2. Leveraging Applications of Formal Methods, Verification and Validation. Application Areas
    Leveraging Applications of Formal Methods, Verification and Validation. Application Areas
    Tiziana Margaria
    Springer Verlag GmbH
    Taschenbuch
    Vorbestellbar
    62,05 €*
  3. Bridging the Gap Between AI and Reality
    Bridging the Gap Between AI and Reality
    Bernhard Steffen
    Springer Verlag GmbH
    Taschenbuch
    Vorbestellbar
    79,17 €*
  4. Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification
    Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification
    Tiziana Margaria
    Springer Verlag GmbH
    Taschenbuch
    Vorbestellbar
    70,61 €*
  5. Bridging the Gap Between AI and Reality
    Bridging the Gap Between AI and Reality
    Bernhard Steffen
    Springer Verlag GmbH
    Taschenbuch
    Vorbestellbar
    139,09 €*
  6. Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems
    Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems
    Tiziana Margaria
    Springer Verlag GmbH
    Taschenbuch
    Vorbestellbar
    70,61 €*
  7. Leveraging Applications of Formal Methods
    Leveraging Applications of Formal Methods
    Tiziana Maragria
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

    This book constitutes the thoroughly refereed post-proceedings of the First International Symposi...

    53,49 €*
  8. Baukonstruktion im Klimawandel
    Baukonstruktion im Klimawandel
    Bernhard Weller
    Springer Vieweg
    Buch
    Besorgungstitel - wird vorgemerkt

    Das vorliegende Buch zeigt baukonstruktive Lösungen für eine zukunftsfähige Gebäudeertüchtigung v...

    84,99 €*
  9. Einfach loslegen! Das 100-Tage-Erfolgsjournal
    Einfach loslegen! Das 100-Tage-Erfolgsjournal
    Steffen Kurth
    Haufe Lexware GmbH & Co. KG
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

    Mit dem Erfolgsjournal Einfach loslegen!' gelingt es, in nur 100 Tagen selbst definierte Vorhaben...

    29,99 €*
  10. Grundlagen der höheren Informatik
    Grundlagen der höheren Informatik
    Bernhard Steffen
    Springer Vieweg
    Buch
    Besorgungstitel - wird vorgemerkt

    Dieses Lehrbuch mit prüfungsrelevanten Aufgaben und Lösungen erläutert grundlegende Mathematik-be...

    37,99 €*
  11. Namasté
    Namasté
    Bernhard Müller
    Werd & Weber Verlag AG
    Buch
    Besorgungstitel - wird vorgemerkt

    Einfache und praktische Fest- und Alltagsrezepte von dies- und jenseits des Himalaja. Die nepales...

    39,00 €*
  12. Leveraging Applications of Formal Methods, Verification and Validation.Specialized Techniques and Applications
    Leveraging Applications of Formal Methods, Verification and Validation.Specialized Techniques and Applications
    Tiziana Margaria
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

    The two-volume set LNCS 8802 and LNCS 8803 constitutes the refereed proceedings of the 6th Intern...

    53,49 €*
  1. 1
  2. 2
  3. 3
  4. 4
  5. 5