“m y vardi”

This volume presents the proceedings of the 1995 International Conference on Database Theory, ICDT '95, held in Prague in January 1995.Besides two full invited papers and the abstracts of two tutorials, the book includes the revised full versions of 29 technical contributions selected from a total o... More

This book constitutes the refereed proceedings of the 10th International Conference on Logic Programming, Artificial Intelligence, and Reasoning, LPAR 2003, held in Almaty, Kazakhstan in September 2003. The 27 revised full papers presented together with 3 invited papers were carefully reviewed and s... More

Reasoning about knowledge -- particularly the knowledge of agents who reason about the world and each other's knowledge -- was once the exclusive province of philosophers and puzzle solvers. More recently, this type of reasoning has been shown to play a key role in a surprising number of contexts, f... More

This book is the first of its kind to teach scientists and engineers beyond simply getting a patent granted. Rather, it also introduces the basis of patent licensing and related business aspects to inventors in order to help them create better patents that can be capitalized. This book covers aspect... More

Malcolm Gladwell is the master of playful yet profound insight. His ability to see underneath the surface of the seemingly mundane taps into a fundamental human impulse: curiosity. From criminology to ketchup, job interviews to dog training, Gladwell takes everyday subjects and shows us surprising n... More

"A Companion to the History of the Middle East" offers a fresh account of the multifaceted and multi-layered history of this region. Comprising 26 newly commissioned essays by leading international scholars, this "Companion" treats the Middle East as four differentiated political units - Iran, Turke... More

This book constitutes the refereed proceedings of the 22nd IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2002, held in Houston, Texas, USA in November 2002.The 22 revised full papers, 2 tool papers, and 2 posters presented were carefully revie... More

This book consitutes the refereed proceedings of the 10th International Conference on Computer Aided Verification, CAV'98, held in Vancouver, BC, Canada, in June/July 1998. The 33 revised full papers and 10 tool papers presented were carefully selected from a total of 117 submissions. Also included ... More