Liknande böcker

Tools and Algorithms for the Construction and Analysis of Systems : 21st...
Bok av Christel. Baier
Reachability Problems
Bok av Parosh Aziz. Abdulla
Reachability Problems : 6th International Workshop, RP 2012, Bordeaux, F...
Bok av Alain. Finkel
Reachability Problems : 4th International Workshop, RP 2010, Brno, Czech...
Bok av Antonín. Kučera
Hybrid Metaheuristics : 7th International Workshop, HM 2010, Vienna, Aus...
Bok av María J. Blesa
Computation, Logic, Games, and Quantum Foundations. The Many Facets of S...
Bok av Bob. Coecke
Concurrency, Compositionality, and Correctness : Essays in Honor of Will...
Bok av Dennis. Dams
Reachability Problems : 5th International Workshop, RP 2011, Genoa, Ital...
Bok av Giorgio. Delzanno

Tools and Algorithms for the Construction and Analysis of Systems

Bok av Erika. Ábrahám