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

مرور بر اساس تاریخ انتشار Mathematical logic. ;

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

Issue Date	Title	Contributor(s)
2018	Abstract State Machines, Alloy, B, TLA, VDM, and Z	Butler, Michael. ;; Raschke, Alexander. ;; Hoang, Thai Son. ;; Reichl, Klaus. ;
2018	Advanced Computing Strategies for Engineering	Smith, Ian F. C. ;; Domer, Bernd. ;
2017	Application and Theory of Petri Nets and Concurrency	Aalst, Wil van der. ;; Best, Eike. ;
2018	Automated Reasoning	Galmiche, Didier. ;; Schulz, Stephan. ;; Sebastiani, Roberto. ;
2018	Automated Technology for Verification and Analysis	Lahiri, Shuvendu K. ;; Wang, Chao. ;
2018	Cellular Automata and Discrete Complex Systems	Baetens, Jan M. ;; Kutrib, Martin. ;
2017	Cellular Automata and Discrete Complex Systems	Dennunzio, Alberto. ;; Formenti, Enrico. ;; Manzoni, Luca. ;; Porreca, Antonio E. ;
2018	Computational Artifacts	Turner, Raymond. ;
2018	Computer Aided Verification	Chockler, Hana. ;; Weissenbacher, Georg. ;
2017	Computer Science ee Theory and Applications	Weil, Pascal. ;
2018	Data Management Technologies and Applications	Filipe, Joaquim. ;; Bernardino, Jorge. ;; Quix, Christoph. ;
2017	Deep Learning with Python	Ketkar, Nikhil. ;
2017	Descriptional Complexity of Formal Systems	Pighizzini, Giovanni. ;; Cempeanu, Cezar. ;
2018	Diagrammatic Representation and Inference	Chapman, Peter. ;; Stapleton, Gem. ;; Moktefi, Amirouche. ;; Perez-Kriz, Sarah. ;; Bellucci, Francesco. ;
2018	Formal Grammar 2018	Foret, Annie. ;; Kobele, Greg. ;; Pogodalla, Sylvain. ;
2017	Formal Techniques for Distributed Objects, Components, and Systems	Bouajjani, Ahmed. ;; Silva, Alexandra. ;
2018	Foundations of Information and Knowledge Systems	Ferrarotti, Flavio. ;; Woltran, Stefan. ;
2017	Grand Timely Topics in Software Engineering	Cunha, Jeecome. ;; Fernandes, Joeo P. ;; Lemmel, Ralf. ;; Saraiva, Joeo. ;; Zaytsev, Vadim. ;
2018	Graph Transformation	Lambers, Leen. ;; Weber, Jens. ;
2018	Handbook of Model Checking	Clarke, Edmund M. ;; Henzinger, Thomas A. ;; Veith, Helmut. ;; Bloem, Roderick. ;

Showing results 1 to 20 of 39 بعدی