Sökt på: Sökresultat
totalt 12 träffar
Ansturm der Algorithmen
Der durch die „Blumenkinder“ des Silicon Valley entfesselte digitale Rausch droht, die Vernunft durch den Aberglauben zu ersetzen, man könne die Welt rechnend vervollkommnen. Wer …
Advances in Service-Oriented and Cloud Computing
This volume contains the technical papers presented in the workshops, which took place at the 7th European Conference on Service-Oriented and Cloud Computing, ESOCC 2018, held in …
Vorlesungen über Informatik
Dieses Lehrbuch bietet eine fundierte Einführung in die grundlegenden Begriffe und Methoden der Informatik. Die Autoren stellen dabei die Prinzipien der System-Modellierung und der …
Abstract State Machines 2004. Advances in Theory and Practice
Lokale Engagementförderung
In den letzten Jahren ist ein regelrechter Gründungsboom von Infrastruktureinrichtungen für bürgerschaftliches Engagement zu verzeichnen. Hierzu zählen Freiwilligenagenturen, …
Security by Design
Der Softwareingenieur von heute muss die grundlegende Disziplin der Entwicklung sicherer informationstechnischer Systeme verstehen. Nicht, weil es eine ein „gute Idee“ ist, sondern …
Service-Oriented and Cloud Computing
This book constitutes the refereed proceedings of the Third European Conference on Service-Oriented and Cloud computing, ESOCC 2014, held in Manchester, UK, in September 2014. The …
Service-Oriented and Cloud Computing
This book constitutes the refereed proceedings of the 8th IFIP WG 2.14 European Conference on Service-Oriented and Cloud Computing, ESOCC 2020, held in Heraklion, Crete, Greece, in …
Service-Oriented and Cloud Computing
This book constitutes the refereed proceedings of the 8th IFIP WG 2.14 European Conference on Service-Oriented and Cloud Computing, ESOCC 2022, held in Wittenberg, Germany, in …
Automatische Komplexitätsanalyse funktionaler Programme
Es gibt im Bereich der Softwaretechnik viele Werkzeuge, die den Programmentwicklungsprozeß unterstützen. Sie stellen die Korrektheit der Implementierung sicher, nicht aber ihre …
Vorlesungen über Informatik
Dieses Lehrbuch bietet eine fundierte Einführung in die grundlegenden Begriffe und Methoden der Informatik. Die Autoren stellen dabei die Prinzipien der System-Modellierung und der …