- Inicio
- / INFORMÁTICA
- > PROGRAMACIÓN
72,75€(IVA inc.)
Abstract state machines, alloy, B and Z: Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010, Proceedings
- Frappier, Marc
- 978-3-642-11810-4
- 2010-04-15
72,75€(IVA inc.)
Graph drawing: 17th International Symposium, GD 2009, Chicago, IL, USA, September 22-25, 2009, Revised Papers
- Eppstein, David
- 978-3-642-11804-3
- 2010-04-15
57,15€(IVA inc.)
Foundations of information and knowledge systems: 6th International Symposium, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2009. Proceedings
- Link, Sebastian
- 978-3-642-11828-9
- 2010-04-15
51,95€(IVA inc.)
Approaches and applications of inductive programming: Third International Workshop, AAIP 2009, Edinburgh, UK, September 4, 2009, Revised Papers
- Schmid, Ute
- 978-3-642-11930-9
- 2010-04-14
61,37€(IVA inc.)
Software engineering: modern approaches
- Braude, Eric J.
- 978-0-471-69208-9
- 2010-04-13
97,50€(IVA inc.)
Pattern recognition + Introduction to pattern recognition and Matlab aprroach
- Theodoridis, Sergios
- 978-0-12-374491-3
- 2010-04-12
72,75€(IVA inc.)
Smart card research and advanced application: 9th IFIP WG 8.8/11.2 International Conference, CARDIS 2010, Passau, Germany, April 14-16, 2010, Proceedings
- Gollmann, Dieter
- 978-3-642-12509-6
- 2010-04-09
103,95€(IVA inc.)
LATIN 2010 : theoretical informatics: 9th Latin American Symposium, Oaxaca, Mexico, April 19-23, 2010, Proceedings
- López-Ortíz, Alejandro
- 978-3-642-12199-9
- 2010-04-09
57,15€(IVA inc.)
Functional and logic programming: 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010, Proceedings
- Blume, Matthias
- 978-3-642-12250-7
- 2010-04-09
9,00€(IVA inc.)
Verificación formal de algoritmos: ejercicios resueltos
- Silva Ramírez, Esther Lydia
- 978-84-9828-264-1
- 2010-04-01