- Inicio
- / INFORMÁTICA
- > INGENIERÍA DE SOFTWARE
64,48€(IVA inc.)
Adaptive and natural computing algorithms: 10th International Conference, ICANNGA 2011, Ljubljana, Slovenia, April 14-16, 2011, Proceedings, part I
- Dobnikar, Andrej
- 978-3-642-20281-0
- 2011-03-23
47,84€(IVA inc.)
Formal methods : foundations and applications: 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers
- Davies, Jim
- 978-3-642-19828-1
- 2011-03-23
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.)
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.)
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
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
66,56€(IVA inc.)
ICT innovations 2010: Second International Conference, ICT Innovations 2010, Ohrid Macedonia, September 12-15, 2010. Revised Selected Papers
- Gusev, Marjan
- 978-3-642-19324-8
- 2011-03-01