- Inicio
- / INFORMÁTICA
- > VARIOS / GENERAL (LENGUAJES DE PROGRAMACIÓN)
64,48€(IVA inc.)
Verification, model checking, and abstract interpretation: 13th International Conference, VMCAI 2012, Philadelphia, PA, Usa, January 22-24, 2012, Proceedings
- Kuncak, Viktor
- 978-3-642-27939-3
- 2012-01-12
56,16€(IVA inc.)
Verified software : theories, tools, experiments: 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012 Proceedings
- Joshi, Rajeev
- 978-3-642-27704-7
- 2012-01-10
47,84€(IVA inc.)
Theory of security and applications: Joint Workshop, TOSCA 2011, Saarbrücken, Germany,March 31-April 1, 2011, Revised Selected Papers
- Moedersheim, Sebastian
- 978-3-642-27374-2
- 2012-01-09
38,00€(IVA inc.)
Lenguajes de programación y procesadores
- Gortázar Bellas, Francisco
- 978-84-9961-070-2
- 2012-01-01
72,75€(IVA inc.)
Introduction to programming with Fortran: with coverage of Fortran 90, 95, 2003, 2008 and 77
- Chivers, Ian
- 978-0-85729-232-2
- 2011-12-31
41,55€(IVA inc.)
Compiler design: code generation and machine-level optimization
- Hack, Sebastian
- 978-3-642-17637-1
- 2011-12-14
83,15€(IVA inc.)
Coarse-to-fine natural language processing
- Petrov, Slav
- 978-3-642-22742-4
- 2011-10-31