- Inicio
- / INFORMÁTICA
- > DESARROLLO DE SOFTWARE
90,48€(IVA inc.)
Parallel processing and applied mathematics: 9th International Conference, PPAM 2011, Torun, Poland, September 11-14, 2011. Revised Selected Papers, part I
- Wyrzykowski, Roman
- 978-3-642-31463-6
- 2012-06-28
64,48€(IVA inc.)
64,48€(IVA inc.)
Modelling foundations and applications: 8th European Conference, ECMFA 2012, Kgs. Lyngby, Denmark, July 2-5, 2012, Proceedings
- Vallecillo, Antonio
- 978-3-642-31490-2
- 2012-06-21
72,80€(IVA inc.)
Automated reasoning: 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012, Proceedings
- Gramlich, Bernhard
- 978-3-642-31364-6
- 2012-06-20
56,16€(IVA inc.)
Computer science -- theory and applications: 7th International Computer Science Symposium In Russia, CSR 2012, Niszhny Novgorod, Russia, July 3-7, 2012, Proceedings
- Hirsch, Edward
- 978-3-642-30641-9
- 2012-06-18
47,84€(IVA inc.)
Logical aspects of computational linguistics: 7th International Conference, LACL 2012, Nantes, France, July 2-4, 2012, Proceedings
- Bechet, Denis
- 978-3-642-31261-8
- 2012-06-18
99,78€(IVA inc.)
Instruction sequences for computer science
- Bergstra, Jan A.
- 978-94-91216-64-0
- 2012-06-17
90,48€(IVA inc.)
Computer aided verification: 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings
- Parthasarathy, Madhusudan
- 978-3-642-31423-0
- 2012-06-15
56,16€(IVA inc.)
Abstract state machines, alloy, B, VDM, and Z: Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings
- Derrick, John
- 978-3-642-30884-0
- 2012-06-12
64,48€(IVA inc.)
Application and theory of Petri nets: 33rd International Conference, Petri Nets 2012, Hamburg, Germany, June 25-29, 2012, Proceedings
- Haddad, Serge
- 978-3-642-31130-7
- 2012-06-11