72,75€(IVA inc.)
Unfoldings: a partial-order approach to model checking
- Esparza, J.
- 978-3-540-77425-9
- 2008-02-01
103,95€(IVA inc.)
48,83€(IVA inc.)
Composition of embedded systems scientific and industrial issues: 13th Monterey Workshop 2006 Paris, France, October 16-18, 2006 Revised Selected Papers
- Kordon, F.
- 978-3-540-77418-1
- 2008-02-01
75,87€(IVA inc.)
36,35€(IVA inc.)
Software composition: 6th International Symposium, SC 2007, Braga, Portugal, March 24-25, 2007, Revised Selected Papers
- Lumpe, M.
- 978-3-540-77350-4
- 2008-02-01
57,15€(IVA inc.)
Advances in computer science - ASIAN 2006: 11th Asian Computing Science Conference, Tokyo, Japan, December 6-8, 2006, Revised Selected Papers
- Okada, M.
- 978-3-540-77504-1
- 2008-02-01
51,95€(IVA inc.)
48,83€(IVA inc.)
Runtime verification: 7th International Workshop, RV 2007, Vancover, Canada, March 13, 2007, Revised Selected Papers
- Sokolsky, O.
- 978-3-540-77394-8
- 2008-02-01
36,35€(IVA inc.)
Algorithms and programming: problems and solutions
- Shen, A.
- 978-0-8176-4760-5
- 2008-02-01
57,15€(IVA inc.)
Graph-theoretic concepts in computer science: 33rd International Workshop, WG 2007, Dornburg, Germany, June 21-23, 2007, Revised Papers
- Brandstädt, A.
- 978-3-540-74838-0
- 2008-02-01