Electronic Books

Total Books: 41 - 60 /421
978-3-030-57878-7
Applied Cryptography and Network Security

This two-volume set of LNCS 12146 and 12147 constitutes the refereed proceedings of the 18th International Conference on ...

Continue reading
978-3-030-61638-0
Applied Cryptography and Network Security Workshops : ACNS 2020 Satellite Workshops, AIBlock, AIHWS, AIoTS, Cloud S&P, SCI, SecMT, and SiMLA, Rome, Italy, October 19–22, 2020, Proceedings

This book constitutes the proceedings of the satellite workshops held around the 18th International Conference on Applied ...

Continue reading
978-3-030-61702-8
Applied Informatics : Third International Conference, ICAI 2020, Ota, Nigeria, October 29–31, 2020, Proceedings

This book constitutes the thoroughly refereed papers of the Second International Conference on Applied Informatics, ICAI ...

Continue reading
978-3-540-33498-9
Applied Parallel Computing

Introduction The PARA workshops in the past were devoted to parallel computing methods in science and technology. There have ...

Continue reading
978-0-387-24590-4
Architecture Description Languages

These proceedings record the papers presented at the Workshop onArchitecture Description Languages ...

Continue reading
978-3-030-81682-7
Architecture of Computing Systems

This book constitutes the proceedings of the 34th International Conference on Architecture of Computing Systems, ARCS 2021, ...

Continue reading
978-3-030-68869-1
Arithmetic of Finite Fields

This book constitutes the thoroughly refereed post-workshop proceedings of the 8th International Workshop on the Arithmetic ...

Continue reading
978-3-030-49190-1
Artificial Intelligence Applications and Innovations

This book constitutes the refereed proceedings of two International Workshops held as parallel events of the 16th IFIP WG ...

Continue reading
978-3-030-49161-1
Artificial Intelligence Applications and Innovations

This 2 volume-set of IFIP AICT 583 and 584 constitutes the refereed proceedings of the 16th IFIP WG 12.5 International Conference ...

Continue reading
1119810450
Artificial Intelligence Hardware Design : Challenges and Solutions / Albert Chun-Chen Liu, Oscar Ming Kin Law

Learn foundational and advanced topics in Neural Processing Unit design with real-world examples from leading voices in the ...

Continue reading
978-981-15-8101-4
Artificial Intelligence and Security

The 3-volume set CCIS 1252 until CCIS 1254 constitutes the refereed proceedings of the 6th International Conference on Artificial ...

Continue reading
978-981-15-8083-3
Artificial Intelligence and Security : 6th International Conference, ICAIS 2020, Hohhot, China, July 17–20, 2020, Proceedings, Part I

The 3-volume set CCIS 1252 until CCIS 1254 constitutes the refereed proceedings of the 6th International Conference on Artificial ...

Continue reading
978-981-15-8086-4
Artificial Intelligence and Security : 6th International Conference, ICAIS 2020, Hohhot, China, July 17–20, 2020, Proceedings, Part II

The 3-volume set CCIS 1252 until CCIS 1254 constitutes the refereed proceedings of the 6th International Conference on Artificial ...

Continue reading
978-3-030-50334-5
Artificial Intelligence in HCI

This book constitutes the refereed proceedings of the First International Conference on Artificial Intelligence in HCI, AI-HCI ...

Continue reading
978-1-84628-214-0
Artificial Life Models in Software

Artificial Life Models in Software presents software tools, environments and realities dealing with creation, imitation and ...

Continue reading
978-3-540-32403-4
Artificial Mind System

This book is written from an engineer's perspective of the mind. "Artificial Mind System" exposes the reader to a broad ...

Continue reading
978-3-540-28756-8
Artificial Neural Networks: Formal Models and Their Applications – ICANN 2005

The second volume contains 162 contributions related to Formal Models and their Applications and deals with new neural network ...

Continue reading
978-1-84628-978-1
Automated Nanohandling by Microrobots

Automated Nanohandling by Microrobots introduces an actuation principle for such microrobots and presents a new robot design. ...

Continue reading
978-3-540-31969-6
Automated Technology for Verification and Analysis

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

Continue reading
978-3-540-75596-8
Automated Technology for Verification and Analysis

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

Continue reading
Total Books: 41 - 60 /421