41,60€(IVA inc.)
Certified Programming with Dependent Types - A Pragmatic Introduction to the Coq Proof Assistant
- Chlipala, Adam
- 978-0-262-02665-9
- 2014-02-25
57,51€(IVA inc.)
Civil War Wests - Testing the Limits of the United States
- Arenson, Adam
- 978-0-520-28378-7
- 2015-03-03
26,52€(IVA inc.)
Civil War Wests - Testing the Limits of the United States
- Arenson, Adam
- 978-0-520-28379-4
- 2015-03-03
32,45€(IVA inc.)
Disease Diplomacy - International Norms and Global Health Security
- Davies, Sara E.
- 978-1-4214-1648-9
- 2015-03-18
77,27€(IVA inc.)
Educational Goods: Values, Evidence, and Decision-Making
- Brighhouse, Harry
- 978-0-226-51403-1
- 2018-02-20
39,52€(IVA inc.)
Educational goods: values, evidence, and decision making
- Brighhouse, Harry
- 978-0-226-51417-8
- 2018-02-20
19,97€(IVA inc.)
Ending Medical Reversal - Improving Outcomes, Saving Lives
- Prasad, Vinayak K.
- 978-1-4214-1772-1
- 2015-11-20
23,09€(IVA inc.)
Ending Medical Reversal - Improving Outcomes, Saving Lives
- Prasad, Vinayak K.
- 978-1-4214-2904-5
- 2019-05-31
37,44€(IVA inc.)
Following Searle on Twitter - How Words Create Digital Institutions
- Hodgkin, Adam
- 978-0-226-43821-4
- 2017-04-26
46,18€(IVA inc.)
Hip Replacement - Experts Answer Your Questions
- Eltorai, Adam E. M.
- 978-1-4214-2957-1
- 2019-08-27