Sign-In
CartResults
Filters
Sort by
$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}
$109.99
{"Id":15597352,"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":"9781461267041","Isbn":"1461267048","Publisher":"Springer Nature","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[1688044],"CategoryIds":[151,877,898],"FormatId":2,"FamilyId":4041589,"SeriesId":26892,"LanguageId":56,"PriceMin":109.99,"PriceMax":109.99,"Desirability":0,"PublicationDate":"2012-09-27T00:00:00","Join":null}
$109.99
{"Id":15597385,"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":"9781461267072","Isbn":"1461267072","Publisher":"Springer Nature","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[1259840],"CategoryIds":[877,898],"FormatId":2,"FamilyId":7785002,"SeriesId":26892,"LanguageId":56,"PriceMin":109.99,"PriceMax":109.99,"Desirability":0,"PublicationDate":"2012-11-01T00:00:00","Join":null}
$109.99
{"Id":15597441,"Title":"The Graph Isomorphism Problem: Its Structural Complexity","Authors":["Kobler, J.","Sch\u00F6ning, U.","Toran, J."],"ShortTitle":"Graph Isomorphism Problem: Its Structural Complexity","Author":"Kobler, J.","Ean":"9781461267126","Isbn":"1461267129","Publisher":"Springer Nature","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[1688119,1688121,1688123],"CategoryIds":[877,898],"FormatId":2,"FamilyId":7997998,"SeriesId":26892,"LanguageId":56,"PriceMin":109.99,"PriceMax":109.99,"Desirability":0,"PublicationDate":"2012-10-09T00:00:00","Join":null}
$99.99
{"Id":15597942,"Title":"Semantics of Type Theory: Correctness, Completeness and Independence Results","Authors":["Streicher, T."],"ShortTitle":"Semantics of Type Theory: Correctness, Completeness and Independence\u2026","Author":"Streicher, T.","Ean":"9781461267577","Isbn":"1461267579","Publisher":"Springer Nature","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[1687842],"CategoryIds":[877,898],"FormatId":2,"FamilyId":null,"SeriesId":26892,"LanguageId":56,"PriceMin":99.99,"PriceMax":99.99,"Desirability":0,"PublicationDate":"2012-10-29T00:00:00","Join":null}
$153.99
{"Id":15597986,"Title":"Logic of Domains","Authors":["Zhang, G."],"ShortTitle":"Logic of Domains","Author":"Zhang, G.","Ean":"9781461267638","Isbn":"1461267633","Publisher":"Springer Nature","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[1687768],"CategoryIds":[635,877,1125],"FormatId":2,"FamilyId":7920449,"SeriesId":26892,"LanguageId":56,"PriceMin":153.99,"PriceMax":153.99,"Desirability":0,"PublicationDate":"2012-12-22T00:00:00","Join":null}
$109.99
{"Id":15598016,"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":"9781461266808","Isbn":"1461266807","Publisher":"Springer Nature","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[773168,3425180],"CategoryIds":[1125],"FormatId":2,"FamilyId":7516681,"SeriesId":26892,"LanguageId":56,"PriceMin":109.99,"PriceMax":109.99,"Desirability":0,"PublicationDate":"2012-10-03T00:00:00","Join":null}
$169.99
{"Id":15598072,"Title":"Polynomial and Matrix Computations: Fundamental Algorithms","Authors":["Bini, Dario","Pan, Victor Y."],"ShortTitle":"Polynomial and Matrix Computations: Fundamental Algorithms","Author":"Bini, Dario","Ean":"9781461266860","Isbn":"1461266866","Publisher":"Springer Nature","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[1688336,1687322],"CategoryIds":[686,877],"FormatId":2,"FamilyId":7720649,"SeriesId":26892,"LanguageId":56,"PriceMin":169.99,"PriceMax":169.99,"Desirability":0,"PublicationDate":"2012-09-27T00:00:00","Join":null}
$109.99
{"Id":15598907,"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":"9781461272786","Isbn":"1461272785","Publisher":"Springer Nature","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[1686621],"CategoryIds":[877,898,1125],"FormatId":2,"FamilyId":7518094,"SeriesId":26892,"LanguageId":56,"PriceMin":109.99,"PriceMax":109.99,"Desirability":0,"PublicationDate":"2012-10-21T00:00:00","Join":null}
$109.99
{"Id":15599242,"Title":"Object-Oriented Programming a Unified Foundation","Authors":["Castagna, Giuseppe"],"ShortTitle":"Object-Oriented Programming a Unified Foundation","Author":"Castagna, Giuseppe","Ean":"9781461286707","Isbn":"1461286700","Publisher":"Springer Nature","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[3425906],"CategoryIds":[877,892,1125],"FormatId":2,"FamilyId":7982625,"SeriesId":26892,"LanguageId":56,"PriceMin":109.99,"PriceMax":109.99,"Desirability":0,"PublicationDate":"2011-09-26T00:00:00","Join":null}
Comparative Metric Semantics of Programming Languages: Nondeterminism and Recursion
Breughel, Franck Van
Paperback
$109.99
{"Id":15599333,"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":"9781461286806","Isbn":"1461286808","Publisher":"Springer Nature","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[1688569],"CategoryIds":[877,898],"FormatId":2,"FamilyId":7542266,"SeriesId":26892,"LanguageId":56,"PriceMin":109.99,"PriceMax":109.99,"Desirability":0,"PublicationDate":"2011-09-26T00:00:00","Join":null}
$109.99
{"Id":15599674,"Title":"The Combinatory Programme","Authors":["Engeler, Erwin"],"ShortTitle":"Combinatory Programme","Author":"Engeler, Erwin","Ean":"9781461287162","Isbn":"1461287162","Publisher":"Birkhauser","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[1688351],"CategoryIds":[877,898],"FormatId":2,"FamilyId":7855752,"SeriesId":26892,"LanguageId":56,"PriceMin":109.99,"PriceMax":109.99,"Desirability":0,"PublicationDate":"2011-11-23T00:00:00","Join":null}
$109.99
{"Id":15600146,"Title":"Algol-Like Languages","Authors":["O\u0027Hearn, Peter","Tennent, Robert"],"ShortTitle":"Algol-Like Languages","Author":"O\u0027Hearn, Peter","Ean":"9781461286615","Isbn":"1461286611","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":109.99,"PriceMax":109.99,"Desirability":0,"PublicationDate":"2011-10-17T00:00:00","Join":null}
$54.99
{"Id":15686527,"Title":"Verifying Temporal Properties of Systems","Authors":["Bradfield, J. C."],"ShortTitle":"Verifying Temporal Properties of Systems","Author":"Bradfield, J. C.","Ean":"9781468468212","Isbn":"1468468219","Publisher":"Springer Nature","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[3469464],"CategoryIds":[151,888],"FormatId":2,"FamilyId":553815,"SeriesId":26892,"LanguageId":56,"PriceMin":54.99,"PriceMax":54.99,"Desirability":0,"PublicationDate":"2012-02-25T00:00:00","Join":null}
$54.99
{"Id":15686572,"Title":"Nondeterminism in Algebraic Specifications and Algebraic Programs","Authors":["Hussmann"],"ShortTitle":"Nondeterminism in Algebraic Specifications and Algebraic Programs","Author":"Hussmann","Ean":"9781468468366","Isbn":"1468468367","Publisher":"Springer Nature","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[1688185],"CategoryIds":[686,915],"FormatId":2,"FamilyId":7518223,"SeriesId":26892,"LanguageId":56,"PriceMin":54.99,"PriceMax":54.99,"Desirability":0,"PublicationDate":"2012-03-22T00:00:00","Join":null}