|
|

avaa valikko

Peter Dybjer | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 5 tuotetta
Haluatko tarkentaa hakukriteerejä?



Dybjer, Peter; Nordström, Bengt; Smith, Jan
Springer
1995
Pehmeäkantinen kirja
Types for Proofs and Programs : International Workshop TYPES '94, Bastad, Sweden, June 6-10, 1994. Selected Papers
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Pitt, David H.; Rydeheard, David E.; Dybjer, Peter; Pitts, Andrew; Poigne, Axel
Springer
1989
Pehmeäkantinen kirja
Category Theory and Computer Science : Manchester, UK, September 5-8, 1989. Proceedings
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
48,10 €
Barthe, Gilles; Dybjer, Peter; Pinto, Luis; Saraiva, João
Springer
2002
Pehmeäkantinen kirja
Applied Semantics : International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000. Advanced Lectures
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Coquand, Thierry; Dybjer, Peter; Nordström, Bengt; Smith, Jan
Springer
2000
Pehmeäkantinen kirja
Types for Proofs and Programs : International Workshop, TYPES'99, Lökeberg, Sweden, June 12-16, 1999, Selected Papers
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Fredrik H. Nyström; Christian Berne; Peter M Nilsson; Mats Börjesson; Elin Dybjer; Anders Frid; Isabelle Johansson;
Studentlitteratur AB
2019
Pehmeäkantinen kirja
Diabetes och metabola syndromet
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
56,60 €