Convergence – Bücher, CDs, LPs und mehr, Seite 9

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

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

Thomas Cornish
Paper of the Conferences Held in Connection with the Great International Fisheries Exhibition

Reprint of the original, first published in 1883. 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

Connecting Science Education with Cultural Heritage

This edited volume presents groundbreaking research in science education, focusing on the intersection of science and cultural heritage. Showcasing 23 high-quality studies, it draws from presentations at …

lieferbar innerhalb 2-3 Wochen

Buch

Advances in Nonlinear Dynamics, Volume I

This volume aims to present the latest advancements in experimental, analytical, and numerical methodologies aimed at exploring the nonlinear dynamics of diverse systems across varying length and time sca…

lieferbar innerhalb 2-3 Wochen

Buch

Proceedings of the Third International Conference on Advances in Computing Research (ACR'25)

This book concentrates on advances in research in the areas of computational intelligence, cybersecurity engineering, data analytics engineering, network and communications, cloud and mobile computing, so…

lieferbar innerhalb 2-3 Wochen

Buch

Hugo Wiener,
Der Blöde und der Gscheite

>>Was soll ich reden?<< - Der Blöde >>Etwas Gescheites!<< - Der Gscheite Der >>Blöde<< und der >>Gscheite<< unterhalten sich. Der Gscheite versucht, dem Blö…

lieferbar innerhalb einer Woche

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

Jean Claude, Jacques Bénigne Bossuet, J. Murphy Baltimore
A Conference On the Authority of the Church

Reprint of the original, first published in 1842. 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

Reversible Computation

This book constitutes the refereed proceedings of the 17th International Conference on Reversible Computation, RC 2025, held in Odense, Denmark, during July 3--4, 2025.The 7 full papers and 5 short papers…

lieferbar innerhalb 2-3 Wochen

Buch

Proceedings of ARCH 2023

This volume is dedicated entirely to arch structures' related issues, namely technical, scientific, historical, social, and cultural as well as future perspectives and challenges. Covered subjects are rel…

lieferbar innerhalb 2-3 Wochen

Buch

Formal Techniques for Distributed Objects, Components, and Systems

This book constitutes the refereed proceedings of the 45th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2025, held in Lille, France, in…

lieferbar innerhalb 2-3 Wochen

Buch

Kim Ho-yeon,
Frau Yeoms kleiner Laden der großen Hoffnungen

In einer schmalen Gasse eines alten Stadtteils von Seoul befindet sich Frau Yeoms kleiner Gemischtwarenladen. Täglich kreuzen sich hier die Wege ganz unterschiedlicher Menschen. Der obdachlose Dok-go vers…

sofort lieferbar

Buch

Anonymous
Minutes of the Annual Conferences of the Methodist Episcopal Church for the Years 1829-1839

Reprint of the original, first published in 1840. 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

The 7th International Conference on Wireless, Intelligent and Distributed Environment for Communication

This book presents the proceedings of the 7th International Conference on Wireless Intelligent and Distributed Environment for Communication (WIDECOM 2024), which took place at Keene State College, Keene,…

lieferbar innerhalb 2-3 Wochen

Buch

V Latin American Conference on Bioimpedance

This book offers a timely snapshot on the developments in the field of bioimpedance, covering diverse applications such as in medicine, food industry and other fields. Gathering the proceedings of the X L…

lieferbar innerhalb 2-3 Wochen

Buch

Proceedings of 4th International Conference on Mathematical Modeling and Computational Science

This book aims to capture the interest of researchers and professionals in information technology, computer science, and mathematics. It presents fundamental and advanced concepts in intelligent computing…

lieferbar innerhalb 2-3 Wochen

Buch

Proceedings of 4th International Conference on Mathematical Modeling and Computational Science

This book aims to capture the interest of researchers and professionals in information technology, computer science, and mathematics. It covers fundamental and advanced concepts related to intelligent com…

lieferbar innerhalb 2-3 Wochen

Buch