Euro-Par 2020: Parallel Processing
This book constitutes the proceedings of the 26th International Conference on Parallel and Distributed Computing, Euro-Par ...
اقرأ المزيد
Evolutionary Genomics : Statistical and Computational Methods
This book addresses the challenge of analyzing and understanding the evolutionary dynamics of complex biological systems ...
اقرأ المزيد
Expert Network Time Protocol
Have you ever tried to figure out why your computer clock is off, or why your emails somehow have the wrong timestamp? Most ...
اقرأ المزيد
Fast Software Encryption (vol. # 4047)
Fast Software Encryption (FSE) 2006 is the 13th in a series of workshops on symmetric cryptography. It has been sponsored ...
اقرأ المزيد
Financial Cryptography and Data Security (vol. # 4107)
This book constitutes the thoroughly refereed post-proceedings of the 10th International Conference on Financial Cryptography ...
اقرأ المزيد
Financial Cryptography and Data Security : FC 2020 International Workshops, AsiaUSEC, CoDeFi, VOTING, and WTSC, Kota Kinabalu, Malaysia, February 14, 2020, Revised Selected Papers
This book constitutes the refereed proceedings of two workshops held at the 24th International Conference on Financial Cryptography ...
اقرأ المزيد
Formal Correctness of Security Protocols
The author investigates proofs of correctness of realistic security protocols in a formal, intuitive setting. The protocols ...
اقرأ المزيد
Formal Methods and Software Engineering (vol. # 3785)
This volume contains papers presented at the 7th International Conference on Formal Engineering Methods (ICFEM 2005), 1-4 ...
اقرأ المزيد
Formal Techniques for Distributed Objects, Components, and Systems
This book constitutes the proceedings of the 40th IFIP WG 6.1 International Conference on Formal Techniques for Distributed ...
اقرأ المزيد
Formal Techniques for Networked and Distributed Systems - FORTE 2005
FORTE (Formal Techniques for Networked and Distributed Systems) 2005 was sp- sored by Working Group 6.1, Technical Committee ...
اقرأ المزيد
Frontiers in Algorithmics : 14th International Workshop, FAW 2020, Haikou, China, October 19-21, 2020, Proceedings
This book constitutes the proceedings of the 14th International Workshop on Frontiers in Algorithmics, FAW 2020, held in ...
اقرأ المزيد
Future Data and Security Engineering : 7th International Conference, FDSE 2020, Quy Nhon, Vietnam, November 25–27, 2020, Proceedings
This book constitutes the proceedings of the 7th International Conference on Future Data and Security Engineering, FDSE 2020, ...
اقرأ المزيد
Global Climatology and Ecodynamics : Anthropogenic Changes to Planet Earth
The purpose of the book is to summarize existing information and assess the level of these uncertainties. We want to stimulate ...
اقرأ المزيد
Graph Structures for Knowledge Representation and Reasoning 6th International Workshop, GKR 2020, Virtual Event, September 5, 2020, Revised Selected Papers
This book constitutes the thoroughly refereed post-conference proceedings of the 6th International Workshop on Graph Structures ...
اقرأ المزيد
Guideline for Salinity Assessment, Mitigation and Adaptation Using Nuclear and Related Techniques
The objective of this book is to develop protocols for salinity and sodicity assessment and develop mitigation and adaptation ...
اقرأ المزيد
HCI in Games: Experience Design and Game Mechanics
This two-volume set LNCS 12789 and 12790 constitutes the refereed proceedings of the Third International Conference on HCI ...
اقرأ المزيد
Haptics: Science, Technology, Applications 12th International Conference, EuroHaptics 2020, Leiden, The Netherlands, September 6–9, 2020, Proceedings
This book constitutes the proceedings of the 12th International Conference on Human Haptic Sensing and Touch Enabled Computer ...
اقرأ المزيدHigh-performance Packet Switching Architectures
Internet traffic is increasing at a rate of at least 200% per year. The world’s largest Internet Service Provider has recently ...
اقرأ المزيد
How AI Impacts Urban Living and Public Health
This book cover topics such as: e-health technology design; well-being technology; biomedical and health informatics; and ...
اقرأ المزيد
Human Aspects of Information Security and Assurance : 14th IFIP WG 11.12 International Symposium, HAISA 2020, Mytilene, Lesbos, Greece, July 8–10, 2020, Proceedings
This book constitutes the proceedings of the 14th IFIP WG 11.12 International Symposium on Human Aspects of Information Security ...
اقرأ المزيد
