Coherence – Bücher, CDs, LPs und mehr, Seite 4

Runtime Verification

.- Algorithmic Fairness: A Runtime Perspective. .- DSLs for Runtime Verification: A Tutorial. .- Execution and monitoring of HOA automata with HOAX. .- Formal Verification of Neural Certificates Done Dyna…

lieferbar innerhalb 2-3 Wochen

Buch

International Conference on Smart Systems and Advanced Computing (SysCom 2022)

This book presents the International Conference on Smart Systems and Advanced Computing (SysCom 2022) that features scientific work on smart solution concepts. It covers collective computational intellige…

lieferbar innerhalb 2-3 Wochen

Buch

Business Information Systems

This book constitutes the proceedings of the 25th International Conference on Business Information Systems, BIS 2025, which took place in Poznan, Poland, during June 25-27, 2025. This year's theme was &qu…

lieferbar innerhalb 2-3 Wochen

Buch

Networked Systems

.- Verification. .- Reachability and Verification of Assertions for IoT Applications. .- Enhancing Numerical Invariants Learning with Bounded Reachability Analysis. .- Distributed Systems. .- Distributed …

sofort lieferbar

Buch

Proceedings of the 8th International Conference on Civil Engineering

This book consists of the most recent group of peer-reviewed research papers presented at the 8th International Conference on Civil Engineering, ICOCE 2024 held in Singapore from March 22 to 24. Important…

lieferbar innerhalb 2-3 Wochen

Buch

Proceedings of the RILEM Spring Convention and Conference 2024

This book gathers peer-reviewed contributions presented at the RILEM Spring Convention and Conference, held in Milan, Italy on April 7-12, 2024. The theme of the Conference was ¿Advanced construction mate…

lieferbar innerhalb 2-3 Wochen

Buch

Manufacturing Technologies

Enhancing hole characteristics during magnetic assistance closed loop electrochemical discharge drilling (M-CLECDD).- Mechanical properties of bound metal deposition (BMD) 17-4 PH v2 materials.- Hybrid In…

lieferbar innerhalb 2-3 Wochen

Buch

European Conference on Physical Education and School Sport

Schriftenreihe des Willibald Gebhardt Instituts - Band 17

Volume 17 of the Willibald Gebhardt Book Series documents papers presented at the WGI conference on "Physical Education and School Sport in Europe", held in October 2022. Four sections with ten …

sofort lieferbar

Buch

Monique Frize, Claire Deschênes, Ruby Heap
Women's Contribution to Science and Technology through ICWES Conferences

This book discusses the legacy of the conference series The International Conferences of Women Engineers and Scientists (ICWES), which spans the second half of the Twentieth Century and the beginning of t…

lieferbar innerhalb 2-3 Wochen

Buch

International Sports Law and Jurisprudence of the CAS

This publication contains written versions of speeches made by some of the most experienced specialists in the field of sports and arbitration law at the 4th Lausanne Conference of the Swiss Bar Associati…

lieferbar innerhalb 2-3 Wochen

Buch

Philip Grobien
Iran at the Paris Peace Conference

"Using primary Persian and other previously unused source material this book describes Iran's activities at the Peace of Paris in 1919 and how Iran's intentions and desiderata were to put them at log…

lieferbar ab 22.1.2026.

Buch

Cultivating Digital Skills for Global Relevance

Springer Transactions on Digital Learning

This book presents the proceedings of the International Conference on Teaching, Assessment, and Learning in the Digital Age (digiTAL 2024). It features contributions from scholars, educators, researchers,…

lieferbar ab 9.12.2025.

Buch

Anonymous
Report of the Conference of Ministers of All Denominations on the Corn Laws, held in Manchester

Reprint of the original, first published in 1841. The Antigonos publishing house specialises in the publication of reprints of historical books. We make sure that these works are made available to the pub…

lieferbar innerhalb 2-3 Wochen

Buch

Proceedings of the RILEM Spring Convention and Conference 2024

This book gathers peer-reviewed contributions presented at the RILEM Spring Convention and Conference, held in Milan, Italy on April 7-12, 2024. The theme of the Conference was ¿Advanced construction mate…

lieferbar innerhalb 2-3 Wochen

Buch

Tools and Algorithms for the Construction and Analysis of Systems

The open access book set LNCS 15696, 15697 and 15698 constitutes the proceedings of the 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2025, whic…

lieferbar innerhalb 2-3 Wochen

Buch

Tools and Algorithms for the Construction and Analysis of Systems

The open access book set LNCS 15696, 15697 and 15698 constitutes the proceedings of the 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2025, whic…

lieferbar innerhalb 2-3 Wochen

Buch

15th International Conference on Environmental Science and Development (ICESD2024)

This book is proposed to be a collection of excellently peer-reviewed research from the 2024 15th International Conference on Environmental Science and Development (ICESD 2024), which will be held during …

lieferbar innerhalb 2-3 Wochen

Buch

Cooperative Design, Visualization, and Engineering

This book constitutes the proceedings of the 22nd International Conference on Cooperative Design, Visualization, and Engineering, CDVE 2025, held in Bangkok, Thailand, during October 19-22, 2025.The 22 fu…

lieferbar innerhalb 2-3 Wochen

Buch

Operator Theory

This proceedings volume collects select contributions presented at the International Conference in Operator Theory held at Hammamet, Tunisia, on April 30 May 3, 2018. Edited and refereed by well-known exp…

lieferbar innerhalb 2-3 Wochen

Buch

ICT for Global Innovations and Solutions

.- Advancing Vision-Language Models with Generative AI. .- A¨erlink: Blockchain-Enabled Supply-Chain Transparency for Counterfeit Prevention. .- Revolutionizing Shift-Left Testing through an Agentic AI Fr…

lieferbar innerhalb 2-3 Wochen

Buch