Sign-In
CartAbramsky
Filters
Sort by
$54.99
{"Id":20232529,"Title":"Dependence Logic: Theory and Applications","Authors":["Abramsky, Samson","Kontinen, Juha","V\u00E4\u00E4n\u00E4nen, Jouko"],"ShortTitle":"Dependence Logic: Theory and Applications","Author":"Abramsky, Samson","Ean":"9783319811239","Isbn":"3319811231","Publisher":"Birkhauser","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[4807171,4041230,1205082],"CategoryIds":[151,1027,1125],"FormatId":2,"FamilyId":7366980,"SeriesId":null,"LanguageId":56,"PriceMin":54.99,"PriceMax":54.99,"Desirability":0,"PublicationDate":"2018-06-24T00:00:00","Join":null}
Automata, Languages and Programming: 37th International Colloquium, Icalp 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II
Abramsky, Samson
Gavoille, Cyril
Kirchner, Claude
Paperback
$109.99
{"Id":20583436,"Title":"Automata, Languages and Programming: 37th International Colloquium, Icalp 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II","Authors":["Abramsky, Samson","Gavoille, Cyril","Kirchner, Claude"],"ShortTitle":"Automata, Languages and Programming: 37th International Colloquium, Icalp\u2026","Author":"Abramsky, Samson","Ean":"9783642141614","Isbn":"3642141617","Publisher":"Springer","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[4807171,5027572,4910270],"CategoryIds":[877,898,1125],"FormatId":2,"FamilyId":2354093,"SeriesId":null,"LanguageId":56,"PriceMin":109.99,"PriceMax":109.99,"Desirability":0,"PublicationDate":"2010-06-30T00:00:00","Join":null}
Formal Methods in Artificial Intelligence
Ramsay, Allan
Van Rijsbergen, C. J.
Abramsky, Samson
Paperback
$51.00
{"Id":3117986,"Title":"Formal Methods in Artificial Intelligence","Authors":["Ramsay, Allan","Van Rijsbergen, C. J.","Abramsky, Samson"],"ShortTitle":"Formal Methods in Artificial Intelligence","Author":"Ramsay, Allan","Ean":"9780521424219","Isbn":"0521424216","Publisher":"Cambridge University Press","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[396682,8792517,11517867],"CategoryIds":[877,1125],"FormatId":2,"FamilyId":523733,"SeriesId":287394,"LanguageId":56,"PriceMin":51.0,"PriceMax":51.0,"Desirability":1,"PublicationDate":"1991-07-26T00:00:00","Join":null}
$85.00
{"Id":3123962,"Title":"Belief Revision","Authors":["Gardenfors, Peter","Van Rijsbergen, C. J.","Abramsky, Samson"],"ShortTitle":"Belief Revision","Author":"Gardenfors, Peter","Ean":"9780521545648","Isbn":"0521545641","Publisher":"Cambridge University Press","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[10691980,8792517,11517867],"CategoryIds":[877],"FormatId":2,"FamilyId":3413286,"SeriesId":287394,"LanguageId":56,"PriceMin":85.0,"PriceMax":85.0,"Desirability":1,"PublicationDate":"2003-12-04T00:00:00","Join":null}
$73.00
{"Id":3125757,"Title":"Topology Via Logic","Authors":["Vickers, Steven","Van Rijsbergen, C. J.","Abramsky, Samson"],"ShortTitle":"Topology Via Logic","Author":"Vickers, Steven","Ean":"9780521576512","Isbn":"0521576512","Publisher":"Cambridge University Press","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[1227779,8792517,11517867],"CategoryIds":[877,898],"FormatId":2,"FamilyId":378312,"SeriesId":287394,"LanguageId":56,"PriceMin":73.0,"PriceMax":73.0,"Desirability":1,"PublicationDate":"1996-08-22T00:00:00","Join":null}
The Optimal Implementation of Functional Programming Languages
Asperti, Andrea
Van Rijsbergen, C. J.
Abramsky, Samson
Hardcover
$150.48
{"Id":3128531,"Title":"The Optimal Implementation of Functional Programming Languages","Authors":["Asperti, Andrea","Van Rijsbergen, C. J.","Abramsky, Samson"],"ShortTitle":"Optimal Implementation of Functional Programming Languages","Author":"Asperti, Andrea","Ean":"9780521621120","Isbn":"0521621127","Publisher":"Cambridge University Press","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[1228774,8792517,11517867],"CategoryIds":[1125],"FormatId":1,"FamilyId":null,"SeriesId":287394,"LanguageId":56,"PriceMin":150.48,"PriceMax":150.48,"Desirability":1,"PublicationDate":"1998-12-03T00:00:00","Join":null}
Category Theory and Computer Science: Paris, France, September 3-6, 1991. Proceedings
Curien, Pierre-Louis
Pitt, David H.
Abramsky, Samson
Paperback
$54.99
{"Id":20398150,"Title":"Category Theory and Computer Science: Paris, France, September 3-6, 1991. Proceedings","Authors":["Curien, Pierre-Louis","Pitt, David H.","Abramsky, Samson"],"ShortTitle":"Category Theory and Computer Science: Paris, France, September 3-6, 1991.\u2026","Author":"Curien, Pierre-Louis","Ean":"9783540544951","Isbn":"354054495X","Publisher":"Springer","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[1205949,4892063,4807171],"CategoryIds":[877,1125],"FormatId":2,"FamilyId":562060,"SeriesId":16773,"LanguageId":56,"PriceMin":54.99,"PriceMax":54.99,"Desirability":0,"PublicationDate":"1991-08-21T00:00:00","Join":null}
Handbook of Logic in Computer Science: Volume 4: Semantic Modelling
Abramsky, Samson
Gabbay, Dov M.
Maibaum, T. S.
Hardcover
$515.00
{"Id":1782845,"Title":"Handbook of Logic in Computer Science: Volume 4: Semantic Modelling","Authors":["Abramsky, Samson","Gabbay, Dov M.","Maibaum, T. S."],"ShortTitle":"Handbook of Logic in Computer Science: Volume 4: Semantic Modelling","Author":"Abramsky, Samson","Ean":"9780198537809","Isbn":"0198537808","Publisher":"OUP Oxford","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[11517867,658853,12031962],"CategoryIds":[489,877],"FormatId":1,"FamilyId":919047,"SeriesId":45617,"LanguageId":56,"PriceMin":515.0,"PriceMax":515.0,"Desirability":0,"PublicationDate":"1995-06-15T00:00:00","Join":null}
Handbook of Logic in Computer Science: Volume 5: Logic and Algebraic Methods
Abramsky, Samson
Gabbay, Dov M.
Maibaum, T. S.
Hardcover
$635.00
{"Id":1782864,"Title":"Handbook of Logic in Computer Science: Volume 5: Logic and Algebraic Methods","Authors":["Abramsky, Samson","Gabbay, Dov M.","Maibaum, T. S."],"ShortTitle":"Handbook of Logic in Computer Science: Volume 5: Logic and Algebraic\u2026","Author":"Abramsky, Samson","Ean":"9780198537816","Isbn":"0198537816","Publisher":"OUP Oxford","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[11517867,658853,12031962],"CategoryIds":[489,877,898],"FormatId":1,"FamilyId":12633097,"SeriesId":45617,"LanguageId":56,"PriceMin":635.0,"PriceMax":635.0,"Desirability":0,"PublicationDate":"2001-04-05T00:00:00","Join":null}
The Logic of Typed Feature Structures: With Applications to Unification Grammars, Logic Programs and Constraint Resolution
Carpenter, Bob
Van Rijsbergen, C. J.
Abramsky, Samson
Paperback
$59.00
{"Id":3102123,"Title":"The Logic of Typed Feature Structures: With Applications to Unification Grammars, Logic Programs and Constraint Resolution","Authors":["Carpenter, Bob","Van Rijsbergen, C. J.","Abramsky, Samson"],"ShortTitle":"Logic of Typed Feature Structures: With Applications to Unification\u2026","Author":"Carpenter, Bob","Ean":"9780521022545","Isbn":"0521022541","Publisher":"Cambridge University Press","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[771078,8792517,11517867],"CategoryIds":[877,1125],"FormatId":2,"FamilyId":919046,"SeriesId":287394,"LanguageId":56,"PriceMin":59.0,"PriceMax":59.0,"Desirability":0,"PublicationDate":"2005-11-10T00:00:00","Join":null}
$91.00
{"Id":3100751,"Title":"Extensions of First-Order Logic","Authors":["Manzano, Maria","Van Rijsbergen, C. J.","Abramsky, Samson"],"ShortTitle":"Extensions of First-Order Logic","Author":"Manzano, Maria","Ean":"9780521019026","Isbn":"0521019028","Publisher":"Cambridge University Press","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[1214444,8792517,11517867],"CategoryIds":[151,1125],"FormatId":2,"FamilyId":871631,"SeriesId":287394,"LanguageId":56,"PriceMin":91.0,"PriceMax":91.0,"Desirability":0,"PublicationDate":"2005-08-22T00:00:00","Join":null}
$46.99
{"Id":3128444,"Title":"Updating Logical Databases","Authors":["Winslett, Marianne","Van Rijsbergen, C. J.","Abramsky, Samson"],"ShortTitle":"Updating Logical Databases","Author":"Winslett, Marianne","Ean":"9780521619721","Isbn":"0521619726","Publisher":"Cambridge University Press","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[1228616,8792517,11517867],"CategoryIds":[820,1125,1213],"FormatId":2,"FamilyId":5092395,"SeriesId":287394,"LanguageId":56,"PriceMin":46.99,"PriceMax":46.99,"Desirability":0,"PublicationDate":"2005-02-17T00:00:00","Join":null}
$63.99
{"Id":3123975,"Title":"Theoretical Foundations of VLSI Design","Authors":["McEvoy, K.","Van Rijsbergen, C. J.","Abramsky, Samson"],"ShortTitle":"Theoretical Foundations of VLSI Design","Author":"McEvoy, K.","Ean":"9780521545655","Isbn":"052154565X","Publisher":"Cambridge University Press","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[914606,8792517,11517867],"CategoryIds":[1125],"FormatId":2,"FamilyId":3430544,"SeriesId":287394,"LanguageId":56,"PriceMin":63.99,"PriceMax":63.99,"Desirability":0,"PublicationDate":"2003-12-04T00:00:00","Join":null}
The Uncertain Reasoner's Companion: A Mathematical Perspective
Paris, J. B.
Van Rijsbergen, C. J.
Abramsky, Samson
Paperback
$63.00
{"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":63.0,"PriceMax":63.0,"Desirability":1,"PublicationDate":"2006-11-23T00:00:00","Join":null}
$67.00
{"Id":3127762,"Title":"Algorithmic Information Theory","Authors":["Chaitin, Gregory J.","Van Rijsbergen, C. J.","Abramsky, Samson"],"ShortTitle":"Algorithmic Information Theory","Author":"Chaitin, Gregory J.","Ean":"9780521616041","Isbn":"0521616042","Publisher":"Cambridge University Press","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[1229093,8792517,11517867],"CategoryIds":[877,1125],"FormatId":2,"FamilyId":1043400,"SeriesId":287394,"LanguageId":56,"PriceMin":67.0,"PriceMax":67.0,"Desirability":1,"PublicationDate":"2004-12-02T00:00:00","Join":null}
Handbook of Logic in Computer Science: Volume 2: Background: Computational Structures
Abramsky, Samson
Gabbay, D. M.
Maibaum, Thomas S. E.
Hardcover
$791.00
{"Id":1782780,"Title":"Handbook of Logic in Computer Science: Volume 2: Background: Computational Structures","Authors":["Abramsky, Samson","Gabbay, D. M.","Maibaum, Thomas S. E."],"ShortTitle":"Handbook of Logic in Computer Science: Volume 2: Background: Computational\u2026","Author":"Abramsky, Samson","Ean":"9780198537618","Isbn":"0198537611","Publisher":"OUP Oxford","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[11517867,658933,12034872],"CategoryIds":[877,915],"FormatId":1,"FamilyId":919047,"SeriesId":45617,"LanguageId":56,"PriceMin":791.0,"PriceMax":791.0,"Desirability":1,"PublicationDate":"1993-03-18T00:00:00","Join":null}
Nets, Terms and Formulas: Three Views of Concurrent Processes and Their Relationship
Olderog, E. R.
Van Rijsbergen, C. J.
Abramsky, Samson
Paperback
$59.00
{"Id":3101126,"Title":"Nets, Terms and Formulas: Three Views of Concurrent Processes and Their Relationship","Authors":["Olderog, E. R.","Van Rijsbergen, C. J.","Abramsky, Samson"],"ShortTitle":"Nets, Terms and Formulas: Three Views of Concurrent Processes and Their\u2026","Author":"Olderog, E. R.","Ean":"9780521018456","Isbn":"0521018455","Publisher":"Cambridge University Press","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[6485857,8792517,11517867],"CategoryIds":[877,1125],"FormatId":2,"FamilyId":5092344,"SeriesId":287394,"LanguageId":56,"PriceMin":59.0,"PriceMax":59.0,"Desirability":0,"PublicationDate":"2005-08-22T00:00:00","Join":null}
Logic and Computation: Interactive Proof with Cambridge Lcf
Paulson, Lawrence C.
Van Rijsbergen, C. J.
Abramsky, Samson
Paperback
$69.00
{"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":69.0,"PriceMax":69.0,"Desirability":0,"PublicationDate":"1990-07-26T00:00:00","Join":null}
$118.00
{"Id":3127314,"Title":"Applications of Process Algebra","Authors":["Baeten, J. C. M.","Van Rijsbergen, C. J.","Abramsky, Samson"],"ShortTitle":"Applications of Process Algebra","Author":"Baeten, J. C. M.","Ean":"9780521607506","Isbn":"0521607507","Publisher":"Cambridge University Press","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[1228436,8792517,11517867],"CategoryIds":[686,1125],"FormatId":2,"FamilyId":1221523,"SeriesId":287394,"LanguageId":56,"PriceMin":118.0,"PriceMax":118.0,"Desirability":0,"PublicationDate":"2005-02-17T00:00:00","Join":null}