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

72,79€(IVA inc.)

Abstract State Machines, Alloy, B, TLA, VDM, and Z

Butler, Michael
978-3-319-91270-7
2018-06-15

66,56€(IVA inc.)

Abstract State Machines, Alloy, B, TLA, VDM, and Z

Butler, Michael
978-3-319-33599-5
2016-05-11

46,79€(IVA inc.)

Analysis for Computer Scientists: Foundations, Methods, and Algorithms

Oberguggenberger, Michael
978-3-319-91154-0
2018-09-15

36,35€(IVA inc.)

Analysis for computer scientists: foundations, methods, and algorithms

Oberguggenberger, Michael
978-0-85729-445-6
2011-04-01

47,84€(IVA inc.)

Compiler construction: 21st International Conference, CC 2012, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 -- April 1, 2012, Proceedings

O'Boyle, Michael
978-3-642-28651-3
2012-03-09

64,48€(IVA inc.)

Computation, physics and beyond: International Workshop on Theoretical Computer Science, WTCS 2012, dedicated to Cristian S. Calude on the occasion of his 60th birthday, Auckland, New Zealand, February 21-24, 2012, Revised Selected A

Dinneen, Michael J.
978-3-642-27653-8
2012-01-18

52,62€(IVA inc.)

Computational logic in multi-agent systems: 13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012, Proceedings

Fisher, Michael
978-3-642-32896-1
2012-07-28

51,95€(IVA inc.)

Computational logic in multi-agent systems: 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papers

Fisher, Michael
978-3-642-02733-8
2009-07-10

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

109,15€(IVA inc.)

Computational methods in biometric authentication: statistical methods for performance evaluation

Schuckers, Michael E.
978-1-84996-201-8
2010-06-17

(24 resultados)