Order Total (1 Item Items):
Shipping Destination:
Meyden Ron (59 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (59)
- Magazines & Periodicals (No further results match this refinement)
- Comics (No further results match this refinement)
- Sheet Music (No further results match this refinement)
- Art, Prints & Posters (No further results match this refinement)
- Photographs (No further results match this refinement)
- Maps (No further results match this refinement)
- Manuscripts & Paper Collectibles (No further results match this refinement)
Condition Learn more
- New (47)
- As New, Fine or Near Fine (11)
- Very Good or Good (1)
- Fair or Poor (No further results match this refinement)
- As Described (No further results match this refinement)
Binding
Collectible Attributes
- First Edition (No further results match this refinement)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (23)
- Not Print on Demand (38)
Language (2)
Free Shipping
Seller Location
Seller Rating
-
Condition: New. pp. x + 279.
-
Condition: New. pp. x + 279 Illus.
-
Condition: New. pp. x + 279.
-
-
Paperback or Softback. Condition: New. Model Checking and Artificial Intelligence: 6th International Workshop, Mochart 2010, Atlanta, Ga, Usa, July 11, 2010, Revised Selected and Invited Pa. Book.
-
Condition: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
-
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
-
Model Checking and Artificial Intelligence
Language: English
Published by Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, DE, 2011
ISBN 10: 3642206735 ISBN 13: 9783642206733
Seller: Rarewaves.com USA, London, LONDO, United Kingdom
Seller rating 5 out of 5 stars
US$ 72.15
Free Shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketPaperback. Condition: New. 2011th.
-
Condition: As New. Unread book in perfect condition.
-
Logics for Emerging Applications of Databases
Seller: Phatpocket Limited, Waltham Abbey, HERTS, United Kingdom
Seller rating 5 out of 5 stars
US$ 64.52
US$ 14.19 shipping
Ships from United Kingdom to U.S.A.Quantity: 1 available
Add to basketCondition: Good. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, but in good overall condition. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions.
-
Model Checking and Artificial Intelligence: 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers (Lecture Notes in Computer Science, 6572)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 67.79
US$ 15.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
US$ 65.13
US$ 20.66 shipping
Ships from United Kingdom to U.S.A.Quantity: 10 available
Add to basketPaperback. Condition: New.
-
Model Checking and Artificial Intelligence : 6th International Workshop, Mochart 2010, Atlanta, Ga, USA, July 11, 2010, Revised Selected and Invited Papers
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 67.77
US$ 20.01 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
Model Checking and Artificial Intelligence : 6th International Workshop, Mochart 2010, Atlanta, Ga, USA, July 11, 2010, Revised Selected and Invited Papers
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 76.86
US$ 20.01 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
-
US$ 89.11
US$ 13.34 shipping
Ships from United Kingdom to U.S.A.Quantity: 2 available
Add to basketPaperback. Condition: Brand New. 2011 edition. 142 pages. 9.25x6.00x0.25 inches. In Stock.
-
-
Condition: As New. Unread book in perfect condition.
-
-
Condition: As New. Unread book in perfect condition.
-
Condition: Sehr gut. Zustand: Sehr gut | Seiten: 388 | Sprache: Englisch | Produktart: Bücher | In this era of heterogeneous and distributed data sources, ranging from semistructured documents to knowledge about coordination processes or workflows, logic provides a rich set of tools and techniques with which to address the questions of how to represent, query and reason about complex data.This book provides a state-of-the-art overview of research on the application of logic-based methods to information systems, covering highly topical and emerging fields: XML programming and querying, intelligent agents, workflow modeling and verification, data integration, temporal and dynamic information, data mining, authorization, and security. It provides both scientists and graduate students with a wealth of material and references for their own research and education.
-
Condition: Sehr gut. Zustand: Sehr gut | Seiten: 388 | Sprache: Englisch | Produktart: Bücher | In this era of heterogeneous and distributed data sources, ranging from semistructured documents to knowledge about coordination processes or workflows, logic provides a rich set of tools and techniques with which to address the questions of how to represent, query and reason about complex data.This book provides a state-of-the-art overview of research on the application of logic-based methods to information systems, covering highly topical and emerging fields: XML programming and querying, intelligent agents, workflow modeling and verification, data integration, temporal and dynamic information, data mining, authorization, and security. It provides both scientists and graduate students with a wealth of material and references for their own research and education.
-
Logics for Emerging Applications of Databases
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 133.11
US$ 15.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Logics for Emerging Applications of Databases
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 133.11
US$ 15.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Simple Agreements for Future Equity (Safe): Smart Contracts for Venture Finance
Language: English
Published by Springer-Nature New York Inc, 2025
ISBN 10: 9819639190 ISBN 13: 9789819639199
US$ 132.81
US$ 16.67 shipping
Ships from United Kingdom to U.S.A.Quantity: 1 available
Add to basketHardcover. Condition: Brand New. 302 pages. 9.25x6.10x9.49 inches. In Stock.
-
Deontic Logic in Computer Science : 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008, Proceedings
Language: English
Published by Springer-Verlag GmbH, 2008
ISBN 10: 3540705244 ISBN 13: 9783540705246
Condition: Sehr gut. Zustand: Sehr gut | Seiten: 279 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.
-
Condition: New.
-
Logics for Emerging Applications of Databases
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 133.09
US$ 20.01 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
US$ 68.79
US$ 86.70 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketPaperback. Condition: New. 2011th.
-
Logics for Emerging Applications of Databases
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 148.36
US$ 20.01 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
-
Simple Agreements for Future Equity (SAFE) : Smart Contracts for Venture Finance
Language: English
Published by Springer, Springer Nature Singapore, 2025
ISBN 10: 9819639190 ISBN 13: 9789819639199
Buch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book presents a case study of the development of a smart contract, from the analysis of the legal contract to the structural design of the smart contract and implementation on the Ethereum blockchain. It identifies approaches to avoid or lessen the impact of pitfalls. And it discusses strategies to address the interaction between parties to the smart contract and legal authorities. The legal contract that is implemented is the simple agreement for future equity (or SAFE), which is widely used for financing startup companies. The analysis of this contract has the additional advantage that it clarifies issues in the conversion of a SAFE contract to equity that are a source of confusion in practice. This book is of interest to anyone in the field of digital finance, as well as to venture capitalists and entrepreneurs making use of SAFEs.
