نتایج جستجو
Achieving Safety and Reliability with Computer Systems
J. Y. Bromell, S. J. Sadler (auth.), B. K. Daniels (eds.), 1987
A century of electrical engineering and computer science at MIT, 1882-1982
Karl L. Wildes and Nilo A. Lindgren., 1985.
Abstraction and Specification in Program Development (MIT Electrical Engineering and Computer Science Series)
Barbara Liskov, John V. Guttag, 1986
Advanced Computer and Communication Engineering Technology: Proceedings of ICOCOE 2015
Hamzah Asyrani Sulaiman, Mohd Azlishah Othman, Mohd Fairuz Iskandar Othman, Yahaya Abd Rahim, Naim Che Pee (eds.), 2016
Advances in Computer Science and its Applications: CSA 2013
Mohammad S. Obaidat (auth.), Hwa Young Jeong, Neil Y. Yen, James J. (Jong Hyuk) Park (eds.), 2014
Advances in Computer Science and Ubiquitous Computing: CSA & CUTE
Doo-Soon Park, Han-Chieh Chao, Young-Sik Jeong, James J. (Jong Hyuk) Park (eds.), 2015
Advances in Computer, Communication, Control and Automation
Huibin Li, Mengxi Ning, Lei Hou, Tianqi Zhou (auth.), Yanwen Wu (eds.), 2012
Dynamics On and Of Complex Networks: Applications to Biology, Computer Science, and the Social Sciences
Sitabhra Sinha (auth.), Niloy Ganguly, Andreas Deutsch, Animesh Mukherjee (eds.), 2009
Modeling and Simulation of Computer Networks and Systems: Methodologies and Applications
Mohammad S. Obaidat, Faouzi Zarai, Petros Nicopolitidis, 2015
Performance Evaluation by Simulation and Analysis with Applications to Computer Networks
Committee to Develop a Long-Term Research Agenda for the Network for Earthquake Engineering Simulation (NEES), National Research Council, 2015
The practical OPNET user guide for computer network simulation
Adarshpal S Sethi; Vasil Y Hnatyshin, 2013
Open channel flow : numerical methods and computer applications
Jeppson, Roland W, 2011
Advances in Computational Science and Engineering: Second International Conference, FGCN 2008, Workshops and Symposia, Sanya, Hainan Island, China, December 13-15, 2008 in Computer and Information Science)
Tai-Hoon Kim, Laurence Tianruo Yang, Jong Hyuk Park, Alan Chin-Chen Chang, Thanos Vasilakos, Yan Zhang, Damien Sauveron, Xingang Wang, Young-Sik Jeong, 2009
Analysis and Simulation of Electrical and Computer Systems
Lesław Gołębiowski, Damian Mazur (eds.), 2015
Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures
Marco Bernardo, Ferruccio Damiani, Reiner Hähnle, Einar Broch Johnsen, Ina Schaefer (eds.), 2014
Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures
Marco Bernardo, Ferruccio Damiani, Reiner Hähnle, Einar Broch Johnsen, Ina Schaefer (eds.), 2014
