- Inicio
- / INFORMÁTICA
- > MATEMÁTICAS DE LA PROGRAMACIÓN
76,96€(IVA inc.)
Interactive Theorem Proving
- Blanchette, Jasmin Christian
- 978-3-319-43143-7
- 2016-08-07
114,39€(IVA inc.)
Statistical Analysis of Noise in MRI
- Aja-Fernández, Santiago
- 978-3-319-39933-1
- 2016-07-27
69,67€(IVA inc.)
Linear Algebra for Computational Sciences and Engineering
- Neri, Ferrante
- 978-3-319-40339-7
- 2016-07-22
66,56€(IVA inc.)
Descriptional Complexity of Formal Systems
- Câmpeanu, Cezar
- 978-3-319-41113-2
- 2016-06-28
52,00€(IVA inc.)
High Performance Computing in Science and Engineering
- Kozubek, Tomáš
- 978-3-319-40360-1
- 2016-06-03
66,56€(IVA inc.)
Integration of AI and OR Techniques in Constraint Programming
- Quimper, Claude-Guy
- 978-3-319-33953-5
- 2016-05-12
66,56€(IVA inc.)
Abstract State Machines, Alloy, B, TLA, VDM, and Z
- Butler, Michael
- 978-3-319-33599-5
- 2016-05-11
83,19€(IVA inc.)
Semantics of Probabilistic Computation and Logics
- Draheim, Dirk
- 978-3-642-55197-0
- 2016-05-09
49,92€(IVA inc.)
Evolutionary Computation in Combinatorial Optimization
- Chicano, Francisco
- 978-3-319-30697-1
- 2016-05-05