Euro-Par 2020: Parallel Processing
This book constitutes the proceedings of the 26th International Conference on Parallel and Distributed Computing, Euro-Par ...
Lee mas
Evolutionary Genomics : Statistical and Computational Methods
This book addresses the challenge of analyzing and understanding the evolutionary dynamics of complex biological systems ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
Financial Cryptography and Data Security (vol. # 4107)
This book constitutes the thoroughly refereed post-proceedings of the 10th International Conference on Financial Cryptography ...
Lee mas
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 ...
Lee mas
Formal Correctness of Security Protocols
The author investigates proofs of correctness of realistic security protocols in a formal, intuitive setting. The protocols ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
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, ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
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 ...
Lee masHigh-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 ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
