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 ...
Lee mas
Cryptology and Network Security
This book constitutes the refereed proceedings of the 19th International Conference on Cryptology and Network Security, CANS ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
Database and Expert Systems Applications
This volume constitutes the refereed proceedings of the three workshops held at the 31st International Conference on Database ...
Lee mas
Database and Expert Systems Applications
The double volumes LNCS 12391-12392 constitutes the papers of the 31st International Conference on Database and Expert Systems ...
Lee mas
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, ...
Lee mas
Dependable Software Engineering. Theories, Tools, and Applications
This book constitutes the proceedings of the 6th International Symposium on Dependable Software Engineering, SETTA 2020, ...
Lee mas
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, ...
Lee mas
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 ...
Lee masEuro-Par 2019: Parallel Processing Workshops
Euro-Par is an annual, international conference in Europe, covering all aspects of parallel and distributed processing. These ...
Lee mas
Formal Methods for Mobile Computing
This book presents 8 tutorial survey papers by leading researchers who lectured at the 5th International School on Formal ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
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, ...
Lee mas
Guide to Efficient Software Design
This classroom-tested textbook presents an active-learning approach to the foundational concepts of software design. These ...
Lee mas
Information Systems Security and Privacy
This book constitutes the revised selected papers of the 5th International Conference on Information Systems Security and ...
Lee mas
Intelligent Computer Mathematics
This book constitutes the refereed proceedings of the 13th International Conference on Intelligent Computer Mathematics, ...
Lee mas
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, ...
Lee mas
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 ...
Lee mas
