Buecher-Lounge.de

This volume presents the proceedings of the Second International Conference on Theorem Provers in Circuit Design (TPCD '94) jointly organized by the Forschungszentrum Informatik (University of …

geschrieben von Ramayya Kumar (Herausgeber) und Thomas Kropf (Herausgeber)

The third part takes up the many implementation and analysis issues associated with evolving programs. Advanced applications of genetic programming to nontrivial real-world problems are described in …

Genetic programming's continued evolution, Peter J. Angeline. Part 1 Variations on the genetic programming theme: a comparative analysis of genetic programming, Una-May O'Reilly and Franz Oppacher; …

geschrieben von Kenneth E. Kinnear (Herausgeber) und Peter J. Angeline (Herausgeber)

This book constitutes the refereed proceedings of the Second International Conference on Research in Smart Cards, E-smart 2001, held in Cannes, France, in September 2001. The 20 revised full papers …

geschrieben von Isabelle Attali (Herausgeber) und Thomas Jensen (Herausgeber)

Collenberg/Wolz

geschrieben von Thomas Collenberg (Autor) und Matthias Wolz (Autor)

Prof. Dr. Georg Lausen lehrt und forscht an der Albert-Ludwigs-Universität Freiburg. Er ist Leiter der Arbeitsgruppe Datenbanken und Informationssysteme. Seine aktuellen Forschungsthemen …

Relationale Datenbanken sind seit vielen Jahren ein etablierter Bestandteil eines Informationssystems. Die zu beobachtende fortwährende Weiterentwicklung der technologischen Infrastruktur der …

1. Einführung
1.1 Grundbegriffe
1.2 Datenmodelle
1.3 Das relationale Datenmodell
2. Grundlagen von Anfragesprachen
2.1 Relationenalgebra
2.2 Relationenkalkül

geschrieben von Georg Lausen (Autor)

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)

Praise for the Series Mandatory for academic libraries supporting computer science departments. -CHOICE Since its first volume in 1960, Advances in Computers has presented detailed coverage of …

A. von Mayrhauser and A.M. Vans, Program Understanding: Models and Experiments. A.M. Davis, Software Prototyping. A. Dollas and J.D.S. Babcock, Rapid Prototyping of Microelectronic Systems. M.S. …

geschrieben von Marshall C. Yovits (Herausgeber) und Marvin Zelkowitz (Herausgeber)

This book constitutes the refereed proceedings of the 9th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2007, held in Tempe, AZ, USA in May 2007.
The 18 revised …

geschrieben von Chitta Baral (Herausgeber) und Gerhard Brewka (Herausgeber) und John Schlipf (Herausgeber)

This book contains a selection of papers presented at a symposium organized under the aegis of COST Telecommunications Action 285. COST (European Cooperation in the field of Scientific and Technical …

geschrieben von A. Nejat Ince (Herausgeber) und Arnold Bragg (Herausgeber)

This book constitutes the refereed proceedings of the 14th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2007, held in Yerevan, Armenia, October …

geschrieben von Nachum Dershowitz (Herausgeber) und Andrei Voronkov (Herausgeber)