- Inicio
- / INFORMÁTICA
- > INGENIERÍA DE SOFTWARE
64,48€(IVA inc.)
Development in language theory: 15th International Conference, DLT 2011, Milan, Italy, July 19-22, 2011. Proceedings
- Mauri, Giancarlo
- 978-3-642-22320-4
- 2011-07-12
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
33,28€(IVA inc.)
Visualize this: the flowing data guide to design, visualization, and statistics
- Yau, Nathan
- 978-0-470-94488-2
- 2011-07-07
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
58,24€(IVA inc.)
Secure and trust computing, data management, and applications: 8th FIRA International Conference, STA 2011, Loutraki, Greece, June 28-30, 2011. Proceedings, part I
- Park, James J.
- 978-3-642-22338-9
- 2011-07-05
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
90,48€(IVA inc.)
Computer aided verification: 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, Proceedings
- Gopalakrishnan, Ganesh
- 978-3-642-22109-5
- 2011-07-05
56,16€(IVA inc.)
Implementation and application of automata: 16th International Conference, CIAA 2011, Blois, France, July 13-16, 2011, Revised Selected Papers
- Bouchou-Markhoff, Béatrice
- 978-3-642-22255-9
- 2011-07-05
92,56€(IVA inc.)
Advances in computer science and education applications: International Conference, CSE 2011, Qingdao, China, July 9-10, 2011, Proceedings, part II
- Zhou, Mark
- 978-3-642-22455-3
- 2011-06-30
64,48€(IVA inc.)
FM 2011 : formal methods: 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011, Proceedings
- Butler, Michael
- 978-3-642-21436-3
- 2011-06-30