Liknande böcker

Logic and Its Applications : 7th Indian Conference, ICLA 2017, Kanpur, I...
Bok av Sujata Ghosh
Frontiers of Combining Systems : 11th International Symposium, FroCoS 20...
Bok av Clare Dixon
Automated Reasoning : 9th International Joint Conference, IJCAR 2018, He...
Bok av Aleksandar Zeljic
Intelligent Computer Mathematics
Bok av Michael Kohlhase
Theory and Applications of Models of Computation : 14th Annual Conferenc...
Bok
Logic, Language, Information, and Computation : 23rd International Works...
Bok av Jouko Vaananen
Unconventional Computation and Natural Computation : 15th International...
Bok av Martyn Amos
Principles and Practice of Constraint Programming : 23rd International C...
Bok av J Christopher Beck

Formal Modeling and Analysis of Timed Systems

Bok av David N Jansen