Electronic Books

Total Books: 41 - 60 /421
Applied Cryptography and Network Security

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

Lire la suite
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 ...

Lire la suite
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 ...

Lire la suite
Applied Parallel Computing

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

Lire la suite
Architecture Description Languages

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

Lire la suite
Architecture of Computing Systems

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

Lire la suite
Arithmetic of Finite Fields

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

Lire la suite
Artificial Intelligence Applications and Innovations

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

Lire la suite
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 ...

Lire la suite
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 ...

Lire la suite
Artificial Intelligence and Security

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

Lire la suite
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 ...

Lire la suite
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 ...

Lire la suite
Artificial Intelligence in HCI

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

Lire la suite
Artificial Life Models in Software

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

Lire la suite
Artificial Mind System

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

Lire la suite
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 ...

Lire la suite
Automated Nanohandling by Microrobots

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

Lire la suite
Automated Technology for Verification and Analysis

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

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
Total Books: 41 - 60 /421