- Inicio
- > materias
- / INFORMÁTICA
- > MATEMÁTICAS DE LA PROGRAMACIÓN
93,60€(IVA inc.)
Evolutionary Multi-Criterion Optimization
- Trautmann, Heike
- 978-3-319-54156-3
- 2017-02-19
76,96€(IVA inc.)
Interactive Theorem Proving
- Blanchette, Jasmin Christian
- 978-3-319-43143-7
- 2016-08-07
47,84€(IVA inc.)
Logic and grammar: essays dedicated to Alain Lecomte on the occasion of his 60th birthday
- Pogodalla, Sylvain
- 978-3-642-21489-9
- 2011-06-14
202,75€(IVA inc.)
Logic functions and equations: binary models for computer science
- Posthoff, Christian
- 978-1-4419-5261-5
- 2012-03-31
86,11€(IVA inc.)
Mathematical Modelling of the Human Cardiovascular System: Data, Numerical Approximation, Clinical Applications
- Quarteroni, Alfio
- 978-1-108-48039-0
- 2019-05-09
56,16€(IVA inc.)
The logic of categorial grammars: a deductive account of natural language syntax and semantics
- Moot, Richard
- 978-3-642-31554-1
- 2012-07-23
77,95€(IVA inc.)
Theorem proving in higher order logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009, Proceedings
- Berghofer, Stefan
- 978-3-642-03358-2
- 2009-08-04
135,15€(IVA inc.)
Towards advanced data analysis by combining soft computing and statistics
- Borgelt, Christian
- 978-3-642-30277-0
- 2012-06-01
47,84€(IVA inc.)
Vagueness in communication: International Workshop, VIC 2009, held as part of ESSLLI 2009, Bordeaux, France, July 20-24, 2009. Revised Selected Papers
- Nouwen, Rick
- 978-3-642-18445-1
- 2011-01-14