Sign-In
CartNipkow, T.
Filters
Sort by
$93.69
{"Id":28684343,"Title":"Functional Data Structures and Algorithms: A Proof Assistant Approach","Authors":["Nipkow, Tobias"],"ShortTitle":"Functional Data Structures and Algorithms: A Proof Assistant Approach","Author":"Nipkow, Tobias","Ean":"9798400731570","Isbn":"","Publisher":"ACM Books","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[11864188],"CategoryIds":[1125],"FormatId":1,"FamilyId":null,"SeriesId":458636,"LanguageId":56,"PriceMin":93.69,"PriceMax":93.69,"Desirability":6,"PublicationDate":"2025-09-30T00:00:00","Join":null}
$68.69
{"Id":28603092,"Title":"Functional Data Structures and Algorithms: A Proof Assistant Approach","Authors":["Nipkow, Tobias"],"ShortTitle":"Functional Data Structures and Algorithms: A Proof Assistant Approach","Author":"Nipkow, Tobias","Ean":"9798400731594","Isbn":"","Publisher":"ACM Books","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[11864188],"CategoryIds":[1125],"FormatId":2,"FamilyId":null,"SeriesId":458636,"LanguageId":56,"PriceMin":68.69,"PriceMax":68.69,"Desirability":6,"PublicationDate":"2025-09-30T00:00:00","Join":null}
Rewriting Techniques and Applications: 9th International Conference, Rta-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings
Nipkow, Tobias
Paperback
$54.99
{"Id":20407848,"Title":"Rewriting Techniques and Applications: 9th International Conference, Rta-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings","Authors":["Nipkow, Tobias"],"ShortTitle":"Rewriting Techniques and Applications: 9th International Conference,\u2026","Author":"Nipkow, Tobias","Ean":"9783540643012","Isbn":"354064301X","Publisher":"Springer","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[12211629],"CategoryIds":[877,1125],"FormatId":2,"FamilyId":null,"SeriesId":16773,"LanguageId":56,"PriceMin":54.99,"PriceMax":54.99,"Desirability":0,"PublicationDate":"1998-03-11T00:00:00","Join":null}
$97.99
{"Id":20213647,"Title":"Concrete Semantics: With Isabelle/Hol","Authors":["Klein, Gerwin","Nipkow, Tobias"],"ShortTitle":"Concrete Semantics: With Isabelle/Hol","Author":"Klein, Gerwin","Ean":"9783319357591","Isbn":"331935759X","Publisher":"Springer","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[4801010,12211629],"CategoryIds":[151,1125],"FormatId":2,"FamilyId":3568188,"SeriesId":null,"LanguageId":56,"PriceMin":97.99,"PriceMax":97.99,"Desirability":1,"PublicationDate":"2016-09-10T00:00:00","Join":null}
Types for Proofs and Programs: International Workshop Types '93, Nijmegen, the Netherlands, May 24 - 28, 1993. Selected Papers
Barendregt, Henk
Nipkow, Tobias
Paperback
$76.99
{"Id":20402409,"Title":"Types for Proofs and Programs: International Workshop Types \u002793, Nijmegen, the Netherlands, May 24 - 28, 1993. Selected Papers","Authors":["Barendregt, Henk","Nipkow, Tobias"],"ShortTitle":"Types for Proofs and Programs: International Workshop Types \u002793, Nijmegen,\u2026","Author":"Barendregt, Henk","Ean":"9783540580850","Isbn":"3540580859","Publisher":"Springer","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[1232306,12211629],"CategoryIds":[151,877,1125],"FormatId":2,"FamilyId":8027132,"SeriesId":16773,"LanguageId":56,"PriceMin":76.99,"PriceMax":76.99,"Desirability":1,"PublicationDate":"1994-05-20T00:00:00","Join":null}
$125.99
{"Id":20204613,"Title":"Concrete Semantics: With Isabelle/Hol","Authors":["Klein, Gerwin","Nipkow, Tobias"],"ShortTitle":"Concrete Semantics: With Isabelle/Hol","Author":"Klein, Gerwin","Ean":"9783319105413","Isbn":"3319105418","Publisher":"Springer","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[4801010,12211629],"CategoryIds":[151,1125],"FormatId":1,"FamilyId":3568188,"SeriesId":null,"LanguageId":56,"PriceMin":125.99,"PriceMax":125.99,"Desirability":1,"PublicationDate":"2014-12-15T00:00:00","Join":null}
$100.32
{"Id":3137089,"Title":"Term Rewriting and All That","Authors":["Nipkow, Tobias","Baader, Franz","Franz, Baader"],"ShortTitle":"Term Rewriting and All That","Author":"Nipkow, Tobias","Ean":"9780521779203","Isbn":"0521779200","Publisher":"Cambridge University Press","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[1232602,1991906,6958790],"CategoryIds":[877,1125],"FormatId":2,"FamilyId":3379426,"SeriesId":null,"LanguageId":56,"PriceMin":100.32,"PriceMax":100.32,"Desirability":1,"PublicationDate":"1999-08-05T00:00:00","Join":null}
FM 2006: Formal Methods: 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings
Misra, Jayadev
Sekerinski, Emil
Nipkow, Tobias
Paperback
$109.99
{"Id":20390379,"Title":"FM 2006: Formal Methods: 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings","Authors":["Misra, Jayadev","Sekerinski, Emil","Nipkow, Tobias"],"ShortTitle":"FM 2006: Formal Methods: 14th International Symposium on Formal Methods,\u2026","Author":"Misra, Jayadev","Ean":"9783540372158","Isbn":"3540372156","Publisher":"Springer","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[1067822,3632926,12211629],"CategoryIds":[877,1125],"FormatId":2,"FamilyId":2712472,"SeriesId":null,"LanguageId":56,"PriceMin":109.99,"PriceMax":109.99,"Desirability":0,"PublicationDate":"2006-08-10T00:00:00","Join":null}
Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009, Proceedings
Urban, Christian
Nipkow, Tobias
Berghofer, Stefan
Paperback
$54.99
{"Id":20576674,"Title":"Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009, Proceedings","Authors":["Urban, Christian","Nipkow, Tobias","Berghofer, Stefan"],"ShortTitle":"Theorem Proving in Higher Order Logics: 22nd International Conference,\u2026","Author":"Urban, Christian","Ean":"9783642033582","Isbn":"364203358X","Publisher":"Springer","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[4800399,12211629,12691368],"CategoryIds":[151,877],"FormatId":2,"FamilyId":2338561,"SeriesId":null,"LanguageId":56,"PriceMin":54.99,"PriceMax":54.99,"Desirability":0,"PublicationDate":"2009-08-04T00:00:00","Join":null}
Isabelle/Hol: A Proof Assistant for Higher-Order Logic
Paulson, Lawrence C.
Wenzel, Markus
Nipkow, Tobias
Paperback
$97.99
{"Id":20393893,"Title":"Isabelle/Hol: A Proof Assistant for Higher-Order Logic","Authors":["Paulson, Lawrence C.","Wenzel, Markus","Nipkow, Tobias"],"ShortTitle":"Isabelle/Hol: A Proof Assistant for Higher-Order Logic","Author":"Paulson, Lawrence C.","Ean":"9783540433767","Isbn":"3540433767","Publisher":"Springer","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[1223734,4898342,12211629],"CategoryIds":[151,877],"FormatId":2,"FamilyId":969331,"SeriesId":16773,"LanguageId":56,"PriceMin":97.99,"PriceMax":97.99,"Desirability":1,"PublicationDate":"2002-04-03T00:00:00","Join":null}
$42.44
{"Id":5375474,"Title":"Merelina, or Such Is Life: In a Series of Letters (1842)","Authors":["T. T. T., T. T."],"ShortTitle":"Merelina, or Such Is Life: In a Series of Letters (1842)","Author":"T. T. T., T. T.","Ean":"9781104296438","Isbn":"1104296438","Publisher":"Kessinger Publishing","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[2079942],"CategoryIds":[420,675,702],"FormatId":2,"FamilyId":1510618,"SeriesId":null,"LanguageId":56,"PriceMin":42.44,"PriceMax":42.44,"Desirability":0,"PublicationDate":"2009-04-13T00:00:00","Join":null}
$42.44
{"Id":8170788,"Title":"Merelina, Or Such Is Life: In A Series Of Letters (1842)","Authors":["T. T. T."],"ShortTitle":"Merelina, Or Such Is Life: In A Series Of Letters (1842)","Author":"T. T. T.","Ean":"9781165608812","Isbn":"1165608812","Publisher":"Kessinger Pub Llc","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[2081197],"CategoryIds":[414,420,557],"FormatId":2,"FamilyId":9034371,"SeriesId":null,"LanguageId":56,"PriceMin":42.44,"PriceMax":42.44,"Desirability":0,"PublicationDate":"2010-09-10T00:00:00","Join":null}
$13.19
{"Id":15538674,"Title":"Blessed by the Light","Authors":["T. T."],"ShortTitle":"Blessed by the Light","Author":"T. T.","Ean":"9781456732752","Isbn":"1456732757","Publisher":"Authorhouse","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[1342996],"CategoryIds":[606,1173],"FormatId":2,"FamilyId":null,"SeriesId":null,"LanguageId":56,"PriceMin":13.19,"PriceMax":13.19,"Desirability":1,"PublicationDate":"2011-02-15T00:00:00","Join":null}
$8.39
{"Id":17897628,"Title":"lizards makes me happy: t","Authors":["T, T."],"ShortTitle":"lizards makes me happy: t","Author":"T, T.","Ean":"9781670112132","Isbn":"1670112136","Publisher":"Independently Published","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[2476539],"CategoryIds":[475],"FormatId":2,"FamilyId":null,"SeriesId":null,"LanguageId":56,"PriceMin":8.39,"PriceMax":8.39,"Desirability":0,"PublicationDate":"2019-12-01T00:00:00","Join":null}
$23.99
{"Id":19535545,"Title":"Anti-ageing Acupressure: Anti-ageing Self Hypnosis","Authors":["T."],"ShortTitle":"Anti-ageing Acupressure: Anti-ageing Self Hypnosis","Author":"T.","Ean":"9781976073915","Isbn":"197607391X","Publisher":"Createspace","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[167042],"CategoryIds":[1173],"FormatId":2,"FamilyId":2575874,"SeriesId":null,"LanguageId":56,"PriceMin":23.99,"PriceMax":23.99,"Desirability":2,"PublicationDate":"2017-09-04T00:00:00","Join":null}
$21.24
{"Id":24418456,"Title":"Innovative Approaches to Teach Communication Skills","Authors":["T."],"ShortTitle":"Innovative Approaches to Teach Communication Skills","Author":"T.","Ean":"9798888494189","Isbn":"","Publisher":"Notion Press Media Pvt Ltd","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[345231],"CategoryIds":[1217],"FormatId":2,"FamilyId":null,"SeriesId":null,"LanguageId":56,"PriceMin":21.24,"PriceMax":21.24,"Desirability":2,"PublicationDate":"2022-10-26T00:00:00","Join":null}
$21.24
{"Id":24948255,"Title":"Tamilselviyin Puthinangalil Penniyamum Ulaviyalum / \u0026#2980;\u0026#2990;\u0026#3007;\u0026#2996;\u0026#3021;\u0026#2970;\u0026#3021;\u0026#2970;\u0026#3014;\u0026#2994;\u0026#3021;\u0026#2997;\u0026#3007;\u0026#2991;","Authors":["T."],"ShortTitle":"Tamilselviyin Puthinangalil Penniyamum Ulaviyalum /\u2026","Author":"T.","Ean":"9798889358084","Isbn":"","Publisher":"Notion Press Media Pvt Ltd","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[345231],"CategoryIds":[883],"FormatId":2,"FamilyId":null,"SeriesId":null,"LanguageId":103,"PriceMin":21.24,"PriceMax":21.24,"Desirability":2,"PublicationDate":"2023-01-16T00:00:00","Join":null}
$15.08
{"Id":28597496,"Title":"Artsvashen: Armenian exclave, its history, culture and future","Authors":["T."],"ShortTitle":"Artsvashen: Armenian exclave, its history, culture and future","Author":"T.","Ean":"9798267383097","Isbn":"","Publisher":"Independently Published","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[167042],"CategoryIds":[910],"FormatId":2,"FamilyId":null,"SeriesId":1096042,"LanguageId":56,"PriceMin":15.08,"PriceMax":15.08,"Desirability":1,"PublicationDate":"2025-09-27T00:00:00","Join":null}
$8.40
{"Id":1174210,"Title":"19 in 20: poetry in commotion","Authors":[", T."],"ShortTitle":"19 in 20: poetry in commotion","Author":", T.","Ean":"9798690165949","Isbn":"","Publisher":"Independently Published","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[456569],"CategoryIds":[909],"FormatId":2,"FamilyId":null,"SeriesId":null,"LanguageId":56,"PriceMin":8.4,"PriceMax":8.4,"Desirability":1,"PublicationDate":"2020-09-26T00:00:00","Join":null}
$21.24
{"Id":24155090,"Title":"Essentials of Database Management System Volume-II","Authors":["T."],"ShortTitle":"Essentials of Database Management System Volume-II","Author":"T.","Ean":"9781685549794","Isbn":"1685549799","Publisher":"Harpercollins 360","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[345231],"CategoryIds":[883],"FormatId":2,"FamilyId":null,"SeriesId":null,"LanguageId":56,"PriceMin":21.24,"PriceMax":21.24,"Desirability":1,"PublicationDate":"2021-09-20T00:00:00","Join":null}