"Automata Theory and its Applications" von Anil Nerode ist ein umfassendes Werk, das sich mit der Theorie der Automaten und deren vielfältigen Anwendungen in der Informatik und Logik befasst. Das Buch bietet eine detaillierte Einführung...

This book documents the scientific outcome of the Third International Workshop on Hybrid Systems, held in Ithaca, NY, USA, in October 1994. It presents a selection of carefully reviewed and revised full papers chosen from the workshop...