mehr als bücher

Grid  List

  1. Proofs and Algorithms: Introduction to Logic and Computability Theory
    Proofs and Algorithms: Introduction to Logic and Computability Theory
    Gilles Dowek
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

    Logic is a branch of philosophy, mathematics and computer science. It studies the required method...

    37,40 €*
  2. Introduction to the Theory of Programming Languages
    Introduction to the Theory of Programming Languages
    Gilles Dowek
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

    The design and implementation of programming languages, from Fortran and Cobol to Caml and Java, ...

    37,40 €*
  3. Rewriting and Typed Lambda Calculi
    Rewriting and Typed Lambda Calculi
    Gilles Dowek
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

    This book constitutes the refereed proceedings of the Joint 25th International Conference on Rewr...

    53,49 €*
  4. The Principles of Programming Languages
    The Principles of Programming Languages
    Gilles Dowek
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

    By introducing the principles of programming languages, using the Java language as a support, Gil...

    35,30 €*
  5. Higher-Order Algebra, Logic, and Term Rewriting
    Higher-Order Algebra, Logic, and Term Rewriting
    Gilles Dowek
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

    InhaltsangabeTerm graph rewriting.- Approximation and normalization results for typeable term rew...

    53,49 €*
  6. Automated Reasoning
    Automated Reasoning
    Alessandro Armando
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

    This book constitutes the refereed proceedings of the 4th International Joint Conference on Autom...

    53,49 €*
  1. 1