Sign-In
CartResults
Filters
Sort by
$109.99
{"Id":15413207,"Title":"Automated Theory Formation in Pure Mathematics","Authors":["Colton, Simon"],"ShortTitle":"Automated Theory Formation in Pure Mathematics","Author":"Colton, Simon","Ean":"9781447111139","Isbn":"1447111133","Publisher":"Springer Nature","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[3349481],"CategoryIds":[151,877],"FormatId":2,"FamilyId":7771024,"SeriesId":59440,"LanguageId":56,"PriceMin":109.99,"PriceMax":109.99,"Desirability":1,"PublicationDate":"2012-09-27T00:00:00","Join":null}
$109.99
{"Id":19073308,"Title":"Image Mosaicing and Super-Resolution","Authors":["Capel, David"],"ShortTitle":"Image Mosaicing and Super-Resolution","Author":"Capel, David","Ean":"9781852337711","Isbn":"1852337710","Publisher":"Springer Nature","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[3349358],"CategoryIds":[617,877,1125],"FormatId":1,"FamilyId":7785078,"SeriesId":59440,"LanguageId":56,"PriceMin":109.99,"PriceMax":109.99,"Desirability":1,"PublicationDate":"2004-01-19T00:00:00","Join":null}
Games and Full Abstraction for a Functional Metalanguage with Recursive Types
McCusker, Guy
Paperback
$76.99
{"Id":15412147,"Title":"Games and Full Abstraction for a Functional Metalanguage with Recursive Types","Authors":["McCusker, Guy"],"ShortTitle":"Games and Full Abstraction for a Functional Metalanguage with Recursive\u2026","Author":"McCusker, Guy","Ean":"9781447111658","Isbn":"1447111656","Publisher":"Springer Nature","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[3349582],"CategoryIds":[151,888,1125],"FormatId":2,"FamilyId":null,"SeriesId":59440,"LanguageId":56,"PriceMin":76.99,"PriceMax":76.99,"Desirability":0,"PublicationDate":"2012-10-23T00:00:00","Join":null}
$169.99
{"Id":15412149,"Title":"Strength or Accuracy: Credit Assignment in Learning Classifier Systems","Authors":["Kovacs, Tim"],"ShortTitle":"Strength or Accuracy: Credit Assignment in Learning Classifier Systems","Author":"Kovacs, Tim","Ean":"9781447110583","Isbn":"1447110587","Publisher":"Springer","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[12602653],"CategoryIds":[877],"FormatId":2,"FamilyId":7645060,"SeriesId":59440,"LanguageId":56,"PriceMin":169.99,"PriceMax":169.99,"Desirability":0,"PublicationDate":"2012-10-04T00:00:00","Join":null}
Stochastic Algorithms for Visual Tracking: Probabilistic Modelling and Stochastic Algorithms for Visual Localisation and Tracking
Maccormick, John
Paperback
$109.99
{"Id":15412383,"Title":"Stochastic Algorithms for Visual Tracking: Probabilistic Modelling and Stochastic Algorithms for Visual Localisation and Tracking","Authors":["Maccormick, John"],"ShortTitle":"Stochastic Algorithms for Visual Tracking: Probabilistic Modelling and\u2026","Author":"Maccormick, John","Ean":"9781447111764","Isbn":"1447111761","Publisher":"Springer Nature","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[1430912],"CategoryIds":[877,1125],"FormatId":2,"FamilyId":3413466,"SeriesId":59440,"LanguageId":56,"PriceMin":109.99,"PriceMax":109.99,"Desirability":0,"PublicationDate":"2011-09-16T00:00:00","Join":null}
$109.99
{"Id":15412438,"Title":"Randomized Algorithms: Approximation, Generation, and Counting","Authors":["Bubley, Russ"],"ShortTitle":"Randomized Algorithms: Approximation, Generation, and Counting","Author":"Bubley, Russ","Ean":"9781447111801","Isbn":"144711180X","Publisher":"Springer Nature","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[3349629],"CategoryIds":[591,888,1124],"FormatId":2,"FamilyId":4534993,"SeriesId":59440,"LanguageId":56,"PriceMin":109.99,"PriceMax":109.99,"Desirability":0,"PublicationDate":"2011-09-16T00:00:00","Join":null}
User-Developer Cooperation in Software Development: Building Common Ground and Usable Systems
O'Neill, Eamonn
Paperback
$109.99
{"Id":15412464,"Title":"User-Developer Cooperation in Software Development: Building Common Ground and Usable Systems","Authors":["O\u0027Neill, Eamonn"],"ShortTitle":"User-Developer Cooperation in Software Development: Building Common Ground\u2026","Author":"O\u0027Neill, Eamonn","Ean":"9781447110729","Isbn":"1447110722","Publisher":"Springer Nature","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[1750808],"CategoryIds":[430,877,1125],"FormatId":2,"FamilyId":7702440,"SeriesId":59440,"LanguageId":56,"PriceMin":109.99,"PriceMax":109.99,"Desirability":0,"PublicationDate":"2012-10-02T00:00:00","Join":null}
$109.99
{"Id":15412596,"Title":"Architecture-Independent Loop Parallelisation","Authors":["Calinescu, Radu C."],"ShortTitle":"Architecture-Independent Loop Parallelisation","Author":"Calinescu, Radu C.","Ean":"9781447111979","Isbn":"1447111974","Publisher":"Springer Nature","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[3349667],"CategoryIds":[877,1125],"FormatId":2,"FamilyId":3413508,"SeriesId":59440,"LanguageId":56,"PriceMin":109.99,"PriceMax":109.99,"Desirability":0,"PublicationDate":"2011-09-16T00:00:00","Join":null}
$54.99
{"Id":15412759,"Title":"Inheritance Relationships for Disciplined Software Construction","Authors":["Gardner, Tracy A."],"ShortTitle":"Inheritance Relationships for Disciplined Software Construction","Author":"Gardner, Tracy A.","Ean":"9781447110927","Isbn":"1447110927","Publisher":"Springer Nature","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[3349450],"CategoryIds":[1074,1125],"FormatId":2,"FamilyId":null,"SeriesId":59440,"LanguageId":56,"PriceMin":54.99,"PriceMax":54.99,"Desirability":0,"PublicationDate":"2012-10-29T00:00:00","Join":null}
$76.99
{"Id":15412971,"Title":"Models of Sharing Graphs: A Categorical Semantics of Let and Letrec","Authors":["Hasegawa, Masahito"],"ShortTitle":"Models of Sharing Graphs: A Categorical Semantics of Let and Letrec","Author":"Hasegawa, Masahito","Ean":"9781447112211","Isbn":"1447112210","Publisher":"Springer Nature","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[3349739],"CategoryIds":[877,1125],"FormatId":2,"FamilyId":3413542,"SeriesId":59440,"LanguageId":56,"PriceMin":76.99,"PriceMax":76.99,"Desirability":0,"PublicationDate":"2011-10-08T00:00:00","Join":null}
$109.99
{"Id":15412983,"Title":"Large Scale Collaborative Virtual Environments","Authors":["Greenhalgh, Chris"],"ShortTitle":"Large Scale Collaborative Virtual Environments","Author":"Greenhalgh, Chris","Ean":"9781447112228","Isbn":"1447112229","Publisher":"Springer","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[12762031],"CategoryIds":[877,892,1125],"FormatId":2,"FamilyId":4624139,"SeriesId":59440,"LanguageId":56,"PriceMin":109.99,"PriceMax":109.99,"Desirability":0,"PublicationDate":"2011-09-16T00:00:00","Join":null}
$109.99
{"Id":15413166,"Title":"Theorem Proving with the Real Numbers","Authors":["Harrison, John"],"ShortTitle":"Theorem Proving with the Real Numbers","Author":"Harrison, John","Ean":"9781447115939","Isbn":"1447115937","Publisher":"Springer Nature","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[135923],"CategoryIds":[151,877,1125],"FormatId":2,"FamilyId":7857748,"SeriesId":59440,"LanguageId":56,"PriceMin":109.99,"PriceMax":109.99,"Desirability":0,"PublicationDate":"2011-11-20T00:00:00","Join":null}
$54.99
{"Id":15413183,"Title":"Asynchronous System-On-Chip Interconnect","Authors":["Bainbridge, John"],"ShortTitle":"Asynchronous System-On-Chip Interconnect","Author":"Bainbridge, John","Ean":"9781447111122","Isbn":"1447111125","Publisher":"Springer Nature","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[1507860],"CategoryIds":[617,877],"FormatId":2,"FamilyId":7892006,"SeriesId":59440,"LanguageId":56,"PriceMin":54.99,"PriceMax":54.99,"Desirability":0,"PublicationDate":"2014-04-09T00:00:00","Join":null}
$159.99
{"Id":15413326,"Title":"Extensional Constructs in Intensional Type Theory","Authors":["Hofmann, Martin"],"ShortTitle":"Extensional Constructs in Intensional Type Theory","Author":"Hofmann, Martin","Ean":"9781447112433","Isbn":"1447112431","Publisher":"Springer Nature","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[3349804],"CategoryIds":[151,892,1125],"FormatId":2,"FamilyId":7982816,"SeriesId":59440,"LanguageId":56,"PriceMin":159.99,"PriceMax":159.99,"Desirability":0,"PublicationDate":"2011-09-22T00:00:00","Join":null}
$109.99
{"Id":15413602,"Title":"Accurate Visual Metrology from Single and Multiple Uncalibrated Images","Authors":["Criminisi, Antonio"],"ShortTitle":"Accurate Visual Metrology from Single and Multiple Uncalibrated Images","Author":"Criminisi, Antonio","Ean":"9781447110408","Isbn":"1447110404","Publisher":"Springer Nature","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[3349346],"CategoryIds":[877,931],"FormatId":2,"FamilyId":7785531,"SeriesId":59440,"LanguageId":56,"PriceMin":109.99,"PriceMax":109.99,"Desirability":0,"PublicationDate":"2012-09-05T00:00:00","Join":null}
A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton's Principia
Fleuriot, Jacques
Paperback
$109.99
{"Id":15413630,"Title":"A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton\u0027s Principia","Authors":["Fleuriot, Jacques"],"ShortTitle":"Combination of Geometry Theorem Proving and Nonstandard Analysis with\u2026","Author":"Fleuriot, Jacques","Ean":"9781447110415","Isbn":"1447110412","Publisher":"Springer Nature","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[3349348],"CategoryIds":[877,931],"FormatId":2,"FamilyId":7587181,"SeriesId":59440,"LanguageId":56,"PriceMin":109.99,"PriceMax":109.99,"Desirability":0,"PublicationDate":"2012-09-13T00:00:00","Join":null}
$109.99
{"Id":15413835,"Title":"Dynamic Flexible Constraint Satisfaction and Its Application to AI Planning","Authors":["Miguel, Ian"],"ShortTitle":"Dynamic Flexible Constraint Satisfaction and Its Application to AI Planning","Author":"Miguel, Ian","Ean":"9781447110484","Isbn":"144711048X","Publisher":"Springer Nature","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[3349357],"CategoryIds":[706,877],"FormatId":2,"FamilyId":7721336,"SeriesId":59440,"LanguageId":56,"PriceMin":109.99,"PriceMax":109.99,"Desirability":0,"PublicationDate":"2012-09-27T00:00:00","Join":null}
$109.99
{"Id":15413855,"Title":"Image Mosaicing and Super-Resolution","Authors":["Capel, David"],"ShortTitle":"Image Mosaicing and Super-Resolution","Author":"Capel, David","Ean":"9781447110491","Isbn":"1447110498","Publisher":"Springer Nature","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[3349358],"CategoryIds":[617,877,1125],"FormatId":2,"FamilyId":7785078,"SeriesId":59440,"LanguageId":56,"PriceMin":109.99,"PriceMax":109.99,"Desirability":0,"PublicationDate":"2012-10-14T00:00:00","Join":null}
Hardware Evolution: Automatic Design of Electronic Circuits in Reconfigurable Hardware by Artificial Evolution
Thompson, Adrian
Paperback
$153.99
{"Id":15413898,"Title":"Hardware Evolution: Automatic Design of Electronic Circuits in Reconfigurable Hardware by Artificial Evolution","Authors":["Thompson, Adrian"],"ShortTitle":"Hardware Evolution: Automatic Design of Electronic Circuits in\u2026","Author":"Thompson, Adrian","Ean":"9781447134169","Isbn":"1447134168","Publisher":"Springer Nature","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[3349698],"CategoryIds":[877,1125],"FormatId":2,"FamilyId":3421453,"SeriesId":59440,"LanguageId":56,"PriceMin":153.99,"PriceMax":153.99,"Desirability":0,"PublicationDate":"2012-02-13T00:00:00","Join":null}
User-Developer Cooperation in Software Development: Building Common Ground and Usable Systems
O'Neill, Eamonn
Hardcover
$109.99
{"Id":19072281,"Title":"User-Developer Cooperation in Software Development: Building Common Ground and Usable Systems","Authors":["O\u0027Neill, Eamonn"],"ShortTitle":"User-Developer Cooperation in Software Development: Building Common Ground\u2026","Author":"O\u0027Neill, Eamonn","Ean":"9781852333119","Isbn":"1852333111","Publisher":"Springer Nature","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[1750808],"CategoryIds":[430,877,1125],"FormatId":1,"FamilyId":7702440,"SeriesId":59440,"LanguageId":56,"PriceMin":109.99,"PriceMax":109.99,"Desirability":0,"PublicationDate":"2001-02-19T00:00:00","Join":null}