Sign-In
CartResults
Filters
Sort by
$199.99
{"Id":20118841,"Title":"Domain Science and Engineering: A Foundation for Software Development","Authors":["Bj\u00F8rner, Dines"],"ShortTitle":"Domain Science and Engineering: A Foundation for Software Development","Author":"Bj\u00F8rner, Dines","Ean":"9783030734831","Isbn":"3030734838","Publisher":"Springer Nature","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[4741972],"CategoryIds":[877,1125],"FormatId":1,"FamilyId":10060698,"SeriesId":283655,"LanguageId":56,"PriceMin":199.99,"PriceMax":199.99,"Desirability":1,"PublicationDate":"2021-11-09T00:00:00","Join":null}
$54.99
{"Id":20379321,"Title":"Confluent String Rewriting","Authors":["Jantzen, Matthias"],"ShortTitle":"Confluent String Rewriting","Author":"Jantzen, Matthias","Ean":"9783540137153","Isbn":"3540137157","Publisher":"Springer","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[4892180],"CategoryIds":[151,877,892],"FormatId":1,"FamilyId":7755131,"SeriesId":283655,"LanguageId":56,"PriceMin":54.99,"PriceMax":54.99,"Desirability":1,"PublicationDate":"1988-11-25T00:00:00","Join":null}
$153.99
{"Id":20379369,"Title":"Algorithms in Combinatorial Geometry","Authors":["Edelsbrunner, Herbert"],"ShortTitle":"Algorithms in Combinatorial Geometry","Author":"Edelsbrunner, Herbert","Ean":"9783540137221","Isbn":"354013722X","Publisher":"Springer","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[12672739],"CategoryIds":[877,898,1125],"FormatId":1,"FamilyId":7702856,"SeriesId":283655,"LanguageId":56,"PriceMin":153.99,"PriceMax":153.99,"Desirability":1,"PublicationDate":"1987-07-31T00:00:00","Join":null}
$129.99
{"Id":20389800,"Title":"Fundamentals of Algebraic Graph Transformation","Authors":["Ehrig, Karsten","Prange, Ulrike","Ehrig, Hartmut"],"ShortTitle":"Fundamentals of Algebraic Graph Transformation","Author":"Ehrig, Karsten","Ean":"9783540311874","Isbn":"3540311874","Publisher":"Springer","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[4896121,4896122,12605390],"CategoryIds":[877,1125],"FormatId":1,"FamilyId":2208363,"SeriesId":283655,"LanguageId":56,"PriceMin":129.99,"PriceMax":129.99,"Desirability":1,"PublicationDate":"2006-02-10T00:00:00","Join":null}
$54.99
{"Id":20393446,"Title":"Process Algebra with Timing","Authors":["Baeten, J. C. M.","Middelburg, C. a."],"ShortTitle":"Process Algebra with Timing","Author":"Baeten, J. C. M.","Ean":"9783540434474","Isbn":"354043447X","Publisher":"Springer Nature","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[1228436,4894144],"CategoryIds":[686,877,1125],"FormatId":1,"FamilyId":7893403,"SeriesId":283655,"LanguageId":56,"PriceMin":54.99,"PriceMax":54.99,"Desirability":1,"PublicationDate":"2002-07-04T00:00:00","Join":null}
$237.99
{"Id":20412456,"Title":"Logics of Specification Languages","Authors":["Henson, Martin C.","Bj\u00F8rner, Dines"],"ShortTitle":"Logics of Specification Languages","Author":"Henson, Martin C.","Ean":"9783540741060","Isbn":"3540741062","Publisher":"Springer Nature","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[4896516,4741972],"CategoryIds":[151,877,1125],"FormatId":1,"FamilyId":358016,"SeriesId":283655,"LanguageId":56,"PriceMin":237.99,"PriceMax":237.99,"Desirability":1,"PublicationDate":"2007-12-07T00:00:00","Join":null}
$181.99
{"Id":20578256,"Title":"Fundamentals of Algebraic Graph Transformation","Authors":["Ehrig, Karsten","Prange, Ulrike","Ehrig, Hartmut"],"ShortTitle":"Fundamentals of Algebraic Graph Transformation","Author":"Ehrig, Karsten","Ean":"9783642068317","Isbn":"3642068316","Publisher":"Springer","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[4896121,4896122,12605390],"CategoryIds":[877,1125],"FormatId":2,"FamilyId":12363845,"SeriesId":283655,"LanguageId":56,"PriceMin":181.99,"PriceMax":181.99,"Desirability":1,"PublicationDate":"2010-11-18T00:00:00","Join":null}
Compiler Generators: What They Can Do, What They Might Do, and What They Will Probably Never Do
Tofte, Mads
Paperback
$109.00
{"Id":20601005,"Title":"Compiler Generators: What They Can Do, What They Might Do, and What They Will Probably Never Do","Authors":["Tofte, Mads"],"ShortTitle":"Compiler Generators: What They Can Do, What They Might Do, and What They\u2026","Author":"Tofte, Mads","Ean":"9783642648571","Isbn":"3642648576","Publisher":"Springer Pg","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[775066],"CategoryIds":[877,1125],"FormatId":2,"FamilyId":7658231,"SeriesId":283655,"LanguageId":56,"PriceMin":109.0,"PriceMax":109.0,"Desirability":1,"PublicationDate":"2011-10-05T00:00:00","Join":null}
$76.99
{"Id":20603990,"Title":"Data Structures and Algorithms 2: Graph Algorithms and Np-Completeness","Authors":["Mehlhorn, K."],"ShortTitle":"Data Structures and Algorithms 2: Graph Algorithms and Np-Completeness","Author":"Mehlhorn, K.","Ean":"9783642698996","Isbn":"3642698999","Publisher":"Springer Pg","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[4885356],"CategoryIds":[877,1125],"FormatId":2,"FamilyId":4535563,"SeriesId":283655,"LanguageId":56,"PriceMin":76.99,"PriceMax":76.99,"Desirability":1,"PublicationDate":"2011-12-25T00:00:00","Join":null}
$54.99
{"Id":20604358,"Title":"Petri Nets: An Introduction","Authors":["Reisig, Wolfgang"],"ShortTitle":"Petri Nets: An Introduction","Author":"Reisig, Wolfgang","Ean":"9783642699702","Isbn":"3642699707","Publisher":"Springer Nature","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[3351865],"CategoryIds":[877,898,1125],"FormatId":2,"FamilyId":1940415,"SeriesId":283655,"LanguageId":56,"PriceMin":54.99,"PriceMax":54.99,"Desirability":1,"PublicationDate":"2011-11-17T00:00:00","Join":null}
$153.99
{"Id":20605013,"Title":"Universal Algebra for Computer Scientists","Authors":["Wechler, Wolfgang"],"ShortTitle":"Universal Algebra for Computer Scientists","Author":"Wechler, Wolfgang","Ean":"9783642767739","Isbn":"3642767737","Publisher":"Springer Nature","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[4899263],"CategoryIds":[877,1125],"FormatId":2,"FamilyId":1954906,"SeriesId":283655,"LanguageId":56,"PriceMin":153.99,"PriceMax":153.99,"Desirability":1,"PublicationDate":"2012-08-01T00:00:00","Join":null}
$169.99
{"Id":20743877,"Title":"Models and Algorithms of Time-Dependent Scheduling","Authors":["Gawiejnowicz, Stanislaw"],"ShortTitle":"Models and Algorithms of Time-Dependent Scheduling","Author":"Gawiejnowicz, Stanislaw","Ean":"9783662593646","Isbn":"3662593645","Publisher":"Springer Nature","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[4916683],"CategoryIds":[430,877,898],"FormatId":2,"FamilyId":9385686,"SeriesId":283655,"LanguageId":56,"PriceMin":169.99,"PriceMax":169.99,"Desirability":1,"PublicationDate":"2021-07-16T00:00:00","Join":null}
$199.99
{"Id":21268877,"Title":"Theory of Reversible Computing","Authors":["Morita, Kenichi"],"ShortTitle":"Theory of Reversible Computing","Author":"Morita, Kenichi","Ean":"9784431566045","Isbn":"443156604X","Publisher":"Springer Nature","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[5026768],"CategoryIds":[877],"FormatId":1,"FamilyId":7960727,"SeriesId":283655,"LanguageId":56,"PriceMin":199.99,"PriceMax":199.99,"Desirability":1,"PublicationDate":"2017-11-17T00:00:00","Join":null}
$199.99
{"Id":24212682,"Title":"Domain Science and Engineering: A Foundation for Software Development","Authors":["Bj\u00F8rner, Dines"],"ShortTitle":"Domain Science and Engineering: A Foundation for Software Development","Author":"Bj\u00F8rner, Dines","Ean":"9783030734862","Isbn":"3030734862","Publisher":"Springer Nature","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[4741972],"CategoryIds":[877,1125],"FormatId":2,"FamilyId":10060698,"SeriesId":283655,"LanguageId":56,"PriceMin":199.99,"PriceMax":199.99,"Desirability":1,"PublicationDate":"2022-11-10T00:00:00","Join":null}
Process Algebras for Petri Nets: The Alphabetization of Distributed Systems
Gorrieri, Roberto
Hardcover
$89.99
{"Id":20222288,"Title":"Process Algebras for Petri Nets: The Alphabetization of Distributed Systems","Authors":["Gorrieri, Roberto"],"ShortTitle":"Process Algebras for Petri Nets: The Alphabetization of Distributed Systems","Author":"Gorrieri, Roberto","Ean":"9783319555584","Isbn":"3319555588","Publisher":"Springer Nature","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[1607871],"CategoryIds":[151,877,1125],"FormatId":1,"FamilyId":176639,"SeriesId":283655,"LanguageId":56,"PriceMin":89.99,"PriceMax":89.99,"Desirability":0,"PublicationDate":"2017-04-25T00:00:00","Join":null}
Process Algebras for Petri Nets: The Alphabetization of Distributed Systems
Gorrieri, Roberto
Paperback
$89.99
{"Id":20236966,"Title":"Process Algebras for Petri Nets: The Alphabetization of Distributed Systems","Authors":["Gorrieri, Roberto"],"ShortTitle":"Process Algebras for Petri Nets: The Alphabetization of Distributed Systems","Author":"Gorrieri, Roberto","Ean":"9783319856940","Isbn":"3319856944","Publisher":"Springer Nature","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[1607871],"CategoryIds":[151,877,1125],"FormatId":2,"FamilyId":176639,"SeriesId":283655,"LanguageId":56,"PriceMin":89.99,"PriceMax":89.99,"Desirability":0,"PublicationDate":"2018-05-09T00:00:00","Join":null}
$54.99
{"Id":20379357,"Title":"Parsing Theory: Volume I Languages and Parsing","Authors":["Sippu, Seppo","Soisalon-Soininen, Eljas"],"ShortTitle":"Parsing Theory: Volume I Languages and Parsing","Author":"Sippu, Seppo","Ean":"9783540137207","Isbn":"3540137203","Publisher":"Springer Nature","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[4804697,4804698],"CategoryIds":[151,877,1125],"FormatId":1,"FamilyId":282668,"SeriesId":283655,"LanguageId":56,"PriceMin":54.99,"PriceMax":54.99,"Desirability":0,"PublicationDate":"1988-07-01T00:00:00","Join":null}
$109.99
{"Id":20390508,"Title":"Theoretical Aspects of Local Search","Authors":["Michiels, Wil","Korst, Jan","Aarts, Emile"],"ShortTitle":"Theoretical Aspects of Local Search","Author":"Michiels, Wil","Ean":"9783540358534","Isbn":"3540358536","Publisher":"Springer Nature","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[4896811,1161717,1430273],"CategoryIds":[877,898],"FormatId":1,"FamilyId":3269330,"SeriesId":283655,"LanguageId":56,"PriceMin":109.99,"PriceMax":109.99,"Desirability":0,"PublicationDate":"2006-11-28T00:00:00","Join":null}
$169.99
{"Id":20390835,"Title":"Semantic Integration of Heterogeneous Software Specifications","Authors":["Gro\u00DFe-Rhode, Martin"],"ShortTitle":"Semantic Integration of Heterogeneous Software Specifications","Author":"Gro\u00DFe-Rhode, Martin","Ean":"9783540402572","Isbn":"3540402578","Publisher":"Springer","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[4901493],"CategoryIds":[877,1125],"FormatId":1,"FamilyId":7995351,"SeriesId":283655,"LanguageId":56,"PriceMin":169.99,"PriceMax":169.99,"Desirability":0,"PublicationDate":"2003-12-09T00:00:00","Join":null}
$109.99
{"Id":20391994,"Title":"Duration Calculus: A Formal Approach to Real-Time Systems","Authors":["Zhou, Chaochen","Hansen, Michael R."],"ShortTitle":"Duration Calculus: A Formal Approach to Real-Time Systems","Author":"Zhou, Chaochen","Ean":"9783540408239","Isbn":"3540408231","Publisher":"Springer","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[12606569,12606832],"CategoryIds":[898,1125],"FormatId":1,"FamilyId":2206553,"SeriesId":283655,"LanguageId":56,"PriceMin":109.99,"PriceMax":109.99,"Desirability":0,"PublicationDate":"2003-12-04T00:00:00","Join":null}