Advances in Building Information Modeling : First Eurasian BIM Forum, EBF 2019, Istanbul, Turkey, May 31, 2019, Revised Selected Papers
This book constitutes the refereed proceedings of the First Eurasian BIM Forum, EBF 2019, held in Istanbul, Turkey, in May ...
Continue reading
Advances in Production Management Systems. Towards Smart and Digital Manufacturing
Part II: the Operator 4.0: new physical and cognitive evolutionary paths; digital transformation approaches in production ...
Continue reading
Algebraic Methodology and Software Technology
This is the proceedings of the 11th edition of the Algebraic Methodology and Software Technology (AMAST) conference series. ...
Continue readingAnti-fragile ICT Systems
This book introduces a novel approach to the design and operation of large ICT systems. It views the technical solutions ...
Continue reading
Anti-fragile ICT Systems
Introduces a novel approach to the design and operation of large ICT systems. It views the technical solutions and their ...
Continue reading
Applications and Techniques in Information Security : 11th International Conference, ATIS 2020, Brisbane, QLD, Australia, November 12–13, 2020, Proceedings
This book constitutes the refereed proceedings of the 11th International Conference on Applications and Techniques in Information ...
Continue reading
Applied Cryptography and Network Security Workshops : ACNS 2020 Satellite Workshops, AIBlock, AIHWS, AIoTS, Cloud S&P, SCI, SecMT, and SiMLA, Rome, Italy, October 19–22, 2020, Proceedings
This book constitutes the proceedings of the satellite workshops held around the 18th International Conference on Applied ...
Continue reading
Architecture of Computing Systems
This book constitutes the proceedings of the 34th International Conference on Architecture of Computing Systems, ARCS 2021, ...
Continue reading
Artificial Intelligence in HCI
This book constitutes the refereed proceedings of the First International Conference on Artificial Intelligence in HCI, AI-HCI ...
Continue reading
Automated Deduction – CADE 28 28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings
This book constitutes the proceeding of the 28th International Conference on Automated Deduction, CADE 28, held virtually ...
Continue reading
Automated Technology for Verification and Analysis
This book constitutes the refereed proceedings of the 18th International Symposium on Automated Technology for Verification ...
Continue reading
Boosting Collaborative Networks 4.0 : 21st IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2020, Valencia, Spain, November 23–25, 2020, Proceedings
This book constitutes the refereed proceedings of the 21st IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE ...
Continue reading
Cloud Computing and Services Science
This book constitutes extended, revised and selected papers from the 10th International Conference on Cloud Computing and ...
Continue reading
Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I
The two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer ...
Continue reading
Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II
The two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer ...
Continue reading
Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I
This two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer ...
Continue reading
Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II
This two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer ...
Continue reading
Computer Safety, Reliability, and Security
This book constitutes the proceedings of the 39th International Conference on Computer Safety, Reliability and Security, ...
Continue reading
Computing Science, Communication and Security
This book constitutes revised selected papers of the First International Conference on Computing Science, Communication and ...
Continue reading
Coordination Models and Languages : 23rd IFIP WG 6.1 International Conference, COORDINATION 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14–18, 2021, Proceedings
This book constitutes the refereed proceedings of the 23rd IFIP WG 6.1 International Conference on Coordination Models and ...
Continue reading
