Sökt på: Sökresultat
totalt 5 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 …
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. …