Geschäftskunden Kundenprogramme
Vor Ort
Merkzettel Warenkorb

Deine Suchergebnisse für

Filtern und Sortieren

Sortierung
Meine Präferenzen

Mit einem Klick zum persönlichen Suchergebnis
Kategorie
Sprachen (1)
Preis
Lieferbarkeit
Autorinnen / Autoren
Reihen
Click & Collect:

annabelle mciver: 6 Treffer

  • Quantitative Evaluation of Systems Produktbild: Quantitative Evaluation of Systems
    Band 11024

    Quantitative Evaluation of Systems

    Buch (Taschenbuch) + weitere

    Fr. 73.90

    Versandfertig innert 4 - 7 Werktagen

  • Formal Methods - The Next 30 Years Produktbild: Formal Methods - The Next 30 Years
    Band 11800

    Formal Methods - The Next 30 Years

    eBook (PDF) + weitere

    Fr. 62.90

    Sofort per Download lieferbar

  • Logic for Programming, Artificial Intelligence, and Reasoning Produktbild: Logic for Programming, Artificial Intelligence, and Reasoning

    Logic for Programming, Artificial Intelligence, and Reasoning

    Buch (Taschenbuch) + weitere

    Fr. 73.90

    Versandfertig innert 4 - 7 Werktagen

  • Abstraction, Refinement and Proof for Probabilistic Systems Produktbild: Abstraction, Refinement and Proof for Probabilistic Systems

    Annabelle McIver + weitere

    Abstraction, Refinement and Proof for Probabilistic Systems

    Buch (Gebundene Ausgabe)

    Fr. 192.00

    wird besorgt, Lieferzeit unbekannt

  • The Science of Quantitative Information Flow Produktbild: The Science of Quantitative Information Flow

    Mário S. Alvim, Konstantinos Chatzikokolakis, Annabelle McIver, Carroll Morgan + weitere

    The Science of Quantitative Information Flow

    Buch (Gebundene Ausgabe) + weitere

    Fr. 87.90

    Versandfertig innert 6 - 9 Werktagen

  • Programming Methodology Produktbild: Programming Methodology

    Annabelle McIver, Carroll Morgan + weitere

    Programming Methodology

    Buch (Gebundene Ausgabe)

    Fr. 138.00

    wird besorgt, Lieferzeit unbekannt

von 6 Treffern werden angezeigt