Mein Konto
Erweiterte Suche
Categories

Grid   List

  1. Theoretical Aspects of Computing - ICTAC 2009
    Theoretical Aspects of Computing - ICTAC 2009
    Charles Carroll Morgan
    J.B. Metzler
    Taschenbuch
    BOD - 2 Tage

    ThisvolumecontainsthepaperspresentedatICTAC2009:the6thInternational Colloquium on Theoretical Asp...

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Abstraction, Refinement and Proof for Probabilistic Systems
    Abstraction, Refinement and Proof for Probabilistic Systems
    Annabelle McIver
    Springer
    Taschenbuch
    BOD - 2 Tage

    This book integrates coverage of random probabilistic algorithms, assertion-based program reasoni...

    162,60 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1