Combinatorial Algorithms 2018

Combinatorial Algorithms 2018
English | PDF | 2018 | 405 Pages | ISBN : 3319946668 | 20.73 MB

This book constitutes the refereed post-conference proceedings of the 29th International Workshop on Combinatorial Algorithms, IWOCA 2018, held in Singapore, Singapore, in July 2018.

Automated Reasoning

Automated Reasoning
English | PDF | 2018 | 740 Pages | ISBN : 3319942042 | 28.93 MB

This book constitutes the refereed proceedings of the 9th International Joint Conference on Automated Reasoning, IJCAR 2018, held in Oxford, United Kingdom, in July 2018, as part of the Federated Logic Conference, FLoC 2018.

Advances in Human Factors in Cybersecurity: Proceedings of the AHFE 2018 International Conference

Advances in Human Factors in Cybersecurity: Proceedings of the AHFE 2018 International Conference
English | PDF | 2018 (2019 Edition) | 250 Pages | ISBN : 3319947818 | 12.5 MB

This book reports on the latest research and developments in the field of cybersecurity, particularly focusing on personal security and new methods for reducing human error and increasing cyber awareness, as well as innovative solutions for increasing the security of advanced Information Technology (IT) infrastructures.