- Inicio
- > materias
- / INFORMÁTICA
- > DESARROLLO DE SOFTWARE
43,68€(IVA inc.)
Algorithmic Aspects of Cloud Computing
- Karydis, Ioannis
- 978-3-319-29918-1
- 2016-04-06
47,84€(IVA inc.)
Verified software : theories, tools, experiments: Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, Proceedings
- Leavens, Gary T.
- 978-3-642-15056-2
- 2010-08-05
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
51,95€(IVA inc.)
Task models and diagrams for user interface design: 8th International Workshop, TAMODIA 2009, Brussels, Belgium, September 23-25, 2009, Revised Selected Papers
- England, David
- 978-3-642-11796-1
- 2010-02-18
54,08€(IVA inc.)
Formal Techniques for Safety-Critical Systems
- Artho, Cyrille
- 978-3-319-53945-4
- 2017-02-16
56,16€(IVA inc.)
Verified software : theories, tools, experiments: 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012 Proceedings
- Joshi, Rajeev
- 978-3-642-27704-7
- 2012-01-10
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
56,16€(IVA inc.)
Functional and logic programming: 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012, Proceedings
- Schrijvers, Tom
- 978-3-642-29821-9
- 2012-05-02