- Inicio
- / INGENIERÍA INDUSTRIAL
- > INGENIERÍA DE SISTEMAS
66,65€(IVA inc.)
Applied optimization: formulation and algorithms for engineering systems
- Baldick, Ross
- 978-0-521-10028-1
- 2009-01-01
56,16€(IVA inc.)
Formal aspects of component software: 7th International Workshop, FACS 2010, Guimaraes, Portugal, October 14-16, 2010, Revised Selected Papers
- Barbosa, Luis Soares
- 978-3-642-27268-4
- 2012-01-13
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
72,80€(IVA inc.)
Software engineering and formal methods: 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011, Proceedings
- Barthe, Gilles
- 978-3-642-24689-0
- 2011-10-21
72,75€(IVA inc.)
Verification, model checking, and abstract interpretation: 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings
- Barthe, Gilles
- 978-3-642-11318-5
- 2010-02-01
56,16€(IVA inc.)
Rule-based reasoning, programming, and applications: 5th International Symposium, Ruleml 2011 - Europe, Barcelona, Spain, July 19-21, 2011, Proceedings
- Bassiliades, Nick
- 978-3-642-22545-1
- 2011-07-12
58,19€(IVA inc.)
Designing interactive systems: a comprehensive guide to HCI and interaction design
- Benyon, David
- 978-0-321-43533-0
- 2010-04-01
72,80€(IVA inc.)
47,84€(IVA inc.)
Self-organizing systems: 5th International Workshop, IWSOS 2011, Karlsruhe, Germany, February 23-24, 2011, Proceedings
- Bettstetter, Christian
- 978-3-642-19166-4
- 2011-02-08
82,16€(IVA inc.)
