Filtrera

Ämne
  • (7)
  • (3)
Format
  • (2)
  • (2)
  • (3)
Pris
  • (1)
Leveranstid
  • (2)

Gordon Plotkin - Böcker

Visar alla böcker av Gordon Plotkin. Handla med fri frakt och snabb leverans!

Sortering:

  1. Computational Logic

    av Jean Louis Lassez, Gordon Plotkin

    Inbunden, Engelska, 1991-10-01
    920
    Bevaka
    Tillfälligt slut - klicka "Bevaka" för att få ett mejl när boken går att beställa igen.
    Computational Logic

    Reflecting Alan Robinson's fundamental contribution to computational logic, this book brings together seminal papers in inference, equality theories, and logic programming. It is an exceptional collection that ranges from surveys of major areas to...

    Läs mer »

  2. Proof, Language, and Interaction

    av Gordon Plotkin, Colin P Stirling, Mads Tofte

    Inbunden, Engelska, 2000-05-01
    172
    Bevaka
    Tillfälligt slut - klicka "Bevaka" för att få ett mejl när boken går att beställa igen.
    Proof, Language, and Interaction

    This collection of original essays reflects the breadth of current research in computer science. Robin Milner, a major figure in the field, has made many fundamental contributions, particularly in theoretical computer science, the theory of progra...

    Läs mer »

  3. Computational Logic

    av Jean Louis Lassez, Gordon Plotkin

    Häftad, Engelska, 1991-10-01
    499
    Bevaka
    Tillfälligt slut - klicka "Bevaka" för att få ett mejl när boken går att beställa igen.
    Computational Logic

    Reflecting Alan Robinson's fundamental contribution to computational logic, this book brings together seminal papers in inference, equality theories, and logic programming. It is an exceptional collection that ranges from surveys of major areas to...

    Läs mer »

  4. From Semantics to Computer Science

    E-bok

    av Yves Bertot, Gerard Huet, Jean-Jacques Levy, Gordon Plotkin

    E-bok (DRM), Engelska, 2009-09-24
    1795
    Ladda ned
    Läs i Adobe DRM-kompatibel e-boksläsare.
    From Semantics to Computer Science

    Gilles Kahn was one of the most influential figures in the development of computer science and information technology, not only in Europe but throughout the world. This volume of articles by several leading computer scientists serves as a fitting ...

    Läs mer »

  5. Transactions on Computational Systems Biology VI

    av Gordon Plotkin

    Häftad, Engelska, 2006-11-01
    755
    Köp
    Skickas inom 7-10 vardagar.
    Transactions on Computational Systems Biology VI

    The 5th Transactions on Computational Systems Biology volume, edited by Gordon Plotkin, features carefully selected and enhanced contributions initially presented at the 2005 IEEE International Conference on Granular Computing. The 9 papers select...

    Läs mer »

  6. Transactions on Computational Systems Biology VI

    E-bok

    av Gordon Plotkin, Corrado Priami

    E-bok (DRM), Engelska, 2006-11-17
    748
    Ladda ned
    Läs i Adobe DRM-kompatibel e-boksläsare.
    Transactions on Computational Systems Biology VI

    The 5th Transactions on Computational Systems Biology volume, edited by Gordon Plotkin, features carefully selected and enhanced contributions initially presented at the 2005 IEEE International Conference on Granular Computing. The 9 papers select...

    Läs mer »

  7. Typed Lambda Calculi and Applications

    av Mariangiola Dezani-Ciancaglini, Gordon Plotkin

    Häftad, Engelska, 1995-03-01
    755
    Köp
    Skickas inom 7-10 vardagar.
    Typed Lambda Calculi and Applications

    This volume presents the proceedings of the Second International Conference on Typed Lambda Calculi and Applications, held in Edinburgh, UK in April 1995. The book contains 29 full revised papers selected from 58 submissions and comprehensively re...

    Läs mer »