Grid   List

  1. Principles of Programming Languages

    Principles of Programming Languages

    Gilles Dowek
    Springer London
    Ebook
    Sofort lieferbar

    The development of programming languages has pr...

    35,30 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  2. Computation, Proof, Machine

    Computation, Proof, Machine

    Gilles Dowek
    Cambridge University Press
    Ebook
    Sofort lieferbar

    Computation is revolutionizing our world, even ...

    42,99 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  3. Introduction to the Theory of Programming Languages

    Introduction to the Theory of Programming Languages

    Gilles Dowek
    Springer London
    Ebook
    Sofort lieferbar

    The design and implementation of programming la...

    36,99 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  4. Computation, Proof, Machine

    Computation, Proof, Machine

    Gilles Dowek
    Cambridge University Press
    Ebook
    Sofort lieferbar

    Computation is revolutionizing our world, even ...

    37,49 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  5. Automated Reasoning

    Automated Reasoning

    Alessandro Armando
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    This book constitutes the refereed proceedings ...

    53,49 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  6. Rewriting and Typed Lambda Calculi

    Rewriting and Typed Lambda Calculi

    Gilles Dowek
    Springer International Publishing
    Ebook
    Sofort lieferbar

    This book constitutes the refereed proceedings ...

    53,49 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  7. Proofs and Algorithms

    Proofs and Algorithms

    Gilles Dowek
    Springer London
    Ebook
    Sofort lieferbar

    Proofs and Algorithms: An Introduction to Logic...

    36,99 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  8. Theorem Proving in Higher Order Logics

    Theorem Proving in Higher Order Logics

    Yves Bertot
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    This book constitutes the refereed proceedings ...

    53,49 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  9. Theorem Proving in Higher Order Logics

    Theorem Proving in Higher Order Logics

    Yves Bertot
    Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

    This book contains the proceedings of the 12th ...

    92,97 €
    Alle Preise inkl. MwSt| Versandkostenfrei
    Zum Merkzettel
  10. Rewriting and Typed Lambda Calculi

    Rewriting and Typed Lambda Calculi

    Gilles Dowek
    Springer International Publishing
    Taschenbuch
    Print on Demand

    This book constitutes the refereed proceedings ...

    60,10 €
    Alle Preise inkl. MwSt| Versandkostenfrei
    Zum Merkzettel
  11. Automated Reasoning

    Automated Reasoning

    Alessandro Armando
    Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

    This book constitutes the refereed proceedings ...

    60,10 €
    Alle Preise inkl. MwSt| Versandkostenfrei
    Zum Merkzettel
  12. Principles of Programming Languages

    Principles of Programming Languages

    Gilles Dowek
    Springer London
    Taschenbuch
    Print on Demand

    By introducing the principles of programming la...

    40,53 €
    Alle Preise inkl. MwSt| Versandkostenfrei
    Zum Merkzettel
  1. 1
  2. 2
Google Plus
Powered by Inooga