Ron van der Meyden – författare
Visar alla böcker från författaren Ron van der Meyden. Handla med fri frakt och snabb leverans.
8 produkter
Logics for Emerging Applications of Databases
Av Jan Chomicki, Ron van der Meyden m. fl.
Inbunden, 2003
1128 kr
Lägg i varukorg
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 …
Deontic Logic in Computer Science
9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008, Proceedings
Av Leendert van der Torre, Ron van der Meyden
E-bok, 2008
1058 kr
Lägg i varukorg
This volume presents the papers contributed to ?EON 2008, the 9th Inter- tional Conference on Deontic Logic in Computer Science, held in Luxembourg, July 16–18, 2008. This biennial conference series is designed to promote int- national cooperation amongst scholars who are interested in deontic …
Logics for Emerging Applications of Databases
Av Gunter Saake, Ron van der Meyden m. fl.
E-bok, 2011
1502 kr
Lägg i varukorg
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. …
Model Checking and Artificial Intelligence
6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers
Av Ron van der Meyden, Jan-Georg Smaus
Häftad, 2011
568 kr
Lägg i varukorg
This book presents revised versions of selected papers from the 6th Workshop on Model Checking and Artificial Intelligence, MoChArt 2010, held in Atlanta, GA, USA in July 2010, as well as papers contributed subsequent to the workshop. The 7 papers presented were carefully reviewed and selected for …
Model Checking and Artificial Intelligence
6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers
Av Jan-Georg Smaus, Ron van der Meyden
E-bok, 2011
739 kr
Lägg i varukorg
This book presents revised versions of selected papers from the 6th Workshop on Model Checking and Artificial Intelligence, MoChArt 2010, held in Atlanta, GA, USA in July 2010, as well as papers contributed subsequent to the workshop. The 7 papers presented were carefully reviewed and selected for …
Logics for Emerging Applications of Databases
Av Jan Chomicki, Ron van der Meyden m. fl.
Häftad, 2012
1128 kr
Lägg i varukorg
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 …
Simple Agreements for Future Equity (SAFE)
Smart Contracts for Venture Finance
Av Ron van der Meyden, Michael J. Maher
Inbunden, 2025
792 kr
Lägg i varukorg
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 …
Simple Agreements for Future Equity (SAFE)
Smart Contracts for Venture Finance
Av Michael J. Maher, Ron van der Meyden
E-bok, 2025
978 kr
Lägg i varukorg
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 …
