Model checking is a computer-assisted method for the analysis of dynamical systems that can be mo...

This scarce antiquarian book is a facsimile reprint of the original. Due to its age, it may conta...

This book constitutes the thoroughly refereed post-conference proceedings of the 16th Internation...

This volume contains the proceedings of the second workshopon Computer Aided Verification, held a...

This book contains thoroughly refereed and revised papers from the 8th International Andrei Ersho...

Das Wunder von Manhattan

Kurz vor Eintritt der USA in den Zweiten Weltkrieg: Die Fliegenden Tiger sind eine Gruppe freiwil...

Model checking is a computer-assisted method for the analysis of dynamical systems that can be mo...

New edition of the award-winning collection, complete with Alan Clarke's witty, eye-catching illu...

Cases on Common Law Pleading, Selected From Decisions of English and American Courts

This work has been selected by scholars as being culturally important, and is part of the knowled...

This work has been selected by scholars as being culturally important and is part of the knowledg...

This work has been selected by scholars as being culturally important, and is part of the knowled...

This work has been selected by scholars as being culturally important, and is part of the knowled...