- Inicio
- > materias
- / INFORMÁTICA
- > INGENIERÍA DE SOFTWARE
176,75€(IVA inc.)
Process grammar: the basis of morphology
- Leyton, Michael
- 978-1-4614-1814-6
- 2011-12-28
135,15€(IVA inc.)
High performance computing in science and engineering '11: transactions of the high performance computing center, Stuttgart (HLRS) 2011
- Nagel, Wolfgang E.
- 978-3-642-23868-0
- 2011-11-30
93,55€(IVA inc.)
High performance computing on vector systems 2011
- Resch, Michael
- 978-3-642-22243-6
- 2011-11-30
64,48€(IVA inc.)
FM 2011 : formal methods: 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011, Proceedings
- Butler, Michael
- 978-3-642-21436-3
- 2011-06-30
90,48€(IVA inc.)
Euro-Par 2010, parallel processing workshops: HeteroPar, HPCC, HiBB, CoreGrid, UCHPC, HPCF, PROPER, CCPI, VHPC, Iscia, Italy, August 31 - September 3, 2010, Revised Selected Papers
- Guarracino, Mario R.
- 978-3-642-21877-4
- 2011-06-30
47,84€(IVA inc.)
Service-oriented computing: ICSOC 2010 International Workshops PAASC, WESOA, SEE, and SC-LOG San Francisco, CA, USA, December 7-10, 2010, Revised Selected Papers
- Maximilien, E. Michael
- 978-3-642-19393-4
- 2011-03-08
56,16€(IVA inc.)
Implementation and application of automata: 15th International Conference, CIAA 2010, Manitoba, Canada, August 12-15, 2010. Revised Selected Papers
- Domaratzki, Michael
- 978-3-642-18097-2
- 2011-02-04
47,84€(IVA inc.)
Algebraic methodology and software technology: 13th international conference, AMAST 2010, lac-beauport, QC, canada, june 23-25, 2010, revised selected papers
- Johnson, Michael
- 978-3-642-17795-8
- 2011-01-14
56,16€(IVA inc.)
Formal methods for components and objects: 8th international symposium, FMCO 2009, eindhoven, the netherlands, november 4-6, 2009. revised selected papers
- de Boer, Frank S.
- 978-3-642-17070-6
- 2010-11-02
47,84€(IVA inc.)
Model checking software: 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010, Proceedings
- Pol, Jaco van der
- 978-3-642-16163-6
- 2010-09-27