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

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

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

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

Medical Image Computing and Computer Assisted Intervention - MICCAI 2025

Lecture Notes in Computer Science - Band 15970

The 16-volume set LNCS 15960 - 15975 constitutes the refereed proceedings of the 28th International Conference on Medical Image Computing and Computer Assisted Intervention, MICCAI 2025, which took place …

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

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

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

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 von 1-3 Tagen

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

Design and Verification of Cyber-Physical Systems: From Theory to Applications

Lecture Notes in Computer Science

This Festschrift is dedicated to Martin Fränzle, a leading researcher in formal methods and cyber-physical systems. After an award-winning PhD at Christian Albrechts Universität zu Kiel, Prof. Fränzle has…

lieferbar ab 18.5.2026.

Buch

Machine Learning and Knowledge Discovery in Databases. Research Track

Lecture Notes in Computer Science - Band 16018

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

Rules and Reasoning

Lecture Notes in Computer Science - Band 16144

Two Kinds of Rules: Goal Rules and Belief Rules.- Obligation Taxonomy in the Non-Markovian Situation Calculus.- A Novel Concept Induction Approach for Explainable Quality 4.0.- An Optimized Framework for …

lieferbar innerhalb 2-3 Wochen

Buch

Collaboration Technologies and Social Computing

Lecture Notes in Computer Science - Band 16204

This book constitutes the proceedings of the 31st International Conference on Collaboration Technologies and Social Computing, CollabTech 2025, held in Jakarta, Indonesia, during November 4--7, 2025.The 1…

lieferbar innerhalb 2-3 Wochen

Buch

Similarity Search and Applications

Lecture Notes in Computer Science - Band 16134

This book constitutes the refereed proceedings of the 18th International Conference on Similarity Search and Applications, SISAP 2025, held in Reykjavik, Iceland, during October 2025.The 18 full papers an…

lieferbar innerhalb 2-3 Wochen

Buch

Intrapartum Ultrasound

Lecture Notes in Computer Science - Band 15689

Baseline Method at the Intrapartum Ultrasound Grand Challenge 2024.- Classification and Segmentation of Intrapartum Ultrasound Images with Deep Learning Models.- Accurate Fetal Head Descent Assessment Dur…

lieferbar innerhalb 2-3 Wochen

Buch

Machine Learning and Knowledge Discovery in Databases. Research Track

Lecture Notes in Computer Science - Band 16015

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

Artificial Intelligence XLII

Lecture Notes in Computer Science - Band 16302

.- Application Papers. .- Detect, Decide, Explain: An Intelligent Framework for Zero-Day Network Attack Detection (Best Application Paper). .- Evolutionary Algorithms. .- Evolutionary Optimization of Auto…

lieferbar innerhalb 2-3 Wochen

Buch

Information Integration and Web Intelligence

Lecture Notes in Computer Science - Band 16330

.- Keynote..- Survival Informatics: Reliable Social Media Analysis for Societal Well-being..- Foundations of AI and Data Intelligence..- Supplementing Product Reviews: Retrieving Opinions from Products wi…

lieferbar innerhalb 2-3 Wochen

Buch