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 €
    Sofort lieferbar
    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 €
    Sofort lieferbar
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Initialization and Diversity in Optimization Algorithms Initialization and Diversity in Optimization Algorithms

    Initialization and Diversity in Optimization Algorithms

    Bernardo Morales-Castaneda
    Taylor & Francis Ltd
    19.02.2026

    Designing new algorithms swarm intelligence is a complex undertaking. Two critical factors have b...

    Gebunden
    158,50 €
    Vorbestellbar
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Formal Methods for Model-Driven Engineering Formal Methods for Model-Driven Engineering

    Formal Methods for Model-Driven Engineering

    Marco Bernardo
    Springer, Springer Spektrum
    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
  5. Formal Methods for Computational Systems Biology Formal Methods for Computational Systems Biology

    Formal Methods for Computational Systems Biology

    Marco Bernardo
    Springer, Springer
    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
  6. Formal Methods for Multicore Programming Formal Methods for Multicore Programming

    Formal Methods for Multicore Programming

    Marco Bernardo
    Springer, Springer
    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
  7. 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, Springer
    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
  8. Formal Methods for Dynamical Systems Formal Methods for Dynamical Systems

    Formal Methods for Dynamical Systems

    Marco Bernardo
    Springer, Springer
    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
  9. Formal Methods for Mobile Computing Formal Methods for Mobile Computing

    Formal Methods for Mobile Computing

    Marco Bernardo
    Springer, Springer
    13.04.2005

    Thisvolumecollectsasetofpapersaccompanyingthelecturesofthe?fthedition of the International School...

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

    Formal Methods for Performance Evaluation

    Marco Bernardo
    Springer, Springer
    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
  11. 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: 53,50 €

    Jetzt 53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  12. 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

    Marco Bernardo
    Springer, Springer
    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
  1. 1
  2. 2