It is our pleasure to present the papers accepted and presented at the 5th Int- national School and Symposium on Advanced Distributed Systems (ISSADS) in this LNCS volume.
This volume collects the papers presented at the 10th International Conference on Database Theory, ICDT 2005, held during January 5-7, 2005, in Edinburgh, UK.
This volume contains the papers presented at the Eighth International S- posium on Practical Aspects of Declarative Languages (PADL 2006) held on January 9-10, 2006, in Charleston, South Carolina.
The 19th Annual Meeting of the European Conference on Object-Oriented Programming-ECOOP 2005-took place during the last week of July in Glasgow, Scotland, UK.
This volume contains papers selected for presentation at the 31st Annual C- ference on Current Trends in Theory and Practice of Informatics - SOFSEM 2005, held on January 22-28, 2005 in LiptovskyJ ' an, ' Slovakia.
Welcometotheproceedingsofthe2ndInternationalSymposiumonParalleland Distributed Processing and Applications (ISPA2004) which was held in Hong Kong, China, 13-15 December, 2004.
The 2004 International Symposium on Computational and Information Sciences (CIS 2004) aimed at bringing researchers in the area of computational and - formation sciences together to exchange new ideas and to explore new ground.
This volume is the first part of the two-volume proceedings of the International C- ference on Artificial Neural Networks (ICANN 2005), held on September 11-15, 2005 in Warsaw, Poland, with several accompanying workshops held on September 15, 2005 at the Nicolaus Copernicus University, Toru , Poland.
Wallis's book on discrete mathematics is a resource for an introductory course in a subject fundamental to both mathematics and computer science, a course that is expected not only to cover certain specific topics but also to introduce students to important modes of thought specific to each discipline .
This book constitutes the refereed proceedings of the 26th International Conference on Principles and Practice of Multi-Agent Systems, PRIMA 2025, held in Modena, Italy, during December 16–19, 2025.
This book constitutes the refereed proceedings of the 26th International Conference on Cryptology in India, held in Bhubaneshwar, India, during December 14-17, 2025.
This book constitutes the refereed proceedings of the 26th International Conference on Cryptology in India, held in Bhubaneshwar, India, during December 14-17, 2025.
This Festschrift is dedicated to Jean-Bernard Stefani, a leading researcher in the field of component-based software engineering, system modelling, and formal methods for distributed systems.
This Festschrift is dedicated to Jean-Bernard Stefani, a leading researcher in the field of component-based software engineering, system modelling, and formal methods for distributed systems.
This book discusses an integrative approach to the currently high profile topics of artificial intelligence, quantum information, and quantum biology, with applications in the biosciences and the emerging fields of computational phenomenology and basal cognition.
This book discusses an integrative approach to the currently high profile topics of artificial intelligence, quantum information, and quantum biology, with applications in the biosciences and the emerging fields of computational phenomenology and basal cognition.
Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the refereed proceedings of the 23rd International Conference on Formal Grammar, FG 2018, collocated with the European Summer School in Logic, Language and Information in August 2018.
This book constitutes the refereed proceedings of the 16th International Conference on Flexible Query Answering Systems, FQAS 2025, held in Burgas, Bulgaria, during September 11–13, 2025.
This book constitutes the refereed proceedings of the 16th International Conference on Flexible Query Answering Systems, FQAS 2025, held in Burgas, Bulgaria, during September 11–13, 2025.
This book delves into how these transformative technologies are being integrated to revolutionize fields such as health care, infrastructure, and data security.
This book constitutes the proceedings of the Second International Joint Conference on Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems, QEST+Formats 2025, which took place in Aarhus, Denmark, during August 2025.
This book constitutes the proceedings of the Second International Joint Conference on Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems, QEST+Formats 2025, which took place in Aarhus, Denmark, during August 2025.
Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the refereed proceedings of the 22nd International Conference on Formal Grammar, FG 2017, collocated with the European Summer School in Logic, Language and Information in July 2017.
This book constitutes the joint refereed proceedings of the 16th International Conference on Next Generation Wired/Wireless Advanced Networks and Systems, NEW2AN 2016, and the 9th Conference on Internet of Things and Smart Spaces, ruSMART 2016, held in St.
This book constitutes the refereed proceedings of the 26th International Conference on Principles and Practice of Multi-Agent Systems, PRIMA 2025, held in Modena, Italy, during December 16–19, 2025.
Written for hardware-software system engineers, researchers and students, this text introduces a systems engineering method that guides the development of software and embedded hardware-software systems seamlessly from requirements capture to their implementation.
This book constitutes the proceedings of the satellite events held at the XXX Semantic Web Conference, ESWC 2025, held in Portoroz, Slovenia, during June 1–2, 2025.
Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the refereed proceedings of the 23rd International Conference on Formal Grammar, FG 2018, collocated with the European Summer School in Logic, Language and Information in August 2018.
This book constitutes revised selected papers from the 42nd International Workshop on Graph-Theoretic Concepts in Computer Science, WG 2016, held in Istanbul, Turkey, in June 2016.
Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the refereed proceedings of the 22nd International Conference on Formal Grammar, FG 2017, collocated with the European Summer School in Logic, Language and Information in July 2017.
Understanding and employing cryptography has become central for securing virtually any digital application, whether user app, cloud service, or even medical implant.
This book focuses on quantum machine learning that harnesses the collective properties of quantum states, such as superposition, interference, and entanglement, uses algorithms run on quantum devices, such as quantum computers, to supplement, expedite, or support the work performed by a classical machine learning program.
This book constitutes the proceedings of the satellite events held at the XXX Semantic Web Conference, ESWC 2025, held in Portoroz, Slovenia, during June 1–2, 2025.
This concise textbook is intended as a guide for programming-language designers and users to better help them understand consequences of design decisions.
This book focuses on quantum machine learning that harnesses the collective properties of quantum states, such as superposition, interference, and entanglement, uses algorithms run on quantum devices, such as quantum computers, to supplement, expedite, or support the work performed by a classical machine learning program.
