28,03€(IVA inc.)
25 years of model checking: history, achievements, perspectives
- Grumberg, O.
- 978-3-540-69849-4
- 2008-07-01
72,80€(IVA inc.)
Computer science logic: 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010, Proceedings
- Dawar, Anuj
- 978-3-642-15204-7
- 2010-08-11
165,36€(IVA inc.)
Current Therapy in Vascular and Endovascular Surgery: Expert Consult - Online and Print
- Stanley, James C.
- 978-1-4557-0984-7
- 2014-05-15
93,55€(IVA inc.)
Logic for programming, artificial intelligence, and reasoning: 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, Proceedings
- Cervesato, I.
- 978-3-540-89438-4
- 2008-12-01
124,79€(IVA inc.)
Ruptured Abdominal Aortic Aneurysm
- Starnes, Benjamin W.
- 978-3-319-23843-2
- 2016-02-22
29,64€(IVA inc.)
The Yellow Emperor´s Classic of Internal Medicine
- Veith, Ilza
- 978-0-520-28826-3
- 2016-01-22