R3 in Geomatics: Research, Results and Review
This book constitutes the refereed proceedings of the First International Workshop in memory of...
EAN: 9783030627997
Provable and Practical Security
This book constitutes the refereed proceedings of the 14th International Conference on Provable...
EAN: 9783030625757
Algorithms for Sensor Systems
This book constitutes revised selected papers from the 16th International Symposium on Algorithms...
EAN: 9783030624002
LATIN 2020: Theoretical Informatics
This book constitutes the refereed proceedings of the 14th Latin American Symposium on...
EAN: 9783030617912
Ad-Hoc, Mobile, and Wireless Networks
This book constitutes the refereed proceedings of the 19th International Conference on Ad-Hoc,...
EAN: 9783030617455
Reachability Problems
This book constitutes the refereed proceedings of the 14th International Conference on...
EAN: 9783030617387
Applied Cryptography and Network Security Workshops
EAN: 9783030616373
Artificial Intelligence and Soft Computing
The two-volume set LNCS 12415 and 12416 constitutes the refereed proceedings of of the 19th...
EAN: 9783030614003
Software Foundations for Data Interoperability and Large Scale Graph Data Analytics
This book constitutes refereed proceedings of the 4th International Workshop on Software...
EAN: 9783030611323
Information and Communications Security
This book constitutes the refereed proceedings of the 22nd International Conference on...
EAN: 9783030610777
Runtime Verification
This book constitutes the refereed proceedings of the 20th International Conference on Runtime...
EAN: 9783030605070
Graph-Theoretic Concepts in Computer Science
This book constitutes the revised papers of the 46th International Workshop on Graph-Theoretic...
EAN: 9783030604394
Swarm Intelligence
This book constitutes the proceedings of the 12th International Conference on Swarm Intelligence,...
EAN: 9783030603755
Computer Algebra in Scientific Computing
This book constitutes the refereed proceedings of the 22nd International Workshop on Computer...
EAN: 9783030600259
Theory and Applications of Models of Computation
This book constitutes the refereed proceedings of the 16th Annual Conference on Theory and...
EAN: 9783030592660
Automated Technology for Verification and Analysis
EAN: 9783030591519
Algorithms for Data and Computation Privacy
This book introduces the state-of-the-art algorithms for data and computation privacy.
EAN: 9783030588953
Construction of Fundamental Data Structures for Strings
EAN: 9783030551070
Numerical Semigroups and Applications
This book is an extended and revised version of "Numerical Semigroups with Applications,"...
EAN: 9783030549428
Distributed Applications and Interoperable Systems
This book constitutes the proceedings of the 20th IFIP International Conference on Distributed...
EAN: 9783030503222
Human Aspects of IT for the Aged Population. Technologies, Design and User Experience
This three volume set of LNCS 12207, 12208 and 12209 constitutes the refereed proceedings of the...
EAN: 9783030502515
Human Aspects of IT for the Aged Population. Healthy and Active Aging
This three volume set of LNCS 12207, 12208 and 12209 constitutes the refereed proceedings of the...
EAN: 9783030502485
Human Aspects of IT for the Aged Population. Technology and Society
This three volume set of LNCS 12207, 12208 and 12209 constitutes the refereed proceedings of the...
EAN: 9783030502317
Social Computing and Social Media. Participation, User Experience, Consumer Experience, and Applications of Social Computing
This two-volume set LNCS 12194 and 12195 constitutes the refereed proceedings of the 12th...
EAN: 9783030495756
