Symposium – Bücher, CDs, LPs und mehr, Seite 7

From Data to Models and Back

This book constitutes revised selected papers of the 12th International Symposium on From Data Models and Back, DataMod 2024, held in Aveiro, Portugal, during November 4--5, 2024.The 9 full papers include…

lieferbar innerhalb 2-3 Wochen

Buch

Availability, Reliability and Security

This two-volume set LNCS 15998-15999 constitutes the proceedings of the ARES 2025 EU Projects Symposium Workshops, held under the umbrella of the 20th International conference on Availability, Reliability…

sofort lieferbar

Buch

Simon Mayr mal 3

Der 250. Geburtstag von Johann Simon Mayr am 14. Juni 2013 gab den Anlass fÿr drei musikwissenschaftliche Symposien im Jubilÿumsjahr, deren Ertrag in diesem Band dokumentiert wird �?? in Fortsetzung der v…

lieferbar innerhalb 2-3 Wochen

Buch

Automated Technology for Verification and Analysis

The two-volume set 15054-15055 constitutes the refereed proceedings of the 22nd International Symposium on Automated Technology for Verification and Analysis, ATVA 2024, held in Kyoto, Japan, from October…

lieferbar innerhalb 2-3 Wochen

Buch

Trends in Functional Programming

This book constitutes the refereed proceedings of the 25th International Symposium on Trends in Functional Programming, TFP 2024, held in South Orange, NJ, USA, during January 10-12, 2024.The 10 full pape…

lieferbar innerhalb 2-3 Wochen

Buch

Advances in Rock Mechanics-Infrastructure Development, Volume 1

Lecture Notes in Civil Engineering - Band 783

This book offers a multidisciplinary collection of cutting-edge studies addressing challenges in underground construction, tunneling, and rock engineering. Combining theoretical models, laboratory experim…

lieferbar ab 27.2.2026.

Buch

Applied Reconfigurable Computing. Architectures, Tools, and Applications

This book constitutes the proceedings of the 21st International Symposium on Applied Reconfigurable Computing. Architectures, Tools, and Applications, ARC 2025, held in Seville, Spain, during April 9--11,…

lieferbar innerhalb 2-3 Wochen

Buch

Automated Technology for Verification and Analysis

The two-volume set 15054-15055 constitutes the refereed proceedings of the 22nd International Symposium on Automated Technology for Verification and Analysis, ATVA 2024, held in Kyoto, Japan, from October…

lieferbar innerhalb 2-3 Wochen

Buch

Intelligent Computing Systems

This book constitutes the proceedings of the 5th International Symposium on Intelligent Computing Systems, ISICS 2024, held in Sharjah, United Arab Emirates, during November 6-7, 2024.The 25 full papers i…

lieferbar innerhalb 2-3 Wochen

Buch

Cyber Security, Cryptology, and Machine Learning

This volume constitutes the proceedings of 9th International Symposium on Cyber Security, Cryptology, and Machine Learning, CSCML 2025, in Be'er Sheva, Israel, during December 4--5, 2025.The 17 regular pa…

lieferbar innerhalb 2-3 Wochen

Buch

Formal Methods in Architecture

This book comprises the select proceedings of the 7th International Symposium on Formal Methods in Architecture (7FMA), held in Porto, Portugal, in December 2024. The contents focus on the use of methodol…

lieferbar innerhalb 2-3 Wochen

Buch

Web and Wireless Geographical Information Systems

This LNCS conference volume constitutes the proceedings of the 22nd International Symposium on Web and Wireless Geographical Information Systems, W2GIS 2025, in Mexico City, Mexico, held during September …

sofort lieferbar

Buch

Service-Oriented Computing

This book constitutes the revised selected papers of the 19th Symposium and Summer School on Service-Oriented Computing, SummerSOC 2025, held in Crete, Greece, during June 16--21, 2025.The 8 full papers a…

lieferbar innerhalb 2-3 Wochen

Buch

International Conference on Advanced Intelligent Systems for Sustainable Development (AI2SD 2024)

This book provides a dynamic platform for exploring groundbreaking advancements in intelligent systems for sustainable development. It offers readers' access to the latest technologies and innovative solu…

lieferbar innerhalb 2-3 Wochen

Buch

Human Aspects of Information Security and Assurance

This volume constitutes the proceedings of the 19th IFIP WG 11.12 International Symposium on Human Aspects of Information Security and Assurance, HAISA 2025, held in Mytilene, Greece, during July 7--9, 20…

sofort lieferbar

Buch

Advances in Rock Mechanics--Infrastructure Development, Volume 2

This book presents state-of-the-art research in rock mechanics, tunnel/geotechnical engineering, addressing infrastructure, energy, and hazard-prone environments. Contributions range from laboratory studi…

lieferbar ab 18.2.2026.

Buch

Advanced Technologies, Systems, and Applications X

Detection of Pneumonia Using VGG-16, MobileNetV2, and ResNet50 Convolutional Neural Networks.- Machine Learning Analysis of PM2.5 and NO2 Concentrations of Air Pollutants.- Impact of ECG Segmentation on E…

lieferbar innerhalb 2-3 Wochen

Buch

Advances in Intelligent Data Analysis XXIII

This volume constitutes the proceedings of the 23rd International Symposium on Intelligent Data Analysis, IDA 2025, which was held in Konstanz, Germany, during May 7--9, 2025.The 35 full papers included i…

lieferbar innerhalb 2-3 Wochen

Buch

Stabilization, Safety, and Security of Distributed Systems

This book constitutes the proceedings of the 27th International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2025, held in Kathmandu, Nepal, during October 9--11, 2025.The …

lieferbar innerhalb 2-3 Wochen

Buch

Constraints and Adaptations to Global Change at the Land-Sea Interface: For a Shared Ecological and Energy Transition

Coastal or semi-enclosed seas, coastal or interface zones between land and sea are areas widely coveted by numerous human activities. These activities do not assess the effects and impacts of their cumula…

lieferbar innerhalb 2-3 Wochen

Buch