Filtrera

Språk
  • (1)
  • (6)
Ämne
  • (6)
  • (1)
  • (2)
  • (2)
  • (1)
Format
  • (2)
  • (4)
Inspiration
  • (1)
Leveranstid
  • (2)

Peter Dybjer - Böcker

Visar alla böcker av Peter Dybjer. Handla med fri frakt och snabb leverans!

Sortering:

  1. Diabetes och metabola syndromet

    av Fredrik H Nyström, Christian Berne, Peter M Nilsson, Mats Börjesson, Elin Dybjer

    Häftad, Svenska, 2019-03-07
    (2)
    428
    Köp
    Skickas från oss inom 2-3 vardagar.
    Diabetes och metabola syndromet Provläs!

    Övervikt och fetma ökar i befolkningen, såväl nationellt som internationellt. Metabol och kardiovaskulär ohälsa kommer därmed att få påtagliga konsekvenser för sjukvårdens resursförbrukning framöver. Majoriteten av patienter som får hjärtinfarkt i...

    Läs mer »

  2. Types for Proofs and Programs

    av Thierry Coquand, Peter Dybjer, Bengt Nordstrm, Jan Smith

    Häftad, Engelska, 2000-12-01
    760
    Köp
    Skickas från oss inom 7-10 vardagar.
    Types for Proofs and Programs

    This book contains a selection of papers presented at the third annual workshop of the Esprit Working Group 21900 Types, which was held 12 - 16 June 1999 at Lokeberg in the rural area north of Goteborg and close to Marstrand. It was attended by 77...

    Läs mer »

  3. Applied Semantics

    av Gilles Barthe, Peter Dybjer, Luis Pinto, Joo Saraiva

    Häftad, Engelska, 2002-08-01
    760
    Köp
    Skickas från oss inom 7-10 vardagar.
    Applied Semantics

    This book is based on material presented at the international summer school on Applied Semantics that took place in Caminha, Portugal, in September 2000. We aim to present some recent developments in programming language research, both in semantic...

    Läs mer »

  4. Types for Proofs and Programs E-bok

    av Thierry Coquand, Peter Dybjer, Bengt Nordstrom, Jan Smith

    E-bok (PDF, LCP), Engelska, 2003-07-31
    746
    Ladda ned
    Läs i Bokus Reader för iOS och Android.
    Types for Proofs and Programs

  5. Applied Semantics E-bok

    av Gilles Barthe, Peter Dybjer, Luis Pinto, Joao Saraiva

    E-bok (PDF, LCP), Engelska, 2003-08-02
    746
    Ladda ned
    Läs i Bokus Reader för iOS och Android.
    Applied Semantics

    This book is based on material presented at the international summer school on Applied Semantics that took place in Caminha, Portugal, in September 2000. We aim to present some recent developments in programming language research, both in semantic...

    Läs mer »

  6. Category Theory and Computer Science

    av David H Pitt, David E Rydeheard, Peter Dybjer, Andrew Pitts, Axel Poigne

    Häftad, Engelska, 1989-08-01
    677
    Köp
    Skickas från oss inom 7-10 vardagar.
    Category Theory and Computer Science

    This book presents the proceedings of the Sixth International Conference on Category Theory and Computer Science, CTCS '95, held in Cambridge, UK in August 1995.The 15 revised full papers included in the volume document the exploitation of links b...

    Läs mer »

  7. Types for Proofs and Programs

    av Peter Dybjer, Bengt Nordstrm, Jan Smith

    Häftad, Engelska, 1995-10-01
    760
    Köp
    Skickas från oss inom 7-10 vardagar.
    Types for Proofs and Programs

    This book presents a strictly refereed collection of revised full papers selected from the papers accepted for the TYPES '94 Workshop, held under the auspices of the ESPRIT Basic Research Action 6453 Types for Proofs and Programs in Bastad, S...

    Läs mer »