Librería zar libros. Libros ciencia, medicina, ingeniería, textos universitarios Sevilla

51,95€(IVA inc.)

Decision procedures: an algorithmic point of view

Kroening, D.
978-3-540-74104-6
2008-02-01

75,87€(IVA inc.)

High-performance computing: 6th International Symposium, ISHPC 2005, Nara, Japan, September 7-9, 2005, First International Workshop on Advance Low Power Systems, ALPS 2006, Revised Selected Papers

Labarta, J.
978-3-540-77703-8
2008-02-01

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.)

Software architectures, components and applications: Third International Conference on Quality of Software Architectures, QoSA 2007, Medford, MA, USA, July 11-13, 2007, Revised Selected Papers

Overhage, S.
978-3-540-77617-8
2008-02-01

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

67,55€(IVA inc.)

Practice and theory of automated timetabling VI: 6th International Conference, PATAT 2006 Brno, Czech Republic, August 30-September 1, 2006 Revised Selected Papers

Burke, E.
978-3-540-77344-3
2008-02-01

36,35€(IVA inc.)

Approximation and online algorithms: 5th International Workshop, WAOA 2007, Eilat, Israel, October 11-12, 2007, Revised Papers

Kaklamanis, C.
978-3-540-77917-9
2008-02-01

(4706 resultados)