کتابخانه دیجیتال دانشگاه مهرالبرز: جستجوی پیشرفته

جستجوی پیشرفته

نتایج 611-620از5013(زمان جستجو:0.0ثانیه).

رکورد(های) بازیابی شده :

تاریخ انتشار	عنوان	پدیدآورنده
2018	Static Analysis	Podelski, Andreas. ;
2018	Tests and Proofs	Dubois, Catherine. ;; Wolff, Burkhart. ;
2018	Augmented Cognition: Intelligent Technologies	Schmorrow, Dylan D. ;; Fidopiastis, Cali M
2018	Beginning SVG	Libby, Alex. ;
2017	Beginning Windows Mixed Reality Programming	Ong, Sean. ;
2018	Simulation of dynamic systems with MATLAB and Simulink /	Klee, Harold. ;; Allen, Randal, ; 1964- ;
2018	Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems	Margaria, Tiziana. ;; Steffen, Bernhard. ;
2018	Rewriting Logic and Its Applications	Rusu, Vlad. ;
2018	A First Introduction to Quantum Computing and Information	Zygelman, Bernard. ;
2018	Coordination Models and Languages	Di Marzo Serugendo, Giovanna. ;; Loreti, Michele. ;