- Inicio
- / INFORMÁTICA
- > PROGRAMACIÓN
72,80€(IVA inc.)
Automated deduction : CADE-23: 23rd International Conference on Automated Deduction, Wroclaw, Poland, July 31 -- August 5, 2011, Proceedings
- Bjørner, Nikolaj
- 978-3-642-22437-9
- 2011-07-12
103,95€(IVA inc.)
Parallel genetic algorithms: theory and real world applications
- Luque, Gabriel
- 978-3-642-22083-8
- 2011-07-10
72,80€(IVA inc.)
Information security and cryptology: 6th International Conference, Inscrypt 2010, Shanghai, China, October 20-24, 2010, Revised Selected Papers
- Lai, Xuejia
- 978-3-642-21517-9
- 2011-07-08
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
73,12€(IVA inc.)
Mathematical and algorithmic foundations of the internet
- Luccio, Fabrizio
- 978-1-4398-3138-0
- 2011-07-06
79,02€(IVA inc.)
Advanced multimedia: algorithms, systems and applications
- You, Jane
- 978-0-470-03997-7
- 2011-07-06
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
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
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
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