(834 resultados)

Ordenar por

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

Computer Aided Verification
Computer Aided Verification
  • Kroening, Daniel
  • 978-3-319-21667-6
  • 2015-09-14
49,92€(IVA inc.)

Algebraic Informatics
Algebraic Informatics
  • Maletti, Andreas
  • 978-3-319-23020-7
  • 2015-09-14
49,92€(IVA inc.)

Correct System Design
Correct System Design
  • Meyer, Roland
  • 978-3-319-23505-9
  • 2015-09-03
24,90€(IVA inc.)

Desarrollo de interfaces
Desarrollo de interfaces
  • Ferrer Martínez, Juan
  • 978-84-9964-552-0
  • 2015-08-15
35,31€(IVA inc.)

SAS Programming and Data Visualization Techniques
SAS Programming and Data Visualization Techniques
  • Holland, Philip R.
  • 978-1-4842-0569-3
  • 2015-07-28
83,20€(IVA inc.)

Computer Aided Verification
Computer Aided Verification
  • Kroening, Daniel
  • 978-3-319-21689-8
  • 2015-07-27
49,92€(IVA inc.)

Formal Techniques for Distributed Objects, Components, and Systems
Formal Techniques for Distributed Objects, Components, and Systems
  • Graf, Susanne
  • 978-3-319-19194-2
  • 2015-07-14
58,24€(IVA inc.)

Application and Theory of Petri Nets and Concurrency
Application and Theory of Petri Nets and Concurrency
  • Devillers, Raymond
  • 978-3-319-19487-5
  • 2015-07-14
58,24€(IVA inc.)

Mathematics of Program Construction
Mathematics of Program Construction
  • Hinze, Ralf
  • 978-3-319-19796-8
  • 2015-07-14
57,19€(IVA inc.)

Parallel Programming
Parallel Programming
  • Rauber, Thomas
  • 978-3-642-43806-6
  • 2015-07-10
Primera< Anterior 20 21 22 23 24 25 26 27 28 29 Siguiente  >Última