*Versand Gratis
Erweiterte Suche
*Versand Gratis
Categories

Grid   List

  1. Finite Model Theory and Its Applications
    Finite Model Theory and Its Applications
    Erich Grädel
    Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

    Finite model theory,as understoodhere, is an areaof mathematicallogic that has developed in close...

    82,23 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Logic for Programming, Artificial Intelligence, and Reasoning
    Logic for Programming, Artificial Intelligence, and Reasoning
    Andrei Voronkov
    Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

    ThisvolumecontainsthepaperspresentedattheTenthInternationalConference on Logic for Programming, A...

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Formal Techniques for Networked and Distributed Systems - FORTE 2002
    Formal Techniques for Networked and Distributed Systems - FORTE 2002
    Moshe Y. Vardi
    Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

    The IFIP TC6 WG 6.1 Joint International Conference on Formal Techniques for Networked and Distrib...

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Database Theory - ICDT ’95
    Database Theory - ICDT ’95
    Moshe Y. Vardi
    Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

    This volume presents the proceedings of the 1995 International Conference on Database Theory, ICD...

    96,29 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. Finite Model Theory and Its Applications
    Finite Model Theory and Its Applications
    Erich Grädel
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Buch
    Print on Demand

    Finite model theory,as understoodhere, is an areaof mathematicallogic that has developed in close...

    95,83 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  6. Computer Aided Verification
    Computer Aided Verification
    Moshe Y. Vardi
    Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

    This book consitutes the refereed proceedings of the 10th International Conference on Computer Ai...

    112,34 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1