Der Einsatz objektorientierter Datenbanksysteme zur Datenverwaltung in ingenieurwissenschaftlichen Anwendungen erfordert zum einen eine weitreichende Integration der Anwender in den Datenbankentwurfsprozeß, zum anderen ergeben sich neue, bisher nur unzureichend berücksichtigte Anforderungen im Hinblick auf den Softwareentwurf. Meer
This volume contains the proceedings of LPAR '92, the
international conference on logic programming and automated
reasoning held in St. Petersburg in July 1992. Meer
A strong and fluent competency in mathematics is a necessary condition for scientific, technological and economic progress. However, it is widely recognized that problem solving, reasoning, and thinking processes are critical areas in which students' performance lags far behind what should be expected and desired. Meer
This volume comprises the proceedings of the First
All-Berlin Workshop on Nonclassical Logics and Information
Processing, held at the Free University of Berlin, November
9-10, 1990. Meer
Mit dem Erscheinen von PC-Versionen (seit 1988) hat die leistungsfähige Programmiersprache APL2 deutlich an Attraktivität und Verbreitung gewonnen. Als Entwicklungssystem für komplexe Anwendungen, die eine schnelle, interaktive Analyse großer Datenmengen erfordern, hat APL sich einen festen Platz in der Praxis erobert, z. Meer
Das Buch gibt dem Leser einen ]berblick }ber die g{ngigen
analogen und digitalen Modulationsverfahren. Nach einer
Einf}hrung in die zur mathematischen Beschreibung dieser
Verfahren notwendigen Ausdr}cke und Zusammenh{nge und der
Behandlung der Darstellung von Zufallssignalen werden
Modulationsverfahren mit analogem und digitalem Tr{gersignal
beschrieben. Meer
Relational matching is a method for finding the best
correspondences betweenstructural descriptions. It is
widely used in computer vision for the recognition and
location of objects in digital images. Meer
Modern cryptography depends heavily on number theory, with primality test ing, factoring, discrete logarithms (indices), and elliptic curves being perhaps the most prominent subject areas. Meer
This book contains the papers presented at CG2000 – the Second International ConferenceonComputersandGames–heldattheCURREACCenterinHa- matsu, Japan, on October 26–28, 2000. Meer
The field called Learning Classifier Systems is populated with romantics. Why shouldn't it be possible for computer programs to adapt, learn, and develop while interacting with their environments? Meer
1 Riickblick Das Schwerpunktprogramm (SPP) wurde zu einem Zeitpunkt initiiert, zu dem die Informatik einem stlirmischen Wandel unterworfen war: Neue Gebiete taten sich auf, neue Paradigmen libten ihren EinfluB aus. Meer
With 133 registered participants from 27 countries, including 19 participants fromindustry,theInternationalSymposiumonGraphDrawing2001(GD2001) that took place in Vienna, September 23–26, 2001, clearly demonstrated that the graph drawing community is still growing. Meer
This thesis is a summary of my work as a research assistant in the Computer Engineering Research Group of the Computer Science Department at Brandenburg Technical University, Cottbus, Germany. Meer
This volume is a self-contained introduction to interactive proof in high- order logic (HOL), using the proof assistant Isabelle 2002. Compared with existing Isabelle documentation, it provides a direct route into higher-order logic, which most people prefer these days. Meer
This volume contains the proceedings of the Fifth International Conference on Coordination Models and Languages (Coordination 2002), held in York, UK, 8–11 April 2002. Meer
This volume collects some of the papers presented at the Workshop on Do main Decompositionheld at ETH, Zurich,on June 7-8th 2001. The Workshop was organized by Luca F. Meer
Een AI-book is niet een boek dat geschreven is door AI maar een boek dat verrijkt is met AI. Het maakt de inhoud van een boek interactief via WhatsApp, zodat je ermee kunt chatten. Zie het als een razend slimme assistent die het boek perfect begrijpt en er alles uit onthouden heeft. Jij kunt deze assistent alles vragen. Vraag bijvoorbeeld hoe je iets kunt toepassen op jouw persoonlijke situatie, om een korte samenvatting, of wat de belangrijkste inzichten zijn. AI-books zijn alleen te gebruiken via WhatsApp, je hoeft er geen aparte app voor te installeren.
Meer informatie over AI-books