Sign-In
CartResults
Filters
Sort by
Rippling: Meta-Level Guidance for Mathematical Reasoning
Bundy, Alan
Basin, David
Hutter, Dieter
Hardcover
$194.04
{"Id":3140324,"Title":"Rippling: Meta-Level Guidance for Mathematical Reasoning","Authors":["Bundy, Alan","Basin, David","Hutter, Dieter"],"ShortTitle":"Rippling: Meta-Level Guidance for Mathematical Reasoning","Author":"Bundy, Alan","Ean":"9780521834490","Isbn":"052183449X","Publisher":"Cambridge University Press","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[1233740,1233743,1233744],"CategoryIds":[877],"FormatId":1,"FamilyId":12224313,"SeriesId":287394,"LanguageId":56,"PriceMin":194.04,"PriceMax":194.04,"Desirability":3,"PublicationDate":"2005-06-30T00:00:00","Join":null}
Concurrency Verification: Introduction to Compositional and Non-Compositional Methods
Willem-Paul, de Roever
Frank, de Boer
Ulrich, Hanneman
Paperback
$137.28
{"Id":3109569,"Title":"Concurrency Verification: Introduction to Compositional and Non-Compositional Methods","Authors":["Willem-Paul, de Roever","Frank, de Boer","Ulrich, Hanneman"],"ShortTitle":"Concurrency Verification: Introduction to Compositional and\u2026","Author":"Willem-Paul, de Roever","Ean":"9780521169325","Isbn":"0521169321","Publisher":"Cambridge University Press","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[12544426,12544507,12544654],"CategoryIds":[1125],"FormatId":2,"FamilyId":11932261,"SeriesId":287394,"LanguageId":56,"PriceMin":137.28,"PriceMax":137.28,"Desirability":2,"PublicationDate":"2012-01-26T00:00:00","Join":null}
$166.32
{"Id":3122572,"Title":"Modal Logic","Authors":["Blackburn, Patrick","Venema, Yde","de Rijke, Maarten"],"ShortTitle":"Modal Logic","Author":"Blackburn, Patrick","Ean":"9780521527149","Isbn":"0521527147","Publisher":"Cambridge University Press","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[1225867,1225869,3931525],"CategoryIds":[151,489,1125],"FormatId":2,"FamilyId":11806330,"SeriesId":287394,"LanguageId":56,"PriceMin":166.32,"PriceMax":166.32,"Desirability":2,"PublicationDate":"2002-08-22T00:00:00","Join":null}
$184.80
{"Id":27655306,"Title":"Syntax and Semantics of Petri Nets","Authors":["Gorrieri, Roberto"],"ShortTitle":"Syntax and Semantics of Petri Nets","Author":"Gorrieri, Roberto","Ean":"9781009613286","Isbn":"1009613286","Publisher":"Cambridge University Press","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[11592256],"CategoryIds":[1125],"FormatId":1,"FamilyId":null,"SeriesId":287394,"LanguageId":56,"PriceMin":184.8,"PriceMax":184.8,"Desirability":2,"PublicationDate":"2025-09-25T00:00:00","Join":null}
$71.28
{"Id":3101162,"Title":"Free Choice Petri Nets","Authors":["Desel, Jorg","Esparza, Javier","Van Rijsbergen, C. J."],"ShortTitle":"Free Choice Petri Nets","Author":"Desel, Jorg","Ean":"9780521019453","Isbn":"0521019451","Publisher":"Cambridge University Press","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[1214651,1205105,8792517],"CategoryIds":[877,898,1125],"FormatId":2,"FamilyId":871399,"SeriesId":287394,"LanguageId":56,"PriceMin":71.28,"PriceMax":71.28,"Desirability":1,"PublicationDate":"2005-09-08T00:00:00","Join":null}
The Uncertain Reasoner's Companion: A Mathematical Perspective
Paris, J. B.
Van Rijsbergen, C. J.
Abramsky, Samson
Paperback
$87.12
{"Id":3103207,"Title":"The Uncertain Reasoner\u0027s Companion: A Mathematical Perspective","Authors":["Paris, J. B.","Van Rijsbergen, C. J.","Abramsky, Samson"],"ShortTitle":"Uncertain Reasoner\u0027s Companion: A Mathematical Perspective","Author":"Paris, J. B.","Ean":"9780521032728","Isbn":"0521032725","Publisher":"Cambridge University Press","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[1213547,8792517,11517867],"CategoryIds":[877,1125],"FormatId":2,"FamilyId":964934,"SeriesId":287394,"LanguageId":56,"PriceMin":87.12,"PriceMax":87.12,"Desirability":1,"PublicationDate":"2006-11-23T00:00:00","Join":null}
$72.60
{"Id":3103473,"Title":"Basic Simple Type Theory","Authors":["Hindley, J. Roger"],"ShortTitle":"Basic Simple Type Theory","Author":"Hindley, J. Roger","Ean":"9780521054225","Isbn":"0521054222","Publisher":"Cambridge","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[1204086],"CategoryIds":[898,1125],"FormatId":2,"FamilyId":11837005,"SeriesId":287394,"LanguageId":56,"PriceMin":72.6,"PriceMax":72.6,"Desirability":1,"PublicationDate":"2008-01-21T00:00:00","Join":null}
$102.96
{"Id":3103521,"Title":"Domains and Lambda-Calculi","Authors":["Amadio, Roberto M.","Curien, Pierre-Louis"],"ShortTitle":"Domains and Lambda-Calculi","Author":"Amadio, Roberto M.","Ean":"9780521062923","Isbn":"0521062926","Publisher":"Cambridge","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[1205948,1205949],"CategoryIds":[151,898,1125],"FormatId":2,"FamilyId":1132931,"SeriesId":287394,"LanguageId":56,"PriceMin":102.96,"PriceMax":102.96,"Desirability":1,"PublicationDate":"2008-05-15T00:00:00","Join":null}
$100.32
{"Id":3103817,"Title":"Information Flow: The Logic of Distributed Systems","Authors":["Barwise, Jon","Seligman, Jerry"],"ShortTitle":"Information Flow: The Logic of Distributed Systems","Author":"Barwise, Jon","Ean":"9780521070997","Isbn":"0521070996","Publisher":"Cambridge","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[643915,1205319],"CategoryIds":[877,1063,1125],"FormatId":2,"FamilyId":11837621,"SeriesId":287394,"LanguageId":56,"PriceMin":100.32,"PriceMax":100.32,"Desirability":1,"PublicationDate":"2008-08-28T00:00:00","Join":null}
Mathematical Theory of Domains
Stoltenberg-Hansen, Viggo
Lindstrom, Ingrid
Griffor, Edward R.
Paperback
$126.15
{"Id":3104232,"Title":"Mathematical Theory of Domains","Authors":["Stoltenberg-Hansen, Viggo","Lindstrom, Ingrid","Griffor, Edward R."],"ShortTitle":"Mathematical Theory of Domains","Author":"Stoltenberg-Hansen, Viggo","Ean":"9780521064798","Isbn":"0521064791","Publisher":"Cambridge University Press","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[3921106,12545994,12546014],"CategoryIds":[151,1125],"FormatId":2,"FamilyId":7121854,"SeriesId":287394,"LanguageId":56,"PriceMin":126.15,"PriceMax":126.15,"Desirability":1,"PublicationDate":"2008-06-12T00:00:00","Join":null}
$76.56
{"Id":3104699,"Title":"Algebraic Specification of Communication Protocols","Authors":["Mauw, S.","Veltink, G. J."],"ShortTitle":"Algebraic Specification of Communication Protocols","Author":"Mauw, S.","Ean":"9780521088121","Isbn":"0521088127","Publisher":"Cambridge","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[1215068,1215070],"CategoryIds":[1063,1125],"FormatId":2,"FamilyId":2502513,"SeriesId":287394,"LanguageId":56,"PriceMin":76.56,"PriceMax":76.56,"Desirability":1,"PublicationDate":"2008-12-11T00:00:00","Join":null}
$93.72
{"Id":3106640,"Title":"Lambda-Calculus, Combinators and Functional Programming","Authors":["Revesz, G. E."],"ShortTitle":"Lambda-Calculus, Combinators and Functional Programming","Author":"Revesz, G. E.","Ean":"9780521114295","Isbn":"0521114292","Publisher":"Cambridge","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[1217345],"CategoryIds":[151,1125],"FormatId":2,"FamilyId":9476389,"SeriesId":287394,"LanguageId":56,"PriceMin":93.72,"PriceMax":93.72,"Desirability":1,"PublicationDate":"2009-06-25T00:00:00","Join":null}
$51.48
{"Id":3106894,"Title":"The Clausal Theory of Types","Authors":["Wolfram, D. A."],"ShortTitle":"Clausal Theory of Types","Author":"Wolfram, D. A.","Ean":"9780521117906","Isbn":"0521117909","Publisher":"Cambridge","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[1218102],"CategoryIds":[1125],"FormatId":2,"FamilyId":1496353,"SeriesId":287394,"LanguageId":56,"PriceMin":51.48,"PriceMax":51.48,"Desirability":1,"PublicationDate":"2009-07-30T00:00:00","Join":null}
Design Theory and Computer Science: Processes and Methodology of Computer Systems Design
Dasgupta, Subrata
Paperback
$125.40
{"Id":3107160,"Title":"Design Theory and Computer Science: Processes and Methodology of Computer Systems Design","Authors":["Dasgupta, Subrata"],"ShortTitle":"Design Theory and Computer Science: Processes and Methodology of Computer\u2026","Author":"Dasgupta, Subrata","Ean":"9780521118156","Isbn":"0521118158","Publisher":"Cambridge","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[639318],"CategoryIds":[877,1125],"FormatId":2,"FamilyId":2934404,"SeriesId":287394,"LanguageId":56,"PriceMin":125.4,"PriceMax":125.4,"Desirability":1,"PublicationDate":"2009-08-06T00:00:00","Join":null}
$71.28
{"Id":3111031,"Title":"Nonmonotonic Reasoning: Logical Foundations of Commonsense","Authors":["Brewka, Gerhard"],"ShortTitle":"Nonmonotonic Reasoning: Logical Foundations of Commonsense","Author":"Brewka, Gerhard","Ean":"9780521181303","Isbn":"0521181305","Publisher":"Cambridge","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[1203111],"CategoryIds":[877,1125],"FormatId":2,"FamilyId":11943405,"SeriesId":287394,"LanguageId":56,"PriceMin":71.28,"PriceMax":71.28,"Desirability":1,"PublicationDate":"2012-03-29T00:00:00","Join":null}
Nets, Terms and Formulas: Three Views of Concurrent Processes and Their Relationship
Olderog, E. -R
Hardcover
$194.04
{"Id":3116532,"Title":"Nets, Terms and Formulas: Three Views of Concurrent Processes and Their Relationship","Authors":["Olderog, E. -R"],"ShortTitle":"Nets, Terms and Formulas: Three Views of Concurrent Processes and Their\u2026","Author":"Olderog, E. -R","Ean":"9780521400442","Isbn":"0521400449","Publisher":"Cambridge","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[1214247],"CategoryIds":[877,1125],"FormatId":1,"FamilyId":12085715,"SeriesId":287394,"LanguageId":56,"PriceMin":194.04,"PriceMax":194.04,"Desirability":1,"PublicationDate":"1991-10-03T00:00:00","Join":null}
$194.04
{"Id":3116604,"Title":"A Unifying Framework for Structured Analysis and Design Models","Authors":["Tse, T. H."],"ShortTitle":"Unifying Framework for Structured Analysis and Design Models","Author":"Tse, T. H.","Ean":"9780521391962","Isbn":"0521391962","Publisher":"Cambridge","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[1218099],"CategoryIds":[1125],"FormatId":1,"FamilyId":5080677,"SeriesId":287394,"LanguageId":56,"PriceMin":194.04,"PriceMax":194.04,"Desirability":1,"PublicationDate":"1991-05-09T00:00:00","Join":null}
$273.24
{"Id":3116757,"Title":"Design Theory and Computer Science","Authors":["Dasgupta, Subrata"],"ShortTitle":"Design Theory and Computer Science","Author":"Dasgupta, Subrata","Ean":"9780521390217","Isbn":"0521390214","Publisher":"Cambridge","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[639318],"CategoryIds":[877,1125],"FormatId":1,"FamilyId":1519946,"SeriesId":287394,"LanguageId":56,"PriceMin":273.24,"PriceMax":273.24,"Desirability":1,"PublicationDate":"1991-05-16T00:00:00","Join":null}
Logic and Computation: Interactive Proof with Cambridge Lcf
Paulson, Lawrence C.
Van Rijsbergen, C. J.
Abramsky, Samson
Paperback
$95.04
{"Id":3116820,"Title":"Logic and Computation: Interactive Proof with Cambridge Lcf","Authors":["Paulson, Lawrence C.","Van Rijsbergen, C. J.","Abramsky, Samson"],"ShortTitle":"Logic and Computation: Interactive Proof with Cambridge Lcf","Author":"Paulson, Lawrence C.","Ean":"9780521395601","Isbn":"0521395607","Publisher":"Cambridge University Press","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[1223734,8792517,11517867],"CategoryIds":[877,1125],"FormatId":2,"FamilyId":779831,"SeriesId":287394,"LanguageId":56,"PriceMin":95.04,"PriceMax":95.04,"Desirability":1,"PublicationDate":"1990-07-26T00:00:00","Join":null}
$374.88
{"Id":3117062,"Title":"Term Rewriting Systems","Authors":["Terese","de Vrijer, Roel","Klop, Jan Willem"],"ShortTitle":"Term Rewriting Systems","Author":"Terese","Ean":"9780521391153","Isbn":"0521391156","Publisher":"Cambridge University Press","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[1223390,6499551,12541670],"CategoryIds":[1125],"FormatId":1,"FamilyId":null,"SeriesId":287394,"LanguageId":56,"PriceMin":374.88,"PriceMax":374.88,"Desirability":1,"PublicationDate":"2003-03-20T00:00:00","Join":null}