نتایج جستجو
Systems and Software Verification: Model-Checking Techniques and Tools
Béatrice Bérard, 2001
Electrical Engineering and Intelligent Systems
Eleazar Jimenez Serrano (auth.), 2013
Decision and Control in Uncertain Resource Systems
Marc Mangel (Eds.), 1985
Dynamics and Bifurcations of Non-Smooth Mechanical Systems
Dr. Remco I. Leine, 2004
Formal Systems and Recursive Functions
J N Crossley, 1965
Formal Systems and Recursive Functions (Logic Colloquium'63)
Crossley J.N., 1965
