استعراض "Hardware" (عرض 141 - 160 من 5527 النتائج)

Systems, Architectures, Modeling, and Simulation - SAMOS

Efficient Formal Verification of Finite Non-Terminating Programs

22nd International Conference, NDES 2014, Albena, Bulgaria, July 4-6, 2014. Proceedings

ICWE 2019 International Workshops, DSKG, KDWEB, MATWEP, Daejeon, South Korea, June 11, 2019, Proceedings

A Special Issue of the Journal of Heuristics

Proceedings of the 3rd International Conference on Security with Intelligent Computing and Big-data Services (SICBS), 4–6 December 2019, New Taipei City, Taiwan

Getting Started and Building Projects with the ASUS Single-Board Computer

Theory and Applications

17th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2009, Florianópolis, Brazil, October 12-15, 2009, Revised Selected Papers

Oracle Service Bus

13th International Colloquium, SIROCCO 2006, Chester, UK, July 2-5, 2006, Proceedings

Security and Analysis

14th International Workshop, JSSPP 2009, Rome, Italy, May 29, 2009, Revised Papers

With Applications in Nuclear Engineering

6th International Conference on Mathematical Methods, Models and Architectures for Comüuter Network Security, MMM-ACNS 2012, St. Petersburg, Russia, October 17-19, 2012, Proceedings

Brain-like and Wave-oriented Electrodynamic Algorithms