- Inicio
- / INFORMÁTICA
- > MATEMÁTICAS DE LA 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
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
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
56,16€(IVA inc.)
Mathematics of program construction: 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012, Proceedings
- Gibbons, Jeremy
- 978-3-642-31112-3
- 2012-06-11
46,75€(IVA inc.)
Mathematics of discrete structures for computer science
- Pace, Gordon J.
- 978-3-642-29839-4
- 2012-06-11
62,35€(IVA inc.)
Guide to computational geometry processing: foundations, algorithms, and methods
- Bærentzen, Jakob Andreas
- 978-1-4471-4074-0
- 2012-06-08
56,16€(IVA inc.)
Integrated formal methods: 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings
- Derrick, John
- 978-3-642-30728-7
- 2012-06-06
64,48€(IVA inc.)
