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

Search

Results 1771-1780 of 4843 (Search time: 0.0 seconds).

Item hits:

Issue Date	Title	Contributor(s)
2017	Critical systems :	International Workshop on Formal Methods for Industrial Critical Systems ; (22nd : ; 2017 : ; Turin, Italy), ; jointly held conference ;; International Workshop on Automated Verification of Critical Systems ; (17th : ; 2017 : ; Turin, Italy), ; jointly he; Petrucci, Laure, ; editor ;; Seceleanu, Cristina, ; editor ;; Cavalcanti, Ana, ; editor ;
2017	Wireless Algorithms, Systems, and Applications	Ma, Liran. ;; Khreishah, Abdallah. ;; Zhang, Yan. ;; Yan, Mingyuan. ;
2017	Entertainment computing -- ICEC 2017 :	ICEC (Conference) ; (16th : ; 2017 : ; Tsukuba-shi, Japan) ;; Munekata, Nagisa, ; editor ;; Kunita, Itsuki, ; editor ;; Hoshino, Junichi, ; editor ;
2017	Structural information and communication complexity :	Colloquium on Structural Information and Communication Complexity ; (24th : ; 2017 : ; Porquerolles, France) ;; Das, Shantanu, ; editor ;; Tixeuil, Sebastien, ; editor ;
2017	Challenges and opportunity with big data :	Monterey Workshop ; (19th : ; 2016 : ; Beijing, China) ;; Zhang, Lin, ; editor ;; Ren, Lei, ; 1976- ; editor ;; Kordon, Fabrice, ; editor ;
2018	Business value of software	Harris, Michael (kettering University Flint Mi) ; aut ;; Harris, Michael D. S. ; aut ;
2018	Software Analysis, Testing, and Evolution	Bu. ;; Hofmann
2018	Secure IT Systems	Gruschka. ;; Hofmann
2017	Expert SQL Server In-Memory OLTP	Korotkevitch, Dmitri. ;
2017	Guide to distributed simulation with HLA /	Topeu, Okan ;; Oeeuztezen, Halit ;