Noninterference

Noninterference
Author :
Publisher : Hachette UK
Total Pages : 188
Release :
ISBN-10 : 9780575121423
ISBN-13 : 0575121424
Rating : 4/5 (23 Downloads)

Book Synopsis Noninterference by : Harry Turtledove

Download or read book Noninterference written by Harry Turtledove and published by Hachette UK. This book was released on 2013-07-25 with total page 188 pages. Available in PDF, EPUB and Kindle. Book excerpt: When the Survey Service first came to Bilbeis IV, it found a planet inhabited by humanoid aliens just on the verge of civilization. Then compassion overcame common sense, and David Ware did the one thing the Service prohibited - he interfered. Just a little. But when the Survey Service returned 1,500 years later, it discovered just what David Ware's meddling had done. The bureaucrats of the Survey Service could not afford to allow just a breach of Noninteference to be publicized. So they set out to cover it up. Reports were destroyed, files erased, and people eliminated. For the future of the Survey Service was at stake - and so was the future of Bilbeis IV.


Noninterference Related Books

Noninterference
Language: en
Pages: 188
Authors: Harry Turtledove
Categories: Fiction
Type: BOOK - Published: 2013-07-25 - Publisher: Hachette UK

DOWNLOAD EBOOK

When the Survey Service first came to Bilbeis IV, it found a planet inhabited by humanoid aliens just on the verge of civilization. Then compassion overcame com
Mechanizing Mathematical Reasoning
Language: en
Pages: 573
Authors: Dieter Hutter
Categories: Computers
Type: BOOK - Published: 2005-02-23 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

By presenting state-of-the-art results in logical reasoning and formal methods in the context of artificial intelligence and AI applications, this book commemor
Foundations and Applications of Security Analysis
Language: en
Pages: 231
Authors: Pierpaolo Degano
Categories: Computers
Type: BOOK - Published: 2009-09-03 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book constitutes the thoroughly refereed post-conference proceedings of the Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues
Formal Aspects in Security and Trust
Language: en
Pages: 255
Authors: Theo Dimitrakos
Categories: Computers
Type: BOOK - Published: 2005-10-04 - Publisher: Springer

DOWNLOAD EBOOK

Second International Workshop on Formal Aspects in Security and Trust is an essential reference for both academic and professional researchers in the field of s
Architecting Dependable Systems VI
Language: en
Pages: 346
Authors: Rogério de Lemos
Categories: Computers
Type: BOOK - Published: 2009-11-02 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This volume contains papers based on contributions to two workshops: the Workshop on Architecting Dependable Systems (WADS 2008)and the Third International Work