This work relates different approaches for the modelling of parallel processes. On the one hand there are the so-called "process algebras" or "abstract programming languages" with Milner's Calculus of Communicating Systems (CCS) and the theoretical version of Hoare's Communicating Sequential Processes (CSP) as main representatives. Meer
Equations play a vital role in many fields of mathematics, computer science, and artificial intelligence. Therefore, many proposals have been made to integrate equational, functional, and logic programming. Meer
Systeme paralleler Prozesse gehören seit jeher zu den reizvollsten Forschungs gegenständen der Informatik. Gleichzeitig klafft die Lücke zwischen Theorie und den Bedürfnissen des Software-Ingenieurs in kaum einem anderen Gebiet so sehr wie in diesem. Meer
During the past 25 years computers have been introduced in industry to perform technical tasks such as drafting, design, process planning, data acquisition, process control, and quality assurance. Meer
Dieses Buch enthält die Beiträge der 5. GI/ITG-Fachtagung über Messung, Modellierung und Bewertung von Rechensystemen und Netzen, die im September 1989 in Braunschweig veranstaltet wurde. Meer
Die 13. Jahrestagung für Künstliche Intelligenz, GWAI-89, ist auch 1989 wieder ein Forum, auf dem ein beachtliches Spektrum der KI-Forschung in der Bundesrepublik präsentiert wird. Meer
Identifying factors which stimulate regional growth and international competitiveness and using them for forecasting are the aims of this book. The author proposes the use of heuristic optimization techniques, Monte Carlo simulation experiments and Lasso-type estimators to avoid bias or misleading findings. Meer
Die Grundlagen der Expertensystemtechnik, der aktuelle technische Stand, ihre Einsatzgebiete, ihre Verbreitung im Bereich der industriellen Produktion und in Verwaltung und Büro und die absehbare Entwicklung werden in diesem Buch kritisch betrachtet. Meer
Die zunehmende Automatisierung vieler technischer Prozesse wird heute durch den Einsatz von Rechnern unterschiedlicher Leistungsklassen unterstützt. Bei den dabei zu lösenden Aufgaben sind häufig Realzeitbedingungen einzuhalten. Meer
In 2005, the twelfth edition of the conference Discrete Geometry for Computer Imagery was held in Poitiers, France, April 13–15, 2005. The conference was organized by the laboratory SIC (“Signal, Image, Communications”) of the University of Poitiers, Centre National de la Recherche Scienti? Meer
Welcometothe6thInternationalWorkshoponPassiveandActiveMeasurement, held in Boston, Massuchusetts. PAM 2005 was organized by Boston University, with ?nancial support from Endace Measurement Systems and Intel. Meer
This volume contains the papers presented at the 2nd International Conference on Se- rityinPervasiveComputing(SPC2005)heldApril6–8,2005inBoppard,Germany. Meer
Molecular simulation is a widely used tool in biology, chemistry, physics and engineering. This book contains a collection of articles by leading researchers who are developing new methods for molecular modelling and simulation. Meer
Welcome to the proceedings of the 5th International Conference on Scale-Space and PDE Methods in Computer Vision. The scale-space concept was introduced by Iijima more than 40 years ago and became popular later on through the works of Witkin and Koenderink. Meer
These proceedings record the papers presented at the 4th International Conf- ence of B and Z Users (ZB 2005), held in the city of Guildford in the south-east ofEngland. Meer
This volume contains a selection of papers presented at the 15th International Conference on Applications of Declarative Programming and Knowledge M- agement, INAP 2004, and the 18th Workshop on Logic Programming, WLP 2004, which were held jointly in Potsdam, Germany, from March 4th to 6th, 2004. Meer
This monograph is dedicated to a novel approach for uniform modelling of timed and hybrid systems. Heinrich Rust presents a time model which allows for both the description of discrete time steps and continuous processes with a dense real-number time model. Meer
The inaugural Information Security Practice and Experience Conference (ISPEC) was held on April 11–14, 2005, in Singapore. As applications of information security technologies become pervasive, - sues pertaining to their deployment and operation are becoming increasingly important. Meer
The 7th International Conference on Typed Lambda Calculi and Applications (TLCA 2005) was held in Nara (Japan) from 21 to 23 April 2005, as part of the Joint Conference on Rewriting, Deduction and Programming (RDP 2005). 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