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

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

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

Issue Date	Title	Contributor(s)
2018	Abstract State Machines, Alloy, B, TLA, VDM, and Z	Butler, Michael. ;; Raschke, Alexander. ;; Hoang, Thai Son. ;; Reichl, Klaus. ;
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	Bidirectional Transformations	Gibbons, Jeremy. ; editor. ;; Stevens, Perdita. ; editor. ;
2018	Computer Aided Verification	Chockler, Hana. ;; Weissenbacher, Georg. ;
2017	Computer Science ee Theory and Applications	Weil, Pascal. ;
2018	Descriptional Complexity of Formal Systems	Konstantinidis, Stavros. ;; Pighizzini, Giovanni. ;
2017	Descriptional Complexity of Formal Systems	Pighizzini, Giovanni. ;; Cempeanu, Cezar. ;
2017	Engineering Trustworthy Software Systems	Bowen, Jonathan P. ;; Liu, Zhiming. ;; Zhang, Zili. ;
2017	Formal Techniques for Distributed Objects, Components, and Systems	Bouajjani, Ahmed. ;; Silva, Alexandra. ;
2018	Foundations of Software Science and Computation Structures	Baier, Christel. ;; Dal Lago, Ugo. ;
2017	Grand Timely Topics in Software Engineering	Cunha, Jeecome. ;; Fernandes, Joeo P. ;; Lemmel, Ralf. ;; Saraiva, Joeo. ;; Zaytsev, Vadim. ;
2018	Implementation and Application of Automata	Cempeanu, Cezar. ;
2017	Implementation and Application of Automata	Carayol, Arnaud. ;; Nicaud, Cyril. ;
2018	Inductive Logic Programming	Lachiche, Nicolas. ;; Vrain, Christel. ;
2018	Interactive Theorem Proving	Avigad, Jeremy. ;; Mahboubi, Assia. ;
2018	Lectures on Runtime Verification	Bartocci, Ezio, ; editor. ;; Falcone, Ylies, ; editor. ;
2018	Logic-Based Program Synthesis and Transformation	Fioravanti, Fabio. ;; Gallagher, John P. ;
2018	Machines, Computations, and Universality	Durand-Lose, Jereme. ;; Verlan, Sergey. ;

Showing results 1 to 20 of 32 بعدی