programmieren  (5 263 Angebote unter 18 330 411 Artikeln)

This book constitutes the proceedings of the 5th International Symposium on Model-Based Safety and Assessment, IMBSA 2017, held inTrento, Italy, in September 2017.The 17 revised full papers present...

This volume of the Lecture Notes in Computer Science series contains all papers accepted for presentation at the 20th IFIP/IEEE International Workshop on Distributed Systems: Operations and Managem...

This monograph reports the development of an approach to computer-aided control system design (CACSD). Of primary concern is the quality of cooperation between the designer and his computer. The de...

Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday

13th International Conference, ICIC 2017, Liverpool, UK, August 7-10, 2017, Proceedings, Part II

8th International Conference, ITP 2017, Brasília, Brazil, September 26-29, 2017, Proceedings

Research and development of autonomics have come a long way, and we are - lighted to present the proceedings of the 4th IEEE International Workshop on Modeling Autonomic Communications Environments...

Relational databases have quickly come to be regarded as a natural and efficient way of organizing information. Duplicate data can be eliminated and powerful set-theoretic operations can be used to...

IT Enabled Services

This book constitutes the proceedings of the 13th IFIP WG 10.3International Conference on Network and Parallel Computing, NPC 2016,held in Xi'an, China, in October 2016.The 17 full papers presented...

Eine kompakte Einführung

Die Datenmodellierung ist eine weit verbreitete Technik innerhalb der Ent wicklung rechnergestützter Infonnationssysteme. Sie ist in den zwei Jahr zehnten ihrer Existenz Gegenstand intensiver Forsc...

Models and Languages.- Looking for a Definition of Dynamic Distributed Systems.- Adaptive Workflow Nets for Grid Computing.- A Stochastic Semantics for BioAmbients.- A Categorical Observation of Ti...

The papers cover the entire field of human-computer interaction, addressing major advances in knowledge and effective use of computers in a variety of application areas. The papers included in this...

Das Buch ist eine Einführung in die logische Programmierung in der Form eines Kurses, in dem die Grundlagen der logischen Programmierung, die logische Programmiersprache Prolog und ihre Programmier...