This volume contains the proceedings of the 12th International Conference on Computer Aided Veri?cation (CAV 2000) held in Chicago, Illinois, USA during 15-19 July 2000. Meer
Dieses verständliche Handbuch gibt einen fundierten Überblick über das Capability Maturity Model (CMM) des Software Engineering Instituts (SEI).
Das CMM ist ein Modell, das häufig bei der Software-Prozessverbesserung verwendet wird. Meer
The Internet is spawning many new markets and electronic commerce is changing many market conventions. Not only are old commercial practices being adapted to the new conditions of immediacy brought forth by the global networks, but new products and services, as well as new practices, are beginning to appear. Meer
This volume contains the proceedings of the 11th International Conference on Rewriting Techniques and Applications. The conference was held July 10-12, 2000,attheUniversityofEastAnglia,Norwich,U. Meer
These lecture notes by very authoritative scientists survey recent advances of mathematics driven by industrial application showing not only how mathematics is applied to industry but also how mathematics has drawn benefit from interaction with real-word problems. Meer
In 1992 it seemed very difficult to answer the question whether it would be possible to develop a portable system for the automatic recognition and translation of spon taneous speech. Meer
The papers in this volume were selected for presentation at the 6th Annual International Computing and Combinatorics Conference (COCOON2000), in Sydney, Australia from July 26 - 28, 2000. Meer
Thisvolumecontainsoneinvitedand?fteensubmittedpaperspresentedatthe Tenth International Conference on Inductive Logic Programming (ILP2000). The?fteenacceptedpaperswereselectedbytheprogramcommitteefromthe 37paperssubmittedtotheconference. Meer
Researchers in Artificial Intelligence have traditionally been classified into two categories: the “neaties” and the “scruffies”. According to the scruffies, the neaties concentrate on building elegant formal frameworks, whose properties are beautifully expressed by means of definitions, lemmas, and theorems, but which are of little or no use when tackling real-world problems. Meer
After the advent of data mining and its successful application on conventional data, Web-related information has been an appropriate and increasingly popular target of knowledge discovery. Meer
Artificial intelligence has, traditionally focused on solving human-centered problems like natural language processing or common-sense reasoning. On the other hand, for a while now soft computing has been applied successfully in areas like pattern recognition, clustering, or automatic control. Meer
This volume contains the proceedings of SARA 2000, the fourth Symposium on Abstraction, Reformulations, and Approximation (SARA). The conference was held at Horseshoe Bay Resort and Conference Club, Lake LBJ, Texas, July 26– 29, 2000, just prior to the AAAI 2000 conference in Austin. Meer
Clusters of workstations/PCs connected by o?-the-shelf networks have become popular as platforms for cost-e?ective parallel computing. Technological - vances in both hardware and software have made such a network-based parallel computingplatform an a? Meer
Die Gesellschaft für Informatik veranstaltet ihre 30. Jahrestagung, die Informatik 2000, vom 19.- 22. September 2000 in Berlin. Die Jahrestagung 2000 beschäftigt sich mit den zentralen Themen "Zukunft der Informatik-Ausbildung","Bioinformatik", "Aktuelle Trends in der Informatik" und "Softwaretechnik 2000". Meer
This book constitutes the thoroughly refereed post-proceedings of the Joint ERCIM/Compulog-Net Workshop on New Trends in Constraints held in Paphos, Cyprus, Greece in October 1999. Meer
Die Deutsche Arbeitsgemeinschaft für Mustererkennung veranstaltet seit 1978 jährlich an verschiedenen Orten ein wissenschaftliches Symposium mit dem Ziel, Aufgabenstellungen, Denkweisen und Forschungsergebnisse aus den Gebieten der Mustererkennung vorzustellen, den Erfahrungs- und Ideenaustausch zwischen den Fachleuten anzuregen und den Nachwuchs zu fördern. Meer
CSL is the annual conference of the European Association for Computer Science Logic (EACSL). CSL2000 is the 14th such annual conference, thus witnessing the importance and sustained international interest in the application of me- ods from mathematical logic to computer science. Meer
This volume contains the proceedings of the 11th International Conference on Concurrency Theory (CONCUR 2000) held in State College, Pennsylvania, USA, during 22-25 August 2000. Meer
The algebraic approach to system speci?cation and development, born in the 1970sas a formalmethod for abstractdata types, encompassestoday the formal design of integrated hardware and software systems, new speci? Meer
This book is the proceedings volume of the 10th International Conference on Field Programmable Logic and its Applications (FPL), held August 27 30, 2000 in Villach, Austria, which covered areas like reconfigurable logic (RL), reconfigurable computing (RC), and its applications, and all other aspects. Meer
Als je jouw studieboeken gekocht hebt bij hanzestudybook.nl, kun je geselecteerde titels moeiteloos terugverkopen aan Noordhoff.
Geen vragen, geen gedoe en lekker duurzaam.
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