che-chandler.de

Unfoldings

Model checking is a prominent technique used in the hardware and software industries for autom...

Finite and Algorithmic Model Theory

Intended for researchers and graduate students in theoretical computer science and mathematical l...

Ruthless - Gnadenlos

Als eine seiner Schülerinnen entführt wird, werden bei High-School-Wrestling-Coach Harry Summer s...

Black Warrant - Tödlicher Auftrag

Auftragskiller Nick Falconi steht kurz vor der Rente, als ihn Killer-Kollege LaRusso, für einen l...

Foundations of Software Science and Computation Structures

This book constitutes the proceedings of the 20th International Conference on Foundations of Soft...

Automata, Languages, and Programming

This two-volume set of LNCS 8572 and LNCS 8573 constitutes the refereed proceedings of the 41st I...

Application and Theory of Petri Nets 2002

Automata, Languages, and Programming

This two-volume set of LNCS 8572 and LNCS 8573 constitutes the refereed proceedings of the 41st I...

Automated Technology for Verification and Analysis

This book constitutes the refereed proceedings of the 17th International Symposium on Automated T...

Jalisco 1910-2010

Sobre la familia realidades y representaciones sociales y culturales

Automata Theory