106,44€(IVA inc.)
An introduction to practical formal methods usingtemporal logic
- Fisher, Michael
- 978-0-470-02788-2
- 2011-04-08
31,15€(IVA inc.)
Articulated motion and deformable objects: 5th International Conference, AMDO 2008, Port d'Andratx, Mallorca, Spain, July 9-11, 2008, Proceedings
- Perales, F.J.
- 978-3-540-70516-1
- 2008-08-01
56,16€(IVA inc.)
Articulated motion and deformable objects: 7th International Conference, AMDO 2012, Port D'Andratx, Mallorca, Spain, July 11-13, 2012, Proceedings
- Perales López, Francisco Jos
- 978-3-642-31566-4
- 2012-06-29
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
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
90,47€(IVA inc.)
Fish4Knowledge: Collecting and Analyzing Massive Coral Reef Fish Video Data
- Fisher, Robert B.
- 978-3-319-30206-5
- 2016-04-23
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