Buecher-Lounge.de

Many-valued logics is becoming increasingly important in many branches of science. This is the second volume of a comprehensive two-volume handbook on many-valued logics by two leading members of the …

Preface.- Basic Notions and Results.- Gentzen Systems for n-valued Logical Calculi.- Multisequential Systems of Takahashi and Rousseau for Finitely-Valued Logics.- The Resolution Principle in n-valued …

geschrieben von Leonard Bolc (Autor) und Piotr Borowik (Autor)

This book, by the designers of the block cipher, presents Rijndael from scratch. The underlying mathematics and the wide trail strategy as the basic design idea are explained in detail and the basics …

1. Introduction; 2. Preliminaries; 3. Specification of Rijndael; 4. Implementation Aspects; 5. DES; 6. Correlation Matrices; 7. Difference Propagation; 8. Design Strategy; 9. Cryptanalysis; 10. …

geschrieben von Vincent Rijmen (Autor) und Joan Daemen (Autor)

Presents recent technical information and gives an overview of progress in optical memory, neural networks and fractals from the viewpoint of optical information processing. The work introduces …

geschrieben von Yu T. S. Yu (Autor) und Francis T. S. Yu (Herausgeber) und Suganoda Jutamulia (Herausgeber)

Constraint satisfaction problems are significant in the domain of automated reasoning for artificial intelligence. They can be applied to the modeling and solving of a wide range of combinatorial …

Introduction.- Interchangeability and Solution Adaptation in Crisp CSPs.- Interchangeability in Soft CSPs.- Multi Agent Computation of Interchangeability in Distributed CSPs.- Interchangeability in …

geschrieben von Nicoleta Neagu (Autor)

This book constitutes the refereed proceedings of the 2nd European Workshop on Software Architecture, EWSA 2004, held in Pisa, Italy in June 2005.
The 12 revised full research papers, one revised …

geschrieben von Ron Morrison (Herausgeber) und Flavio Oquendo (Herausgeber)

Introduction Part I: Foundations Chapter 1: Mathematical Preliminaries 1.1 Set Theory 1.2 Cartesian Product, Relations, and Functions 1.3 Equivalence Relations 1.4 Countable and Uncountable Sets 1.5 …

geschrieben von Thomas A. Sudkamp (Autor)

The authors begin with classical fundamental problems and gradually introduce the reader to current research. In particular, the book provides improved parallel algorithms for computations with …

geschrieben von Dario Bini (Autor) und Victor Y. Pan (Autor)

This book constitutes the refereed proceedings of the The International Workshop on Optical SuperComputing, OSC 2008, held in Vienna, Austria, August 2008 in conjunction with the 7th International …

geschrieben von S. Dolev (Herausgeber) und Tobias Haist (Herausgeber) und Mihai Oltean (Herausgeber)

Klaus Komenda, geboren 1979 in Wien, studierteKommunikationsdesign an der FH Vorarlberg in Dornbirn. NachTätigkeiten bei Informix Software und IBM ist er seit Mai 2007als Web Developer für …

Standortbezogene Dienste (engl. Location BasedServices (LBS)) stellen auf Anfrage des Benutzers,basierend auf dessen Position, personalisierteDienste zur Verfügung. Wo liegt das …

geschrieben von Klaus Komenda (Autor)

This book constitutes the proceedings of the SPEC Benchmark Workshop 2009 held in Austin, Texas, USA on January 25th, 2009.
The 9 papers presented were carefully selected and reviewed for …

geschrieben von David Kaeli (Herausgeber) und Kai Sachs (Herausgeber)