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

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

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

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

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

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

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

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

Focus 1600

Manierismus - so bezeichnet die Kulturgeschichte die Epoche zwischen Renaissance und Barock von etwa 1520 bis 1650, und es gibt kaum einen Lebensbereich, den er mit seiner Vermischung aller Stile, seiner …

lieferbar ab 15.1.2026.

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

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

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

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

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

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