Electronic Books

Total Books: 21 - 40 /180

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 ...

Automated Technology for Verification and Analysis

This book presented theoretical methods to achieve correct software or hardware systems, including both functional and non ...

Automated Technology for Verification and Analysis

This book presented theoretical methods to achieve correct software or hardware systems, including both functional and non ...

Automated Technology for Verification and Analysis

This book constitutes the refereed proceedings of the 18th International Symposium on Automated Technology for Verification ...

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 ...

Automated Technology for Vertification and Analysis

The Automated Technology for Veri?cation and Analysis (ATVA) international symposium series was initiated in 2003, The main ...

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 ...

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 ...

COTS-Based Software Systems

The theme “Build and Conquer” : software development is an engineering discipline, and not an artistic expression. Once ...

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 ...

Component-Based Software Development for Embedded Systems

Embedded systems are ubiquitous. They appear in cell phones, microwave ovens, refrigerators, consumer electronics, cars, ...

Component-Based Software Engineering (vol. # 4063)

CBSE is concerned with the development of software-intensive systems from reusable parts (components), the development of ...

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 ...

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 ...

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 ...

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 ...

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 ...

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 ...

Computer Safety, Reliability, and Security

This book constitutes the proceedings of the 39th International Conference on Computer Safety, Reliability and Security, ...

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 ...

Total Books: 21 - 40 /180