7+ million items
Huge in k-pop
All in vinyl, CD, merch & movies
World wide delivery
Toggle navigation
Of Denmark since 2005
USD
AUD
(Australian Dollars)
A$
BRL
(Brazilian real)
R$
CAD
(Canadian Dollars)
CA$
CHF
(Swiss francs)
Fr.
CNY
(Chinese yuan)
CZK
(Czech koruny)
Kč
DKK
(Danske kroner)
EUR
(Euro)
€
GBP
(Pounds Sterling)
£
HKD
(Hong Kong dollars)
HK$
HUF
(Hungarian forints)
Ft
ILS
(Israeli shekel)
₪
ISK
(Icelandic kronur)
Íkr
JPY
(Japanese yen)
¥
KRW
(South Korean won)
₩
MXN
(Mexican peso)
Mex$
NOK
(Norwegian kroner)
NOK
NZD
(New Zealand dollars)
PLN
(Polish złotys)
zł
SEK
(Svenske kroner)
SEK
SGD
(Singapore dollars)
S$
TRY
(Turkish lira)
₺
USD
(Dollars)
$
ZAR
(South African rand)
R
Dansk
English (International)
Norsk
Svenska
Suomi
Deutsch
Português do Brasil
English (United Kingdom)
Vlaamse (Belgium)
Nederlands
English (Canada)
Deutsch (Switzerland)
Español
Português
Français
Search
Search
Search
Advanced Search Options
Customer Service
Customer Service
Customer Service
General FAQ
Vinyl FAQ
Contact
Gift Card
Log in
Search
All 5 Gilles Dowek releases on Paperback Book
Front page
Vinyl
CDs
K-pop
Movies
Merchandise
Home
Home
Vinyl
CD's
K-pop
Movies
Merchandise
Search
Paperback Book
Show unavailable items
Releases by
Gilles Dowek
May 8, 1996 – July 15, 2014
Paperback Book
2014 edition
Rewriting and Typed Lambda Calcu...
(2014)
Gilles Dowek
$ 65.49
Buy
Paperback Book
Proofs and Algorithms: an Introd...
(2011)
Gilles Dowek
$ 49.99
Buy
Paperback Book
2011 edition
Introduction to the Theory of Pr...
(2010)
Gilles Dowek
$ 49.99
Buy
Paperback Book
2009 edition
Principles of Programming Langua...
(2009)
Gilles Dowek
$ 47.99
Buy
Paperback Book
1996 edition
Higher-Order Algebra, Logic, and...
(1996)
Gilles Dowek
$ 65.49
Buy
![Cover for Gilles Dowek · Rewriting and Typed Lambda Calculi: Joint International Conferences, RTA and TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings - Theoretical Computer Science and General Issues (Paperback Book) [2014 edition] (2014)](https://imusic.b-cdn.net/images/item/original/171/9783319089171.jpg?gilles-dowek-2014-rewriting-and-typed-lambda-calculi-joint-international-conferences-rta-and-tlca-2014-held-as-part-of-the-vienna-summer-of-logic-vsl-2014-vienna-austria-july-14-17-2014-proceedings-theoretical-computer-science-and-general-issues-paperback-&class=scaled&v=1428936255)
![Cover for Gilles Dowek · Introduction to the Theory of Programming Languages - Undergraduate Topics in Computer Science (Paperback Book) [2011 edition] (2010)](https://imusic.b-cdn.net/images/item/original/755/9780857290755.jpg?gilles-dowek-2010-introduction-to-the-theory-of-programming-languages-undergraduate-topics-in-computer-science-paperback-book&class=scaled&v=1428936256)
![Cover for Gilles Dowek · Principles of Programming Languages - Undergraduate Topics in Computer Science (Paperback Book) [2009 edition] (2009)](https://imusic.b-cdn.net/images/item/original/319/9781848820319.jpg?gilles-dowek-2009-principles-of-programming-languages-undergraduate-topics-in-computer-science-paperback-book&class=scaled&v=1408401004)
![Cover for Gilles Dowek · Higher-Order Algebra, Logic, and Term Rewriting: Second International Workshop, HOA '95, Paderborn, Germany, September 1995. Selected Papers - Lecture Notes in Computer Science (Paperback Book) [1996 edition] (1996)](https://imusic.b-cdn.net/images/item/original/544/9783540612544.jpg?gilles-dowek-1996-higher-order-algebra-logic-and-term-rewriting-second-international-workshop-hoa-95-paderborn-germany-september-1995-selected-papers-lecture-notes-in-computer-science-paperback-book&class=scaled&v=1428936256)