Kontroll
Kontroll

Author: Jeff VanderMeer;

Publisher: Agave

Published: 2014

Total Pages: 417

ISBN-13: 6155442800

DOWNLOAD EBOOK

Computer Aided Verification
Computer Aided Verification

Author: Orna Grumberg

Publisher: Springer Science & Business Media

Published: 1997-06-04

Total Pages: 504

ISBN-13: 9783540631668

DOWNLOAD EBOOK

This book constitutes the strictly refereed proceedings of the 9th International Conference on Computer Aided Verification, CAV '97, held in Haifa, Israel, in June 1997. The volume presents 34 revised full papers selected from a total of 84 submissions. Also included are 7 invited contributions as well as 12 tool descriptions. The volume is dedicated to the theory and practice of computer aided formal methods for software and hardware verification, with an emphasis on verification tools and algorithms and the techniques needed for their implementation. The book is a unique record documenting the recent progress in the area.

On-line Error Detection and Fast Recover Techniques for Dependable Embedded Processors
On-line Error Detection and Fast Recover Techniques for Dependable Embedded Processors

Author: Matthias Pflanz

Publisher: Springer

Published: 2003-07-31

Total Pages: 133

ISBN-13: 3540458581

DOWNLOAD EBOOK

This book presents a new approach to on-line observation and concurrent checking of processors by refining and improving known techniques and introducing new ideas.The proposed on-line error detection and fast recover techniques support and complement other established methods. In combination with other on-line observation priniciples and with a combined hardware-software test, these techniques are used to fulfill a complete self-check scheme for an embedded processor.

German Technical Dictionary (Volume 1)
German Technical Dictionary (Volume 1)

Author: Robert Dimand

Publisher: Routledge

Published: 2013-01-11

Total Pages: 962

ISBN-13: 1134308035

DOWNLOAD EBOOK

Since its publication in 1995, the German Technical Dictionary has established itself as the definitive resource for anyone who needs to translate technical documents between German and English. This new edition has been substantially revised to reflect the technological environment of the twenty-first century. The revised edition contains over 75,000 entries, of which over 5,000 are new, with many new entries in the areas of: * the Internet and telecommunications * bio-technology and the new genetics * new developments in health technology. Throughout, this dictionary continues to benefit from the features that made the first edition so valuable, including accurate translations in British and American English and an attractive, durable and easy to use layout.

Skrifter
Skrifter

Author: Norske videnskaps-akademi i Oslo. I. Matematisk-naturvidenskapelig klasse

Publisher:

Published: 1945

Total Pages: 780

ISBN-13:

DOWNLOAD EBOOK