- Inicio
- / INFORMÁTICA
- > PROGRAMACIÓN
90,48€(IVA inc.)
Computer aided verification: 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings
- Parthasarathy, Madhusudan
- 978-3-642-31423-0
- 2012-06-15
41,55€(IVA inc.)
Automated configuration problem solving
- Petrie, Charles J.
- 978-1-4614-4531-9
- 2012-06-15
56,16€(IVA inc.)
Mobile and ubiquitous systems : computing, networking, and services: 8th International ICST Conference, Mobiquitous 2011, Copenhagen, Denmark, December 6-9, 2011, Revised Selected Papers
- Puiatti, Alessandro
- 978-3-642-30972-4
- 2012-06-13
82,16€(IVA inc.)
Scientific and statistical database management: 24th International Conference, SSDBM 2012, Chania, Crete, Greece, June 25-27, 2012, Proceedings
- Ailamaki, Anastasia
- 978-3-642-31234-2
- 2012-06-13
58,24€(IVA inc.)
Engaging learners through emerging technologies: International Conference on ICT in Teaching and Learning, ICT 2012, Hong Kong, China, July 4-6, 2012. Proceedings
- Li, Kam Cheong
- 978-3-642-31397-4
- 2012-06-13
56,16€(IVA inc.)
Abstract state machines, alloy, B, VDM, and Z: Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings
- Derrick, John
- 978-3-642-30884-0
- 2012-06-12
62,68€(IVA inc.)
The art of multiprocessor programming
- Herlihy, Maurice
- 978-0-12-397337-5
- 2012-06-12
74,88€(IVA inc.)
Computer networks: 19th International Conference, CN 2012, Szczyrk, Poland, June 19-23, 2012. Proceedings
- Kwiecien, Andrzej
- 978-3-642-31216-8
- 2012-06-12
64,48€(IVA inc.)
Application and theory of Petri nets: 33rd International Conference, Petri Nets 2012, Hamburg, Germany, June 25-29, 2012, Proceedings
- Haddad, Serge
- 978-3-642-31130-7
- 2012-06-11