Electronic Books

Total Books: 1 - 20 /122

A Modular Calculus for the Average Cost of Data Structuring

This volume, with forewords by Greg Bollella and Dana Scott, presents novel programs based on the new advances in this area, ...

Accelerator Programming Using Directives

This book constitutes the refereed post-conference proceedings of the 6th International Workshop on Accelerator Programming ...

Advanced Parallel Processing Technologies

APPT 2005: the 6th International Workshop on Advanced Parallel Processing Technologies. APPT is a biennial workshop on parallel ...

Advances in Robot Kinematics

This book presents 53 independently reviewed papers which embody the latest advances in the theory, design, control and application ...

Advances in Robot Kinematics: Analysis and Design

This book presents the most recent research advances in the theory, design, control and application of robot systems, which ...

Algoritmi : Lo spirito dell’informatica = Algorithms: The spirit of information technology

Algorithms are the heart of computer science and mathematics, since without them the use of computers would not be possible. ...

An Invitation to Abstract Mathematics

this book begins with a playful exploration of the building blocks of mathematics, such as definitions, axioms, and proofs. ...

Applied Cryptography and Network Security

The two-volume set LNCS 12726 + 12727 constitutes the proceedings of the 19th International Conference on Applied Cryptography ...

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

Applied Parallel Computing

These proceedings contain the papers presented at PARA 2002, the Sixth In-ternational Conference on Applied Parallel Computing. ...

Architecture of Computing Systems

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

Artificial Intelligence and Soft Computing

The two-volume set LNCS 12415 and 12416 constitutes the refereed proceedings of of the 19th International Conference on Artificial ...

Artificial Intelligence and Soft Computing

The two-volume set LNCS 12415 and 12416 constitutes the refereed proceedings of of the 19th International Conference on Artificial ...

Artificial Intelligence and Soft Computing : 19th International Conference, ICAISC 2020, Zakopane, Poland, October 12-14, 2020, Proceedings, Part I

The two-volume set LNCS 12415 and 12416 constitutes the refereed proceedings of of the 19th International Conference on Artificial ...

Artificial Intelligence and Soft Computing : 19th International Conference, ICAISC 2020, Zakopane, Poland, October 12-14, 2020, Proceedings, Part II

The two-volume set LNCS 12415 and 12416 constitutes the refereed proceedings of of the 19th International Conference on Artificial ...

CONCUR 2007 – Concurrency Theory

This book includes model checking, process calculi, minimization and equivalence checking, types, semantics, probability, ...

CONCUR 2007 – Concurrency Theory

This book includes model checking, process calculi, minimization and equivalence checking, types, semantics, probability, ...

Cloud Computing and Services Science

This book constitutes extended, revised and selected papers from the 10th International Conference on Cloud Computing and ...

Computational Methods in Systems Biology : 6th International Conference CMSB 2008, Rostock, Germany, October 12-15, 2008. Proceedings

This book constitutes the refereed proceedings of the 6th International Conference on Computational Methods in Systems Biology, ...

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

Total Books: 1 - 20 /122