Buecher-Lounge.de

As a generic theorem prover, Isabelle supports a variety of logics. Distinctive features include Isabelle's representation of logics within a meta-logic and the use of higher-order unification to …

geschrieben von Lawrence C. Paulson (Autor)

Carlisle Adams is recognized internationally for his many contributions to the design, specification, and standardization of public-key infrastructures. He is senior cryptographer and principal of …

The essential tool for understanding and deploying enterprise PKIs.

-- Written by two public-key infrastructure (PKI) experts who helped develop the interoperability standards for this critical …

Foreword. Preface. About the Authors. I. CONCEPTS. 1. Introduction. 2. Public-Key Cryptography. Symmetric versus Asymmetric Ciphers. Secret Key. New Directions: Public Key. Public/Private-Key Pair. …

PKI (public-key infrastructure) enables the secure exchange of data over otherwise unsecured media, such as the Internet. PKI is the underlying cryptographic security mechanism for digital …

geschrieben von Carlisle Adams (Autor) und Steve Lloyd (Autor)

Constant Software Changes. Software Engineering and Software Maintenance. Software Reengineering. An Integrated Reengineering Framework, Process for Reengineering. Reengineering Workbench - FermT …

geschrieben von Hongji Yang (Autor) und Martin Ward (Autor) und Martin Ward (Autor)

This book constitutes the refereed proceedings of the Second International Conference on Evolutionary Multi-Criterion Optimization, EMO 2003, held in Faro, Portugal, in April 2003.
The 56 revised …

geschrieben von Carlos M. Fonseca (Herausgeber) und Peter J. Fleming (Herausgeber) und Eckart Zitzler (Herausgeber) und Kalyanmoy Deb (Herausgeber) und Lothar Thiele (Herausgeber)

Michael Gregg is the president of Superior Solutions, Inc., a Houston-based security assessment and training firm. He has more than 20 years of experience in the IT field. He holds two associate's …

The CISSP certification exam is one of the most difficult exams to pass because of the expansive knowledge base it covers. You'll need to be well prepared for the exam and "CISSP Practice Questions …

Introduction. 1. Access Control. Overview. Practice Questions. Quick Check Answer Key. Answers and Explanations. 2. Telecommunications and Network Security. Overview. Practice Questions. Quick Check …

The CISSP certification exam is one of the most difficult exams to pass because of the expansive knowledge base it covers. You'll need to be well prepared for the exam and CISSP Practice Questions …

geschrieben von Michael Gregg (Autor)

Donald E. Knuth is known throughout the world for his pioneering work on algorithms and programming techniques, for his invention of the Tex and Metafont systems for computer typesetting, and for his …

This multivolume work on the analysis of algorithms has long been recognized as the definitive description of classical computer science. The three complete volumes published to date already comprise …

Chapter 7: Combinatorial Searching 7.2. Generating All Possibilities 1 7.2.1. Generating Basic Combinatorial Patterns 1 7.2.1.1. Generating alln-tuples 1 7.2.1.2. Generating all permutations 39 …

According to Webster's Dictionary, a fascicle is "one of the division of a bookpublished in parts."This material represents a first look at material from the long-anticipated andmuch-discussed Volume …

geschrieben von Donald Ervin Knuth (Autor)

Prof. Dr. Walter Oberschelp studierte Mathematik, Physik, Astronomie, Philosophie und Mathematische Logik. Nach seiner Habilitation in Hannover lehrte er als Visiting Associate Professor an der …

Das erfolgreiche Standard-Lehrbuch zu den Grundbausteinen und den wichtigsten Architekturprinzipien heutiger Rechner. Das Buch beschreibt konsequent die logischen Aspekte und diskutiert technologische …

Der ganze Weg vom logischen Bit bis zur …

geschrieben von Walter Oberschelp (Autor) und Gottfried Vossen (Autor)

Data mining is the science and technology of exploring large and complex bodies of data in order to discover useful patterns. It is extremely important because it enables modeling and knowledge …

geschrieben von Oded Maimon (Herausgeber) und Lior Rokach (Herausgeber)

This monograph, derived from an advanced computer science course at Stanford University, builds on the fundamentals of combinatorial analysis and complex variable theory to present many of the major …

geschrieben von Daniel H. Greene (Autor) und Donald E. Knuth (Autor)

This book constitutes the thoroughly refereed post proceedings of the First International Conference on E-Voting and Identity, VOTE-ID 2007, held in Bochum, Germany in October 2007.
The 16 …

geschrieben von Ammar Alkassar (Herausgeber) und Melanie Volkamer (Herausgeber)