Symphosius – alle Bücher, CDs und LPs, Seite 6

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

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

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

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

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

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

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

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

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

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

Management, Innovation and Entrepreneurship in Challenging Global Times

Management, Innovation and Entrepreneurship in Challenging Global Times begins to address the need for a response to unprecedented global situations that require large-scale cooperation as well as individ…

lieferbar innerhalb 2-3 Wochen

Buch

Superalloys 2024

The 15th International Symposium on Superalloys (Superalloys 2024) highlights technologies for lifecycle improvement of superalloys. In addition to the traditional focus areas of alloy development, proces…

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

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

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

Advances in Artificial Intelligence in Manufacturing II

This open access book reports on recent developments of artificial intelligence applications in the manufacturing industry. Gathering contributions to the second European Symposium on Artificial Intellige…

lieferbar innerhalb 2-3 Wochen

Buch

Sustainable Aviation Innovations, Advancements, and Destinations

Sustainable aviation involves developing long-term strategies to address the challenges faced by the aviation industry. The International Symposium on Sustainable Aviation is a multidisciplinary conferenc…

lieferbar innerhalb 2-3 Wochen

Buch