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
106,44€(IVA inc.)
An introduction to practical formal methods usingtemporal logic
- Fisher, Michael
- 978-0-470-02788-2
- 2011-04-08
107,10€(IVA inc.)
Distributed source coding: theory, algorithms and applications
- Dragotti, Pier Luigi
- 978-0-12-374485-2
- 2009-03-25
109,15€(IVA inc.)
Data mining in proteomics: from standards to applications
- Hamacher, Michael
- 978-1-60761-986-4
- 2010-11-29
109,15€(IVA inc.)
109,15€(IVA inc.)
Computational methods in biometric authentication: statistical methods for performance evaluation
- Schuckers, Michael E.
- 978-1-84996-201-8
- 2010-06-17
109,19€(IVA inc.)
Tools for High Performance Computing 2009
- Müller, Matthias S.
- 978-3-642-43752-6
- 2014-10-07
114,35€(IVA inc.)
CLEAN : CO2 large-scale enhanced gas recovery: Geotechnologien Science Report no. 19
- Kühn, Michael
- 978-3-642-31676-0
- 2012-09-30
114,35€(IVA inc.)
High performance computing in science and engineering '09: transactions of the High Performance Computing Center, Stuttgart (HLRS) 2009
- Nagel, Wolfgang E.
- 978-3-642-04664-3
- 2009-12-01