- Inicio
- / INGENIERÍA INDUSTRIAL
- > INGENIERÍA DE SISTEMAS
47,84€(IVA inc.)
Web services and formal methods: 7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers
- Bravetti, Mario
- 978-3-642-19588-4
- 2011-03-31
105,13€(IVA inc.)
Systems engineering principles and practice
- Kossiakoff, Alexander
- 978-0-470-40548-2
- 2011-03-25
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.)
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
47,84€(IVA inc.)
Agent-oriented software engineering X: 10th International Workshop, AOSE 2009, Budapest, Hungary, May 11-12, 2009, Revised Selected Papers
- Gleizes, Marie-Pierre
- 978-3-642-19207-4
- 2011-02-25
197,55€(IVA inc.)
Integrated systems, design and technology 2010: knowledge transfer in new technologies
- Fathi, Madjid
- 978-3-642-17383-7
- 2011-02-15
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
47,84€(IVA inc.)
Multi-agent-based simulation XI: International Workshop, MABS 2010, Toronto, Canada, May 11, 2010, Revised Selected Papers
- Bosse, Tibor
- 978-3-642-18344-7
- 2011-01-14
64,48€(IVA inc.)
Verification, model checking, and abstract interpretation: 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 Proceedings
- Jhala, Ranjit
- 978-3-642-18274-7
- 2011-01-11
72,80€(IVA inc.)
