The 3-volume set CCIS 1252 until CCIS 1254 constitutes the refereed proceedings of the 6th International Conference on Artificial ...
اقرأ المزيدThis book constitutes the refereed proceedings of the First International Conference on Artificial Intelligence in HCI, AI-HCI ...
اقرأ المزيدThis book presented theoretical methods to achieve correct software or hardware systems, including both functional and non ...
اقرأ المزيدThis book presented theoretical methods to achieve correct software or hardware systems, including both functional and non ...
اقرأ المزيدThe Automated Technology for Veri?cation and Analysis (ATVA) international symposium series was initiated in 2003, The main ...
اقرأ المزيدSoftware development for the automotive domain is currently subject to a silent revolution. On the one hand, software has ...
اقرأ المزيدThis book constitutes the refereed conference proceedings of the 12th International Conference on Bio-inspired Information ...
اقرأ المزيدThis book constitutes the refereed proceedings of the 9th International Conference on Bioinspired Optimization Methods and ...
اقرأ المزيدCMOS Active Inductors and Transformers: Principle, Implementation, and Applications provides a systematic presentation and ...
اقرأ المزيدThis book addresses the analysis and design principles of CMOS current mode circuits and their applications for data communications. ...
اقرأ المزيدThis book constitutes extended, revised and selected papers from the 10th International Conference on Cloud Computing and ...
اقرأ المزيدThis book constitutes the refereed proceedings of the 9thInternational Conference on Cloud Computing, CloudComp 2019, and ...
اقرأ المزيدThis book is concerned with studying the co-design methodology in general, and how to determine the more suitable interface ...
اقرأ المزيدThis book covers automata in depth, providing good intuitions along the way, and culminating with applications that are used ...
اقرأ المزيدHybrid Intelligent Systems has become an important research topic in computer science and a key application field in science ...
اقرأ المزيدThe four-volume set LNCS 3991-3994 constitutes the refereed proceedings of the 6th International Conference on Computational ...
اقرأ المزيدThe three-volume set LNCS 5101-5103 constitutes the refereed proceedings of the 8th International Conference on Computational ...
اقرأ المزيدThe three-volume set LNCS 5101-5103 constitutes the refereed proceedings of the 8th International Conference on Computational ...
اقرأ المزيدThe three-volume set LNCS 5101-5103 constitutes the refereed proceedings of the 8th International Conference on Computational ...
اقرأ المزيد