- Inicio
- > materias
- / INFORMÁTICA
- > MATEMÁTICAS DE LA PROGRAMACIÓN
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
103,95€(IVA inc.)
Design, analysis and test of logic circuits underuncertainty
- Krishnaswamy, Smita
- 978-90-481-9643-2
- 2012-08-31
46,79€(IVA inc.)
Foundation Mathematics for Computer Science
- Vince, John
- 978-3-319-21436-8
- 2015-11-12
47,84€(IVA inc.)
Graph structures for knowledge representation andreasoning: Second Interntional Workshop, Gkr 2011, Barcelona, Spain, July 16, 2011. Revised Selected Papers
- Croitoru, Madalina
- 978-3-642-29448-8
- 2012-04-30
56,16€(IVA inc.)
Integrated formal methods: 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings
- Derrick, John
- 978-3-642-30728-7
- 2012-06-06
64,48€(IVA inc.)
51,95€(IVA inc.)
Knowledge representation for agents and multi-agent systems: First International Workshop, KRAMAS 2008, Sydney, Australia, September 17, 2008, Revised Selected Papers
- Charles Meyer, John-Jules
- 978-3-642-05300-9
- 2009-10-25
57,15€(IVA inc.)
Logic, rationality, and interaction: Second International Workshop, LORI 2009, Chongqing, China, October 8-11, 2009, Proceedings
- He, Xiangdong
- 978-3-642-04892-0
- 2009-11-01
