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, ...
Continue reading
Accelerator Programming Using Directives
This book constitutes the refereed post-conference proceedings of the 6th International Workshop on Accelerator Programming ...
Continue reading
Advanced Parallel Processing Technologies
APPT 2005: the 6th International Workshop on Advanced Parallel Processing Technologies. APPT is a biennial workshop on parallel ...
Continue reading
Advances in Robot Kinematics
This book presents 53 independently reviewed papers which embody the latest advances in the theory, design, control and application ...
Continue reading
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 ...
Continue reading
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. ...
Continue reading
An Invitation to Abstract Mathematics
this book begins with a playful exploration of the building blocks of mathematics, such as definitions, axioms, and proofs. ...
Continue reading
Applied Cryptography and Network Security
The two-volume set LNCS 12726 + 12727 constitutes the proceedings of the 19th International Conference on Applied Cryptography ...
Continue reading
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
Applied Parallel Computing
These proceedings contain the papers presented at PARA 2002, the Sixth In-ternational Conference on Applied Parallel Computing. ...
Continue reading
Architecture of Computing Systems
This book constitutes the proceedings of the 34th International Conference on Architecture of Computing Systems, ARCS 2021, ...
Continue reading
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 ...
Continue reading
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 ...
Continue reading
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 ...
Continue reading
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 ...
Continue reading
CONCUR 2007 – Concurrency Theory
This book includes model checking, process calculi, minimization and equivalence checking, types, semantics, probability, ...
Continue reading
CONCUR 2007 – Concurrency Theory
This book includes model checking, process calculi, minimization and equivalence checking, types, semantics, probability, ...
Continue reading
Cloud Computing and Services Science
This book constitutes extended, revised and selected papers from the 10th International Conference on Cloud Computing and ...
Continue reading
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, ...
Continue reading
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 ...
Continue reading
