Lecture Notes – Bücher, CDs, LPs und mehr, Seite 10

Model Checking Software

Lecture Notes in Computer Science - Band 15945

This book constitutes the refereed proceedings of the 31st International Symposium on Model Checking Software, SPIN 2025, held in Hamilton, ON, Canada, during May 7--8, 2025.The 9 full papers included in …

lieferbar innerhalb 2-3 Wochen

Buch

Fairness of AI in Medical Imaging

Lecture Notes in Computer Science - Band 15976

This book constitutes the refereed proceedings of the Third International Workshop, FAIMI 2025, held in conjunction with MICCAI 2025, Daejeon, South Korea, in September 23, 2025.The 21 full papers present…

lieferbar innerhalb 2-3 Wochen

Buch

Logic-Based Program Synthesis and Transformation

Lecture Notes in Computer Science - Band 16117

.- Symbolic Computation and Verification Methods in Maude..- Verifying Smart Contracts in Yul via Transformation to CHC by Interpreter Specialization..- Implementing a Many-Valued Semantics for Logic Prog…

lieferbar innerhalb 2-3 Wochen

Buch

Advances in Cryptology - CRYPTO 2025

Lecture Notes in Computer Science - Band 16006

Obfuscation.- Proof Systems.

sofort lieferbar

Buch

Advancements in Fluid Power Technology: Sustainability, Electrification, and Digitalization

Lecture Notes in Mechanical Engineering

This open access book contains contributions from the Global Fluid Power Society (GFPS) PhD Symposium 2024. It reflects the collaborative efforts of researchers who are dedicated to pushing the boundaries…

lieferbar innerhalb 2-3 Wochen

Buch

Internet of Things - ICIOT 2025

Lecture Notes in Computer Science - Band 16157

This book constitutes the refereed proceedings of the 10th International Conference on Internet of Things -- ICIOT 2025, held as part of the Services Conference Federation, SCF 2025, in Hong Kong, China d…

lieferbar innerhalb 2-3 Wochen

Buch

Cognitive Computing - ICCC 2025

Lecture Notes in Computer Science - Band 16156

This book constitutes the refereed proceedings of the 9th International Conference on Cognitive Computing, ICCC 2025, Held as Part of the Services Conference Federation, SCF 2025, held in Hong Kong, durin…

lieferbar innerhalb 2-3 Wochen

Buch

Interactive Storytelling

Lecture Notes in Computer Science - Band 16375

.- Exploring the Influence of Narrative in VR Games: Players Gameful Experience and Empathy..- A Shared Field of Perception: Voice Over and Focalisation in Extended Reality (XR)..- Meet Daiyu in The Era o…

lieferbar innerhalb 2-3 Wochen

Buch

Advances in Additive Manufacturing: Materials, Processes, and Applications II

Lecture Notes in Mechanical Engineering

This book reports on research and developments in the field of 3D printing, with a special emphasis on methods to analyse the products of additive manufacturing, and optimize different steps of the manufa…

lieferbar innerhalb 2-3 Wochen

Buch

Advances in Non-Destructive Evaluation (NDE)

Lecture Notes in Mechanical Engineering

This book comprises the proceedings of the Conference and Exhibition on Non-Destructive Evaluation (NDE 2021) organised by the Indian Society for Non-destructive Testing (ISNT). This book covers topics fr…

lieferbar innerhalb 2-3 Wochen

Buch

Theory of Cryptography

Lecture Notes in Computer Science - Band 16270

The four-volume set LNCS 16268-16271 constitutes the refereed proceedings of the 23rd International Conference on Theory of Cryptography, TCC 2025, held in Aarhus, Denmark, during December 1--5, 2025. The…

lieferbar innerhalb 2-3 Wochen

Buch

Intelligent Data Engineering and Automated Learning - IDEAL 2025

Lecture Notes in Computer Science - Band 16238

This two-volume set, LNCS 16238 and LNCS 16239, constitutes the proceedings of the 26th International Conference on Intelligent Data Engineering and Automated Learning, IDEAL 2025, which was held in Jaén,…

lieferbar innerhalb 2-3 Wochen

Buch

Critical Information Infrastructures Security

Lecture Notes in Computer Science

This book constitutes the refereed proceedings of the 20th International Conference on Critical Information Infrastructures Security, CRITIS 2025, held in Jönköping, Sweden, during October 21--23, 2025.Th…

lieferbar innerhalb 1-2 Wochen

Buch

Passive and Active Measurement

Lecture Notes in Computer Science

This book constitutes the proceedings of the 27th International Conference on Passive and Active Measurement, PAM 2026, held as a virtual event during March 23-25, 2026. The 9 full papers and 9 short pape…

lieferbar innerhalb von 1-3 Tagen

Buch

Statistical Atlases and Computational Models of the Heart. Regular and CMRxRecon Challenge Papers

Lecture Notes in Computer Science

This book constitutes the proceedings of the 16th International Workshop on Statistical Atlases and Computational Models of the Heart, STACOM 2025, held in conjunction with the 28th International Conferen…

lieferbar ab 30.3.2026.

Buch

Proceedings of the 9th International Conference on Construction, Architecture and Technosphere Safety

Lecture Notes in Civil Engineering

This book highlights recent findings in civil and environmental engineering and urban planning and provides an overview of the state of the art in these fields, mainly in Russia and Eastern Europe. A broa…

lieferbar ab 31.3.2026.

Buch

Uncertainty for Safe Utilization of Machine Learning in Medical Imaging

Lecture Notes in Computer Science - Band 16166

This book constitutes the refereed proceedings of the 7th Workshop on Uncertainty for Safe Utilization of Machine Learning in Medical Imaging, UNSURE 2025, held in conjunction with MICCAI 2025, in Daejon,…

lieferbar innerhalb 2-3 Wochen

Buch

Intelligent Data Engineering and Automated Learning - IDEAL 2025

Lecture Notes in Computer Science - Band 16239

This two-volume set, LNCS 16238 and LNCS 16239, constitutes the proceedings of the 26th International Conference on Intelligent Data Engineering and Automated Learning, IDEAL 2025, which was held in Jaén,…

lieferbar innerhalb 2-3 Wochen

Buch

Dynamic Data Driven Applications Systems

Lecture Notes in Computer Science - Band 15514

This book constitutes the refereed proceedings of the 5th International Conference on Dynamic Data Driven Applications Systems, DDDAS/Infosymbiotics for Reliable AI 2024, held in New Brunswick, NJ, USA, d…

lieferbar innerhalb 2-3 Wochen

Buch

Machine Learning and Knowledge Discovery in Databases. Research Track

Lecture Notes in Computer Science - Band 16016

This multi-volume set, LNAI 16013 to LNAI 16022, constitutes the refereed proceedings of the European Conference on Machine Learning and Knowledge Discovery in Databases, ECML PKDD 2025, held in Porto, Po…

lieferbar innerhalb 2-3 Wochen

Buch