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.
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 delves into how these transformative technologies are being integrated to revolutionize fields such as health care, infrastructure, and data security.
This self-contained introduction to modern cryptography emphasizes the mathematics behind the theory of public key cryptosystems and digital signature schemes.
This book constitutes the refereed proceedings of the 15th International Conference on Coordination Models and Languages, COORDINATION 2013, held in Firenze, Italy, in June 2013, within the 8th International Federated Conference on Distributed Computing Techniques (DisCoTec 2013).
This book constitutes the thoroughly refereed post-proceedings of the 10th International Workshop on Declarative Agent Languages and Technologies, DALT 2012, held in conjunction with the 11th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2012) at Valencia, Spain, in June 2012.
This book constitutes the thoroughly refereed papers of the 16th International Conference on Implementation and Application of Automata, CIAA 2011, held in Blois, France, in July 2011.
This book constitutes the refereed proceedings of the 16th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2011, held in Edinburgh, UK, on June 20-24, 2011.
Driven by the requirements of a large number of practical and commercially - portant applications, the last decade has witnessed considerable advances in p- tern recognition.
This book constitutes the refereed conference proceedings of the 9th International Conference on Intelligent Computing, ICIC 2013, held in Nanning, China, in July 2013.
A formal method is not the main engine of a development process, its contribution is to improve system dependability by motivating formalisation where useful.
Stochastic local search (SLS) algorithms enjoy great popularity as powerful and versatile tools for tackling computationally hard decision and optimization pr- lems from many areas of computer science, operations research, and engineering.
This book constitutes the refereed proceedings of the 22nd International Conference on Modeling Decisions for Artificial Intelligence, MDAI 2025, held in Valencia, Spain, during September 15-18, 2025.
This book constitutes the refereed proceedings of the 22nd International Conference on Modeling Decisions for Artificial Intelligence, MDAI 2025, held in Valencia, Spain, during September 15-18, 2025.
This book contains a collection of thoroughly refereed papers presented at the 6th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2011, held in Beijing, China, in June 2011.
This book constitutes the joint refereed proceedings of three international events, namely the 18th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2011, the 10th International Conference on Mathematical Knowledge Management, MKM 2011, and a new track on Systems and Projects descriptions that span both the Calculemus and MKM topics, all held in Bertinoro, Italy, in July 2011.
This book constitutes the refereed proceedings of the First International Conference on Integrated Computing Technology, INTECH 2011, held in Sao Carlos, Brazil, in May/ June 2011.
This book constitutes the proceedings of the International Workshop on Vagueness in Communication, VIC 2009, held as part of ESSLLI 2009, in Bordeaux, France, July 20-24, 2009.
This book constitutes the refereed proceedings of the 5th International Conference on Artificial General Intelligence, AGI 2012, held in Oxford, UK, in December 2012.
This book constitutes the refereed proceedings of the 15th International SPIN workshop on Model Checking Software, SPIN 2008, held in Los Angeles, CA, USA, in August 2008.
This book constitutes the refereed proceedings of the 9th International Conference on Rewriting Techniques and Applications, RTA-98, held in Tsukuba, Japan, in March/April 1998.
This book constitutes the joint refereed proceedings of the 11th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2012, 19th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2012, 5th International Workshop on Digital Mathematics Libraries, DML 2012, 11th International Conference on Mathematical Knowledge Management, MKM 2012, Systems and Projects, held in Bremen, Germany as CICM 2012, the Conferences on Intelligent Computer Mathematics.