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

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

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

Water Resources Management and Water Pollution Control

This book features select peer-reviewed proceedings from the 6th International Symposium on Water Pollution and Treatment (ISWPT 2023). It comprises articles written by researchers, practitioners, policym…

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

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

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

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

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

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

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

Advances in Rock Mechanics-Infrastructure Development, Volume 2

Lecture Notes in Civil Engineering - Band 784

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

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

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

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

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

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

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