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

مرور بر اساس تاریخ انتشار Computer simulation. ;

Showing results 1 to 20 of 31 بعدی >

Issue Date	Title	Contributor(s)
2018	Algorithmic Game Theory	Deng, Xiaotie. ;
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. ;
2017	Cellular Automata and Discrete Complex Systems	Dennunzio, Alberto. ;; Formenti, Enrico. ;; Manzoni, Luca. ;; Porreca, Antonio E. ;
2018	Computer Aided Verification	Chockler, Hana. ;; Weissenbacher, Georg. ;
2017	Computer Information Systems and Industrial Management	Saeed, Khalid. ;; Homenda, Weeadyseeaw. ;; Chaki, Rituparna. ;
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. ;
2018	Formal Methods for Industrial Critical Systems	Howar, Falk. ;; Barnat, Jieee. ;
2018	Formal Modeling and Analysis of Timed Systems	Jansen, David N. ; (orcid)0000-0002-6636-3301 ; http://orcid.org/0000-0002-6636-3301. ;; Prabhakar, Pavithra. ; (orcid)0000-0002-5368-3234 ; http://orcid.org/0000-0002-5368-3234. ;
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	Integrated Formal Methods	Furia, Carlo A. ;; Winter, Kirsten. ;
2017	Introduction to Computational Social Science	Cioffi-Revilla, Claudio. ;
2018	Model Checking Software	Gallardo, Marea del Mar. ;; Merino, Pedro. ;
2018	Modelling and Simulation for Autonomous Systems	Mazal, Jan. ; editor. ;

Showing results 1 to 20 of 31 بعدی