- Inicio
- / INFORMÁTICA
- > MATEMÁTICAS DE LA PROGRAMACIÓN
72,75€(IVA inc.)
Automated technology for verification and analysis: 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings
- Liu, Zhiming
- 978-3-642-04760-2
- 2009-11-01
72,75€(IVA inc.)
Verification of sequential and concurrent programs
- Apt, Krzysztof R.
- 978-1-84882-744-8
- 2009-11-01
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
51,95€(IVA inc.)
Teaching formal methods: Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings
- Gibbons, Jeremy
- 978-3-642-04911-8
- 2009-10-16
72,75€(IVA inc.)
Algorithmic decision theory: First International Conference, ADT 2009, Venice, Italy, October 2009, Proceedings
- Rossi, Francesca
- 978-3-642-04427-4
- 2009-10-06
83,15€(IVA inc.)
Formal methods: state of the art and new directions
- Boca, Paul P.
- 978-1-84882-735-6
- 2009-10-01
93,55€(IVA inc.)
Simula research laboratory: by thinking constantly about it
- Tveito, Aslak
- 978-3-642-01155-9
- 2009-10-01
126,16€(IVA inc.)
Applied shape optimization for fluids
- Mohammadi, Bijan
- 978-0-19-954690-9
- 2009-09-24
57,15€(IVA inc.)
Frontiers of combining systems: 7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009, Proceedings
- Ghilardi, Silvio
- 978-3-642-04221-8
- 2009-09-18