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

Search

Results 1-10 of 108 (Search time: 0.0 seconds).

Item hits:

Issue Date	Title	Contributor(s)
2018	Deep Belief Nets in C++ and CUDA C: Volume 2	Masters, Timothy. ;
2018	Deep Belief Nets in C++ and CUDA C: Volume 1	Masters, Timothy. ;
2018	Trends in Functional Programming	Wang, Meng. ;; Owens, Scott. ;
2018	New Opportunities for Software Reuse	Capilla, Rafael. ;; Gallina, Barbara. ;; Cetina, Carlos. ;
2018	Formal Methods	Havelund, Klaus. ;; Peleska, Jan. ;; Roscoe, Bill. ;; de Vink, Erik. ;
2018	Tests and Proofs	Dubois, Catherine. ;; Wolff, Burkhart. ;
2018	Coordination Models and Languages	Di Marzo Serugendo, Giovanna. ;; Loreti, Michele. ;
2018	Interactive Theorem Proving	Avigad, Jeremy. ;; Mahboubi, Assia. ;
2018	Evaluation of Novel Approaches to Software Engineering	Damiani, Ernesto. ;; Spanoudakis, George. ;; Maciaszek, Leszek. ;
2018	Logic-Based Program Synthesis and Transformation	Fioravanti, Fabio. ;; Gallagher, John P. ;