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