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
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
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
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
106,44€(IVA inc.)
An introduction to practical formal methods usingtemporal logic
- Fisher, Michael
- 978-0-470-02788-2
- 2011-04-08