Electronic Books

Total Books: 141 - 160 /332

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 ...

Total Books: 141 - 160 /332