Wissen, was kommt.
Erweiterte Suche

Grid  List

  1. Semantics and Logics of Computation Semantics and Logics of Computation

    Semantics and Logics of Computation

    Andrew M. Pitts
    Cambridge University Press
    11.05.2009

    The aim of this volume is to present developments in semantics and logics of computation in a way...

    Taschenbuch
    59,00 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Category Theory and Computer Science Category Theory and Computer Science

    Category Theory and Computer Science

    David H. Pitt
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    23.08.1989

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

    Taschenbuch
    50,28 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Types for Proofs and Programs Types for Proofs and Programs

    Types for Proofs and Programs

    Thierry Coquand
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    13.12.2000

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

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Applied Semantics Applied Semantics

    Applied Semantics

    Gilles Barthe
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    21.08.2002

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

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

    Types for Proofs and Programs

    Peter Dybjer
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    18.10.1995

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

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1