Sign-In
CartMelham, T. F.
Filters
Sort by
$194.04
{"Id":3118024,"Title":"Higher Order Logic and Hardware Verification","Authors":["Melham, T. F.","Melham, Thomas F."],"ShortTitle":"Higher Order Logic and Hardware Verification","Author":"Melham, T. F.","Ean":"9780521417181","Isbn":"052141718X","Publisher":"Cambridge University Press","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[1217567,4906921],"CategoryIds":[877,1125],"FormatId":1,"FamilyId":5092790,"SeriesId":287394,"LanguageId":56,"PriceMin":194.04,"PriceMax":194.04,"Desirability":1,"PublicationDate":"1993-11-11T00:00:00","Join":null}
$69.96
{"Id":3106638,"Title":"Higher Order Logic and Hardware Verification","Authors":["Melham, T."],"ShortTitle":"Higher Order Logic and Hardware Verification","Author":"Melham, T.","Ean":"9780521115322","Isbn":"0521115329","Publisher":"Cambridge University Press","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[12539591],"CategoryIds":[877,1125],"FormatId":2,"FamilyId":5092790,"SeriesId":287394,"LanguageId":56,"PriceMin":69.96,"PriceMax":69.96,"Desirability":0,"PublicationDate":"2009-07-02T00:00:00","Join":null}
Higher Order Logic Theorem Proving and Its Applications: 7th International Workshop, Valletta, Malta, September 19-22, 1994. Proceedings
Melham, Thomas F.
Camilleri, Juanito
Paperback
$76.99
{"Id":20402780,"Title":"Higher Order Logic Theorem Proving and Its Applications: 7th International Workshop, Valletta, Malta, September 19-22, 1994. Proceedings","Authors":["Melham, Thomas F.","Camilleri, Juanito"],"ShortTitle":"Higher Order Logic Theorem Proving and Its Applications: 7th International\u2026","Author":"Melham, Thomas F.","Ean":"9783540584506","Isbn":"3540584501","Publisher":"Springer Nature","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[4906921,4906922],"CategoryIds":[151,877],"FormatId":2,"FamilyId":7963750,"SeriesId":16773,"LanguageId":56,"PriceMin":76.99,"PriceMax":76.99,"Desirability":0,"PublicationDate":"1994-09-07T00:00:00","Join":null}
Correct Hardware Design and Verification Methods: 11th Ifip Wg 10.5 Advanced Research Working Conference, Charme 2001 Livingston, Scotland, Uk, Septem
Melham, Tom
Margaria, Tiziana
Paperback
$76.99
{"Id":20392133,"Title":"Correct Hardware Design and Verification Methods: 11th Ifip Wg 10.5 Advanced Research Working Conference, Charme 2001 Livingston, Scotland, Uk, Septem","Authors":["Melham, Tom","Margaria, Tiziana"],"ShortTitle":"Correct Hardware Design and Verification Methods: 11th Ifip Wg 10.5\u2026","Author":"Melham, Tom","Ean":"9783540425410","Isbn":"3540425411","Publisher":"Springer","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[4892199,12601196],"CategoryIds":[489,877],"FormatId":2,"FamilyId":null,"SeriesId":16773,"LanguageId":56,"PriceMin":76.99,"PriceMax":76.99,"Desirability":1,"PublicationDate":"2001-08-27T00:00:00","Join":null}
Theorem Proving in Higher Order Logics: 18th International Conference, Tphols 2005, Oxford, Uk, August 22-25, 2005, Proceedings
Hurd, Joe
Melham, Tom
Paperback
$54.99
{"Id":20388309,"Title":"Theorem Proving in Higher Order Logics: 18th International Conference, Tphols 2005, Oxford, Uk, August 22-25, 2005, Proceedings","Authors":["Hurd, Joe","Melham, Tom"],"ShortTitle":"Theorem Proving in Higher Order Logics: 18th International Conference,\u2026","Author":"Hurd, Joe","Ean":"9783540283720","Isbn":"3540283722","Publisher":"Springer","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[4892198,4892199],"CategoryIds":[151,877,1125],"FormatId":2,"FamilyId":924553,"SeriesId":null,"LanguageId":56,"PriceMin":54.99,"PriceMax":54.99,"Desirability":0,"PublicationDate":"2005-08-08T00:00:00","Join":null}
$17.44
{"Id":24729571,"Title":"Owain Glyndwr And His Times","Authors":["T. F., T."],"ShortTitle":"Owain Glyndwr And His Times","Author":"T. F., T.","Ean":"9781017226188","Isbn":"1017226180","Publisher":"Legare Street Pr","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[981146],"CategoryIds":[702,922],"FormatId":2,"FamilyId":5963279,"SeriesId":null,"LanguageId":56,"PriceMin":17.44,"PriceMax":17.44,"Desirability":2,"PublicationDate":"2022-10-27T00:00:00","Join":null}
$33.69
{"Id":24725434,"Title":"Owain Glyndwr And His Times","Authors":["T. F., T."],"ShortTitle":"Owain Glyndwr And His Times","Author":"T. F., T.","Ean":"9781017221121","Isbn":"101722112X","Publisher":"Legare Street Pr","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[981146],"CategoryIds":[702,922],"FormatId":1,"FamilyId":5963279,"SeriesId":null,"LanguageId":56,"PriceMin":33.69,"PriceMax":33.69,"Desirability":0,"PublicationDate":"2022-10-27T00:00:00","Join":null}
$8.99
{"Id":25915914,"Title":"Birds Coloring Book","Authors":["T, F."],"ShortTitle":"Birds Coloring Book","Author":"T, F.","Ean":"9798864144831","Isbn":"","Publisher":"Independently Published","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[2282991],"CategoryIds":[827],"FormatId":2,"FamilyId":null,"SeriesId":null,"LanguageId":56,"PriceMin":8.99,"PriceMax":8.99,"Desirability":4,"PublicationDate":"2023-10-12T00:00:00","Join":null}
$8.99
{"Id":25899201,"Title":"BASEBALL Coloring Book","Authors":["T, F."],"ShortTitle":"BASEBALL Coloring Book","Author":"T, F.","Ean":"9798863933160","Isbn":"","Publisher":"Independently Published","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[2282991],"CategoryIds":[827],"FormatId":2,"FamilyId":null,"SeriesId":null,"LanguageId":56,"PriceMin":8.99,"PriceMax":8.99,"Desirability":2,"PublicationDate":"2023-10-10T00:00:00","Join":null}
$8.99
{"Id":25942694,"Title":"Cars Coloring Book","Authors":["T, F."],"ShortTitle":"Cars Coloring Book","Author":"T, F.","Ean":"9798863839943","Isbn":"","Publisher":"Independently Published","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[2282991],"CategoryIds":[827],"FormatId":2,"FamilyId":null,"SeriesId":null,"LanguageId":56,"PriceMin":8.99,"PriceMax":8.99,"Desirability":1,"PublicationDate":"2023-10-09T00:00:00","Join":null}
$8.99
{"Id":25899437,"Title":"Under Sea Coloring Book","Authors":["T, F."],"ShortTitle":"Under Sea Coloring Book","Author":"T, F.","Ean":"9798863820569","Isbn":"","Publisher":"Independently Published","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[2282991],"CategoryIds":[827],"FormatId":2,"FamilyId":null,"SeriesId":null,"LanguageId":56,"PriceMin":8.99,"PriceMax":8.99,"Desirability":1,"PublicationDate":"2023-10-09T00:00:00","Join":null}
$13.79
{"Id":26094796,"Title":"KIDS Coloring Book","Authors":["T, F."],"ShortTitle":"KIDS Coloring Book","Author":"T, F.","Ean":"9798864499207","Isbn":"","Publisher":"Independently Published","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[2282991],"CategoryIds":[827],"FormatId":2,"FamilyId":null,"SeriesId":null,"LanguageId":56,"PriceMin":13.79,"PriceMax":13.79,"Desirability":1,"PublicationDate":"2023-10-16T00:00:00","Join":null}
$235.00
{"Id":27752211,"Title":"Voices Carved in Silent Peaks","Authors":["T. F."],"ShortTitle":"Voices Carved in Silent Peaks","Author":"T. F.","Ean":"9798897249596","Isbn":"","Publisher":"Notion Press","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[2468687],"CategoryIds":[909],"FormatId":1,"FamilyId":null,"SeriesId":null,"LanguageId":56,"PriceMin":235.0,"PriceMax":235.0,"Desirability":0,"PublicationDate":"2025-03-04T00:00:00","Join":null}
$37.44
{"Id":12863876,"Title":"The Christ-Child","Authors":["F, T."],"ShortTitle":"Christ-Child","Author":"F, T.","Ean":"9781346818818","Isbn":"1346818819","Publisher":"Palala Pr","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[2591152],"CategoryIds":[922],"FormatId":1,"FamilyId":4715407,"SeriesId":null,"LanguageId":56,"PriceMin":37.44,"PriceMax":37.44,"Desirability":0,"PublicationDate":"2015-11-19T00:00:00","Join":null}
$18.19
{"Id":18661600,"Title":"The Adventures of Captain Zeal","Authors":["Catton, F. T.","Catton, F. T."],"ShortTitle":"Adventures of Captain Zeal","Author":"Catton, F. T.","Ean":"9781777404918","Isbn":"1777404916","Publisher":"Wordeater Publishing","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[4308148,4308148],"CategoryIds":[700,893],"FormatId":2,"FamilyId":11325329,"SeriesId":null,"LanguageId":56,"PriceMin":18.19,"PriceMax":18.19,"Desirability":1,"PublicationDate":"2020-11-01T00:00:00","Join":null}
$11.99
{"Id":18105285,"Title":"The Doll on my Balls, The Doll on my Balls Rides Again","Authors":["Monkey, T. F.","Monkey, T. F."],"ShortTitle":"Doll on my Balls, The Doll on my Balls Rides Again","Author":"Monkey, T. F.","Ean":"9781691726493","Isbn":"1691726494","Publisher":"Independently Published","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[2025936,2025936],"CategoryIds":[551],"FormatId":2,"FamilyId":null,"SeriesId":null,"LanguageId":56,"PriceMin":11.99,"PriceMax":11.99,"Desirability":1,"PublicationDate":"2019-09-08T00:00:00","Join":null}
$67.32
{"Id":3103124,"Title":"The Drama of John Marston: Critical Re-Visions","Authors":["Wharton, T. F.","T. F., Wharton"],"ShortTitle":"Drama of John Marston: Critical Re-Visions","Author":"Wharton, T. F.","Ean":"9780521033589","Isbn":"0521033586","Publisher":"Cambridge University Press","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[1213791,12543255],"CategoryIds":[558,881,1106],"FormatId":2,"FamilyId":971606,"SeriesId":null,"LanguageId":56,"PriceMin":67.32,"PriceMax":67.32,"Desirability":0,"PublicationDate":"2007-02-01T00:00:00","Join":null}
A History of the County of Middlesex: Volume VII: Acton, Chiswick, Ealing and Willesden Parishes
Baker, T. F. T.
Hardcover
$166.75
{"Id":1774103,"Title":"A History of the County of Middlesex: Volume VII: Acton, Chiswick, Ealing and Willesden Parishes","Authors":["Baker, T. F. T."],"ShortTitle":"History of the County of Middlesex: Volume VII: Acton, Chiswick, Ealing\u2026","Author":"Baker, T. F. T.","Ean":"9780197227565","Isbn":"0197227562","Publisher":"Victoria County History","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[651856],"CategoryIds":[922,942],"FormatId":1,"FamilyId":3488143,"SeriesId":285871,"LanguageId":56,"PriceMin":166.75,"PriceMax":166.75,"Desirability":1,"PublicationDate":"1982-01-01T00:00:00","Join":null}
$47.45
{"Id":17864417,"Title":"Ethan and Annie\u0027s Spiritual Journey","Authors":["Heart, T. F. T."],"ShortTitle":"Ethan and Annie\u0027s Spiritual Journey","Author":"Heart, T. F. T.","Ean":"9781664220430","Isbn":"1664220437","Publisher":"Westbow Pr","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[4151954],"CategoryIds":[886],"FormatId":1,"FamilyId":13053381,"SeriesId":null,"LanguageId":56,"PriceMin":47.45,"PriceMax":47.45,"Desirability":1,"PublicationDate":"2021-04-27T00:00:00","Join":null}
$26.33
{"Id":17864425,"Title":"Ethan and Annie\u0027s Spiritual Journey","Authors":["Heart, T. F. T."],"ShortTitle":"Ethan and Annie\u0027s Spiritual Journey","Author":"Heart, T. F. T.","Ean":"9781664220447","Isbn":"1664220445","Publisher":"Westbow Pr","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[4151954],"CategoryIds":[886],"FormatId":2,"FamilyId":13053381,"SeriesId":null,"LanguageId":56,"PriceMin":26.33,"PriceMax":26.33,"Desirability":1,"PublicationDate":"2021-04-27T00:00:00","Join":null}