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

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

Showing results 1 to 11 of 11

Issue Date	Title	Contributor(s)
2018	Digital Heritage. Progress in Cultural Heritage: Documentation, Preservation, and Protection	Ioannides, Marinos. ;; Fink, Eleanor. ;; Brumana, Raffaella. ; (orcid)0000-0002-3359-981X ; http://orcid.org/0000-0002-3359-981X. ;; Patias, Petros. ;; Doulamis, Anastasios. ;; Martins, Joeo. ; (orcid)0000-0002-2248-2595 ; http://orcid.org/0000-0002-2248-
2018	Formal Methods for Industrial Critical Systems	Howar, Falk. ;; Barnat, Jieee. ;
2018	Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems	Margaria, Tiziana. ;; Steffen, Bernhard. ;
2018	Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice	Margaria, Tiziana. ;; Steffen, Bernhard. ;
2017	Reactive Programming with Angular and ngrx	Farhi, Oren. ;
2018	Software Architecture	Cuesta, Carlos E. ; (orcid)0000-0003-0286-4219 ; http://orcid.org/0000-0003-0286-4219. ;; Garlan, David. ; (orcid)0000-0002-6735-8301 ; http://orcid.org/0000-0002-6735-8301. ;; Perez, Jennifer. ; (orcid)0000-0003-3192-7995 ; http://orcid.org/0000-0003-319
2018	Software Process Improvement and Capability Determination	Stamelos, Ioannis. ;; O'Connor, Rory V. ;; Rout, Terry. ;; Dorling, Alec. ;
2017	Software Product Management	Kittlaus, Hans-Bernd. ;; Fricker, Samuel A. ;
2018	Static Analysis	Podelski, Andreas. ;
2018	Systems, Software and Services Process Improvement	Larrucea, Xabier. ;; Santamaria, Izaskun. ;; O'Connor, Rory V. ;; Messnarz, Richard. ;
2018	Verification and Evaluation of Computer and Communication Systems	Atig, Mohamed Faouzi. ; (orcid)0000-0001-8229-3481 ; http://orcid.org/0000-0001-8229-3481. ;; Bensalem, Saddek. ;; Bliudze, Simon. ; (orcid)0000-0002-7900-5271 ; http://orcid.org/0000-0002-7900-5271. ;; Monsuez, Bruno. ;

Showing results 1 to 11 of 11