Formal methods for hardware design still find limited use in industry. Yet current practice has to change to cope with decreasing design times and increasing quality requirements. Meer
This book constitutes the thoroughly refereed post-workshop proceedings of the 6th International Workshop on Database Programming Languages, DBPL-6, held in Estes Park, Colorado, USA, in August 1997. Meer
Das Werk vermittelt medienadäquat die notwendigen Kenntnisse, um Konzeptionen und Drehbücher für interaktive E-Learning-Programme erstellen und Lernprogrammprojekte organisieren und leiten zu können. Meer
Expertensysteme er|ffnen dem Computer neue Anwendungsfelder,
da die Programme leistungsf{higer werden und mit geeigneten
Expertensystemwerkzeugen auch ohne spezielle Programmier-
kenntnisse entwickelt und gewartet werden k|nnen. Meer
Der Fachbericht Requirements Engineering '91 - `Structured Analysis' und verwandte Ansätze enthält alle Beiträge der gleichnamigen Tagung (10. bis 11. Meer
The refereed proceedings of the 10th International Symposium on Static Analysis, SAS 2003, held in San Diego, CA, USA in June 2003 as part of FCRC 2003. Meer
Dieses Buch gibt einen Überblick über objektorientierte Strukturen und Mechanismen und zeigt deren Realisierung in Smalltalk selbst und in Anwendungen durch Smalltalk. Meer
Der vorliegende Tagungsband enthalt Beitrage der 10. Fachtagung Kommuni kation in Verteilten Systemen (KiVS), die im Februar 1997 in Braunschweig stattfand. Meer
This book constitutes the refereed proceedings of the Joint Modular Languages Conference, JMLC'97, held in Linz, Austria, in March 1997.
The 24 revised full papers presented were carefully selected from a total of 55 submissions; also included are full papers of two invited presentations. Meer
This book constitutes the refereed proceedings of the First International Conference on Audio- and Video-based Biometric Person Authentication, AVBPA'97, held in Crans-Montana, Switzerland, in March 1997. Meer
Here is an ideal textbook on software visualization, written especially for students and teachers in computer science. It provides a broad and systematic overview of the area including many pointers to tools available today. Meer
The Fifth International Conference on Computational Science (ICCS 2005) held in Atlanta, Georgia, USA, May 22–25, 2005, continued in the tradition of p- vious conferences in the series: ICCS 2004 in Krakow, Poland; ICCS 2003 held simultaneously at two locations, in Melbourne, Australia and St. Meer
This volume constitutes the proceedings of the 4th International Conference on Algebraic Methodology and Software Technology, held in Montreal, Canada in July 1995. Meer
In recent years the Internet has become a source of data and information of indisputable importance and has immensely gained in acceptance and popularity. Meer
This book constitutes the thoroughly refereed post-proceedings of the First International Symposium on Leveraging Applications of Formal Methods, ISoLA 2004, held in Paphos, Cyprus in October/November 2004. Meer
This book constitutes the refereed proceedings of the 5th International Semantic Web Conference, ISWC 2006, held in Athens, GA, USA in November 2006. It features more than 52 papers that address all current issues in the field of the semantic Web, ranging from theoretical aspects to various applied topics. Meer
Data management systems play the most crucial role in building large application s- tems. Since modern applications are no longer single monolithic software blocks but highly flexible and configurable collections of cooperative services, the data mana- ment layer also has to adapt to these new requirements. Meer
The computational paradigm considered here is a conceptual, theoretical and formal framework situated above machines and living creatures (two instant- tions), su? Meer
This book constitutes the refereed proceedings of the Second International Conference on Mobile Ad-hoc and Sensor Networks, MSN 2006, held in Hong Kong, China in December 2006. Meer
This book constitutes the refereed proceedings of the 10th International Conference on Principles of Distributed Systems, OPODIS 2006, held at Bordeaux, France, in December 2006. 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