Liknande böcker

New Frontiers in Quantitative Methods in Informatics : 7th Workshop, Inf...
Bok av Simonetta Balsamo
Hybrid Metaheuristics : 7th International Workshop, HM 2010, Vienna, Aus...
Bok av María J. Blesa
Integrated Formal Methods : 10th International Conference, IFM 2013, Tur...
Bok av Einar Broch. Johnsen
Computer Performance Engineering : 11th European Workshop, EPEW 2014, Fl...
Bok av András. Horváth
Computer Performance Engineering : 13th European Workshop, EPEW 2016, Ch...
Bok av Dieter Fiems
Theory and Applications of Satisfiability Testing - SAT 2010 : 13th Inte...
Bok av Ofer. Strichman
Metaprogramming in R
Bok av Thomas Mailund
Quantitative Evaluation of Systems : 12th International Conference, QEST...
Bok av Javier Campos

Formal Modeling and Analysis of Timed Systems

Bok av Víctor. Braberman