- Inicio
- / INGENIERÍA INDUSTRIAL
- > INGENIERÍA DE SISTEMAS
47,84€(IVA inc.)
Theory and practice of model transformations: 4th International Conference, ICMT 2011, Zurich, Switzerland, June 27-28, 2011, Proceedings
- Cabot, Jordi
- 978-3-642-21731-9
- 2011-06-30
47,84€(IVA inc.)
Top productivity through software reuse: 12th International Conference on Software Reuse, ICSR 2011, Pohang, South Korea, June 13-17, 2011. Proceedings
- Schmid, Klaus
- 978-3-642-21346-5
- 2011-05-26
65,52€(IVA inc.)
Transactions on aspect-oriented software development VIII
- Katz, Shmuel
- 978-3-642-22030-2
- 2011-06-22
75,92€(IVA inc.)
Transactions on computational science X pt. I Special issue on security in computing
- Gavrilova, Marina L.
- 978-3-642-17498-8
- 2011-01-04
72,75€(IVA inc.)
Transactions on pattern languages of programming I
- Noble, James
- 978-3-642-10831-0
- 2010-02-01
72,75€(IVA inc.)
Transactions on petri nets and other models of concurrency III
- Sin autor
- 978-3-642-04854-8
- 2009-11-15
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,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
189,23€(IVA inc.)
Verification, validation and testing of engineered systems
- Engel, A.
- 978-0-470-52751-1
- 2010-06-25
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