Sign-In
CartKozen, D.
Filters
Sort by
$37.99
{"Id":20377457,"Title":"Logics of Programs: Workshop, Yorktown Heights, Ny, USA","Authors":["Kozen, D."],"ShortTitle":"Logics of Programs: Workshop, Yorktown Heights, Ny, USA","Author":"Kozen, D.","Ean":"9783540112129","Isbn":"354011212X","Publisher":"Springer","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[4882715],"CategoryIds":[877,1125],"FormatId":2,"FamilyId":null,"SeriesId":16773,"LanguageId":56,"PriceMin":37.99,"PriceMax":37.99,"Desirability":1,"PublicationDate":"1982-03-01T00:00:00","Join":null}
$17.98
{"Id":24840623,"Title":"Mt. Adams Buddhist Temple Chant Book","Authors":["Sampson, Kozen"],"ShortTitle":"Mt. Adams Buddhist Temple Chant Book","Author":"Sampson, Kozen","Ean":"9781387429035","Isbn":"1387429035","Publisher":"Lulu Pr","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[9995548],"CategoryIds":[753],"FormatId":2,"FamilyId":null,"SeriesId":null,"LanguageId":56,"PriceMin":17.98,"PriceMax":17.98,"Desirability":1,"PublicationDate":"2022-12-05T00:00:00","Join":null}
Logics of Programs: Workshop Carnegie Mellon University Pittsburgh, Pa, June 6-8, 1983
Clarke, E.
Kozen, D.
Paperback
$69.99
{"Id":20379456,"Title":"Logics of Programs: Workshop Carnegie Mellon University Pittsburgh, Pa, June 6-8, 1983","Authors":["Clarke, E.","Kozen, D."],"ShortTitle":"Logics of Programs: Workshop Carnegie Mellon University Pittsburgh, Pa,\u2026","Author":"Clarke, E.","Ean":"9783540128960","Isbn":"3540128964","Publisher":"Springer Nature","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[744754,4882715],"CategoryIds":[151,877,1125],"FormatId":2,"FamilyId":null,"SeriesId":16773,"LanguageId":56,"PriceMin":69.99,"PriceMax":69.99,"Desirability":0,"PublicationDate":"1984-02-01T00:00:00","Join":null}
$152.60
{"Id":19066510,"Title":"Theory of Computation","Authors":["Kozen, Dexter C."],"ShortTitle":"Theory of Computation","Author":"Kozen, Dexter C.","Ean":"9781849965712","Isbn":"1849965714","Publisher":"Springer","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[12216521],"CategoryIds":[877,898],"FormatId":2,"FamilyId":12636113,"SeriesId":144962,"LanguageId":56,"PriceMin":152.6,"PriceMax":152.6,"Desirability":1,"PublicationDate":"2010-10-21T00:00:00","Join":null}
$125.99
{"Id":2805367,"Title":"Automata and Computability","Authors":["Kozen, Dexter C."],"ShortTitle":"Automata and Computability","Author":"Kozen, Dexter C.","Ean":"9780387949079","Isbn":"0387949070","Publisher":"Springer","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[12216521],"CategoryIds":[877,1125],"FormatId":1,"FamilyId":12124221,"SeriesId":21420,"LanguageId":56,"PriceMin":125.99,"PriceMax":125.99,"Desirability":1,"PublicationDate":"1997-04-30T00:00:00","Join":null}
$125.99
{"Id":15599980,"Title":"The Design and Analysis of Algorithms","Authors":["Kozen, Dexter C."],"ShortTitle":"Design and Analysis of Algorithms","Author":"Kozen, Dexter C.","Ean":"9781461287575","Isbn":"146128757X","Publisher":"Springer","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[12216521],"CategoryIds":[1125],"FormatId":2,"FamilyId":7860039,"SeriesId":21205,"LanguageId":56,"PriceMin":125.99,"PriceMax":125.99,"Desirability":1,"PublicationDate":"2011-10-07T00:00:00","Join":null}
$97.99
{"Id":15599180,"Title":"Automata and Computability","Authors":["Kozen, Dexter C."],"ShortTitle":"Automata and Computability","Author":"Kozen, Dexter C.","Ean":"9781461273097","Isbn":"1461273099","Publisher":"Springer","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[12216521],"CategoryIds":[877,1125],"FormatId":2,"FamilyId":7518083,"SeriesId":21420,"LanguageId":56,"PriceMin":97.99,"PriceMax":97.99,"Desirability":1,"PublicationDate":"2012-10-13T00:00:00","Join":null}
$166.60
{"Id":2807739,"Title":"The Design and Analysis of Algorithms","Authors":["Kozen, Dexter C."],"ShortTitle":"Design and Analysis of Algorithms","Author":"Kozen, Dexter C.","Ean":"9780387976877","Isbn":"0387976876","Publisher":"Springer","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[12216521],"CategoryIds":[1125],"FormatId":1,"FamilyId":7860039,"SeriesId":21205,"LanguageId":56,"PriceMin":166.6,"PriceMax":166.6,"Desirability":1,"PublicationDate":"1991-12-03T00:00:00","Join":null}
Mathematics of Program Construction: 7th International Conference, MPC 2004, Stirling, Scotland, Uk, July 12-14, 2004, Proceedings
Kozen, Dexter
Shankland, Carron
Paperback
$54.99
{"Id":20387220,"Title":"Mathematics of Program Construction: 7th International Conference, MPC 2004, Stirling, Scotland, Uk, July 12-14, 2004, Proceedings","Authors":["Kozen, Dexter","Shankland, Carron"],"ShortTitle":"Mathematics of Program Construction: 7th International Conference, MPC\u2026","Author":"Kozen, Dexter","Ean":"9783540223801","Isbn":"3540223800","Publisher":"Springer Nature","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[772624,4891831],"CategoryIds":[151,877,1125],"FormatId":2,"FamilyId":887114,"SeriesId":16773,"LanguageId":56,"PriceMin":54.99,"PriceMax":54.99,"Desirability":0,"PublicationDate":"2004-06-24T00:00:00","Join":null}
Logic, Language, Information, and Computation: 31st International Workshop, Wollic 2025, Porto, Portugal, July 14-17, 2025, Proceedings
De Queiroz, Ruy
Kozen, Dexter
Paperback
$74.99
{"Id":28063580,"Title":"Logic, Language, Information, and Computation: 31st International Workshop, Wollic 2025, Porto, Portugal, July 14-17, 2025, Proceedings","Authors":["De Queiroz, Ruy","Kozen, Dexter"],"ShortTitle":"Logic, Language, Information, and Computation: 31st International\u2026","Author":"De Queiroz, Ruy","Ean":"9783031995354","Isbn":"303199535X","Publisher":"Springer","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[4912495,11817224],"CategoryIds":[877],"FormatId":2,"FamilyId":null,"SeriesId":16773,"LanguageId":56,"PriceMin":74.99,"PriceMax":74.99,"Desirability":0,"PublicationDate":"2025-08-01T00:00:00","Join":null}
$90.00
{"Id":1998402,"Title":"Dynamic Logic","Authors":["Harel, David","Kozen, Dexter","Tiuryn, Jerzy"],"ShortTitle":"Dynamic Logic","Author":"Harel, David","Ean":"9780262527668","Isbn":"0262527669","Publisher":"Mit Pr","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[775159,772624,772625],"CategoryIds":[877,1125],"FormatId":2,"FamilyId":11677744,"SeriesId":20842,"LanguageId":56,"PriceMin":90.0,"PriceMax":90.0,"Desirability":1,"PublicationDate":"2000-09-29T00:00:00","Join":null}
$14.94
{"Id":19890282,"Title":"Avertissement Aux Bons Fran\u00E7ais, Sur Les Dangers Dont Notre Avenir Est Menac\u00E9","Authors":["D. D."],"ShortTitle":"Avertissement Aux Bons Fran\u00E7ais, Sur Les Dangers Dont Notre Avenir Est\u2026","Author":"D. D.","Ean":"9782013764520","Isbn":"2013764529","Publisher":"Hachette Livre Bnf","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[1156222],"CategoryIds":[896],"FormatId":2,"FamilyId":null,"SeriesId":290385,"LanguageId":64,"PriceMin":14.94,"PriceMax":14.94,"Desirability":1,"PublicationDate":"2018-02-28T00:00:00","Join":null}
$11.99
{"Id":28997467,"Title":"The Courage of Every Being: A Path to Authenticity","Authors":["D, D."],"ShortTitle":"Courage of Every Being: A Path to Authenticity","Author":"D, D.","Ean":"9798261836179","Isbn":"","Publisher":"Independently Published","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[2009091],"CategoryIds":[173,1173],"FormatId":2,"FamilyId":null,"SeriesId":null,"LanguageId":56,"PriceMin":11.99,"PriceMax":11.99,"Desirability":1,"PublicationDate":"2025-12-30T00:00:00","Join":null}
$13.08
{"Id":26813964,"Title":"Tanto Quanto Te","Authors":["D, D."],"ShortTitle":"Tanto Quanto Te","Author":"D, D.","Ean":"9798325168628","Isbn":"","Publisher":"Independently Published","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[2009091],"CategoryIds":[702,704],"FormatId":2,"FamilyId":null,"SeriesId":null,"LanguageId":63,"PriceMin":13.08,"PriceMax":13.08,"Desirability":1,"PublicationDate":"2024-05-30T00:00:00","Join":null}
$11.99
{"Id":29001963,"Title":"La Roccia e Il Vento: Il Mito di Essere","Authors":["D, D."],"ShortTitle":"La Roccia e Il Vento: Il Mito di Essere","Author":"D, D.","Ean":"9798272828934","Isbn":"","Publisher":"Independently Published","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[2009091],"CategoryIds":[552,1026],"FormatId":2,"FamilyId":null,"SeriesId":null,"LanguageId":63,"PriceMin":11.99,"PriceMax":11.99,"Desirability":1,"PublicationDate":"2025-12-30T00:00:00","Join":null}
$11.99
{"Id":29003799,"Title":"The Rock \u0026 The Wind: The Myth of Being","Authors":["D, D."],"ShortTitle":"Rock \u0026 The Wind: The Myth of Being","Author":"D, D.","Ean":"9798274494557","Isbn":"","Publisher":"Independently Published","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[2009091],"CategoryIds":[552],"FormatId":2,"FamilyId":null,"SeriesId":null,"LanguageId":56,"PriceMin":11.99,"PriceMax":11.99,"Desirability":0,"PublicationDate":"2025-12-30T00:00:00","Join":null}
$13.08
{"Id":26816024,"Title":"Much Like You","Authors":["D, D."],"ShortTitle":"Much Like You","Author":"D, D.","Ean":"9798326019523","Isbn":"","Publisher":"Independently Published","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[2009091],"CategoryIds":[704],"FormatId":2,"FamilyId":null,"SeriesId":null,"LanguageId":56,"PriceMin":13.08,"PriceMax":13.08,"Desirability":0,"PublicationDate":"2024-05-30T00:00:00","Join":null}
$10.79
{"Id":28287858,"Title":"Her Silent Scar: Book One: Rae\u0027s Reckoning","Authors":["D, D."],"ShortTitle":"Her Silent Scar: Book One: Rae\u0027s Reckoning","Author":"D, D.","Ean":"9798293501137","Isbn":"","Publisher":"Independently Published","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[2009091],"CategoryIds":[559],"FormatId":2,"FamilyId":null,"SeriesId":null,"LanguageId":56,"PriceMin":10.79,"PriceMax":10.79,"Desirability":0,"PublicationDate":"2025-07-09T00:00:00","Join":null}
$9.59
{"Id":28287778,"Title":"The Platinum Diaries.....Take 1","Authors":["D, D."],"ShortTitle":"Platinum Diaries.....Take 1","Author":"D, D.","Ean":"9798293214952","Isbn":"","Publisher":"Independently Published","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[2009091],"CategoryIds":[551],"FormatId":2,"FamilyId":null,"SeriesId":null,"LanguageId":56,"PriceMin":9.59,"PriceMax":9.59,"Desirability":0,"PublicationDate":"2025-07-19T00:00:00","Join":null}
$33.69
{"Id":12608750,"Title":"The Freshman\u0027s Progress: An Interlude","Authors":["D, D."],"ShortTitle":"Freshman\u0027s Progress: An Interlude","Author":"D, D.","Ean":"9781343434332","Isbn":"1343434335","Publisher":"Palala Pr","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[2009091],"CategoryIds":[922],"FormatId":1,"FamilyId":3124754,"SeriesId":null,"LanguageId":56,"PriceMin":33.69,"PriceMax":33.69,"Desirability":0,"PublicationDate":"2015-09-21T00:00:00","Join":null}