Sign-In
CartGeuvers, Herman
Filters
Sort by
$130.68
{"Id":5451790,"Title":"Type Theory and Formal Proof","Authors":["Nederpelt, Rob","Geuvers, Herman"],"ShortTitle":"Type Theory and Formal Proof","Author":"Nederpelt, Rob","Ean":"9781107036505","Isbn":"110703650X","Publisher":"Cambridge University Press","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[2102313,1216601],"CategoryIds":[877,1125],"FormatId":1,"FamilyId":3405596,"SeriesId":null,"LanguageId":56,"PriceMin":130.68,"PriceMax":130.68,"Desirability":6,"PublicationDate":"2014-11-06T00:00:00","Join":null}
Types for Proofs and Programs: Second International Workshop, Types 2002, Berg En Dal, the Netherlands, April 24-28, 2002, Selected Papers
Geuvers, Herman
Wiedijk, Freek
Paperback
$54.99
{"Id":20380244,"Title":"Types for Proofs and Programs: Second International Workshop, Types 2002, Berg En Dal, the Netherlands, April 24-28, 2002, Selected Papers","Authors":["Geuvers, Herman","Wiedijk, Freek"],"ShortTitle":"Types for Proofs and Programs: Second International Workshop, Types 2002,\u2026","Author":"Geuvers, Herman","Ean":"9783540140313","Isbn":"354014031X","Publisher":"Springer","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[1216601,12676402],"CategoryIds":[877,1125],"FormatId":2,"FamilyId":967200,"SeriesId":16773,"LanguageId":56,"PriceMin":54.99,"PriceMax":54.99,"Desirability":0,"PublicationDate":"2003-04-28T00:00:00","Join":null}
Intelligent Computer Mathematics: 10th International Conference, CICM 2017, Edinburgh, Uk, July 17-21, 2017, Proceedings
England, Matthew
Hasan, Osman
Geuvers, Herman
Paperback
$76.99
{"Id":20224894,"Title":"Intelligent Computer Mathematics: 10th International Conference, CICM 2017, Edinburgh, Uk, July 17-21, 2017, Proceedings","Authors":["England, Matthew","Hasan, Osman","Geuvers, Herman"],"ShortTitle":"Intelligent Computer Mathematics: 10th International Conference, CICM\u2026","Author":"England, Matthew","Ean":"9783319620749","Isbn":"3319620746","Publisher":"Springer","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[4727873,4733770,12732123],"CategoryIds":[151,877,1125],"FormatId":2,"FamilyId":null,"SeriesId":null,"LanguageId":56,"PriceMin":76.99,"PriceMax":76.99,"Desirability":0,"PublicationDate":"2017-06-29T00:00:00","Join":null}
Interactive Theorem Proving: Second International Conference, ITP 2011, Berg En Dal, the Netherlands, August 22-25, 2011, Proceedings
Van Eekelen, Marko
Schmaltz, Julien
Geuvers, Herman
Paperback
$76.99
{"Id":20587082,"Title":"Interactive Theorem Proving: Second International Conference, ITP 2011, Berg En Dal, the Netherlands, August 22-25, 2011, Proceedings","Authors":["Van Eekelen, Marko","Schmaltz, Julien","Geuvers, Herman"],"ShortTitle":"Interactive Theorem Proving: Second International Conference, ITP 2011,\u2026","Author":"Van Eekelen, Marko","Ean":"9783642228629","Isbn":"3642228623","Publisher":"Springer","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[4382941,4738968,12732123],"CategoryIds":[151,877,1125],"FormatId":2,"FamilyId":2803903,"SeriesId":null,"LanguageId":56,"PriceMin":76.99,"PriceMax":76.99,"Desirability":1,"PublicationDate":"2011-08-02T00:00:00","Join":null}
$54.99
{"Id":15600769,"Title":"Principles of Metabolic Control in Mammalian Systems","Authors":["Herman"],"ShortTitle":"Principles of Metabolic Control in Mammalian Systems","Author":"Herman","Ean":"9781461330080","Isbn":"1461330084","Publisher":"Springer Nature","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[866828],"CategoryIds":[738,1078],"FormatId":2,"FamilyId":11686689,"SeriesId":null,"LanguageId":56,"PriceMin":54.99,"PriceMax":54.99,"Desirability":1,"PublicationDate":"2011-10-06T00:00:00","Join":null}
$11.99
{"Id":15787708,"Title":"The Scrotum Chronicles: 50 Shades of Purple Helmet","Authors":["Herman"],"ShortTitle":"Scrotum Chronicles: 50 Shades of Purple Helmet","Author":"Herman","Ean":"9781478341802","Isbn":"1478341807","Publisher":"Createspace","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[866828],"CategoryIds":[556],"FormatId":2,"FamilyId":null,"SeriesId":null,"LanguageId":56,"PriceMin":11.99,"PriceMax":11.99,"Desirability":1,"PublicationDate":"2012-07-31T00:00:00","Join":null}
$71.93
{"Id":14743648,"Title":"Basic Elements Narrative","Authors":["Herman"],"ShortTitle":"Basic Elements Narrative","Author":"Herman","Ean":"9781405141543","Isbn":"1405141549","Publisher":"John Wiley \u0026 Sons","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[1912121],"CategoryIds":[558,591],"FormatId":2,"FamilyId":11135541,"SeriesId":null,"LanguageId":56,"PriceMin":71.93,"PriceMax":71.93,"Desirability":1,"PublicationDate":"2009-01-16T00:00:00","Join":null}
$68.75
{"Id":4094430,"Title":"Rewiring Organizations","Authors":["Herman"],"ShortTitle":"Rewiring Organizations","Author":"Herman","Ean":"9780787960650","Isbn":"0787960659","Publisher":"John Wiley \u0026 Sons","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[1912121],"CategoryIds":[430,432],"FormatId":2,"FamilyId":null,"SeriesId":228895,"LanguageId":56,"PriceMin":68.75,"PriceMax":68.75,"Desirability":0,"PublicationDate":"2002-03-01T00:00:00","Join":null}
$112.43
{"Id":19100675,"Title":"Too Long a Child","Authors":["Herman"],"ShortTitle":"Too Long a Child","Author":"Herman","Ean":"9781861561091","Isbn":"1861561091","Publisher":"John Wiley \u0026 Sons","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[1912121],"CategoryIds":[907,911],"FormatId":2,"FamilyId":377985,"SeriesId":null,"LanguageId":56,"PriceMin":112.43,"PriceMax":112.43,"Desirability":0,"PublicationDate":"1999-01-01T00:00:00","Join":null}
$50.93
{"Id":14747200,"Title":"Short History of Early Modern","Authors":["Herman"],"ShortTitle":"Short History of Early Modern","Author":"Herman","Ean":"9781405195591","Isbn":"1405195592","Publisher":"John Wiley \u0026 Sons","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[1912121],"CategoryIds":[558],"FormatId":2,"FamilyId":2311009,"SeriesId":null,"LanguageId":56,"PriceMin":50.93,"PriceMax":50.93,"Desirability":0,"PublicationDate":"2011-04-22T00:00:00","Join":null}
$193.43
{"Id":14747206,"Title":"Short History of Early Modern England","Authors":["Herman"],"ShortTitle":"Short History of Early Modern England","Author":"Herman","Ean":"9781405195607","Isbn":"1405195606","Publisher":"John Wiley \u0026 Sons","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[1912121],"CategoryIds":[558,942],"FormatId":1,"FamilyId":2311009,"SeriesId":null,"LanguageId":56,"PriceMin":193.43,"PriceMax":193.43,"Desirability":0,"PublicationDate":"2011-04-22T00:00:00","Join":null}
$188.93
{"Id":14743636,"Title":"Basic Elements Narrative","Authors":["Herman"],"ShortTitle":"Basic Elements Narrative","Author":"Herman","Ean":"9781405141536","Isbn":"1405141530","Publisher":"John Wiley \u0026 Sons","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[1912121],"CategoryIds":[558,591],"FormatId":1,"FamilyId":11135541,"SeriesId":null,"LanguageId":56,"PriceMin":188.93,"PriceMax":188.93,"Desirability":0,"PublicationDate":"2009-01-23T00:00:00","Join":null}
An Ice Cube Down My Back: Poetry for smiling thinkers
Herman, Charles
Herman, Hannah
Herman, Ranon
Paperback
$15.83
{"Id":15283187,"Title":"An Ice Cube Down My Back: Poetry for smiling thinkers","Authors":["Herman, Charles","Herman, Hannah","Herman, Ranon"],"ShortTitle":"Ice Cube Down My Back: Poetry for smiling thinkers","Author":"Herman, Charles","Ean":"9781438969619","Isbn":"1438969619","Publisher":"Authorhouse","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[3311726,3311727,3311728],"CategoryIds":[909],"FormatId":2,"FamilyId":null,"SeriesId":null,"LanguageId":56,"PriceMin":15.83,"PriceMax":15.83,"Desirability":0,"PublicationDate":"2009-12-17T00:00:00","Join":null}
$23.70
{"Id":26628832,"Title":"I Love to Share","Authors":["Herman, Randy","Herman, Randy"],"ShortTitle":"I Love to Share","Author":"Herman, Randy","Ean":"9798990360143","Isbn":"","Publisher":"Cutting Edge Press","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[4518662,4518662],"CategoryIds":[893],"FormatId":1,"FamilyId":null,"SeriesId":63146,"LanguageId":56,"PriceMin":23.7,"PriceMax":23.7,"Desirability":9,"PublicationDate":"2024-04-11T00:00:00","Join":null}
$23.70
{"Id":26628833,"Title":"I Love Words and Colors","Authors":["Herman, Randy","Herman, Randy"],"ShortTitle":"I Love Words and Colors","Author":"Herman, Randy","Ean":"9798990360150","Isbn":"","Publisher":"Cutting Edge Press","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[4518662,4518662],"CategoryIds":[711,799],"FormatId":1,"FamilyId":null,"SeriesId":63146,"LanguageId":56,"PriceMin":23.7,"PriceMax":23.7,"Desirability":5,"PublicationDate":"2024-04-11T00:00:00","Join":null}
$23.70
{"Id":26628830,"Title":"I Love the Farm","Authors":["Herman, Randy","Herman, Randy"],"ShortTitle":"I Love the Farm","Author":"Herman, Randy","Ean":"9798990360136","Isbn":"","Publisher":"Cutting Edge Press","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[4518662,4518662],"CategoryIds":[700],"FormatId":1,"FamilyId":null,"SeriesId":63146,"LanguageId":56,"PriceMin":23.7,"PriceMax":23.7,"Desirability":5,"PublicationDate":"2024-04-11T00:00:00","Join":null}
$23.70
{"Id":26629044,"Title":"I Love My Cat","Authors":["Herman, Randy","Herman, Randy"],"ShortTitle":"I Love My Cat","Author":"Herman, Randy","Ean":"9798990360112","Isbn":"","Publisher":"Cutting Edge Press","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[4518662,4518662],"CategoryIds":[700,893],"FormatId":1,"FamilyId":null,"SeriesId":63146,"LanguageId":56,"PriceMin":23.7,"PriceMax":23.7,"Desirability":4,"PublicationDate":"2024-04-11T00:00:00","Join":null}
$23.70
{"Id":26629045,"Title":"I Love My Dog","Authors":["Herman, Randy","Herman, Randy"],"ShortTitle":"I Love My Dog","Author":"Herman, Randy","Ean":"9798990360129","Isbn":"","Publisher":"Cutting Edge Press","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[4518662,4518662],"CategoryIds":[700,893],"FormatId":1,"FamilyId":null,"SeriesId":63146,"LanguageId":56,"PriceMin":23.7,"PriceMax":23.7,"Desirability":4,"PublicationDate":"2024-04-11T00:00:00","Join":null}
Morality and Behaviour in Democratic Athens: A Social History
Herman, Gabriel
Gabriel, Herman
Paperback
$93.72
{"Id":3107826,"Title":"Morality and Behaviour in Democratic Athens: A Social History","Authors":["Herman, Gabriel","Gabriel, Herman"],"ShortTitle":"Morality and Behaviour in Democratic Athens: A Social History","Author":"Herman, Gabriel","Ean":"9780521125352","Isbn":"0521125359","Publisher":"Cambridge University Press","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[1217671,12538701],"CategoryIds":[697],"FormatId":2,"FamilyId":7213544,"SeriesId":null,"LanguageId":56,"PriceMin":93.72,"PriceMax":93.72,"Desirability":1,"PublicationDate":"2009-12-17T00:00:00","Join":null}
$23.70
{"Id":26629043,"Title":"Love","Authors":["Herman, Randy","Herman, Randy"],"ShortTitle":"Love","Author":"Herman, Randy","Ean":"9798990360105","Isbn":"","Publisher":"Cutting Edge Press","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[4518662,4518662],"CategoryIds":[830,893],"FormatId":1,"FamilyId":null,"SeriesId":63146,"LanguageId":56,"PriceMin":23.7,"PriceMax":23.7,"Desirability":1,"PublicationDate":"2024-04-11T00:00:00","Join":null}