Wissen, was kommt.
Erweiterte Suche

Grid  List

  1. Superman: The World (Softcover-Edition) Superman: The World (Softcover-Edition)

    Superman: The World (Softcover-Edition)

    Flix
    Panini Verlags GmbH
    30.06.2025

    SUPERMAN IN ALLER WELT Das Erwachen eines mythischen Winterwesens in Polen oder alter Götter in M...

    Taschenbuch
    20,00 €
    Bezug 3-5
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Superman: The World (Hardcover-Edition) Superman: The World (Hardcover-Edition)

    Superman: The World (Hardcover-Edition)

    Flix
    Panini Verlags GmbH
    30.06.2025

    SUPERMAN IN ALLER WELT Das Erwachen eines mythischen Winterwesens in Polen oder alter Götter in M...

    Gebunden
    29,00 €
    Bezug 3-5
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Formal Methods for Model-Driven Engineering Formal Methods for Model-Driven Engineering

    Formal Methods for Model-Driven Engineering

    Marco Bernardo
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    14.06.2012

    This book presents 11 tutorial lectures by leading researchers given at the 12th edition of the I...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Formal Methods for Computational Systems Biology Formal Methods for Computational Systems Biology

    Formal Methods for Computational Systems Biology

    Marco Bernardo
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    20.05.2008

    This volume presents the set of papers accompanying the lectures of the eighth International Scho...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. Formal Methods for Multicore Programming Formal Methods for Multicore Programming

    Formal Methods for Multicore Programming

    Einar Broch Johnsen
    Springer International Publishing, Springer International Publishing
    19.05.2015

    This book presents 5 tutorial lectures given by leading researchers at the 15th edition of the In...

    Taschenbuch
    51,36 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  6. Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems

    Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems

    Marco Bernardo
    Springer International Publishing, Springer International Publishing
    12.06.2016

    This book presents 8 tutorial lectures given by leading researchers at the 16th edition of the In...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  7. Formal Methods for Dynamical Systems Formal Methods for Dynamical Systems

    Formal Methods for Dynamical Systems

    Marco Bernardo
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    07.06.2013

    This book presents 5 tutorial lectures given by leading researchers at the 13th edition of the In...

    Taschenbuch
    49,22 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  8. Formal Methods for Mobile Computing Formal Methods for Mobile Computing

    Formal Methods for Mobile Computing

    Alessandro Bogliolo
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    13.04.2005

    Thisvolumecollectsasetofpapersaccompanyingthelecturesofthe?fthedition of the International School...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  9. Formal Methods for Performance Evaluation Formal Methods for Performance Evaluation

    Formal Methods for Performance Evaluation

    Jane Hillston
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    18.05.2007

    This book presents a set of 11 papers accompanying the lectures of leading researchers given at t...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  10. A Process Algebraic Approach to Software Architecture Design A Process Algebraic Approach to Software Architecture Design

    A Process Algebraic Approach to Software Architecture Design

    Alessandro Aldini
    Springer London
    27.11.2009

    Inthe?eldofformalmethodsincomputerscience,concurrencytheoryisreceivinga constantlyincreasinginter...

    Gebunden

    Unser bisheriger Preis:ORGPRICE: 54,00 €

    Jetzt 53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  11. Formal Methods for the Design of Real-Time Systems Formal Methods for the Design of Real-Time Systems

    Formal Methods for the Design of Real-Time Systems

    Flavio Corradini
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    01.09.2004

    A large class of computing systems can be speci?ed and veri?ed by abstracting away from the tempo...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  12. Formal Methods for Software Architectures Formal Methods for Software Architectures

    Formal Methods for Software Architectures

    Paola Inverardi
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    12.09.2003

    In the past ten years or so, software architecture has emerged as a central notion in the develop...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  13. Formal Methods for Executable Software Models Formal Methods for Executable Software Models

    Formal Methods for Executable Software Models

    Marco Bernardo
    Springer International Publishing, Springer International Publishing
    21.05.2014

    This book presents 8 tutorial lectures given by leading researchers at the 14th edition of the In...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  14. A Process Algebraic Approach to Software Architecture Design A Process Algebraic Approach to Software Architecture Design

    A Process Algebraic Approach to Software Architecture Design

    Alessandro Aldini
    Springer London, Springer London
    20.10.2014

    Inthe?eldofformalmethodsincomputerscience,concurrencytheoryisreceivinga constantlyincreasinginter...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  15. Formal Methods for Web Services Formal Methods for Web Services

    Formal Methods for Web Services

    Marco Bernardo
    Springer, Berlin, Springer Berlin Heidelberg, Springer

    This book presents a set of 8 papers accompanying the lectures of leading researchers given at th...

    Taschenbuch
    49,17 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  16. Probabilistic Trace and Testing Semantics Probabilistic Trace and Testing Semantics

    Probabilistic Trace and Testing Semantics

    Marco Bernardo
    Now Publishers Inc
    24.08.2022

    In this monograph, the author focuses on trace and testing semantics for nondeterministic and pro...

    Taschenbuch
    83,20 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  17. Formal Methods for Quantitative Aspects of Programming Languages Formal Methods for Quantitative Aspects of Programming Languages

    Formal Methods for Quantitative Aspects of Programming Languages

    Alessandro Aldini
    Springer, Berlin, Springer Berlin Heidelberg, Springer

    This volume presents the set of papers accompanying some of the lectures of the 10th Internationa...

    Taschenbuch

    Unser bisheriger Preis:ORGPRICE: 74,89 €

    Jetzt 53,49 €
    Besorgungstitel - wird vorgemerkt
    Alle Preise inkl. MwSt | Versandkostenfrei
  18. Formal Methods for Hardware Verification Formal Methods for Hardware Verification

    Formal Methods for Hardware Verification

    Marco Bernardo
    Springer, Berlin, Springer Berlin Heidelberg, Springer

    This book presents 8 papers accompanying the lectures of leading researchers given at the 6th edi...

    Taschenbuch

    Unser bisheriger Preis:ORGPRICE: 74,89 €

    Jetzt 53,49 €
    Besorgungstitel - wird vorgemerkt
    Alle Preise inkl. MwSt | Versandkostenfrei
  19. Formal Methods for Eternal Networked Software Systems Formal Methods for Eternal Networked Software Systems

    Formal Methods for Eternal Networked Software Systems

    Marco Bernardo
    Springer, Berlin, Springer Berlin Heidelberg, Springer

    This book presents 15 tutorial lectures by leading researchers given at the 11th edition of the I...

    Taschenbuch

    Unser bisheriger Preis:ORGPRICE: 79,99 €

    Jetzt 53,49 €
    Besorgungstitel - wird vorgemerkt
    Alle Preise inkl. MwSt | Versandkostenfrei
  20. Computer Performance Engineering Computer Performance Engineering

    Computer Performance Engineering

    Alessandro Aldini
    Springer, Berlin, Springer Berlin Heidelberg, Springer

    This volume contains the proceedings of the 7th European Performance En- neering Workshop (EPEW 2...

    Taschenbuch

    Unser bisheriger Preis:ORGPRICE: 64,19 €

    Jetzt 53,49 €
    Besorgungstitel - wird vorgemerkt
    Alle Preise inkl. MwSt | Versandkostenfrei
  21. Il lupo vegetariano Il lupo vegetariano

    Il lupo vegetariano

    Marco Benedettelli
    Ass. Multimage
    16.05.2024

    Dalla sua tana solitaria un lupacchiotto scruta le pecore e gli agnellini sul prato a valle. Li o...

    Taschenbuch
    24,50 €
    Besorgungstitel - wird vorgemerkt
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1