Search result - Books - CeDe.ch

Your contact at CeDe

Any questions, tips, praise or criticism? Your feedback helps us to make CeDe.ch even better. That's why we are pleased to receive every message and answer all our emails quickly, competently and willingly. Thank you!

This site uses cookies. Read our privacy policy to learn more about how we use cookies and how you can change your preferences. OK

Top service and free shipping since 1997

Search result

Roman Joost, Reynante Martinez, J. Roman, Joost Roman, J. Smith, Ja Smith... - GIMP for Absolute Beginners

Roman Joost, Reynante Martinez, J. Roman, Joost Roman, J. Smith, Ja Smith... GIMP for Absolute Beginners English 01.06.2012 Paperback / Softback Fr. 95.00 3-5 weeks (title will be specially ordered)

Giovanni Sambin, Giovanni (Professor of Mathematical Logic Sambin, Giovanni Smith Sambin, Sambin Giovanni, Jan Smith, Jan M Smith... - Twenty Five Years of Constructive Type Theory

Giovanni Sambin, Giovanni (Professor of Mathematical Logic Sambin, Giovanni Smith Sambin, Sambin Giovanni, Jan Smith, Jan M Smith... Twenty Five Years of Constructive Type Theory English 15.10.1998 Hardback Fr. 169.00 1-3 weeks (not available at short notice)

Peter Dybjer, Bengt Nordstr¿m, Beng Nordström, Bengt Nordström, Jan Smith - Types for Proofs and Programs

Peter Dybjer, Bengt Nordstr¿m, Beng Nordström, Bengt Nordström, Jan Smith Types for Proofs and Programs English 22.10.2002 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

Thierry Coquand, Pete Dybjer, Peter Dybjer, Bengt Nordström, Bengt Nordström et al, Jan Smith - Types for Proofs and Programs

Thierry Coquand, Pete Dybjer, Peter Dybjer, Bengt Nordström, Bengt Nordström et al, Jan Smith Types for Proofs and Programs English 19.02.2009 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)