mehr als bücher

Grid  List

  1. Certified Programs and Proofs
    Certified Programs and Proofs
    Jean-Pierre Jouannaud
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

    This book constitutes the referred proceedings of the First International Conference on Certified...

    53,49 €*
  2. Rewriting Techniques and Applications
    Rewriting Techniques and Applications
    Jean-Pierre Jouannaud
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt
    42,79 €*
  3. Conditional Term Rewriting Systems
    Conditional Term Rewriting Systems
    Stephane Kaplan
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

    The 1st International Workshop on Conditional Term Rewriting Systems took place in Orsay (Univers...

    53,49 €*
  4. Algebra, Meaning, and Computation
    Algebra, Meaning, and Computation
    Kokichi Futatsugi
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

    Joseph Goguen is one of the most prominent computer scientists worldwide. His numerous research c...

    106,99 €*
  5. Term Rewriting
    Term Rewriting
    Hubert Comon
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

    Inhaltsangabeto rewriting.- 33 Examples of termination.- The word problem for Thue rewriting syst...

    53,49 €*
  6. Functional Programming Languages and Computer Architecture
    Functional Programming Languages and Computer Architecture
    Jean-Pierre Jouannaud
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

    InhaltsangabeMiranda: A non-strict functional language with polymorphic types.- Data flow graph o...

    53,49 €*
  7. Constraints in Computational Logics
    Constraints in Computational Logics
    Jean-Pierre Jouannaud
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

    This volume constitutes the proceedings of the First International Conference on Constraints in C...

    53,49 €*
  1. 1