Liknande böcker

Automata Theory and its Applications by Bakhadyr Khoussainov, Anil Nerode
Bok av Bakhadyr. author. Khoussainov
Automated Deduction in Classical and Non-Classical Logics: Selected Papers
Bok av Ricardo Caferra
Rough Sets and Current Trends in Computing: Second International Confere...
Bok av Wojciech Ziarko
Computer Science Logic : 12th International Workshop, CSL'98, Annual Con...
Bok av Katrin Seyr
Rough Sets : Mathematical Foundations
Bok av Lech Polkowski
Advances in Computational Intelligence and Learning : Methods and Applic...
Bok av Hans-Jurgen Zimmermann
Handbook of Logic in Computer Science. Volume 5, Logic and Algebraic Met...
Bok av Thomas S. E. Maibaum
Automated Reasoning with Analytic Tableaux and Related Methods : Interna...
Bok av Neil V Murray

Process Algebra and Probabilistic Methods: Performance Modeling and Verification

Bok av Holger Hermanns