Sign-In
CartDowek, Gilles
Filters
Sort by
$37.99
{"Id":19051323,"Title":"Principles of Programming Languages","Authors":["Dowek, Gilles"],"ShortTitle":"Principles of Programming Languages","Author":"Dowek, Gilles","Ean":"9781848820319","Isbn":"1848820313","Publisher":"Springer Nature","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[1218119],"CategoryIds":[877,1125],"FormatId":2,"FamilyId":1640581,"SeriesId":241458,"LanguageId":56,"PriceMin":37.99,"PriceMax":37.99,"Desirability":1,"PublicationDate":"2009-03-13T00:00:00","Join":null}
$55.93
{"Id":4402456,"Title":"Proofs and Algorithms: An Introduction to Logic and Computability","Authors":["Dowek, Gilles"],"ShortTitle":"Proofs and Algorithms: An Introduction to Logic and Computability","Author":"Dowek, Gilles","Ean":"9780857291202","Isbn":"0857291203","Publisher":"Springer Nature","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[1218119],"CategoryIds":[151,877,1125],"FormatId":2,"FamilyId":2371170,"SeriesId":241458,"LanguageId":56,"PriceMin":55.93,"PriceMax":55.93,"Desirability":1,"PublicationDate":"2011-01-14T00:00:00","Join":null}
Rewriting and Typed Lambda Calculi: Joint International Conferences, Rta and Tlca 2014, Held as Part of the Vienna Summer of Logic, Vsl 2014, Vienna,
Dowek, Gilles
Paperback
$54.99
{"Id":20204175,"Title":"Rewriting and Typed Lambda Calculi: Joint International Conferences, Rta and Tlca 2014, Held as Part of the Vienna Summer of Logic, Vsl 2014, Vienna,","Authors":["Dowek, Gilles"],"ShortTitle":"Rewriting and Typed Lambda Calculi: Joint International Conferences, Rta\u2026","Author":"Dowek, Gilles","Ean":"9783319089171","Isbn":"331908917X","Publisher":"Springer","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[1218119],"CategoryIds":[151,877,1125],"FormatId":2,"FamilyId":null,"SeriesId":null,"LanguageId":56,"PriceMin":54.99,"PriceMax":54.99,"Desirability":0,"PublicationDate":"2014-07-15T00:00:00","Join":null}
$60.99
{"Id":5479086,"Title":"The Age of Algorithms","Authors":["Dowek, Gilles","Abiteboul, Serge"],"ShortTitle":"Age of Algorithms","Author":"Dowek, Gilles","Ean":"9781108484572","Isbn":"1108484573","Publisher":"Cambridge","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[2111700,2111699],"CategoryIds":[877],"FormatId":1,"FamilyId":8448294,"SeriesId":null,"LanguageId":56,"PriceMin":60.99,"PriceMax":60.99,"Desirability":1,"PublicationDate":"2020-04-16T00:00:00","Join":null}
$27.71
{"Id":5481956,"Title":"The Age of Algorithms","Authors":["Dowek, Gilles","Abiteboul, Serge"],"ShortTitle":"Age of Algorithms","Author":"Dowek, Gilles","Ean":"9781108745420","Isbn":"1108745423","Publisher":"Cambridge University Press","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[2113145,2111699],"CategoryIds":[877],"FormatId":2,"FamilyId":8448294,"SeriesId":null,"LanguageId":56,"PriceMin":27.71,"PriceMax":27.71,"Desirability":1,"PublicationDate":"2020-04-16T00:00:00","Join":null}
$55.93
{"Id":4402304,"Title":"Introduction to the Theory of Programming Languages","Authors":["Dowek, Gilles","L\u00E9vy, Jean-Jacques"],"ShortTitle":"Introduction to the Theory of Programming Languages","Author":"Dowek, Gilles","Ean":"9780857290755","Isbn":"0857290754","Publisher":"Springer Nature","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[1218119,1204279],"CategoryIds":[877,1125],"FormatId":2,"FamilyId":2371161,"SeriesId":241458,"LanguageId":56,"PriceMin":55.93,"PriceMax":55.93,"Desirability":1,"PublicationDate":"2010-12-15T00:00:00","Join":null}
Computation, Proof, Machine: Mathematics Enters a New Age
Guillot, Pierre
Dowek, Gilles
Roman, Marion
Paperback
$60.00
{"Id":3107996,"Title":"Computation, Proof, Machine: Mathematics Enters a New Age","Authors":["Guillot, Pierre","Dowek, Gilles","Roman, Marion"],"ShortTitle":"Computation, Proof, Machine: Mathematics Enters a New Age","Author":"Guillot, Pierre","Ean":"9780521133777","Isbn":"0521133777","Publisher":"Cambridge University Press","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[1218600,1218119,1218123],"CategoryIds":[898],"FormatId":2,"FamilyId":3414091,"SeriesId":null,"LanguageId":64,"PriceMin":60.0,"PriceMax":60.0,"Desirability":1,"PublicationDate":"2015-05-05T00:00:00","Join":null}
Higher-Order Algebra, Logic, and Term Rewriting: Second International Workshop, Hoa '95, Paderborn, Germany, September 1995. Selected Papers
Dowek, Gilles
Heering, Jan
Meinke, Karl
Paperback
$54.99
{"Id":20404359,"Title":"Higher-Order Algebra, Logic, and Term Rewriting: Second International Workshop, Hoa \u002795, Paderborn, Germany, September 1995. Selected Papers","Authors":["Dowek, Gilles","Heering, Jan","Meinke, Karl"],"ShortTitle":"Higher-Order Algebra, Logic, and Term Rewriting: Second International\u2026","Author":"Dowek, Gilles","Ean":"9783540612544","Isbn":"3540612548","Publisher":"Springer Nature","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[1218119,4905374,4819317],"CategoryIds":[151,877,1125],"FormatId":2,"FamilyId":988213,"SeriesId":16773,"LanguageId":56,"PriceMin":54.99,"PriceMax":54.99,"Desirability":0,"PublicationDate":"1996-05-08T00:00:00","Join":null}
Automated Reasoning: 4th International Joint Conference, Ijcar 2008, Sydney, Nsw, Australia, August 12-15, 2008, Proceedings
Armando, Alessandro
Baumgartner, Peter
Dowek, Gilles
Paperback
$54.99
{"Id":20412073,"Title":"Automated Reasoning: 4th International Joint Conference, Ijcar 2008, Sydney, Nsw, Australia, August 12-15, 2008, Proceedings","Authors":["Armando, Alessandro","Baumgartner, Peter","Dowek, Gilles"],"ShortTitle":"Automated Reasoning: 4th International Joint Conference, Ijcar 2008,\u2026","Author":"Armando, Alessandro","Ean":"9783540710691","Isbn":"3540710698","Publisher":"Springer","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[4898379,1433064,1218119],"CategoryIds":[151,877,1125],"FormatId":2,"FamilyId":2338495,"SeriesId":null,"LanguageId":56,"PriceMin":54.99,"PriceMax":54.99,"Desirability":0,"PublicationDate":"2008-07-25T00:00:00","Join":null}
Theorem Proving in Higher Order Logics: 12th International Conference, Tphols'99, Nice, France, September 14-17, 1999, Proceedings
Bertot, Yves
Hirschowitz, Andre
Dowek, Gilles
Paperback
$54.99
{"Id":20409514,"Title":"Theorem Proving in Higher Order Logics: 12th International Conference, Tphols\u002799, Nice, France, September 14-17, 1999, Proceedings","Authors":["Bertot, Yves","Hirschowitz, Andre","Dowek, Gilles"],"ShortTitle":"Theorem Proving in Higher Order Logics: 12th International Conference,\u2026","Author":"Bertot, Yves","Ean":"9783540664635","Isbn":"3540664637","Publisher":"Springer Nature","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[1204275,4912298,1218119],"CategoryIds":[489,877],"FormatId":2,"FamilyId":null,"SeriesId":16773,"LanguageId":56,"PriceMin":54.99,"PriceMax":54.99,"Desirability":0,"PublicationDate":"1999-09-01T00:00:00","Join":null}
$111.00
{"Id":3107025,"Title":"Computation, Proof, Machine","Authors":["Dowek, Gilles","Guillot, Pierre","Roman, Marion"],"ShortTitle":"Computation, Proof, Machine","Author":"Dowek, Gilles","Ean":"9780521118019","Isbn":"0521118018","Publisher":"Cambridge University Press","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[1218119,1218121,1218123],"CategoryIds":[877,898],"FormatId":1,"FamilyId":3414091,"SeriesId":null,"LanguageId":56,"PriceMin":111.0,"PriceMax":111.0,"Desirability":0,"PublicationDate":"2015-05-05T00:00:00","Join":null}
$190.00
{"Id":3823568,"Title":"Israeli-Egyptian Relations, 1980-2000","Authors":["Dowek, Ephraim"],"ShortTitle":"Israeli-Egyptian Relations, 1980-2000","Author":"Dowek, Ephraim","Ean":"9780714651620","Isbn":"0714651621","Publisher":"Frank Cass","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[1470090],"CategoryIds":[426],"FormatId":1,"FamilyId":439867,"SeriesId":284382,"LanguageId":56,"PriceMin":190.0,"PriceMax":190.0,"Desirability":1,"PublicationDate":"2001-06-01T00:00:00","Join":null}
$62.99
{"Id":5939621,"Title":"Israeli-Egyptian Relations, 1980-2000","Authors":["Dowek, Ephraim"],"ShortTitle":"Israeli-Egyptian Relations, 1980-2000","Author":"Dowek, Ephraim","Ean":"9781138973459","Isbn":"1138973459","Publisher":"Routledge","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[1470090],"CategoryIds":[426,916,990],"FormatId":2,"FamilyId":439867,"SeriesId":284382,"LanguageId":56,"PriceMin":62.99,"PriceMax":62.99,"Desirability":0,"PublicationDate":"2016-08-26T00:00:00","Join":null}
$11.95
{"Id":19776377,"Title":"Assembl\u00E9e Extraordinaire Des Journaux, Ou Dialogue Des Morts Et Des Mourants","Authors":["Gilles"],"ShortTitle":"Assembl\u00E9e Extraordinaire Des Journaux, Ou Dialogue Des Morts Et Des\u2026","Author":"Gilles","Ean":"9782011747976","Isbn":"201174797X","Publisher":"Hachette Livre","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[805746],"CategoryIds":[790],"FormatId":2,"FamilyId":null,"SeriesId":57048,"LanguageId":64,"PriceMin":11.95,"PriceMax":11.95,"Desirability":0,"PublicationDate":"2013-07-01T00:00:00","Join":null}
Encore Une Assemblée Des Journaux, Pour Juger Les Procès de 'L'aristarque Français': Et de la 'France Chrétienne'
Gilles
Paperback
$11.95
{"Id":19776388,"Title":"Encore Une Assembl\u00E9e Des Journaux, Pour Juger Les Proc\u00E8s de \u0027L\u0027aristarque Fran\u00E7ais\u0027: Et de la \u0027France Chr\u00E9tienne\u0027","Authors":["Gilles"],"ShortTitle":"Encore Une Assembl\u00E9e Des Journaux, Pour Juger Les Proc\u00E8s de \u0027L\u0027aristarque\u2026","Author":"Gilles","Ean":"9782011747983","Isbn":"2011747988","Publisher":"Hachette Livre","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[805746],"CategoryIds":[885],"FormatId":2,"FamilyId":null,"SeriesId":65227,"LanguageId":64,"PriceMin":11.95,"PriceMax":11.95,"Desirability":0,"PublicationDate":"2013-07-01T00:00:00","Join":null}
$23.69
{"Id":6053838,"Title":"Egidii Corboliensis Viaticus De Signis Et Symptomatibus Aegritudium","Authors":["Gilles"],"ShortTitle":"Egidii Corboliensis Viaticus De Signis Et Symptomatibus Aegritudium","Author":"Gilles","Ean":"9781141350049","Isbn":"1141350041","Publisher":"Nabu Press","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[805746],"CategoryIds":[489,885],"FormatId":2,"FamilyId":1970938,"SeriesId":null,"LanguageId":131,"PriceMin":23.69,"PriceMax":23.69,"Desirability":0,"PublicationDate":"2010-01-01T00:00:00","Join":null}
$89.00
{"Id":17435285,"Title":"Dynamical Processes in Atomic and Molecular Physics","Authors":["Dowek, Danielle","Ogurtsov, Gennadi"],"ShortTitle":"Dynamical Processes in Atomic and Molecular Physics","Author":"Dowek, Danielle","Ean":"9781608056217","Isbn":"160805621X","Publisher":"Bentham Science Pub","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[4019699,4019700],"CategoryIds":[1098],"FormatId":2,"FamilyId":null,"SeriesId":null,"LanguageId":56,"PriceMin":89.0,"PriceMax":89.0,"Desirability":1,"PublicationDate":"2018-02-12T00:00:00","Join":null}
$19.00
{"Id":21047632,"Title":"Caravaggio","Authors":["Lambert, Gilles","N\u00E9ret, Gilles"],"ShortTitle":"Caravaggio","Author":"Lambert, Gilles","Ean":"9783836559935","Isbn":"3836559935","Publisher":"Taschen","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[5251140,5248182],"CategoryIds":[408,414,984],"FormatId":1,"FamilyId":478744,"SeriesId":130933,"LanguageId":56,"PriceMin":19.0,"PriceMax":19.0,"Desirability":67,"PublicationDate":"2015-07-31T00:00:00","Join":null}
$19.00
{"Id":21047589,"Title":"Caravaggio","Authors":["Lambert, Gilles","N\u00E9ret, Gilles"],"ShortTitle":"Caravaggio","Author":"Lambert, Gilles","Ean":"9783836559911","Isbn":"3836559919","Publisher":"Taschen","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[5251140,5248182],"CategoryIds":[408,414,984],"FormatId":1,"FamilyId":478744,"SeriesId":130933,"LanguageId":57,"PriceMin":19.0,"PriceMax":19.0,"Desirability":1,"PublicationDate":"2016-06-17T00:00:00","Join":null}
$6.90
{"Id":26864823,"Title":"Retirement: A Golden Opportunity!","Authors":["Roberge, Gilles","Roberge, Gilles"],"ShortTitle":"Retirement: A Golden Opportunity!","Author":"Roberge, Gilles","Ean":"9798326653888","Isbn":"","Publisher":"Independently Published","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[10930444,10930444],"CategoryIds":[1173],"FormatId":2,"FamilyId":null,"SeriesId":null,"LanguageId":56,"PriceMin":6.9,"PriceMax":6.9,"Desirability":1,"PublicationDate":"2024-05-25T00:00:00","Join":null}