(834 resultados)

43,68€(IVA inc.)

Numerical Software Verification
  • Bogomolov, Sergiy
  • 978-3-319-54291-1
  • 2017-02-17
54,08€(IVA inc.)

Formal Techniques for Safety-Critical Systems
  • Artho, Cyrille
  • 978-3-319-53945-4
  • 2017-02-16
46,79€(IVA inc.)

Applied Logic for Computer Scientists
  • Ayala-Rincón, Mauricio
  • 978-3-319-51651-6
  • 2017-02-13
20,79€(IVA inc.)

GameMaker: Studio 100 Programming Challenges
  • Tyers, Ben
  • 978-1-4842-2643-8
  • 2017-02-11
135,20€(IVA inc.)

Creativity in Computing and DataFlow Super Computing
  • Hurson, Ali
  • 978-0-12-811955-6
  • 2017-02-01
20,79€(IVA inc.)

Source Code Analytics With Roslyn and JavaScript Data Visualization
  • Mukherjee, Sudipta
  • 978-1-4842-1924-9
  • 2017-01-13
171,59€(IVA inc.)

Verification, Model Checking, and Abstract Interpretation
  • Bouajjani, Ahmed
  • 978-3-319-52233-3
  • 2017-01-12
52,00€(IVA inc.)

Unifying Theories of Programming
  • Bowen, Jonathan P.
  • 978-3-319-52227-2
  • 2017-01-11
20,79€(IVA inc.)

Introducing Materialize
  • Prabhu, Anirudh
  • 978-1-4842-2348-2
  • 2017-01-10
38,47€(IVA inc.)

BlitzMax for Absolute Beginners
  • Kelly, Sloan
  • 978-1-4842-2522-6
  • 2017-01-10