Coordination Models and Languages :22nd IFIP WG 6.1 International Conference, COORDINATION 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15–19, 2020, Proceedings
This book constitutes the proceedings of the 22nd International Conference on Coordination Models and Languages, COORDINATION ...
اقرأ المزيد
Cryptology and Network Security
This book constitutes the refereed proceedings of the 19th International Conference on Cryptology and Network Security, CANS ...
اقرأ المزيد
Data Management Technologies and Applications : 8th International Conference, DATA 2019, Prague, Czech Republic, July 26–28, 2019, Revised Selected Papers
This book constitutes the thoroughly refereed proceedings of the 8th International Conference on Data Management Technologies ...
اقرأ المزيد
Data Science and Analytics : 5th International Conference on Recent Developments in Science, Engineering and Technology, REDSET 2019, Gurugram, India, November 15–16, 2019, Revised Selected Papers, Part I
This two-volume set (CCIS 1229 and CCIS 1230) constitutes the refereed proceedings of the 5th International Conference on ...
اقرأ المزيد
Database and Expert Systems Applications
This volume constitutes the refereed proceedings of the three workshops held at the 31st International Conference on Database ...
اقرأ المزيد
Database and Expert Systems Applications
The double volumes LNCS 12391-12392 constitutes the papers of the 31st International Conference on Database and Expert Systems ...
اقرأ المزيد
Databases and Information Systems : 14th International Baltic Conference, DB&IS 2020, Tallinn, Estonia, June 16–19, 2020, Proceedings
This book constitutes the refereed proceedings of the 14th International Baltic Conference on Databases and Information Systems, ...
اقرأ المزيد
Dependable Software Engineering. Theories, Tools, and Applications
This book constitutes the proceedings of the 6th International Symposium on Dependable Software Engineering, SETTA 2020, ...
اقرأ المزيد
Design, User Experience, and Usability. Interaction Design : 9th International Conference, DUXU 2020, Held as Part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19–24, 2020, Proceedings, Part I
This book constitutes the refereed proceedings of the 9th International Conference on Design, User Experience, and Usability, ...
اقرأ المزيد
Detection of Intrusions and Malware, and Vulnerability Assessment : 17th International Conference, DIMVA 2020, Lisbon, Portugal, June 24–26, 2020, Proceedings
This book constitutes the proceedings of the 17th International Conference on Detection of Intrusions and Malware, and Vulnerability ...
اقرأ المزيدEuro-Par 2019: Parallel Processing Workshops
Euro-Par is an annual, international conference in Europe, covering all aspects of parallel and distributed processing. These ...
اقرأ المزيد
Formal Methods for Mobile Computing
This book presents 8 tutorial survey papers by leading researchers who lectured at the 5th International School on Formal ...
اقرأ المزيد
Formal Techniques for Distributed Objects, Components, and Systems
This book constitutes the proceedings of the 40th IFIP WG 6.1 International Conference on Formal Techniques for Distributed ...
اقرأ المزيد
Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems
This book coherently gathers well-founded information on the fundamentals of and formalisms for modelling cyber-physical ...
اقرأ المزيد
Fundamental Approaches to Software Engineering 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings
This book constitutes the proceedings of the 23rd International Conference on Fundamental Approaches to Software Engineering, ...
اقرأ المزيد
Guide to Efficient Software Design
This classroom-tested textbook presents an active-learning approach to the foundational concepts of software design. These ...
اقرأ المزيد
Information Systems Security and Privacy
This book constitutes the revised selected papers of the 5th International Conference on Information Systems Security and ...
اقرأ المزيد
Intelligent Computer Mathematics
This book constitutes the refereed proceedings of the 13th International Conference on Intelligent Computer Mathematics, ...
اقرأ المزيد
Knowledge Discovery, Knowledge Engineering and Knowledge Management : 10th International Joint Conference, IC3K 2018, Seville, Spain, September 18-20, 2018, Revised Selected Papers
This book constitutes the thoroughly refereed proceedings of the 10th International Joint Conference on Knowledge Discovery, ...
اقرأ المزيد
Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part II
The three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th International Symposium on Leveraging ...
اقرأ المزيد
