che-chandler.de

Advances in Software Engineering

This tutorial presents a collection of research papers on themes discussed at the Lipari Summer S...

Berechenbarkeit Komplexität Logik

Endlich liegt der ,,Klassiker' der Theoretischen Informatik, der Studenten und Forschern ein unen...

Structures of Computing

Structures of Computing explains the behavioral meaning of fundamental concepts of computing from...

Abstract State Machines 2003: Advances in Theory and Practice

This book constitutes the refereed proceedings of the 10th International Workshop on Abstract Sta...

Modeling Companion for Software Practitioners

This book uses a variety of applications to illustrate a modeling method that helps practitioners...

Subjektorientiertes Prozessmanagement

Architecture Design and Validation Methods

This book grew out of material which was taught at the International Summer School on Architectur...

Berechenbarkeit, Komplexität, Logik

Java and the Java Virtual Machine

The origin of this book goes back to the Dagstuhl seminar on Logic for System Engineering, organi...

Subject-Oriented Business Process Management

This book presents a novel business process management methodology that focuses on process act...