کتابخانه دیجیتال دانشگاه مهرالبرز: Browsing HannanDL

مرور بر اساس تاریخ انتشار Simulation and Modeling. ;

Showing results 1 to 18 of 18

Issue Date	Title	Contributor(s)
2017	Application and Theory of Petri Nets and Concurrency	Aalst, Wil van der. ;; Best, Eike. ;
2018	Automated Technology for Verification and Analysis	Lahiri, Shuvendu K. ;; Wang, Chao. ;
2018	Computer Aided Verification	Chockler, Hana. ;; Weissenbacher, Georg. ;
2018	Computer Simulations of Space Societies	Bainbridge, William Sims. ;
2018	Exploring Occupant Behavior in Buildings	Wagner, Andreas. ;; OeeBrien, William. ;; Dong, Bing. ;
2017	Fire Safety of Historical Buildings	Bernardini, Gabriele. ;
2018	Formal Methods	Havelund, Klaus. ;; Peleska, Jan. ;; Roscoe, Bill. ;; de Vink, Erik. ;
2017	Guide to Computational Modelling for Decision Processes	Berry, Stuart. ;; Lowndes, Val. ;; Trovati, Marcello. ;
2018	Honeypot Frameworks and Their Applications: A New Framework	NG, Chee Keong. ;; Pan, Lei. ;; Xiang, Yang. ;
2018	Honeypot Frameworks and Their Applications: A New Framework	NG, Chee Keong. ;; Pan, Lei. ;; Xiang, Yang. ;
2017	Human Mental Workload: Models and Applications	Longo, Luca. ;; Leva, M. Chiara. ;
2018	Model Checking Software	Gallardo, Marea del Mar. ;; Merino, Pedro. ;
2018	Modelling and Simulation for Autonomous Systems	Mazal, Jan. ; editor. ;
2018	Monte Carlo and Quasi-Monte Carlo Methods	Owen, Art B. ;; Glynn, Peter W. ;
2018	Multi-layer Pavement System under Blast Load	Wu, Jun. ;; Wu, Hao. ;
2018	Security by Design	Masys, Anthony J. ; editor. ;
2018	Stochastic Finite Element Methods	Papadopoulos, Vissarion. ;; Giovanis, Dimitris G. ;
2018	Tools and Methods of Program Analysis	Itsykson, Vladimir. ;; Scedrov, Andre. ;; Zakharov, Victor. ;

Showing results 1 to 18 of 18