- Inicio
- / INFORMÁTICA
- > PROGRAMACIÓN
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
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
77,95€(IVA inc.)
Mathematical theory and computational practice: 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009, Proceedings
- Ambos-Spies, Klaus
- 978-3-642-03072-7
- 2009-07-15
109,15€(IVA inc.)
Algorithms and architectures for parallel processing: 9th International Conference, ICA3PP 2009, Taipei, Taiwan, June 8-11, 2009, Proceedings
- Hua, Arrems
- 978-3-642-03094-9
- 2009-07-15
55,07€(IVA inc.)
Conceptual structures : leveraging semantic technologies: 17th International Conference on Conceptual Structures, ICCS 2009, Moscow, Russia, July 26-31, 2009, Proceedings
- Rudolph, Sebastian
- 978-3-642-03078-9
- 2009-07-15
51,95€(IVA inc.)
Infinity in logic and computation: International Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007, Revised Selected Papers
- Archibald, Margaret
- 978-3-642-03091-8
- 2009-07-15
51,95€(IVA inc.)
51,95€(IVA inc.)
Computational logic in multi-agent systems: 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papers
- Fisher, Michael
- 978-3-642-02733-8
- 2009-07-10
77,95€(IVA inc.)
Automated deduction – CADE-22: 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings
- Schmidt, Renate A.
- 978-3-642-02958-5
- 2009-07-10
130,60€(IVA inc.)
Differential evolution: fundamentals and applications in electrical engineering
- Qing, Anyong
- 978-0-470-82392-7
- 2009-07-03