Tests and Proofs : 14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 22–23, 2020, Proceedings
This book constitutes the refereed proceedings of the 14th International Conference on Tests and Proofs, TAP 2020, held as ...
Continue reading
The Cloud-to-Thing Continuum Opportunities and Challenges in Cloud, Fog and Edge Computing
The Internet of Things offers massive societal and economic opportunities while at the same time significant challenges, ...
Continue reading
The Multi-Agent Programming Contest 2019 : Agents Assemble – Block by Block to Victory
This book constitutes the 14th edition of the annual Multi-Agent Programming Contest, MAPC 2019, and presents its participants. The ...
Continue reading
The Once-Only Principle The TOOP Project
This Book State-of-the-Art Survey describes and documents the developments and results of the Once-Only Principle Project ...
Continue reading
Theory and Applications of Models of Computation
This book constitutes the refereed proceedings of the 16th Annual Conference on Theory and Applications of Models of Computation, ...
Continue reading
Theory of Cryptography
This three-volume set, LNCS 12550, 12551, and 12552, constitutes the refereed proceedings of the 18th International Conference ...
Continue reading
Theory of Cryptography
This three-volume set, LNCS 12550, 12551, and 12552, constitutes the refereed proceedings of the 18th International Conference ...
Continue reading
Theory of Cryptography
This three-volume set, LNCS 12550, 12551, and 12552, constitutes the refereed proceedings of the 18th International Conference ...
Continue reading
Tools and Algorithms for the Construction and Analysis of Systems 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part I
This two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction ...
Continue reading
Tools and Algorithms for the Construction and Analysis of Systems 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part II
This two-books set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction ...
Continue readingTools and Algorithms for the Construction and Analysis of Systems : 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part I
This book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and ...
Continue readingTools and Algorithms for the Construction and Analysis of Systems : 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part II
This book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and ...
Continue reading
Towards Interoperable Research Infrastructures for Environmental and Earth Sciences A Reference Model Guided Approach for Common Challenges
This book summarises the latest developments on data management in the EU H2020 ENVRIplus project, which brought together ...
Continue reading
Transactions on Computational Science XXXVII
This, the 37th issue of the Transactions on Computational Science, is devoted to the area of Computer Graphics. The 9 papers ...
Continue reading
Trends in Artificial Intelligence Theory and Applications. Artificial Intelligence Practices
This book constitutes the thoroughly refereed proceedings of the 33rd International Conference on Industrial, Engineering ...
Continue reading
User Experience Design: A Practical Playbook to Fuel Business Growth / Satyam Kantamneni
In User Experience Design: A Practical Playbook to Fuel Business Growth, UXReactor co-Founder Satyam Kantamneni distills ...
Continue reading
VR Technologies in Cultural Heritage
Tthis volume are organized in topical sections on data acquisition and modelling, visualization methods / audio, sensors ...
Continue reading
Virtual Reality and Augmented Reality : 17th EuroVR International Conference, EuroVR 2020, Valencia, Spain, November 25–27, 2020, Proceedings
This book constitutes the refereed proceedings of the 17th International Conference on Virtual Reality and Augmented Reality, ...
Continue reading
Web Information Systems and Applications
This book constitutes the proceedings of the 17th International Conference on Web Information Systems and Applications, WISA ...
Continue reading
Web and Wireless Geographical Information Systems
his book constitutes the refereed proceedings of the 18th International Symposium on Web and Wireless Geographical Information ...
Continue reading
