Structural Information and Communication Complexity : 28th International Colloquium, SIROCCO 2021, Wrocław, Poland, June 28 – July 1, 2021, Proceedings
This book constitutes the refereed conference proceedings of the 28th International Colloquium on Structural Information ...
Continue reading
Supercomputing Frontiers 6th Asian Conference, SCFA 2020, Singapore, February 24–27, 2020, Proceedings
This book constitutes the refereed proceedings of the 6th Asian Supercomputing Conference, SCFA 2020, which was planned ...
Continue reading
Supercomputing Frontiers
This book cover a range of topics including memory fault handling, linear algebra, image processing, heterogeneous computing, ...
Continue reading
Systems, Software and Services Process Improvement
This volume constitutes the refereed proceedings of the 27th European Conference on Systems, Software and Services Process ...
Continue reading
Testing of Software and Communicating Systems : 20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008 8th International Workshop, FATES 2008 Tokyo, Japan, June 10-13, 2008 Proceedings
This book covers new approaches, concepts, theories, methodologies, tools, and experiences in the field of testing of communicating ...
Continue reading
Tests and Proofs : Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings
This book covers the area of convergence of software proofing and testing and feature current research work that combines ...
Continue reading
The Amazing Journey of Reason from DNA to Artificial Intelligence
This book explores questions such as why and how did the first biological cells appear? And then complex organisms, brains, ...
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 Future of Digital Work: The Challenge of Inequality : IFIP WG 8.2, 9.1, 9.4 Joint Working Conference, IFIPJWC 2020, Hyderabad, India, December 10–11, 2020, Proceedings
This book constitutes the refereed proceedings of the IFIP WG 8.2, 9.1, 9.4 Joint Working Conference on the Future of Digital ...
Continue reading
The Impact of Digital Technologies on Public Health in Developed and Developing Countries 18th International Conference, ICOST 2020, Hammamet, Tunisia, June 24–26, 2020, Proceedings
The objective of this work is to detect Alzheimer’s disease using Magnetic Resonance Imaging. For this, we use a three-dimensional ...
Continue reading
The Internet of Things : First International Conference, IOT 2008, Zurich, Switzerland, March 26-28, 2008. Proceedings
This volume contains the proceeding softhe Internet of Things (IOT)Conference 2008, the ?rst international conference of ...
Continue reading
The Semantic Web - ISWC 2008 : 7th International Semantic Web Conference, ISWC 2008, Karlsruhe, Germany, October 26-30, 2008. Proceedings
This book covered in the research track are ontology engineering; data management; software and service engineering; non-standard ...
Continue reading
The Semantic Web : 3rd Asian Semantic Web Conference, ASWC 2008, Bangkok, Thailand, December 8-11, 2008. Proceedings.
The book address the latest results in the research and applications of Semantic Web technologies and cover topics including: ...
Continue reading
The Semantic Web: Research and Applications : 5th European Semantic Web Conference, ESWC 2008, Tenerife, Canary Islands, Spain, June 1-5, 2008 Proceedings
The book is organized in topical sections on agents, application ontologies, applications, formal languages, foundational ...
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 reading
Tools and Algorithms for the Construction and Analysis of Systems : 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings
The book is organized in topical sections on parameterized systems, model checking, applications, static analysis, concurrent/distributed ...
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
