Sign-In
CartPnueli, David
Filters
Sort by
$100.00
{"Id":3127061,"Title":"Fluid Mechanics","Authors":["Pnueli, David","Gutfinger, Chaim"],"ShortTitle":"Fluid Mechanics","Author":"Pnueli, David","Ean":"9780521587976","Isbn":"0521587972","Publisher":"Cambridge University Press","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[1224448,9608142],"CategoryIds":[617],"FormatId":2,"FamilyId":136710,"SeriesId":null,"LanguageId":56,"PriceMin":100.0,"PriceMax":100.0,"Desirability":0,"PublicationDate":"1997-01-13T00:00:00","Join":null}
$119.99
{"Id":15599556,"Title":"Temporal Verification of Reactive Systems: Safety","Authors":["Manna, Zohar","Pnueli, Amir"],"ShortTitle":"Temporal Verification of Reactive Systems: Safety","Author":"Manna, Zohar","Ean":"9781461287018","Isbn":"1461287014","Publisher":"Springer Nature","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[679788,1070454],"CategoryIds":[151,877,1125],"FormatId":2,"FamilyId":11685242,"SeriesId":null,"LanguageId":56,"PriceMin":119.99,"PriceMax":119.99,"Desirability":1,"PublicationDate":"2012-08-22T00:00:00","Join":null}
The Temporal Logic of Reactive and Concurrent Systems: Specification
Manna, Zohar
Pnueli, Amir
Hardcover
$167.99
{"Id":2807605,"Title":"The Temporal Logic of Reactive and Concurrent Systems: Specification","Authors":["Manna, Zohar","Pnueli, Amir"],"ShortTitle":"Temporal Logic of Reactive and Concurrent Systems: Specification","Author":"Manna, Zohar","Ean":"9780387976648","Isbn":"0387976647","Publisher":"Springer Nature","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[679788,1070454],"CategoryIds":[877,1125],"FormatId":1,"FamilyId":7543940,"SeriesId":null,"LanguageId":56,"PriceMin":167.99,"PriceMax":167.99,"Desirability":1,"PublicationDate":"1991-12-18T00:00:00","Join":null}
$17.95
{"Id":25660466,"Title":"Two Approaches to Interprocedural Data Flow Analysis","Authors":["Sharir, Micha","Pnueli, A."],"ShortTitle":"Two Approaches to Interprocedural Data Flow Analysis","Author":"Sharir, Micha","Ean":"9781021438553","Isbn":"1021438553","Publisher":"Legare Street Pr","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[1217698,2706989],"CategoryIds":[922,1125],"FormatId":2,"FamilyId":3129257,"SeriesId":null,"LanguageId":56,"PriceMin":17.95,"PriceMax":17.95,"Desirability":0,"PublicationDate":"2023-07-18T00:00:00","Join":null}
$30.95
{"Id":25955879,"Title":"Two Approaches to Interprocedural Data Flow Analysis","Authors":["Sharir, Micha","Pnueli, A."],"ShortTitle":"Two Approaches to Interprocedural Data Flow Analysis","Author":"Sharir, Micha","Ean":"9781019588352","Isbn":"1019588357","Publisher":"Legare Street Pr","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[1217698,2706989],"CategoryIds":[922,1125],"FormatId":1,"FamilyId":3129257,"SeriesId":null,"LanguageId":56,"PriceMin":30.95,"PriceMax":30.95,"Desirability":0,"PublicationDate":"2023-07-18T00:00:00","Join":null}
$153.99
{"Id":2804934,"Title":"Temporal Verification of Reactive Systems: Safety","Authors":["Manna, Zohar","Pnueli, Amir"],"ShortTitle":"Temporal Verification of Reactive Systems: Safety","Author":"Manna, Zohar","Ean":"9780387944593","Isbn":"0387944591","Publisher":"Springer Nature","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[679788,1070454],"CategoryIds":[877],"FormatId":1,"FamilyId":11685242,"SeriesId":null,"LanguageId":56,"PriceMin":153.99,"PriceMax":153.99,"Desirability":0,"PublicationDate":"1995-08-04T00:00:00","Join":null}
The Temporal Logic of Reactive and Concurrent Systems: Specification
Manna, Zohar
Pnueli, Amir
Paperback
$76.99
{"Id":15597663,"Title":"The Temporal Logic of Reactive and Concurrent Systems: Specification","Authors":["Manna, Zohar","Pnueli, Amir"],"ShortTitle":"Temporal Logic of Reactive and Concurrent Systems: Specification","Author":"Manna, Zohar","Ean":"9781461269502","Isbn":"1461269504","Publisher":"Springer Nature","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[679788,1070454],"CategoryIds":[877,1063,1125],"FormatId":2,"FamilyId":7543940,"SeriesId":null,"LanguageId":56,"PriceMin":76.99,"PriceMax":76.99,"Desirability":0,"PublicationDate":"2012-10-17T00:00:00","Join":null}
Temporal Logic in Specification: Altrincham, Uk, April 8-10, 1987, Proceedings
Banieqbal, Behnam
Barringer, Howard
Pnueli, Amir
Paperback
$54.99
{"Id":20396674,"Title":"Temporal Logic in Specification: Altrincham, Uk, April 8-10, 1987, Proceedings","Authors":["Banieqbal, Behnam","Barringer, Howard","Pnueli, Amir"],"ShortTitle":"Temporal Logic in Specification: Altrincham, Uk, April 8-10, 1987,\u2026","Author":"Banieqbal, Behnam","Ean":"9783540518037","Isbn":"3540518037","Publisher":"Springer Nature","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[4899800,1605491,1070454],"CategoryIds":[877,1125],"FormatId":2,"FamilyId":972255,"SeriesId":16773,"LanguageId":56,"PriceMin":54.99,"PriceMax":54.99,"Desirability":0,"PublicationDate":"1989-10-11T00:00:00","Join":null}
Hybrid Systems: Computation and Control: 6th International Workshop, Hscc 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings
Wiedijk, Freek
Maler, Oded
Pnueli, Amir
Paperback
$109.99
{"Id":20367602,"Title":"Hybrid Systems: Computation and Control: 6th International Workshop, Hscc 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings","Authors":["Wiedijk, Freek","Maler, Oded","Pnueli, Amir"],"ShortTitle":"Hybrid Systems: Computation and Control: 6th International Workshop, Hscc\u2026","Author":"Wiedijk, Freek","Ean":"9783540009139","Isbn":"3540009132","Publisher":"Springer Nature","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[4875113,1687517,1070454],"CategoryIds":[877,1125],"FormatId":2,"FamilyId":null,"SeriesId":16773,"LanguageId":56,"PriceMin":109.99,"PriceMax":109.99,"Desirability":0,"PublicationDate":"2003-03-18T00:00:00","Join":null}
$54.99
{"Id":20582988,"Title":"Perspectives of Systems Informatics","Authors":["Pnueli, Amir","Virbitskaite, Irina","Voronkov, Andrei"],"ShortTitle":"Perspectives of Systems Informatics","Author":"Pnueli, Amir","Ean":"9783642114854","Isbn":"3642114857","Publisher":"Springer","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[1070454,4913023,775408],"CategoryIds":[1125],"FormatId":2,"FamilyId":12335337,"SeriesId":null,"LanguageId":56,"PriceMin":54.99,"PriceMax":54.99,"Desirability":0,"PublicationDate":"2010-02-08T00:00:00","Join":null}
Compositionality: The Significant Difference: International Symposium, Compos'97 Bad Malente, Germany, September 8-12, 1997 Revised Lectures
Pnueli, Amir
Roever, Willem-Paul de
Langmaack, Hans
Paperback
$109.99
{"Id":20409147,"Title":"Compositionality: The Significant Difference: International Symposium, Compos\u002797 Bad Malente, Germany, September 8-12, 1997 Revised Lectures","Authors":["Pnueli, Amir","Roever, Willem-Paul de","Langmaack, Hans"],"ShortTitle":"Compositionality: The Significant Difference: International Symposium,\u2026","Author":"Pnueli, Amir","Ean":"9783540654933","Isbn":"3540654933","Publisher":"Springer Nature","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[1070454,4893964,4880064],"CategoryIds":[877,1125],"FormatId":2,"FamilyId":null,"SeriesId":16773,"LanguageId":56,"PriceMin":109.99,"PriceMax":109.99,"Desirability":0,"PublicationDate":"1998-12-18T00:00:00","Join":null}
$14.28
{"Id":26799391,"Title":"Silence so Loud","Authors":["David, David"],"ShortTitle":"Silence so Loud","Author":"David, David","Ean":"9798878422291","Isbn":"","Publisher":"Independently Published","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[5369875],"CategoryIds":[672],"FormatId":2,"FamilyId":null,"SeriesId":null,"LanguageId":56,"PriceMin":14.28,"PriceMax":14.28,"Desirability":0,"PublicationDate":"2024-02-03T00:00:00","Join":null}
$13.99
{"Id":27022857,"Title":"The Coat and the Crucifix","Authors":["David, David"],"ShortTitle":"Coat and the Crucifix","Author":"David, David","Ean":"9781789634839","Isbn":"1789634830","Publisher":"Choir Press","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[5369875],"CategoryIds":[427,876],"FormatId":2,"FamilyId":null,"SeriesId":null,"LanguageId":56,"PriceMin":13.99,"PriceMax":13.99,"Desirability":0,"PublicationDate":"2024-10-01T00:00:00","Join":null}
$23.94
{"Id":16362917,"Title":"The Inspectors General of the United States Army 1777-1903","Authors":["David, David a."],"ShortTitle":"Inspectors General of the United States Army 1777-1903","Author":"David, David a.","Ean":"9781507636664","Isbn":"1507636660","Publisher":"Createspace","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[3688827],"CategoryIds":[919],"FormatId":2,"FamilyId":null,"SeriesId":null,"LanguageId":56,"PriceMin":23.94,"PriceMax":23.94,"Desirability":0,"PublicationDate":"2015-01-21T00:00:00","Join":null}
$23.74
{"Id":26223744,"Title":"El Adolescente Seguro De S\u00ED Mismo","Authors":["David"],"ShortTitle":"El Adolescente Seguro De S\u00ED Mismo","Author":"David","Ean":"9781962692021","Isbn":"1962692027","Publisher":"Marnie David","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[428719],"CategoryIds":[673],"FormatId":2,"FamilyId":null,"SeriesId":null,"LanguageId":57,"PriceMin":23.74,"PriceMax":23.74,"Desirability":17,"PublicationDate":"2023-11-10T00:00:00","Join":null}
$16.99
{"Id":26807328,"Title":"The Digital Curator: Engaging Audiences and Disseminating Knowledge Online","Authors":["David"],"ShortTitle":"Digital Curator: Engaging Audiences and Disseminating Knowledge Online","Author":"David","Ean":"9783384253101","Isbn":"3384253108","Publisher":"Tredition Gmbh","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[428719],"CategoryIds":[877],"FormatId":2,"FamilyId":null,"SeriesId":null,"LanguageId":56,"PriceMin":16.99,"PriceMax":16.99,"Desirability":5,"PublicationDate":"2024-06-07T00:00:00","Join":null}
$16.99
{"Id":26759325,"Title":"EU Policy: Work-Life Beyond Leave","Authors":["David"],"ShortTitle":"EU Policy: Work-Life Beyond Leave","Author":"David","Ean":"9783384210050","Isbn":"3384210050","Publisher":"Tredition Gmbh","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[428719],"CategoryIds":[896],"FormatId":2,"FamilyId":null,"SeriesId":null,"LanguageId":56,"PriceMin":16.99,"PriceMax":16.99,"Desirability":3,"PublicationDate":"2024-04-25T00:00:00","Join":null}
$32.99
{"Id":26232439,"Title":"From Text to Knowledge A Comprehensive Guide to Natural Language Processing","Authors":["David"],"ShortTitle":"From Text to Knowledge A Comprehensive Guide to Natural Language Processing","Author":"David","Ean":"9798869048974","Isbn":"","Publisher":"Sunshine","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[428719],"CategoryIds":[877],"FormatId":2,"FamilyId":null,"SeriesId":null,"LanguageId":56,"PriceMin":32.99,"PriceMax":32.99,"Desirability":3,"PublicationDate":"2023-12-06T00:00:00","Join":null}
cortisol detox diet plan: A Complete Guide to Lowering Stress and Improving Health Through Diet
David
Paperback
$21.60
{"Id":27747402,"Title":"cortisol detox diet plan: A Complete Guide to Lowering Stress and Improving Health Through Diet","Authors":["David"],"ShortTitle":"cortisol detox diet plan: A Complete Guide to Lowering Stress and\u2026","Author":"David","Ean":"9798316877751","Isbn":"","Publisher":"Independently Published","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[4969220],"CategoryIds":[486],"FormatId":2,"FamilyId":null,"SeriesId":null,"LanguageId":56,"PriceMin":21.6,"PriceMax":21.6,"Desirability":3,"PublicationDate":"2025-04-05T00:00:00","Join":null}
$15.49
{"Id":23572869,"Title":"Dan The Donkey","Authors":["David"],"ShortTitle":"Dan The Donkey","Author":"David","Ean":"9781662845222","Isbn":"1662845227","Publisher":"Xulon Pr","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[428719],"CategoryIds":[965],"FormatId":2,"FamilyId":9694072,"SeriesId":null,"LanguageId":56,"PriceMin":15.49,"PriceMax":15.49,"Desirability":1,"PublicationDate":"2022-05-11T00:00:00","Join":null}