Sökt på: Böcker av Bernd Fink
totalt 31 träffar
Runtime Verification
Deutschbuch. Arbeitsheft. Oberstufe. Gymnasium. Bayern
Passgenau zum neuen Oberstufen-Lehrplan für das G8 ab 2009 Aufbauend auf dem 'Deutschbuch für Gymnasien Bayern Band 5-10' vermitteln die Bände 11 und 12 das gesamte Basiswissen …
Fields of Logic and Computation III
This Festschrift is published in honor of Yuri Gurevich's 80th birthday. An associated conference, YuriFest 2020, was planned for May 18-20 in Fontainebleau, France, in combination …
Zeitformen - einfach märchenhaft
Runtime Verification
This book constitutes the refereed proceedings of the 19th International Conference on Runtime Verification, RV 2019, held in Porto, Portugal, in October 2019.The 25 regular papers …
Femoral Revision Arthroplasty
This practical book combines thorough literature review with extensive clinical experience to provide a clear overview of femoral revision arthroplasty, with the aim to present all …
Tools and Algorithms for the Construction and Analysis of Systems
The open access book 3-volume set LNCS 14570-14573 constitutes the proceedings of the 30th International Conference on Tools and Algorithms for the Construction and Analysis of …
Lautes Denken, «Stimulated Recall» und Dokumentarische Methode
Fields of Logic and Computation II
This Festschrift is published in honor of Yuri Gurevich's 75th birthday. Yuri Gurevich has made fundamental contributions on the broad spectrum of logic and computer science, …
Werkbuch Medizinethik 2
Automated Technology for Verification and Analysis
This book constitutes the proceedings of the 13th International Symposium on Automated Technology for Verification and Analysis, ATVA 2015, held in Shanghai, China, in October …
Runtime Verification
This volume contains the proceedings of the 2010 Runtime Veri?cation conf- ence (RV 2010), which was held in St. Julians, Malta on November 1-4, 2010. The conference program …