This tutorial presents a collection of research papers on themes discussed at the Lipari Summer S...
Endlich liegt der ,,Klassiker' der Theoretischen Informatik, der Studenten und Forschern ein unen...
Structures of Computing explains the behavioral meaning of fundamental concepts of computing from...
This book constitutes the refereed proceedings of the 10th International Workshop on Abstract Sta...
This book uses a variety of applications to illustrate a modeling method that helps practitioners...
This book grew out of material which was taught at the International Summer School on Architectur...
The origin of this book goes back to the Dagstuhl seminar on Logic for System Engineering, organi...
This book presents a novel business process management methodology that focuses on process act...