- Inicio
- / INFORMÁTICA
- > DESARROLLO DE SOFTWARE
77,95€(IVA inc.)
Theorem proving in higher order logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009, Proceedings
- Berghofer, Stefan
- 978-3-642-03358-2
- 2009-08-04
35,25€(IVA inc.)
Professional DevExpress ASP.NET controls
- Kimmel, Paul T.
- 978-0-470-50083-5
- 2009-08-01
44,39€(IVA inc.)
Professional SharePoint 2007 records management development: managing official records with Microsoft Office SharePoint Server 2007
- Holliday, John
- 978-0-470-28762-0
- 2009-08-01
57,15€(IVA inc.)
Static analysis: 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009, Proceedings
- Palsberg, Jens
- 978-3-642-03236-3
- 2009-07-20
51,95€(IVA inc.)
Formal methods for industrial critical systems: 13th International Workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008, Revised Selected Papers
- Cofer, Darren
- 978-3-642-03239-4
- 2009-07-20
51,95€(IVA inc.)