- Inicio
- / INFORMÁTICA
- > PROGRAMACIÓN
72,75€(IVA inc.)
Model-driven architecture : foundations and applications: 4th European Conference, ECMDA-FA 2008, Berlin, Germany, June 9-13, 2008, Proceedings
- Schieferdecker, I.
- 978-3-540-69095-5
- 2008-07-01
55,07€(IVA inc.)
Structural information and communication complexity: 15th International Colloquium, SIROCCO 2008, Villars-sur-Ollon, Switzerland, June 17-20, 2008, Proceedings
- Shvartsman, A.
- 978-3-540-69326-0
- 2008-07-01
77,95€(IVA inc.)
83,15€(IVA inc.)
Formal techniques for networked and distributed systems – FORTE 2008: 28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedings
- Suzuki, K.
- 978-3-540-68854-9
- 2008-07-01
55,07€(IVA inc.)
Algorithms and architectures for parallel processing: 8th International Conference, ICA3PP 2008, Agia Napa, Cyprus, June 9-11, 2008, Proceedings
- Bourgeois, A.G.
- 978-3-540-69500-4
- 2008-07-01
135,15€(IVA inc.)
Computational science and its applications - ICCSA 2008: International Conference, Perugia, Italy, June 30 - July 3, 2008, Proceedings, Part I
- Gervasi, O.
- 978-3-540-69838-8
- 2008-07-01
98,75€(IVA inc.)
Computational science and its applications - ICCSA 2008: International Conference, Perugia, Italy, June 30 - July 3, 2008, Proceedings, Part II
- Gervasi, O.
- 978-3-540-69840-1
- 2008-07-01
28,03€(IVA inc.)
25 years of model checking: history, achievements, perspectives
- Grumberg, O.
- 978-3-540-69849-4
- 2008-07-01
72,75€(IVA inc.)
Algorithm theory – SWAT 2008: 11th Scandinavian Workshop on Algorithm Theory, Gothenburg, Sweden, July 2-4, 2008, Proceedings
- Gudmundsson, J.
- 978-3-540-69900-2
- 2008-07-01
77,95€(IVA inc.)
Computer aided verification: 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008, Proceedings
- Gupta, A.
- 978-3-540-70543-7
- 2008-07-01