Sign-In
CartProgramming
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}
Game Development Patterns with Unity 2021 - Second Edition: Explore practical game development using software design patterns and best practices in Un
Baron, David
Paperback
$91.24
{"Id":18882197,"Title":"Game Development Patterns with Unity 2021 - Second Edition: Explore practical game development using software design patterns and best practices in Un","Authors":["Baron, David"],"ShortTitle":"Game Development Patterns with Unity 2021 - Second Edition: Explore\u2026","Author":"Baron, David","Ean":"9781800200814","Isbn":"1800200811","Publisher":"Packt Publishing","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[616384],"CategoryIds":[877,1125],"FormatId":2,"FamilyId":null,"SeriesId":null,"LanguageId":56,"PriceMin":91.24,"PriceMax":91.24,"Desirability":1800001,"PublicationDate":"2021-07-30T00:00:00","Join":null}
$56.99
{"Id":29477226,"Title":"Pok\u00E9mon Deluxe Character Guide","Authors":["Irvine, Alex"],"ShortTitle":"Pok\u00E9mon Deluxe Character Guide","Author":"Irvine, Alex","Ean":"9781604382419","Isbn":"1604382414","Publisher":"Pikachu Press","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[1081487],"CategoryIds":[470,892,1125],"FormatId":1,"FamilyId":null,"SeriesId":304752,"LanguageId":56,"PriceMin":56.99,"PriceMax":56.99,"Desirability":8758,"PublicationDate":"2026-08-25T00:00:00","Join":null}
The Legend of Zelda(tm) Tears of the Kingdom - The Complete Official Guide: Collector's Edition
Piggyback
Hardcover
$42.74
{"Id":25235406,"Title":"The Legend of Zelda(tm) Tears of the Kingdom - The Complete Official Guide: Collector\u0027s Edition","Authors":["Piggyback"],"ShortTitle":"Legend of Zelda(tm) Tears of the Kingdom - The Complete Official\u2026","Author":"Piggyback","Ean":"9781913330002","Isbn":"1913330001","Publisher":"Piggyback Interactive","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[4468645],"CategoryIds":[470,892,1125],"FormatId":1,"FamilyId":null,"SeriesId":null,"LanguageId":56,"PriceMin":42.74,"PriceMax":42.74,"Desirability":798,"PublicationDate":"2023-07-07T00:00:00","Join":null}
$42.74
{"Id":29219950,"Title":"Coding All-In-One for Dummies","Authors":["Minnick, Chris"],"ShortTitle":"Coding All-In-One for Dummies","Author":"Minnick, Chris","Ean":"9781394449187","Isbn":"1394449186","Publisher":"For Dummies","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[9810194],"CategoryIds":[820,1125],"FormatId":2,"FamilyId":null,"SeriesId":null,"LanguageId":56,"PriceMin":42.74,"PriceMax":42.74,"Desirability":694,"PublicationDate":"2026-09-22T00:00:00","Join":null}
$33.24
{"Id":29219855,"Title":"Python \u0026 AI for Dummies","Authors":["Shovic, John C.","Everett, Mary"],"ShortTitle":"Python \u0026 AI for Dummies","Author":"Shovic, John C.","Ean":"9781394413461","Isbn":"1394413467","Publisher":"For Dummies","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[11317786,12354879],"CategoryIds":[877,1125],"FormatId":2,"FamilyId":null,"SeriesId":null,"LanguageId":56,"PriceMin":33.24,"PriceMax":33.24,"Desirability":574,"PublicationDate":"2026-08-11T00:00:00","Join":null}
$35.14
{"Id":28886282,"Title":"C\u002B\u002B for Dummies","Authors":["Jones, Bradley L."],"ShortTitle":"C\u002B\u002B for Dummies","Author":"Jones, Bradley L.","Ean":"9781394380442","Isbn":"1394380445","Publisher":"For Dummies","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[12188703],"CategoryIds":[1125],"FormatId":2,"FamilyId":null,"SeriesId":null,"LanguageId":56,"PriceMin":35.14,"PriceMax":35.14,"Desirability":549,"PublicationDate":"2026-05-12T00:00:00","Join":null}
$28.50
{"Id":26629512,"Title":"Beginner\u0027s Step-By-Step Coding Course: Learn Computer Programming the Easy Way","Authors":["Dk"],"ShortTitle":"Beginner\u0027s Step-By-Step Coding Course: Learn Computer Programming the Easy\u2026","Author":"Dk","Ean":"9780593963487","Isbn":"0593963482","Publisher":"DK Publishing (Dorling Kindersley)","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[757477],"CategoryIds":[431,877,1125],"FormatId":1,"FamilyId":9164369,"SeriesId":954660,"LanguageId":56,"PriceMin":28.5,"PriceMax":28.5,"Desirability":537,"PublicationDate":"2026-01-27T00:00:00","Join":null}
$37.99
{"Id":23603753,"Title":"Code: The Hidden Language of Computer Hardware and Software","Authors":["Petzold, Charles"],"ShortTitle":"Code: The Hidden Language of Computer Hardware and Software","Author":"Petzold, Charles","Ean":"9780137909100","Isbn":"0137909101","Publisher":"Microsoft Press","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[1481602],"CategoryIds":[1125],"FormatId":2,"FamilyId":10711307,"SeriesId":null,"LanguageId":56,"PriceMin":37.99,"PriceMax":37.99,"Desirability":475,"PublicationDate":"2022-08-07T00:00:00","Join":null}
Casa BRUTUS EXTRA ISSUE SUPER MARIO BROS. AND DESIGN (English Version): MAGAZINE HOUSE MOOK
Casa Brutus Editorial Department
Hardcover
$40.91
{"Id":29169991,"Title":"Casa BRUTUS EXTRA ISSUE SUPER MARIO BROS. AND DESIGN (English Version): MAGAZINE HOUSE MOOK","Authors":["Casa Brutus Editorial Department"],"ShortTitle":"Casa BRUTUS EXTRA ISSUE SUPER MARIO BROS. AND DESIGN (English Version):\u2026","Author":"Casa Brutus Editorial Department","Ean":"9784838757954","Isbn":"4838757956","Publisher":"Magazine House Co., Ltd.","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[12045425],"CategoryIds":[1114,1125],"FormatId":1,"FamilyId":null,"SeriesId":null,"LanguageId":56,"PriceMin":40.91,"PriceMax":40.91,"Desirability":453,"PublicationDate":"2026-03-12T00:00:00","Join":null}
Python Crash Course, 3rd Edition: A Hands-On, Project-Based Introduction to Programming
Matthes, Eric
Paperback
$44.99
{"Id":23586649,"Title":"Python Crash Course, 3rd Edition: A Hands-On, Project-Based Introduction to Programming","Authors":["Matthes, Eric"],"ShortTitle":"Python Crash Course, 3rd Edition: A Hands-On, Project-Based Introduction\u2026","Author":"Matthes, Eric","Ean":"9781718502703","Isbn":"1718502702","Publisher":"No Starch Press","IsOnShelf":true,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[10682465],"CategoryIds":[877,1125],"FormatId":2,"FamilyId":null,"SeriesId":null,"LanguageId":56,"PriceMin":44.99,"PriceMax":44.99,"Desirability":443,"PublicationDate":"2023-01-10T00:00:00","Join":null}
The Legend of Zelda(tm) Tears of the Kingdom - The Complete Official Guide: Standard Edition
Piggyback
Paperback
$28.49
{"Id":25235410,"Title":"The Legend of Zelda(tm) Tears of the Kingdom - The Complete Official Guide: Standard Edition","Authors":["Piggyback"],"ShortTitle":"Legend of Zelda(tm) Tears of the Kingdom - The Complete Official\u2026","Author":"Piggyback","Ean":"9781913330019","Isbn":"191333001X","Publisher":"Piggyback Interactive","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[4468645],"CategoryIds":[470,892,1125],"FormatId":2,"FamilyId":null,"SeriesId":null,"LanguageId":56,"PriceMin":28.49,"PriceMax":28.49,"Desirability":425,"PublicationDate":"2023-07-07T00:00:00","Join":null}
$118.79
{"Id":2270643,"Title":"Algorithms","Authors":["Sedgewick, Robert","Wayne, Kevin"],"ShortTitle":"Algorithms","Author":"Sedgewick, Robert","Ean":"9780321573513","Isbn":"032157351X","Publisher":"Addison-Wesley Professional","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[618114,618116],"CategoryIds":[1125],"FormatId":1,"FamilyId":null,"SeriesId":null,"LanguageId":56,"PriceMin":118.79,"PriceMax":118.79,"Desirability":402,"PublicationDate":"2011-03-24T00:00:00","Join":null}
Crisis Engineering: Time-Tested Tools for Turning Chaos Into Clarity
Nitze, Marina
Weaver, Matthew
Dickerson, Mikey
Paperback
$18.99
{"Id":28299095,"Title":"Crisis Engineering: Time-Tested Tools for Turning Chaos Into Clarity","Authors":["Nitze, Marina","Weaver, Matthew","Dickerson, Mikey"],"ShortTitle":"Crisis Engineering: Time-Tested Tools for Turning Chaos Into Clarity","Author":"Nitze, Marina","Ean":"9780306836862","Isbn":"0306836866","Publisher":"Balance","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[9329728,294956,11911481],"CategoryIds":[617,1125],"FormatId":2,"FamilyId":null,"SeriesId":null,"LanguageId":56,"PriceMin":18.99,"PriceMax":18.99,"Desirability":388,"PublicationDate":"2026-04-07T00:00:00","Join":null}
Accelerate: The Science of Lean Software and DevOps: Building and Scaling High Performing Technology Organizations
Forsgren Phd, Nicole
Humble, Jez
Kim, Gene
Paperback
$20.89
{"Id":19373667,"Title":"Accelerate: The Science of Lean Software and DevOps: Building and Scaling High Performing Technology Organizations","Authors":["Forsgren Phd, Nicole","Humble, Jez","Kim, Gene"],"ShortTitle":"Accelerate: The Science of Lean Software and DevOps: Building and Scaling\u2026","Author":"Forsgren Phd, Nicole","Ean":"9781942788331","Isbn":"1942788339","Publisher":"It Revolution","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[4527900,179887,3529994],"CategoryIds":[430,1125],"FormatId":2,"FamilyId":7348685,"SeriesId":null,"LanguageId":56,"PriceMin":20.89,"PriceMax":20.89,"Desirability":379,"PublicationDate":"2018-03-27T00:00:00","Join":null}
$47.99
{"Id":1044529,"Title":"System Design Interview - An insider\u0027s guide","Authors":["Xu, Alex"],"ShortTitle":"System Design Interview - An insider\u0027s guide","Author":"Xu, Alex","Ean":"9798664653403","Isbn":"","Publisher":"Independently Published","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[393445],"CategoryIds":[915,1125,1213],"FormatId":2,"FamilyId":9074842,"SeriesId":null,"LanguageId":56,"PriceMin":47.99,"PriceMax":47.99,"Desirability":375,"PublicationDate":"2020-06-12T00:00:00","Join":null}
Embedded Systems with ARM Cortex-M Microcontrollers in Assembly Language and C: Fourth Edition
Zhu, Yifeng
Paperback
$86.88
{"Id":24900713,"Title":"Embedded Systems with ARM Cortex-M Microcontrollers in Assembly Language and C: Fourth Edition","Authors":["Zhu, Yifeng"],"ShortTitle":"Embedded Systems with ARM Cortex-M Microcontrollers in Assembly Language\u2026","Author":"Zhu, Yifeng","Ean":"9780982692677","Isbn":"0982692676","Publisher":"E-Man Press LLC","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[1875550],"CategoryIds":[877,1125],"FormatId":2,"FamilyId":null,"SeriesId":null,"LanguageId":56,"PriceMin":86.88,"PriceMax":86.88,"Desirability":365,"PublicationDate":"2023-01-13T00:00:00","Join":null}
$23.74
{"Id":15441675,"Title":"Python Pocket Reference: Python in Your Pocket","Authors":["Lutz, Mark"],"ShortTitle":"Python Pocket Reference: Python in Your Pocket","Author":"Lutz, Mark","Ean":"9781449357016","Isbn":"1449357016","Publisher":"O\u0027Reilly Media","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[1377699],"CategoryIds":[1125],"FormatId":2,"FamilyId":12100611,"SeriesId":null,"LanguageId":56,"PriceMin":23.74,"PriceMax":23.74,"Desirability":352,"PublicationDate":"2014-03-11T00:00:00","Join":null}
$31.35
{"Id":27982645,"Title":"Teach Yourself Visually Macbook Pro and Macbook Air","Authors":["Hart-Davis, Guy"],"ShortTitle":"Teach Yourself Visually Macbook Pro and Macbook Air","Author":"Hart-Davis, Guy","Ean":"9781394387649","Isbn":"1394387644","Publisher":"Visual","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[9283854],"CategoryIds":[877,1074,1125],"FormatId":2,"FamilyId":13141299,"SeriesId":92239,"LanguageId":56,"PriceMin":31.35,"PriceMax":31.35,"Desirability":349,"PublicationDate":"2026-02-24T00:00:00","Join":null}
$39.19
{"Id":29034442,"Title":"The Psychology of Software Teams","Authors":["Hicks, Cat"],"ShortTitle":"Psychology of Software Teams","Author":"Hicks, Cat","Ean":"9781032963389","Isbn":"1032963387","Publisher":"CRC Press","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[12267490],"CategoryIds":[877,1125],"FormatId":2,"FamilyId":13381194,"SeriesId":null,"LanguageId":56,"PriceMin":39.19,"PriceMax":39.19,"Desirability":348,"PublicationDate":"2026-07-14T00:00:00","Join":null}