Electronic Books

Total Books: 141 - 160 /332

This book constitutes the proceedings of the 26th International Conference on Parallel and Distributed Computing, Euro-Par ...

This book addresses the challenge of analyzing and understanding the evolutionary dynamics of complex biological systems ...

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 (FSE) 2006 is the 13th in a series of workshops on symmetric cryptography. It has been sponsored ...

This book constitutes the thoroughly refereed post-proceedings of the 10th International Conference on Financial Cryptography ...

This book constitutes the refereed proceedings of two workshops held at the 24th International Conference on Financial Cryptography ...

The author investigates proofs of correctness of realistic security protocols in a formal, intuitive setting. The protocols ...

This volume contains papers presented at the 7th International Conference on Formal Engineering Methods (ICFEM 2005), 1-4 ...

This book constitutes the proceedings of the 40th IFIP WG 6.1 International Conference on Formal Techniques for Distributed ...

FORTE (Formal Techniques for Networked and Distributed Systems) 2005 was sp- sored by Working Group 6.1, Technical Committee ...

This book constitutes the proceedings of the 14th International Workshop on Frontiers in Algorithmics, FAW 2020, held in ...

This book constitutes the proceedings of the 7th International Conference on Future Data and Security Engineering, FDSE 2020, ...

The purpose of the book is to summarize existing information and assess the level of these uncertainties. We want to stimulate ...

This book constitutes the thoroughly refereed post-conference proceedings of the 6th International Workshop on Graph Structures ...

The objective of this book is to develop protocols for salinity and sodicity assessment and develop mitigation and adaptation ...

This two-volume set LNCS 12789 and 12790 constitutes the refereed proceedings of the Third International Conference on HCI ...

This book constitutes the proceedings of the 12th International Conference on Human Haptic Sensing and Touch Enabled Computer ...

Internet traffic is increasing at a rate of at least 200% per year. The world’s largest Internet Service Provider has recently ...

This book cover topics such as: e-health technology design; well-being technology; biomedical and health informatics; and ...

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