- Inicio
- / INGENIERÍA INDUSTRIAL
- > INGENIERÍA DE SISTEMAS
56,16€(IVA inc.)
Interactive theorem proving: Second International Conference, ITP 2011, Berg En Dal, The Netherlands, August 22-25, 2011, Proceedings
- Eekelen, Marko van
- 978-3-642-22862-9
- 2011-08-02
103,95€(IVA inc.)
Relating software requirements and architectures
- Avgeriou, Paris
- 978-3-642-21000-6
- 2011-08-01
57,15€(IVA inc.)
Software architecture: a comprehensive framework and guide for practitioners
- Vogel, Oliver
- 978-3-642-19735-2
- 2011-08-01
57,15€(IVA inc.)
The art of software innovation: eight practice areas to inspire your business
- Pikkarainen, Minna
- 978-3-642-21048-8
- 2011-08-01
56,16€(IVA inc.)
Descriptional complexity of formal systems: 13 International Workshop, DCFS 2011, GieBen/Limburg, Germany, July 25-27, 2011. Proceedings
- Holzer, Markus
- 978-3-642-22599-4
- 2011-07-18
82,93€(IVA inc.)
Lean for systems engineering with lean enablers for systems engineering
- Oppenheim, B.W.
- 978-1-1180-0889-8
- 2011-07-15
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
73,84€(IVA inc.)
Software engineering techniques: Third IFIP TC 2 Central and East-European Conference, CEE-SET 2008, Brno, Czech Republic, October 13-15, 2008, Revised Selected Papers
- Huzar, Zbigniev
- 978-3-642-22385-3
- 2011-07-12
56,16€(IVA inc.)
Computational logic in multi-agent systems: 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011, Proceedings
- Leite, Joao
- 978-3-642-22358-7
- 2011-07-06
47,84€(IVA inc.)
Model checking software: 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011, Proceedings
- Groce, Alex
- 978-3-642-22305-1
- 2011-07-05