Informatik (15 757 Artikel)

This book constitutes the refereed proceedings of the 24rd Brazilian Symposium on Formal Methods, SBMF 2021, which was held in December 2021. Due to COVID 19-pandemic it took place virtually. The 8...

Relational Calculus for Actionable Knowledge

Relational Calculus for Actionable Knowledge

This book constitutes the refereed proceedings of the 22 International Conference on Cryptology in India, INDOCRYPT 2021, which was held in Jaipur, India, during December 12-15, 2021.

This book focuses on neuromorphic computing principles and organization and how to build fault-tolerant scalable hardware for large and medium scale spiking neural networks with learning capabiliti...

This book focuses on neuromorphic computing principles and organization and how to build fault-tolerant scalable hardware for large and medium scale spiking neural networks with learning capabiliti...

This book constitutes the refereed proceedings of the 20 International Conference on Cryptology and Network Security, CANS 2021, which was held during December 13-15, 2021. The conference was origi...

17th International Conference, ICISS 2021, Patna, India, December 16-20, 2021, Proceedings

4th IFIP TC 12 International Conference, ICCIDS 2021, Chennai, India, March 18-20, 2021, Revised Selected Papers

4th IFIP TC 12 International Conference, ICCIDS 2021, Chennai, India, March 18-20, 2021, Revised Selected Papers

This two-volume set constitutes the refereed proceedings of the 17th International Conference on Collaborative Computing: Networking, Applications, and Worksharing, CollaborateCom 2021, held in Oct...

This two-volume set constitutes the refereed proceedings of the 17th International Conference on Collaborative Computing: Networking, Applications, and Worksharing, CollaborateCom 2021, held in Oct...

This book constitutes the refereed proceedings of the 18th IMA International Conference on Cryptography and Coding, IMACC 2021, held in December 2021. Due to COVID 19 pandemic the conference was he...

This book constitutes the refereed proceedings of the 15 Annual International Conference on Combinatorial Optimization and Applications, COCOA 2021, which took place in Tianjin, China, during Decem...

This book constitutes the refereed proceedings of the 16th International Workshop on Communication Technologies for Vehicles, Nets4Cars/Nets4Trains/Nets4Aircraft 2021, held in Madrid, Spain, in Nov...