Das vorliegende Buch behandelt diese Aspekte, wobei in besonderem Mal3e Wert auf die beiden genannten Aspekte gelegt wird. Die Autoren der einzelnen Kapitel sind Mitarbeiter des Fachgebietes Softwaretechnik der Siemens AG, die aIle beruf lich mit der Thematik befal3t sind… Meer
This volume contains the proceedings of the conference on Computer-Aided Veric ation (CAV 2001),held in Paris, Palaisde laMutualit e, July 18{22,2001. CAV 2001 was the 13th in a series of conferences dedicated to the advan- ment of the theory and practice of computer-assisted formal analysis methods… Meer
This volume consists of the 42 papers presented at the International Workshop on Energy Minimization Methods in Computer Vision and Pattern Recognition (EMMCVPR2001),whichwasheldatINRIA(InstitutNationaldeRechercheen Informatique et en Automatique) in Sophia Antipolis, France, from September 3… Meer
Das "2. Symposium Simulationstechnik" fand vom 25. - 27. September 1984 an der Technischen Universitat Wien statt. Die Veranstaltung setzte die Reihe einer von ASlM/Bl, der deutschsprachigen Simulationsvereinigung (FachausschuB 4.5 der Besellschaft fUr lnformatik) ins Leben gerufenen Tagungen fort… Meer
This book constitutes the refereed proceedings of the 5th International Symposium, Latin American Theoretical Informatics, LATIN 2002, held in Cancun, Mexico, in April 2002. The 44 revised full papers presented together with a tutorial and 7 abstracts of invited contributions were carefully reviewed… 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. Coordination models and languages close the conceptual gap - tween the cooperation model used by the constituent parts of an… Meer
This workshop on “Protocols for High-Speed Networks” is the seventh in a s- cessful series of international workshops, well known for their small and focused target audience, that provide a sound basis for intensive discussions of hi- qualityand timelyresearch work… Meer
This book contains the proceedings of the Fourth International Workshop on Product Family Engineering, PFE-4, held in Bilbao, Spain, October 3–5, 2001. This workshop was the fourth in a series started in 1996, with the same s- ject, software product-family engineering… Meer
E-Business has become a fact for almost all companies. But what are the key technologies for economically successful e-commerce? In this book readers will find all concepts that will coin tomorrow’s e-business: virtual sales assistants (shopbots), personalized web pages, electronic market places… Meer
AISC 2002, the 6th international conference on Arti?cial Intelligence and S- bolic Computation, and Calculemus 2002, the 10th symposium on the Integ- tion of Symbolic Computation and Mechanized Reasoning, were held jointly in Marseille, France on July 1–5, 2002… Meer
Was ist das Wesen der Compilierung? Ershov hat 1977 einen Vortrag /24/ gehalten mit dem Titel "On the essence of compilation". Darin führt er seine Idee aus, daß Compilation ein spezieller Fall von sog… Meer
Schon seit 1971 werden an der Fachhochschule Furtwangen Simulationsprogramme fur elektronische Schaltungen in der Ingenieurausbildung eingesetzt /0.1/. 1973 wurde uns von einem ehemaligen Absolventen, der damals in Berkeley, USA studierte, das Programm SPICE 1 (~mulation frogram with Integrated… Meer
Dieses Buch vermittelt Techniken zur Formalisierung der Semantik (Bedeutungsinhalte) von Programmiersprachen. Zunächst werden unterschiedliche Formalisierungsansätze (die operationelle, denotationelle und axiomatische Semantik) vorgestellt und diskutiert… Meer
Die Qualität von Software wird zunehmend zu einem bedeuten den Faktor bei der industriellen Software-Entwicklung. Viel fältige Anstrengungen wurden daher in den letzten Jahren unternommen, um die Komplexität der Software-Qualitäts sicherung zu beherrschen… Meer
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… Meer
Bei immer höherer Integrationsdichte digitaler Schaltkreise gewinnt das Zeitverhalten der Signale eine immer stärkere Bedeutung. Das Buch untersucht systematisch die Zeitabläufe in digitalen, synchron getakteten Schaltwerken… 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
