Sign-In
CartResults
Filters
Sort by
$153.99
{"Id":15745886,"Title":"Algol-Like Languages","Authors":["O\u0027Hearn, Peter","Tennent, Robert"],"ShortTitle":"Algol-Like Languages","Author":"O\u0027Hearn, Peter","Ean":"9781475738537","Isbn":"1475738536","Publisher":"Birkhauser","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[1686295,1191092],"CategoryIds":[877,898,1125],"FormatId":2,"FamilyId":346683,"SeriesId":26892,"LanguageId":56,"PriceMin":153.99,"PriceMax":153.99,"Desirability":2,"PublicationDate":"2013-03-03T00:00:00","Join":null}
$153.99
{"Id":4280494,"Title":"Logic of Domains","Authors":["Zhang, G."],"ShortTitle":"Logic of Domains","Author":"Zhang, G.","Ean":"9780817635701","Isbn":"081763570X","Publisher":"Springer Nature","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[1687768],"CategoryIds":[635,877,1125],"FormatId":1,"FamilyId":7920449,"SeriesId":26892,"LanguageId":56,"PriceMin":153.99,"PriceMax":153.99,"Desirability":1,"PublicationDate":"1991-01-01T00:00:00","Join":null}
$109.99
{"Id":4280860,"Title":"Algol-Like Languages","Authors":["O\u0027Hearn, Peter","Tennent, Robert"],"ShortTitle":"Algol-Like Languages","Author":"O\u0027Hearn, Peter","Ean":"9780817638801","Isbn":"0817638806","Publisher":"Birkhauser","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[1686295,1191092],"CategoryIds":[877,1125],"FormatId":1,"FamilyId":346683,"SeriesId":26892,"LanguageId":56,"PriceMin":109.99,"PriceMax":109.99,"Desirability":1,"PublicationDate":"1996-12-01T00:00:00","Join":null}
$109.99
{"Id":4281105,"Title":"Object-Oriented Programming a Unified Foundation","Authors":["Castagna, Giuseppe"],"ShortTitle":"Object-Oriented Programming a Unified Foundation","Author":"Castagna, Giuseppe","Ean":"9780817639051","Isbn":"0817639055","Publisher":"Springer Nature","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[1688522],"CategoryIds":[1125],"FormatId":1,"FamilyId":7982625,"SeriesId":26892,"LanguageId":56,"PriceMin":109.99,"PriceMax":109.99,"Desirability":1,"PublicationDate":"1997-01-01T00:00:00","Join":null}
$169.99
{"Id":4281190,"Title":"Polynomial and Matrix Computations: Fundamental Algorithms","Authors":["Bini, Dario","Pan, Victor Y."],"ShortTitle":"Polynomial and Matrix Computations: Fundamental Algorithms","Author":"Bini, Dario","Ean":"9780817637866","Isbn":"0817637869","Publisher":"Springer Nature","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[1688336,1687322],"CategoryIds":[686,877],"FormatId":1,"FamilyId":7720649,"SeriesId":26892,"LanguageId":56,"PriceMin":169.99,"PriceMax":169.99,"Desirability":1,"PublicationDate":"1994-08-01T00:00:00","Join":null}
$237.99
{"Id":4281412,"Title":"Neural Networks and Analog Computation: Beyond the Turing Limit","Authors":["Siegelmann, Hava T."],"ShortTitle":"Neural Networks and Analog Computation: Beyond the Turing Limit","Author":"Siegelmann, Hava T.","Ean":"9780817639495","Isbn":"0817639497","Publisher":"Springer Nature","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[1686319],"CategoryIds":[877,898],"FormatId":1,"FamilyId":7584345,"SeriesId":26892,"LanguageId":56,"PriceMin":237.99,"PriceMax":237.99,"Desirability":1,"PublicationDate":"1998-12-01T00:00:00","Join":null}
$153.99
{"Id":4282148,"Title":"Solving Higher-Order Equations: From Logic to Programming","Authors":["Prehofer, Christian"],"ShortTitle":"Solving Higher-Order Equations: From Logic to Programming","Author":"Prehofer, Christian","Ean":"9780817640323","Isbn":"0817640320","Publisher":"Springer Nature","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[1686621],"CategoryIds":[877,898,1125],"FormatId":1,"FamilyId":7518094,"SeriesId":26892,"LanguageId":56,"PriceMin":153.99,"PriceMax":153.99,"Desirability":1,"PublicationDate":"1997-12-18T00:00:00","Join":null}
$169.99
{"Id":15598085,"Title":"Neural Networks and Analog Computation: Beyond the Turing Limit","Authors":["Siegelmann, Hava T."],"ShortTitle":"Neural Networks and Analog Computation: Beyond the Turing Limit","Author":"Siegelmann, Hava T.","Ean":"9781461268758","Isbn":"1461268753","Publisher":"Springer Nature","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[1686319],"CategoryIds":[877,898],"FormatId":2,"FamilyId":7584345,"SeriesId":26892,"LanguageId":56,"PriceMin":169.99,"PriceMax":169.99,"Desirability":1,"PublicationDate":"2012-10-21T00:00:00","Join":null}
$139.99
{"Id":15686484,"Title":"Complexity Theory of Real Functions","Authors":["Ko, K."],"ShortTitle":"Complexity Theory of Real Functions","Author":"Ko, K.","Ean":"9781468468045","Isbn":"1468468049","Publisher":"Springer Nature","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[1687826],"CategoryIds":[877,888,898],"FormatId":2,"FamilyId":null,"SeriesId":26892,"LanguageId":56,"PriceMin":139.99,"PriceMax":139.99,"Desirability":1,"PublicationDate":"2012-03-13T00:00:00","Join":null}
$109.99
{"Id":4280374,"Title":"The Graph Isomorphism Problem: Its Structural Complexity","Authors":["Toran, J.","Kobler, J.","Sch\u00F6ning, U."],"ShortTitle":"Graph Isomorphism Problem: Its Structural Complexity","Author":"Toran, J.","Ean":"9780817636807","Isbn":"0817636803","Publisher":"Springer Nature","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[1688123,1688119,1688121],"CategoryIds":[877,898],"FormatId":1,"FamilyId":7997998,"SeriesId":26892,"LanguageId":56,"PriceMin":109.99,"PriceMax":109.99,"Desirability":0,"PublicationDate":"1993-07-01T00:00:00","Join":null}
$54.99
{"Id":4280381,"Title":"Canonical Equational Proofs","Authors":["Bachmair"],"ShortTitle":"Canonical Equational Proofs","Author":"Bachmair","Ean":"9780817635558","Isbn":"0817635556","Publisher":"Springer Nature","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[1687719],"CategoryIds":[151],"FormatId":2,"FamilyId":null,"SeriesId":26892,"LanguageId":56,"PriceMin":54.99,"PriceMax":54.99,"Desirability":0,"PublicationDate":"1991-06-01T00:00:00","Join":null}
$109.99
{"Id":4280633,"Title":"Finite Automata, Formal Logic, and Circuit Complexity","Authors":["Straubing, Howard"],"ShortTitle":"Finite Automata, Formal Logic, and Circuit Complexity","Author":"Straubing, Howard","Ean":"9780817637194","Isbn":"0817637192","Publisher":"Springer Nature","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[1688221],"CategoryIds":[151,877,915],"FormatId":1,"FamilyId":7689184,"SeriesId":26892,"LanguageId":56,"PriceMin":109.99,"PriceMax":109.99,"Desirability":0,"PublicationDate":"1994-05-03T00:00:00","Join":null}
$109.99
{"Id":4281059,"Title":"Categorical Combinators, Sequential Algorithms, and Functional Programming","Authors":["Curien, P. -L"],"ShortTitle":"Categorical Combinators, Sequential Algorithms, and Functional Programming","Author":"Curien, P. -L","Ean":"9780817636548","Isbn":"0817636544","Publisher":"Springer Nature","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[1688044],"CategoryIds":[877,915,1125],"FormatId":1,"FamilyId":553818,"SeriesId":26892,"LanguageId":56,"PriceMin":109.99,"PriceMax":109.99,"Desirability":0,"PublicationDate":"1993-01-01T00:00:00","Join":null}
$109.99
{"Id":4281060,"Title":"Subrecursive Programming Systems: Complexity \u0026 Succinctness","Authors":["Royer, James S.","Case, John"],"ShortTitle":"Subrecursive Programming Systems: Complexity \u0026 Succinctness","Author":"Royer, James S.","Ean":"9780817637675","Isbn":"0817637672","Publisher":"Springer Nature","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[773168,991336],"CategoryIds":[1125],"FormatId":1,"FamilyId":7516681,"SeriesId":26892,"LanguageId":56,"PriceMin":109.99,"PriceMax":109.99,"Desirability":0,"PublicationDate":"1994-08-01T00:00:00","Join":null}
$89.99
{"Id":4281086,"Title":"Computation and Control: Volume 3","Authors":["Bowers, Kenneth L.","Lund, John"],"ShortTitle":"Computation and Control: Volume 3","Author":"Bowers, Kenneth L.","Ean":"9780817636562","Isbn":"0817636560","Publisher":"Springer Nature","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[1687393,165007],"CategoryIds":[617,898,915],"FormatId":1,"FamilyId":1895875,"SeriesId":26892,"LanguageId":56,"PriceMin":89.99,"PriceMax":89.99,"Desirability":0,"PublicationDate":"1993-07-01T00:00:00","Join":null}
$153.99
{"Id":4281129,"Title":"Algorithms for Random Generation and Counting: A Markov Chain Approach","Authors":["Sinclair, A."],"ShortTitle":"Algorithms for Random Generation and Counting: A Markov Chain Approach","Author":"Sinclair, A.","Ean":"9780817636586","Isbn":"0817636587","Publisher":"Springer Nature","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[1259840],"CategoryIds":[898,1124],"FormatId":1,"FamilyId":7785002,"SeriesId":26892,"LanguageId":56,"PriceMin":153.99,"PriceMax":153.99,"Desirability":0,"PublicationDate":"1993-02-01T00:00:00","Join":null}
$109.99
{"Id":4281215,"Title":"The Combinatory Programme","Authors":["Engeler, Erwin"],"ShortTitle":"Combinatory Programme","Author":"Engeler, Erwin","Ean":"9780817638016","Isbn":"0817638016","Publisher":"Birkhauser","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[1688351],"CategoryIds":[877,898,1125],"FormatId":1,"FamilyId":7855752,"SeriesId":26892,"LanguageId":56,"PriceMin":109.99,"PriceMax":109.99,"Desirability":0,"PublicationDate":"1994-11-01T00:00:00","Join":null}
Comparative Metric Semantics of Programming Languages: Nondeterminism and Recursion
Breughel, Franck Van
Hardcover
$109.99
{"Id":4281218,"Title":"Comparative Metric Semantics of Programming Languages: Nondeterminism and Recursion","Authors":["Breughel, Franck Van"],"ShortTitle":"Comparative Metric Semantics of Programming Languages: Nondeterminism and\u2026","Author":"Breughel, Franck Van","Ean":"9780817639273","Isbn":"0817639276","Publisher":"Springer Nature","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[1688569],"CategoryIds":[877,1125],"FormatId":1,"FamilyId":7542266,"SeriesId":26892,"LanguageId":56,"PriceMin":109.99,"PriceMax":109.99,"Desirability":0,"PublicationDate":"1997-12-18T00:00:00","Join":null}
$109.99
{"Id":4281253,"Title":"Algol-Like Languages","Authors":["O\u0027Hearn, Peter","Tennent, Robert"],"ShortTitle":"Algol-Like Languages","Author":"O\u0027Hearn, Peter","Ean":"9780817639372","Isbn":"0817639373","Publisher":"Birkhauser","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[1686295,1191092],"CategoryIds":[877,1125],"FormatId":1,"FamilyId":346683,"SeriesId":26892,"LanguageId":56,"PriceMin":109.99,"PriceMax":109.99,"Desirability":0,"PublicationDate":"1996-12-01T00:00:00","Join":null}
$119.99
{"Id":15597265,"Title":"Finite Automata, Formal Logic, and Circuit Complexity","Authors":["Straubing, Howard"],"ShortTitle":"Finite Automata, Formal Logic, and Circuit Complexity","Author":"Straubing, Howard","Ean":"9781461266952","Isbn":"1461266955","Publisher":"Springer Nature","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[1688221],"CategoryIds":[151,877,915],"FormatId":2,"FamilyId":7689184,"SeriesId":26892,"LanguageId":56,"PriceMin":119.99,"PriceMax":119.99,"Desirability":0,"PublicationDate":"2012-10-10T00:00:00","Join":null}