- Inicio
- / INFORMÁTICA
- > INGENIERÍA DE SOFTWARE
47,84€(IVA inc.)
Verification, induction, termination analysis: festschrift for Christoph Walther on the occasion of his 60th birthday
- Siegler, Simon
- 978-3-642-17171-0
- 2010-11-16
90,48€(IVA inc.)
Service-oriented computing: 8th international conference, ICSOC 2010, san francisco, CA, USA, december 7-10, 2010. proceedings
- Maglio, Paul P.
- 978-3-642-17357-8
- 2010-11-16
90,48€(IVA inc.)
Simulated evolution and learning: 8th International Conference, SEAL 2010, Kanpur, India, December 1-4, 2010, Proceedings
- Deb, Kalyanmoy
- 978-3-642-17297-7
- 2010-11-16
90,48€(IVA inc.)
Mobile lightweight wireless systems: Second International ICST Conference, Mobilight 2010, May 10-12, 2010, Barcelona, Spain, Revised Selected Papers
- Chatzimisios, Periklis
- 978-3-642-16643-3
- 2010-11-15
56,16€(IVA inc.)
Unifying theories of programming: Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010, Proceedings
- Qin, Shengchao
- 978-3-642-16689-1
- 2010-11-15
64,48€(IVA inc.)
Programming languages and systems: 8th asian symposium, APLAS 2010, shanghai, china, november 28 - december 1, 2010 proceedings
- Ueda, Kazunori
- 978-3-642-17163-5
- 2010-11-05
90,48€(IVA inc.)
56,16€(IVA inc.)
Formal methods for components and objects: 8th international symposium, FMCO 2009, eindhoven, the netherlands, november 4-6, 2009. revised selected papers
- de Boer, Frank S.
- 978-3-642-17070-6
- 2010-11-02
56,16€(IVA inc.)