- Inicio
- > materias
- / INFORMÁTICA
- > PROGRAMACIÓN
47,84€(IVA inc.)
Computational logic in multi-agent systems: 10th international workshop, CLIMA-X 2009, hamburg, germany, september 9-10, 2009, revised selected and invited papers
- Dix, Jürgen
- 978-3-642-16866-6
- 2010-10-29
51,95€(IVA inc.)
Task models and diagrams for user interface design: 8th International Workshop, TAMODIA 2009, Brussels, Belgium, September 23-25, 2009, Revised Selected Papers
- England, David
- 978-3-642-11796-1
- 2010-02-18
52,62€(IVA inc.)
Argumentation in multi-agent systems: 8th International Workshop, ARGMAS 2011, Taipei, Taiwan, May 2011, Revised Selected Papers
- Mcburney, Peter
- 978-3-642-33151-0
- 2012-09-07
53,57€(IVA inc.)
The semantic web explained: the technology and mathematics behind web 3.0
- Benko, Tamás
- 978-0-521-70036-8
- 2014-08-15
54,08€(IVA inc.)
Formal Techniques for Safety-Critical Systems
- Artho, Cyrille
- 978-3-319-53945-4
- 2017-02-16
56,16€(IVA inc.)
Functional and logic programming: 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012, Proceedings
- Schrijvers, Tom
- 978-3-642-29821-9
- 2012-05-02
56,16€(IVA inc.)
Verified software : theories, tools, experiments: 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012 Proceedings
- Joshi, Rajeev
- 978-3-642-27704-7
- 2012-01-10
56,16€(IVA inc.)
Reconfigurable computing : architectures, tools and applications: 8th International Symposium, ARC 2012, Hongkong, China, March 19-23, 2012, Proceedings
- Choy, Oliver
- 978-3-642-28364-2
- 2012-03-27
57,31€(IVA inc.)
Formal Modeling and Analysis of Distributed Systems: A Formal Methods Approach Based on Executable Modeling in Maude
- Ölveczky, Peter Csaba
- 978-1-4471-6686-3
- 2015-09-06