Artificial Neural Networks - ICANN 2008 : 18th International Conference, Prague, Czech Republic, September 3-6, 2008, Proceedings, Part II
This two volume set LNCS 5163 and LNCS 5164 constitutes the refereed proceedings of the 18th International Conference on ...
Lire la suite
Automated Technology for Verification and Analysis
This book presented theoretical methods to achieve correct software or hardware systems, including both functional and non ...
Lire la suite
Automated Technology for Verification and Analysis
This book presented theoretical methods to achieve correct software or hardware systems, including both functional and non ...
Lire la suite
Automated Technology for Verification and Analysis
This book constitutes the refereed proceedings of the 18th International Symposium on Automated Technology for Verification ...
Lire la suite
Automated Technology for Verification and Analysis : 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings
This book constitutes the refereed proceedings of the 6th International Symposium on Automated Technology for Verification ...
Lire la suite
Automated Technology for Vertification and Analysis
The Automated Technology for Veri?cation and Analysis (ATVA) international symposium series was initiated in 2003, The main ...
Lire la suite
Automatic Speech Recognition on Mobile Devices and over Communication Networks
This book brings together leading academic researchers and industrial practitioners to address the issues in this emerging ...
Lire la suite
Boosting Collaborative Networks 4.0 : 21st IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2020, Valencia, Spain, November 23–25, 2020, Proceedings
This book constitutes the refereed proceedings of the 21st IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE ...
Lire la suite
COTS-Based Software Systems
The theme “Build and Conquer” : software development is an engineering discipline, and not an artistic expression. Once ...
Lire la suite
Co-design for System Acceleration
This book is concerned with studying the co-design methodology in general, and how to determine the more suitable interface ...
Lire la suite
Component-Based Software Development for Embedded Systems
Embedded systems are ubiquitous. They appear in cell phones, microwave ovens, refrigerators, consumer electronics, cars, ...
Lire la suite
Component-Based Software Engineering (vol. # 4063)
CBSE is concerned with the development of software-intensive systems from reusable parts (components), the development of ...
Lire la suite
Composition of Embedded Systems. Scientific and Industrial Issues
This book discussed a range of challenges in embedded systems design that require further major advances in software and ...
Lire la suite
Composition of Embedded Systems. Scientific and Industrial Issues
This book discussed a range of challenges in embedded systems design that require further major advances in software and ...
Lire la suite
Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I
The two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer ...
Lire la suite
Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II
The two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer ...
Lire la suite
Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I
This two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer ...
Lire la suite
Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II
This two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer ...
Lire la suite
Computer Safety, Reliability, and Security
This book constitutes the proceedings of the 39th International Conference on Computer Safety, Reliability and Security, ...
Lire la suite
Computer Safety, Reliability, and Security (vol. # 4166)
The conference focuses on the state of the art, expe- ence and new trends in the areas of safety, security and reliability ...
Lire la suite
