mehr als bücher

Grid  List

  1. Computer Mathematics
    Computer Mathematics
    Deepak Kapur
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

    This book constitutes thoroughly refereed post-conference proceedings of the 8th Asian Symposium ...

    80,24 €*
  2. Automated Reasoning
    Automated Reasoning
    Stéphane Demri
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

    InhaltsangabeFrom Reachability to Temporal Specifications in Cost-Sharing Games.- Electronic Voti...

    53,49 €*
  3. Automated Deduction - CADE-11
    Automated Deduction - CADE-11
    Deepak Kapur
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

    This volume contains the papers presented at the EleventhInternational Conference on Automa...

    106,99 €*
  4. Dependable Software Engineering: Theories, Tools, and Applications
    Dependable Software Engineering: Theories, Tools, and Applications
    Martin Fränzle
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

    This book constitutes the refereed proceedings of the Second International Symposium on Dependabl...

    53,49 €*
  5. Theoretical Aspects of Computing - ICTAC 2017
    Theoretical Aspects of Computing - ICTAC 2017
    Dang Van Hung
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

    This book constitutes the refereed proceedings of the 14th International Colloquium on Theoretica...

    53,49 €*
  1. 1