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

Automated Technology for Verification and Analysis

This book constitutes the refereed proceedings of the 23rd International Symposium on Automated Technology for Verification and Analysis, ATVA 2025, held in Bengaluru, India, from October 27--31, 2025.The…

lieferbar innerhalb 2-3 Wochen

Buch

Explorations in the History and Heritage of Machines and Mechanisms

This book gathers the latest advances in the field of history of science and technology, as presented by leading international researchers at the 8th International Symposium on History of Machines and Mec…

lieferbar innerhalb 2-3 Wochen

Buch

From Data to Models and Back

This book constitutes the refereed proceedings of the 11th International Symposium on From Data to Models and Back, DataMod 2023, held in Eindhoven, The Netherlands during November 6-7, 2023.The 8 full pa…

lieferbar innerhalb 2-3 Wochen

Buch

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

String Processing and Information Retrieval

.- New perspectives on the Burrows--Wheeler Transform (Keynote)..- Scaling genomic reuse: hypothesis and algorithms for k-mer collections (Keynote)..- Succinct Dynamic Data Structures (25 years on) (Keyno…

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

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

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

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

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

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

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

Isabelle Chabloz,
TBTF & Finanzstabilität

Sieben Rechtsprofessorinnen aus sechs Schweizer Universitäten haben am 14. Januar 2025 an der ETH Zürich das Symposium TBTF & Finanzstabilität durchgeführt, um Stabilitätsfragen wie die Too Big To Fai…

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

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

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

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

Smart & Sustainable Infrastructure: Building a Greener Tomorrow

This book gathers peer-reviewed contributions presented at the 1st Interdisciplinary Symposium on Smart & Sustainable Infrastructure (ISSSI), held in Vancouver, BC, Canada, on September 4-8, 2023, and…

lieferbar innerhalb 2-3 Wochen

2 Bücher

Isabelle Chabloz,
TBTF & Finanzstabilität

Sieben Rechtsprofessorinnen aus sechs Schweizer Universitäten haben am 14. Januar 2025 an der ETH Zürich das Symposium TBTF & Finanzstabilität durchgeführt, um Stabilitätsfragen wie die Too Big To Fai…

lieferbar innerhalb 2-3 Wochen

Buch