Detailsuche

Grid  List

  1. Applied Semantics
    0 %
    Applied Semantics
    Gilles Barthe
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    This book is based on material presented at the international summer school on Applied Semantics ...

    Unser bisheriger Preis:ORGPRICE: 57,84 €

    Jetzt 57,83 €Ebook
    Alle Preise inkl. MwSt
  2. Types for Proofs and Programs
    0 %
    Types for Proofs and Programs
    Thierry Coquand
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    Unser bisheriger Preis:ORGPRICE: 57,36 €

    Jetzt 57,35 €Ebook
    Alle Preise inkl. MwSt
  3. Semantics and Logics of Computation
    0 %
    Semantics and Logics of Computation
    P. Dybjer
    Cambridge University Press
    Taschenbuch
    Print on Demand

    Summer school lecture courses on modern logic and computation are presented here.

    Unser bisheriger Preis:ORGPRICE: 58,60 €

    Jetzt 58,59 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Applied Semantics
    Applied Semantics
    Gilles Barthe
    Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

    This book is based on material presented at the international summer school on Applied Semantics ...

    53,49 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. Types for Proofs and Programs
    Types for Proofs and Programs
    Peter Dybjer
    Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

    This book presents a strictly refereed collection of revised full papers selected from the papers...

    53,49 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  6. Category Theory and Computer Science
    Category Theory and Computer Science
    David H. Pitt
    Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

    This book presents the proceedings of the Sixth International Conference on Category Theory and C...

    50,28 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  7. Types for Proofs and Programs
    0 %
    Types for Proofs and Programs
    Thierry Coquand
    Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

    This book contains a selection of papers presented at the third annual workshop of the Esprit Wor...

    Unser bisheriger Preis:ORGPRICE: 74,89 €

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