|
|

avaa valikko

Gilles Dowek | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 13 tuotetta
Haluatko tarkentaa hakukriteerejä?



Gilles Dowek
Cambridge University Press
2015
Pehmeäkantinen kirja
Computation, Proof, Machine: Mathematics Enters a New Age
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
55,50 €
Serge Abiteboul; Gilles Dowek
Cambridge University Press
2020
Kovakantinen kirja
The Age of Algorithms
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
59,10 €
Serge Abiteboul; Gilles Dowek
Cambridge University Press
2020
Pehmeäkantinen kirja
The Age of Algorithms
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
21,80 €
Dowek, Gilles; Heering, Jan; Meinke, Karl; Möller, Bernhard
Springer
1996
Pehmeäkantinen kirja
Higher-Order Algebra, Logic, and Term Rewriting : Second International Workshop, HOA '95, Paderborn, Germany, September
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Dowek, Gilles
Springer
2009
Pehmeäkantinen kirja
Principles of Programming Languages
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
34,20 €
DOWEK, GILLES
AKAL DISTRIBUCIONES S.A.
2006
¿PODEMOS CREER EN LOS SONDEOS?
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
8,40 €
DOWEK, GILLES
AKAL DISTRIBUCIONES S.A.
2006
¿QUIERES JUGAR CON LAS MATEMATICAS?
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
8,40 €
Dowek, Gilles; Lévy, Jean-Jacques
Springer
2010
Pehmeäkantinen kirja
Introduction to the Theory of Programming Languages
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
36,20 €
Dowek, Gilles
Springer
2011
Pehmeäkantinen kirja
Proofs and Algorithms : An Introduction to Logic and Computability
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
36,20 €
Dowek, Gilles
Springer International Publishing AG
2014
Pehmeäkantinen kirja
Rewriting and Typed Lambda Calculi - Joint International Conferences, RTA and TLCA 2014, Held as Part of the Vienna Summer of Lo
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Gilles Dowek
Cambridge University Press
2015
Kovakantinen kirja
Computation, Proof, Machine: Mathematics Enters a New Age
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
102,70 €
Bertot, Yves; Dowek, Gilles; Hirschowitz, Andre; Paulin, Christine; Thery, Laurent
Springer
1999
Pehmeäkantinen kirja
Theorem Proving in Higher Order Logics : 12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999,
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Armando, Alessandro; Baumgartner, Peter; Dowek, Gilles
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2008
Pehmeäkantinen kirja
Automated Reasoning - 4th International Joint Conference, IJCAR 2008, Sydney, NSW, Australia, August 12-15, 2008, Proceedings
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €

Näytä lisää...