Buecher-Lounge.de

This book constitutes the strictly refereed post-workshop proceedings of the 5th International Workshop on Security Protocols, held in Paris, France, in April 1997. The 17 revised full papers …

The 17 revised full papers presented address all current aspects of security protocols. Among the topics covered are secure distribution of knowledge, electronic voting systems, secure Internet …

geschrieben von Bruce Christianson (Herausgeber) und Bruno Crispo (Herausgeber) und Mark Lomas (Herausgeber) und Michael Roe (Herausgeber)

This book constitutes the thoroughly refereed post-proceedings of the 10th International Workshop on Security Protocols, held in Cambridge, UK, in April 2002.
The 16 revised full papers presented …

geschrieben von Bruce Christianson (Herausgeber) und Bruno Crispo (Herausgeber) und James A. Malcolm (Herausgeber) und Michael Roe (Herausgeber)

This book constitutes the thoroughly refereed post-workshop proceedings of the 7th International Workshop on Security Protocols held in Cambridge, UK, in April 1999.The 20 revised contributions …

geschrieben von Bruce Christianson (Herausgeber) und Bruno Crispo (Herausgeber) und James A. Malcolm (Herausgeber) und Michael Roe (Herausgeber)

By C.J. Date, Nikos Lorentzos …

Culled from the pages of Popular Woodworking magazine, this book features 22 of the publication's all-time most-requested designs. From quick and easy small pieces to large, more elaborate designs, …

Preface. Part I Preliminaries: A Review of Relational Concepts. An Overview of Tutorial D. Part II Laying the Foundation: Time and the Database. What Is the Problem? Intervals. Opeartors on Intervals. …

This book is arranged in three parts and a set of appendixes:
* Preliminaries: Provides a detailed review of the relational model, and an overview of the Tutorial D language.
* Laying the …

geschrieben von Chris J. Date (Autor) und Hugn Darwen (Autor) und Hugh Darwen (Autor)

The computers? impact on education is undeniably strong, but instructional software has not reached a level where it is truly responsive to student needs nor flexible enough for effective teaching and …

geschrieben von Beverly Park Woolf (Autor)

This book constitutes the refereed proceedings of the 8th International Conference on Computer Aided Verification, CAV '96, held in New Brunswick, NJ, USA, in July/August 1996 as part of the FLoC '96 …

geschrieben von Rajeev Alur (Herausgeber) und Thomas Henzinger (Herausgeber)

Mit ihren bezaubernden Gedichten über den Löwen Haferschluck, über Sandmännchens Frau oder über den Sommer hat sich Christine Busta in viele Kinderherzen geschrieben - und das …

geschrieben von Christine Busta (Autor)

The conclusion to the Arthur C. Clarke classic science fiction sequence. In the year 3001, the Monolith awakes for only the second time in four million years. And so the limitless power of an alien …

geschrieben von Arthur C. Clarke (Autor)

This collection assembles 13 studies dealing with the history and importance of the ancient Jewish romance called "Joseph and Aseneth," which in the original Greek and through ancient and medieval …

geschrieben von Christoph Burchard (Autor)

This book aims at restructuring some fundamentals in measure and integration theory and thus to free the theory from notorious drawbacks. It centers around the ubiquitous task to produce appropriate …

geschrieben von Heinz König (Autor)