- Inicio
- / INFORMÁTICA
- > INGENIERÍA DE SOFTWARE
103,95€(IVA inc.)
Foundations of algebraic specification and formalsoftware development
- Sannella, Donald
- 978-3-642-17335-6
- 2011-03-23
64,48€(IVA inc.)
Adaptive and natural computing algorithms: 10th International Conference, ICANNGA 2011, Ljubljana, Slovenia, April 14-16, 2011, Proceedings, part II
- Dobnikar, Andrej
- 978-3-642-20266-7
- 2011-03-23
47,84€(IVA inc.)
Rainbow of computer science: essays dedicated to Hermann Maurer on the occasion of his 70th birthday
- Calude, Cristian S.
- 978-3-642-19390-3
- 2011-03-22
47,84€(IVA inc.)
Computation, cooperation, and life: essays dedicated to Gheorghe Paun on the occasion of his 60th birthday
- Kelemen, Jozef
- 978-3-642-19999-8
- 2011-03-22
47,84€(IVA inc.)
Hardware and software : verification and testing: 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers
- Barner, Sharon
- 978-3-642-19582-2
- 2011-03-17
64,43€(IVA inc.)
CMMI for development: guidelines for process integration and product improvement
- Chrissis, Mary Beth
- 978-0-321-71150-2
- 2011-03-10
47,84€(IVA inc.)
Service-oriented computing: ICSOC 2010 International Workshops PAASC, WESOA, SEE, and SC-LOG San Francisco, CA, USA, December 7-10, 2010, Revised Selected Papers
- Maximilien, E. Michael
- 978-3-642-19393-4
- 2011-03-08
74,38€(IVA inc.)
Formal methods for industrial critical systems: a survey of applications
- Gnesi, Stefania
- 978-0-470-87618-3
- 2011-03-07
83,15€(IVA inc.)
Fault-tolerant search algorithms: reliable computation with unreliable information
- Cicalese, Ferdinando
- 978-3-642-17326-4
- 2011-03-01
51,95€(IVA inc.)
Agile business rule development: process, architecture, and jrules examples
- Boyer, Jérôme
- 978-3-642-19040-7
- 2011-03-01