51,95€(IVA inc.)
Smart graphics: 9th International Symposium, SG 2008, Rennes, France, August 27-29, 2008, Proceedings
- Butz, A.
- 978-3-540-85410-4
- 2008-09-01
55,07€(IVA inc.)
Smart graphics: 10th International Symposium, SG 2009, Salamanca, Spain, Mai 28-30, 2009, Proceedings
- Butz, Andreas
- 978-3-642-02114-5
- 2009-05-13
105,04€(IVA inc.)
Verifiable Autonomous Systems: Using Rational Agents to Provide Assurance about Decisions Made by Machines
- Dennis, Louise A.
- 9781108484992
- 2023-06-01
47,84€(IVA inc.)
Computational logic in multi-agent systems: 10th international workshop, CLIMA-X 2009, hamburg, germany, september 9-10, 2009, revised selected and invited papers
- Dix, Jürgen
- 978-3-642-16866-6
- 2010-10-29
48,83€(IVA inc.)
Formal methods in systems biology: First International Workshop, FMSB 2008, Cambridge, UK, June 4-5, 2008, Proceedings
- Fisher, J.
- 978-3-540-68410-7
- 2008-06-01
51,95€(IVA inc.)
Computational logic in multi-agent systems: 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papers
- Fisher, Michael
- 978-3-642-02733-8
- 2009-07-10
52,62€(IVA inc.)
Computational logic in multi-agent systems: 13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012, Proceedings
- Fisher, Michael
- 978-3-642-32896-1
- 2012-07-28
106,44€(IVA inc.)
An introduction to practical formal methods usingtemporal logic
- Fisher, Michael
- 978-0-470-02788-2
- 2011-04-08