security  (37 074 Angebote unter 18 410 056 Artikeln)

This 2-volume set constitutes the thoroughly refereed post-conference proceedings of the 10th International Conference on Security and Privacy in Communication Networks, SecureComm 2014, held in Be...

Drawing on more than 30 case studies from around the world, this book offers a multitude of examples for improving the governance of small-scale fisheries. Contributors from some 36 countries argue...

12th International Conference, IDCS 2019, Naples, Italy, October 10-12, 2019, Proceedings

Proceedings of the XIX Edoardo Amaldi Conference, Accademia Nazionale dei Lincei, Rome, Italy, March 30-31, 2015

Drawing on more than 30 case studies from around the world, this book offers a multitude of examples for improving the governance of small-scale fisheries. Contributors from some 36 countries argue...

This book constitutes the refereed proceedings of the 5th International Conference on Internet and Distributed Computing Systems, IDCS 2012, held in Wuyishan, Fujian, China, in November 2012. The c...

Proceedings of the XIX Edoardo Amaldi Conference, Accademia Nazionale dei Lincei, Rome, Italy, March 30-31, 2015

The 32 full papers and 5 short papers presented were carefully reviewed and selected from 65 submissions.  The papers feature research in the area of logical frameworks and interactive proof assist...

This book constitutes the refereed post-conference proceedings of the EAI International Conference on Internet of Everything, IoECon 2022, which took place in Guimarães, Portugal in September 16-17...

Proceedings

This book constitutes the proceedings of the 5th International Conference on Interactive Theorem Proving, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, in Vienna, Austria, in July...

Seville, Spain, May 13th-15th, 2019 Proceedings