Gilles Dowek - Böcker
Visar alla böcker från författaren Gilles Dowek.
11 produkter
11 produkter
Inbunden, Engelska, 2015
1 449 kr
Skickas inom 7-10 vardagar
Häftad, Engelska, 2015
759 kr
Skickas inom 7-10 vardagar
Häftad, Engelska, 2010
519 kr
Skickas inom 7-10 vardagar
Häftad, Engelska, 2011
519 kr
Skickas inom 7-10 vardagar
Age of Algorithms
Av Serge Abiteboul, Gilles Dowek, Rocquencourt) Abiteboul, Serge (Institut National de Recherche en Informatique et en Automatique (INRIA)
Inbunden, Engelska, 2020
799 kr
Skickas inom 7-10 vardagar
The Age of Algorithms
Av Serge Abiteboul, Gilles Dowek, Rocquencourt) Abiteboul, Serge (Institut National de Recherche en Informatique et en Automatique (INRIA)
Häftad, Engelska, 2020
289 kr
Skickas inom 7-10 vardagar
Häftad, Engelska, 2009
489 kr
Skickas inom 7-10 vardagar
Häftad, Engelska, 2014
719 kr
Skickas inom 7-10 vardagar
Del 1074 - Lecture Notes in Computer Science
Higher-Order Algebra, Logic, and Term Rewriting
Häftad, Engelska, 1996
719 kr
Skickas inom 7-10 vardagar
Del 1690 - Lecture Notes in Computer Science
Theorem Proving in Higher Order Logics
Av Yves Bertot, Gilles Dowek, Andre Hirschowitz, Christine Paulin, Laurent Thery
Häftad, Engelska, 1999
719 kr
Skickas inom 7-10 vardagar
Häftad, Engelska, 2008
739 kr
Skickas inom 7-10 vardagar