Electronic Books

Total Books: 201 - 220 /224

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 ...

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, ...

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 ...

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 ...

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, ...

Theory of Cryptography

This three-volume set, LNCS 12550, 12551, and 12552, constitutes the refereed proceedings of the 18th International Conference ...

Theory of Cryptography

This three-volume set, LNCS 12550, 12551, and 12552, constitutes the refereed proceedings of the 18th International Conference ...

Theory of Cryptography

This three-volume set, LNCS 12550, 12551, and 12552, constitutes the refereed proceedings of the 18th International Conference ...

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 ...

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 ...

Tools 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 ...

Tools 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 ...

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 ...

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 ...

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 ...

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 ...

VR Technologies in Cultural Heritage

Tthis volume are organized in topical sections on data acquisition and modelling, visualization methods / audio, sensors ...

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, ...

Web Information Systems and Applications

This book constitutes the proceedings of the 17th International Conference on Web Information Systems and Applications, WISA ...

Web and Wireless Geographical Information Systems

his book constitutes the refereed proceedings of the 18th International Symposium on Web and Wireless Geographical Information ...

Total Books: 201 - 220 /224