*Versand Gratis
Erweiterte Suche
*Versand Gratis
Categories

Grid   List

  1. Fifth IFIP International Conference on Theoretical Computer Science - TCS 2008
    Fifth IFIP International Conference on Theoretical Computer Science - TCS 2008
    Luke Ong
    Springer
    Taschenbuch
    BOD - 2 Tage

    International Federation for Information Processing The IFIP series publishes state-of-the-art re...

    162,60 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Computer Science Logic
    Computer Science Logic
    Luke Ong
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

    Invited Lectures.- XML Navigation and Tarski's Relation Algebras.- Verification in Predicate Logi...

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Computation, Logic, Games, and Quantum Foundations - The Many Facets of Samson Abramsky
    Computation, Logic, Games, and Quantum Foundations - The Many Facets of Samson Abramsky
    Bob Coecke
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

    This Festschrift volume, published in honor of Samson Abramsky, contains contributions written by...

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Logic, Language, Information, and Computation
    Logic, Language, Information, and Computation
    Luke Ong
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

    Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book ...

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. Foundations of Software Science and Computational Structures
    Foundations of Software Science and Computational Structures
    Luke Ong
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

    FoSSaCS 2010 Invited Talk.- to Decidability of Higher-Order Matching.- Semantics of Programming L...

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  6. Formal Methods and Software Engineering
    Formal Methods and Software Engineering
    Zhenhua Duan
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

    Veri¿cation and validation.- Software engineering.- Formal speci¿cation and modeling.- Software s...

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1