che-chandler.de

Subjektorientiertes Prozessmanagement

Advances in Software Engineering

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

Subject-Oriented Business Process Management

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

Java and the Java Virtual Machine

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

Architecture Design and Validation Methods

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

Modeling Companion for Software Practitioners

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

Abstract State Machines 2003: Advances in Theory and Practice

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

Berechenbarkeit, Komplexität, Logik

Berechenbarkeit, Komplexität, Logik

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...

Modeling Companion for Software Practitioners

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