(707 resultados)

Ordenar por

ordenar por...
precio Fecha Public Autor Título
76,96€(IVA inc.)

Interactive Theorem Proving
Interactive Theorem Proving
  • Ayala-Rincón, Mauricio
  • 978-3-319-66106-3
  • 2017-09-18
52,00€(IVA inc.)

Combinatorics on Words
Combinatorics on Words
  • Brlek, Sre?ko
  • 978-3-319-66395-1
  • 2017-09-18
145,59€(IVA inc.)

The Mathematical-Function Computation Handbook
The Mathematical-Function Computation Handbook
  • Beebe, Nelson H.F.
  • 978-3-319-64109-6
  • 2017-09-08
85,28€(IVA inc.)

Logic, Rationality, and Interaction
Logic, Rationality, and Interaction
  • Baltag, Alexandru
  • 978-3-6625-5664-1
  • 2017-08-24
55,11€(IVA inc.)

Concise Guide to Formal Methods
Concise Guide to Formal Methods
  • ORegan, Gerard
  • 978-3-319-64020-4
  • 2017-08-24
52,00€(IVA inc.)

High Performance Computing for Computational Science - VECPAR 2016
High Performance Computing for Computational Science - VECPAR 2016
  • Dutra, Inês
  • 978-3-319-61981-1
  • 2017-08-21
62,40€(IVA inc.)

Advances in Artificial Life, Evolutionary Computation, and Systems Chemistry
Advances in Artificial Life, Evolutionary Computation, and Systems Chemistry
  • Rossi, Federico
  • 978-3-319-57710-4
  • 2017-08-07
68,64€(IVA inc.)

Integer Programming and Combinatorial Optimization
Integer Programming and Combinatorial Optimization
  • Eisenbrand, Friedrich
  • 978-3-319-59249-7
  • 2017-08-04
68,64€(IVA inc.)

Logic, Language, Information, and Computation
Logic, Language, Information, and Computation
  • Kennedy, Juliette
  • 978-3-6625-5385-5
  • 2017-08-03
68,64€(IVA inc.)

Integration of AI and OR Techniques in Constraint Programming
Integration of AI and OR Techniques in Constraint Programming
  • Salvagnin, Domenico
  • 978-3-319-59775-1
  • 2017-06-27
Primera< Anterior 1 2 3 4 5 6 7 8 9 10 Siguiente  >Última