Sign-In
CartResults
Filters
Sort by
Interactive Theorem Proving and Program Development: Coq'art: The Calculus of Inductive Constructions
Bertot, Yves
Castéran, Pierre
Hardcover
$194.60
{"Id":20386174,"Title":"Interactive Theorem Proving and Program Development: Coq\u0027art: The Calculus of Inductive Constructions","Authors":["Bertot, Yves","Cast\u00E9ran, Pierre"],"ShortTitle":"Interactive Theorem Proving and Program Development: Coq\u0027art: The Calculus\u2026","Author":"Bertot, Yves","Ean":"9783540208549","Isbn":"3540208542","Publisher":"Springer","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[1204275,4892419],"CategoryIds":[877,1125],"FormatId":1,"FamilyId":8022221,"SeriesId":219060,"LanguageId":56,"PriceMin":194.6,"PriceMax":194.6,"Desirability":3000001,"PublicationDate":"2004-05-14T00:00:00","Join":null}
Formal Methods for Software Engineering: Languages, Methods, Application Domains
Roggenbach, Markus
Cerone, Antonio
Schlingloff, Bernd-Holger
Hardcover
$125.99
{"Id":20108122,"Title":"Formal Methods for Software Engineering: Languages, Methods, Application Domains","Authors":["Roggenbach, Markus","Cerone, Antonio","Schlingloff, Bernd-Holger"],"ShortTitle":"Formal Methods for Software Engineering: Languages, Methods, Application\u2026","Author":"Roggenbach, Markus","Ean":"9783030387990","Isbn":"3030387992","Publisher":"Springer Nature","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[4731822,4731823,4731824],"CategoryIds":[877,1125],"FormatId":1,"FamilyId":null,"SeriesId":219060,"LanguageId":56,"PriceMin":125.99,"PriceMax":125.99,"Desirability":1,"PublicationDate":"2022-06-23T00:00:00","Join":null}
Introduction to Concurrency Theory: Transition Systems and CCS
Versari, Cristian
Gorrieri, Roberto
Hardcover
$76.99
{"Id":20208507,"Title":"Introduction to Concurrency Theory: Transition Systems and CCS","Authors":["Versari, Cristian","Gorrieri, Roberto"],"ShortTitle":"Introduction to Concurrency Theory: Transition Systems and CCS","Author":"Versari, Cristian","Ean":"9783319214900","Isbn":"331921490X","Publisher":"Springer","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[4798707,12608405],"CategoryIds":[877],"FormatId":1,"FamilyId":7741449,"SeriesId":219060,"LanguageId":56,"PriceMin":76.99,"PriceMax":76.99,"Desirability":1,"PublicationDate":"2015-09-11T00:00:00","Join":null}
$90.99
{"Id":20218277,"Title":"Models of Computation","Authors":["Bruni, Roberto","Montanari, Ugo"],"ShortTitle":"Models of Computation","Author":"Bruni, Roberto","Ean":"9783319428987","Isbn":"3319428985","Publisher":"Springer","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[4806819,12601553],"CategoryIds":[877,1125],"FormatId":1,"FamilyId":7365683,"SeriesId":219060,"LanguageId":56,"PriceMin":90.99,"PriceMax":90.99,"Desirability":1,"PublicationDate":"2017-04-10T00:00:00","Join":null}
Simulation Algorithms for Computational Systems Biology
Marchetti, Luca
Priami, Corrado
Thanh, Vo Hong
Hardcover
$69.99
{"Id":20224027,"Title":"Simulation Algorithms for Computational Systems Biology","Authors":["Marchetti, Luca","Priami, Corrado","Thanh, Vo Hong"],"ShortTitle":"Simulation Algorithms for Computational Systems Biology","Author":"Marchetti, Luca","Ean":"9783319631110","Isbn":"331963111X","Publisher":"Springer Nature","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[4713863,4317775,4815989],"CategoryIds":[738,877,1125],"FormatId":1,"FamilyId":188640,"SeriesId":219060,"LanguageId":56,"PriceMin":69.99,"PriceMax":69.99,"Desirability":1,"PublicationDate":"2017-10-09T00:00:00","Join":null}
$64.99
{"Id":20233993,"Title":"Models of Computation","Authors":["Bruni, Roberto","Montanari, Ugo"],"ShortTitle":"Models of Computation","Author":"Bruni, Roberto","Ean":"9783319826899","Isbn":"3319826891","Publisher":"Springer","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[4806819,12601553],"CategoryIds":[877,1125],"FormatId":2,"FamilyId":7365683,"SeriesId":219060,"LanguageId":56,"PriceMin":64.99,"PriceMax":64.99,"Desirability":1,"PublicationDate":"2018-07-18T00:00:00","Join":null}
$139.99
{"Id":20367851,"Title":"Finite Model Theory and Its Applications","Authors":["Kolaitis, Phokion G.","Libkin, Leonid","Gr\u00E4del, Erich"],"ShortTitle":"Finite Model Theory and Its Applications","Author":"Kolaitis, Phokion G.","Ean":"9783540004288","Isbn":"3540004289","Publisher":"Springer","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[4873558,4022853,12605717],"CategoryIds":[877],"FormatId":1,"FamilyId":12029442,"SeriesId":219060,"LanguageId":56,"PriceMin":139.99,"PriceMax":139.99,"Desirability":1,"PublicationDate":"2007-04-24T00:00:00","Join":null}
Theoretical Computer Science: Introduction to Automata, Computability, Complexity, Algorithmics, Randomization, Communication, and Cryptography
Hromkovič, Juraj
Hardcover
$166.60
{"Id":20381600,"Title":"Theoretical Computer Science: Introduction to Automata, Computability, Complexity, Algorithmics, Randomization, Communication, and Cryptography","Authors":["Hromkovi\u0026#269;, Juraj"],"ShortTitle":"Theoretical Computer Science: Introduction to Automata, Computability,\u2026","Author":"Hromkovi\u0026#269;, Juraj","Ean":"9783540140153","Isbn":"3540140158","Publisher":"Springer Nature","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[4737613],"CategoryIds":[877],"FormatId":1,"FamilyId":7686745,"SeriesId":219060,"LanguageId":56,"PriceMin":166.6,"PriceMax":166.6,"Desirability":1,"PublicationDate":"2003-09-18T00:00:00","Join":null}
$109.99
{"Id":20384824,"Title":"Abstract Computing Machines: A Lambda Calculus Perspective","Authors":["Kluge, Werner"],"ShortTitle":"Abstract Computing Machines: A Lambda Calculus Perspective","Author":"Kluge, Werner","Ean":"9783540211464","Isbn":"3540211462","Publisher":"Springer","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[12604998],"CategoryIds":[151,756,877],"FormatId":1,"FamilyId":2206451,"SeriesId":219060,"LanguageId":56,"PriceMin":109.99,"PriceMax":109.99,"Desirability":1,"PublicationDate":"2005-02-18T00:00:00","Join":null}
$76.99
{"Id":20384884,"Title":"Software Engineering 2: Specification of Systems and Languages","Authors":["Bj\u00F8rner, Dines"],"ShortTitle":"Software Engineering 2: Specification of Systems and Languages","Author":"Bj\u00F8rner, Dines","Ean":"9783540211501","Isbn":"3540211500","Publisher":"Springer Nature","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[4741972],"CategoryIds":[877,1125],"FormatId":1,"FamilyId":7106620,"SeriesId":219060,"LanguageId":56,"PriceMin":76.99,"PriceMax":76.99,"Desirability":1,"PublicationDate":"2006-02-22T00:00:00","Join":null}
$152.60
{"Id":20385609,"Title":"Elements of Finite Model Theory","Authors":["Libkin, Leonid"],"ShortTitle":"Elements of Finite Model Theory","Author":"Libkin, Leonid","Ean":"9783540212027","Isbn":"3540212027","Publisher":"Springer Nature","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[4022853],"CategoryIds":[151,820,877],"FormatId":1,"FamilyId":8058633,"SeriesId":219060,"LanguageId":56,"PriceMin":152.6,"PriceMax":152.6,"Desirability":1,"PublicationDate":"2004-07-02T00:00:00","Join":null}
The Parametric Lambda Calculus: A Metamodel for Computation
Ronchi Della Rocca, Simona
Paolini, Luca
Hardcover
$76.99
{"Id":20385710,"Title":"The Parametric Lambda Calculus: A Metamodel for Computation","Authors":["Ronchi Della Rocca, Simona","Paolini, Luca"],"ShortTitle":"Parametric Lambda Calculus: A Metamodel for Computation","Author":"Ronchi Della Rocca, Simona","Ean":"9783540200321","Isbn":"3540200320","Publisher":"Springer Nature","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[4886314,4886315],"CategoryIds":[151,877,1125],"FormatId":1,"FamilyId":7857649,"SeriesId":219060,"LanguageId":56,"PriceMin":76.99,"PriceMax":76.99,"Desirability":1,"PublicationDate":"2004-07-05T00:00:00","Join":null}
$54.99
{"Id":20386376,"Title":"Complexity Theory and Cryptology: An Introduction to Cryptocomplexity","Authors":["Rothe, J\u00F6rg"],"ShortTitle":"Complexity Theory and Cryptology: An Introduction to Cryptocomplexity","Author":"Rothe, J\u00F6rg","Ean":"9783540221470","Isbn":"3540221476","Publisher":"Springer Nature","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[4812621],"CategoryIds":[877,901],"FormatId":1,"FamilyId":2206562,"SeriesId":219060,"LanguageId":56,"PriceMin":54.99,"PriceMax":54.99,"Desirability":1,"PublicationDate":"2005-07-22T00:00:00","Join":null}
A Practical Theory of Reactive Systems: Incremental Modeling of Dynamic Behaviors
Kurki-Suonio, R.
Hardcover
$76.99
{"Id":20387757,"Title":"A Practical Theory of Reactive Systems: Incremental Modeling of Dynamic Behaviors","Authors":["Kurki-Suonio, R."],"ShortTitle":"Practical Theory of Reactive Systems: Incremental Modeling of Dynamic\u2026","Author":"Kurki-Suonio, R.","Ean":"9783540233428","Isbn":"3540233423","Publisher":"Springer","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[12688237],"CategoryIds":[877,1125],"FormatId":1,"FamilyId":887534,"SeriesId":219060,"LanguageId":56,"PriceMin":76.99,"PriceMax":76.99,"Desirability":1,"PublicationDate":"2005-02-17T00:00:00","Join":null}
Design and Analysis of Randomized Algorithms: Introduction to Design Paradigms
Zámecniková, I.
Hromkovic, J.
Hardcover
$69.99
{"Id":20387816,"Title":"Design and Analysis of Randomized Algorithms: Introduction to Design Paradigms","Authors":["Z\u00E1mecnikov\u00E1, I.","Hromkovic, J."],"ShortTitle":"Design and Analysis of Randomized Algorithms: Introduction to Design\u2026","Author":"Z\u00E1mecnikov\u00E1, I.","Ean":"9783540239499","Isbn":"3540239499","Publisher":"Springer","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[4889625,4889626],"CategoryIds":[877,898,1125],"FormatId":1,"FamilyId":12701114,"SeriesId":219060,"LanguageId":56,"PriceMin":69.99,"PriceMax":69.99,"Desirability":1,"PublicationDate":"2005-06-14T00:00:00","Join":null}
$194.60
{"Id":20390173,"Title":"Parameterized Complexity Theory","Authors":["Flum, J.","Grohe, M."],"ShortTitle":"Parameterized Complexity Theory","Author":"Flum, J.","Ean":"9783540299523","Isbn":"3540299521","Publisher":"Springer Nature","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[1069425,1702564],"CategoryIds":[151,877],"FormatId":1,"FamilyId":928508,"SeriesId":219060,"LanguageId":56,"PriceMin":194.6,"PriceMax":194.6,"Desirability":1,"PublicationDate":"2006-02-09T00:00:00","Join":null}
$139.99
{"Id":20407859,"Title":"DNA Computing: New Computing Paradigms","Authors":["Paun, Gheorghe","Rozenberg, Grzegorz","Salomaa, Arto"],"ShortTitle":"DNA Computing: New Computing Paradigms","Author":"Paun, Gheorghe","Ean":"9783540641964","Isbn":"3540641963","Publisher":"Springer","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[12600136,12598919,12598865],"CategoryIds":[877],"FormatId":1,"FamilyId":7767918,"SeriesId":219060,"LanguageId":56,"PriceMin":139.99,"PriceMax":139.99,"Desirability":1,"PublicationDate":"1998-09-15T00:00:00","Join":null}
$118.99
{"Id":20407936,"Title":"Introduction to Circuit Complexity: A Uniform Approach","Authors":["Vollmer, Heribert"],"ShortTitle":"Introduction to Circuit Complexity: A Uniform Approach","Author":"Vollmer, Heribert","Ean":"9783540643104","Isbn":"3540643109","Publisher":"Springer","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[12600952],"CategoryIds":[617,877],"FormatId":1,"FamilyId":7638998,"SeriesId":219060,"LanguageId":56,"PriceMin":118.99,"PriceMax":118.99,"Desirability":1,"PublicationDate":"1999-06-23T00:00:00","Join":null}
$76.99
{"Id":20409842,"Title":"Computable Analysis: An Introduction","Authors":["Weihrauch, Klaus"],"ShortTitle":"Computable Analysis: An Introduction","Author":"Weihrauch, Klaus","Ean":"9783540668176","Isbn":"3540668179","Publisher":"Springer Nature","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[4892229],"CategoryIds":[706,898],"FormatId":1,"FamilyId":7585482,"SeriesId":219060,"LanguageId":56,"PriceMin":76.99,"PriceMax":76.99,"Desirability":1,"PublicationDate":"2000-09-14T00:00:00","Join":null}
$118.99
{"Id":20410222,"Title":"Temporal Logic and State Systems","Authors":["Merz, Stephan","Kr\u00F6ger, Fred"],"ShortTitle":"Temporal Logic and State Systems","Author":"Merz, Stephan","Ean":"9783540674016","Isbn":"3540674012","Publisher":"Springer","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[4408083,12605666],"CategoryIds":[151,877,1125],"FormatId":1,"FamilyId":8043117,"SeriesId":219060,"LanguageId":56,"PriceMin":118.99,"PriceMax":118.99,"Desirability":1,"PublicationDate":"2008-03-27T00:00:00","Join":null}