![]() |
Título | Data Refinement: Model-Oriented Proof Methods And Their Comparison | Precio | $975.00 |
Autor | De Roever Willem-Paul/ Engelhardt Kai | Año | 2008 | |
Editorial | Cambridge University Press | Edición | 1ª | |
Tema | Ciencia, Computacion, Teorias | ISBN | 9780521103503 |
![]() |
Título | Quantum Computer Science. An Introduction | Precio | $495.00 |
Autor | Mermin, David | Año | 2007 | |
Editorial | Cambridge University Press | Edición | 1ª | |
Tema | Ciencia, Matematicas, Computacion | ISBN | 9780521876582 |
![]() |
Título | Numerical Recipes In C. .- 3ed. | Precio | $1600.00 |
Autor | Press / Teukolsky. .. . | Año | 2002 | |
Editorial | Cambridge University Press | Edición | 2ª | |
Tema | Computacion, Ciencia | ISBN | 9780521880688 |
![]() |
Título | Logic In Computer Science. Modelling And Reasoning About Systems | Precio | $759.00 |
Autor | Huth, Michael And Ryan, Mark | Año | 2004 | |
Editorial | Cambridge University Press | Edición | 1ª | |
Tema | Computacion, Ciencia, Logica | ISBN |
![]() |
Título | 3-D Computer Graphics. A Mathematical Introduction With Opengl | Precio | $595.00 |
Autor | Buss Samuel R. | Año | 2008 | |
Editorial | Cambridge University Press | Edición | 2ª | |
Tema | Computacion, Ciencia | ISBN | 9780521821032 |