Vorlesungen über Informatik

P Dieses Lehrbuch bietet eine fundierte Einführung in die grundlegenden Begriffe und Methoden de...

Vorlesungen über Informatik

P Dieses Lehrbuch bietet eine fundierte Einführung in die grundlegenden Begriffe und Methoden de...

Abstract State Machines 2004.Advances in Theory and Practice

Abstract state machines (ASM) sharpen the Church-Turing thesis by the c- sideration of bounded re...

Service-Oriented and Cloud Computing

This book constitutes the refereed proceedings of the Third European Conference on Service-Orient...

Vorlesungen über Informatik 1

Automatische Komplexitätsanalyse funktionaler Programme

Inhaltsangabe1 Einleitung.- 2 Ansätze zur automatischen Komplexitätsanalyse.- 3 Das Maschinenmode...

Service-Oriented and Cloud Computing

This book constitutes the refereed proceedings of the 8th IFIP WG 2.14 European Conference on Ser...

Advances in Service-Oriented and Cloud Computing

This volume contains the technical papers presented in the workshops, which took place at the 7th...

Service-Oriented and Cloud Computing

This book constitutes the refereed proceedings of the 8th IFIP WG 2.14 European Conference on Ser...

Mobiliar- und Unternehmenshypotheken in Europa

Die Art und Weise wie Vermögensteile als Sicherheit verwendet werden können, hat sich innerhalb d...

Fließende Räume

Landkarten prägen unsere Vorstellung von historischen Räumen. Sie legitimieren herrschaftliche An...

Die Türkenkriege des 18. Jahrhunderts

Aufsatzband zur Ausstellung des Landesarchivs Baden-Württemberg und des Instituts für donauschwäb...