Sökt på: Sökresultat
totalt 10 träffar
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 …
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 …
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 …
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 …
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 …
Mobiliar- Und Unternehmenshypotheken in Europa
Die Art und Weise wie Vermoegensteile als Sicherheit verwendet werden koennen, hat sich innerhalb der Rechtsordnungen Europas unterschiedlich entwickelt. Eine Reihe von …
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 …
Abstract State Machines 2004. Advances in Theory and Practice
Abstract state machines (ASM) sharpen the Church-Turing thesis by the c- sideration of bounded resources for computing devices. They view computations as an evolution of a state. …
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, …