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

مرور بر اساس تاریخ انتشار QA76.63 ;

Showing results 1 to 15 of 15

Issue Date	Title	Contributor(s)
2018	Computer Aided Verification	Chockler, Hana. ;; Weissenbacher, Georg. ;
2018	Computer Safety, Reliability, and Security	Gallina, Barbara. ; (orcid)0000-0002-6952-1053 ; http://orcid.org/0000-0002-6952-1053. ;; Skavhaug, Amund. ;; Schoitsch, Erwin. ; (orcid)0000-0002-0335-5443 ; http://orcid.org/0000-0002-0335-5443. ;; Bitsch, Friedemann. ; (orcid)0000-0001-6152-4121 ; http
2018	Descriptional Complexity of Formal Systems	Konstantinidis, Stavros. ;; Pighizzini, Giovanni. ;
2018	Developments in Language Theory	Hoshi, Mizuho. ;; Seki, Shinnosuke. ;
2018	A First Introduction to Quantum Computing and Information	Zygelman, Bernard. ;
2018	Foundations of Software Science and Computation Structures	Baier, Christel. ;; Dal Lago, Ugo. ;
2018	Implementation and Application of Automata	Cempeanu, Cezar. ;
2018	Logic-Based Program Synthesis and Transformation	Fioravanti, Fabio. ;; Gallagher, John P. ;
2018	Quantitative Evaluation of Systems	McIver, Annabelle. ;; Horvath, Andras. ; (orcid)0000-0002-8210-545X ; http://orcid.org/0000-0002-8210-545X. ;
2018	Reachability Problems	Potapov, Igor. ;; Reynier, Pierre-Alain. ;
2018	Rewriting Logic and Its Applications	Rusu, Vlad. ;
2018	Static Analysis	Podelski, Andreas. ;
2018	Theoretical Aspects of Computing ee ICTAC 2018	Fischer, Bernd. ; (orcid)0000-0002-1815-218X ; http://orcid.org/0000-0002-1815-218X. ;; Uustalu, Tarmo. ; (orcid)0000-0002-1297-0579 ; http://orcid.org/0000-0002-1297-0579. ;
2018	Tools and Algorithms for the Construction and Analysis of Systems	Beyer, Dirk. ;; Huisman, Marieke. ;
2018	Unconventional Computation and Natural Computation	Stepney, Susan. ;; Verlan, Sergey. ;

Showing results 1 to 15 of 15