Hakutulokset: Sarja lecture notes in computer science
yhteensä 16 020 hakutulosta
Software Engineering for Self-Adaptive Systems
Although the self-adaptability of systems has been studied in a wide range of disciplines, from biology to robotics, only recently has the software engineering community recognized …
Post-Quantum Cryptography
This volume constitutes the proceedings of the 12th International Conference on post-quantum cryptography, PQCrypto 2021, held in Daejeon, South Korea in July 2021.The 25 full …
Prolog: The Next 50 Years
This volume was motivated by the Year of Prolog initiative, launched to celebrate the 50th anniversary of the emergence of Prolog through the work of Alain Colmerauer’s team in …
Diagrammatic Representation and Inference
The 6th International Conference on the Theory and Application of Diagrams – Diagrams 2010 – was held in Portland, USA in August 2010.
Applications of Databases
Exploring the many applications of databases, this volume contains research papers on database use in such areas as air traffic control, finance and banking, engineering, …
Programming Languages and Systems
Compiler Construction
This book constitutes the proceedings of the 22nd International Conference on Compiler Construction, CC 2013, held as part of the European Joint Conferences on Theory and Practice …
Extended Reality
The seven-volume set LNCS 15737-15743 constitutes the proceedings of the International Conference on Extended Reality, XR Salento 2025, held in Otranto, Italy, during June 17-20, …
Runtime Verification
Testing Software and Systems
This book constitutes the refereed proceedings of the 37th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2025, held in Limassol, Cyprus, during …
Algorithmic Game Theory
This volume constitutes the refereed proceedings of 18th International Symposium on Algorithmic Game Theory, SAGT 2025, held in Bath, UK, during September 2-5, 2025. The 26 full …