- Inicio
- > materias
- / INFORMÁTICA
- > INGENIERÍA DE SOFTWARE
93,60€(IVA inc.)
Deductive Software Verification - The KeY Book
- Ahrendt, Wolfgang
- 978-3-319-49811-9
- 2016-12-27
46,75€(IVA inc.)
Globalization of professional services: innovative strategies, successful processes, inspired talent management, and first-hand experiences
- Bäumer, Ulrich
- 978-3-642-29180-7
- 2012-06-30
62,40€(IVA inc.)
Human-centred software engineering: Third International Conference, HCSE 2010, Reykjavik, Iceland, October 14-15, 2010. Proceedings
- Bernhaupt, Regina
- 978-3-642-16487-3
- 2010-10-06
78,00€(IVA inc.)
Human-Centered and Error-Resilient Systems Development
- Bogdan, Cristian
- 978-3-319-44901-2
- 2016-09-20
58,24€(IVA inc.)
Formal Aspects of Component Software
- Braga, Christiano
- 978-3-319-28933-5
- 2016-03-07
56,16€(IVA inc.)
Reconfigurable computing : architectures, tools and applications: 8th International Symposium, ARC 2012, Hongkong, China, March 19-23, 2012, Proceedings
- Choy, Oliver
- 978-3-642-28364-2
- 2012-03-27
47,84€(IVA inc.)
Auctions, market mechanisms and their applications: Second International ICST Conference, AMMA 2011, New York, USA, August 22-23, 2011, Revised Selected papers
- Coles, Peter
- 978-3-642-30912-0
- 2012-07-06
47,84€(IVA inc.)
Programming multi-agent systems: 8th International Workshop, PROMAS 2010, Toronto, on, Canada, May 11, 2010. Revised Selected Papers
- Collier, Rem
- 978-3-642-28938-5
- 2012-03-16
47,84€(IVA inc.)
Rewriting logic and its applications: 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers
- Csaba Ölveczky, Peter
- 978-3-642-16309-8
- 2010-10-06