Bernd Finkbeiner | Akateeminen Kirjakauppa

Automated Technology for Verification and Analysis - 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 20

Finkbeiner, Bernd; Pu, Geguang; Zhang, Lijun
Springer International Publishing AG
2015
Pehmeäkantinen kirja

51,10 €

Runtime Verification - 19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedings

Finkbeiner, Bernd; Mariani, Leonardo
Springer Nature Switzerland AG
2019
Pehmeäkantinen kirja

66,10 €

Verification, Model Checking, and Abstract Interpretation - 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, Ja

Finkbeiner, Bernd; Wies, Thomas
Springer Nature Switzerland AG
2022
Pehmeäkantinen kirja

91,00 €

Tools and Algorithms for the Construction and Analysis of Systems : 30th International Conference, TACAS 2024, Held as Part

Finkbeiner, Bernd; Kovács, Laura
Springer
2024
Pehmeäkantinen kirja

41,20 €

Tools and Algorithms for the Construction and Analysis of Systems : 30th International Conference, TACAS 2024, Held as Part

Finkbeiner, Bernd; Kovács, Laura
Springer
2024
Pehmeäkantinen kirja

41,20 €

Tools and Algorithms for the Construction and Analysis of Systems : 30th International Conference, TACAS 2024, Held as Part

Finkbeiner, Bernd; Kovács, Laura
Springer
2024
Pehmeäkantinen kirja

41,20 €

Runtime Verification - First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings

Barringer, Howard; Falcone, Ylies; Finkbeiner, Bernd; Havelund, Klaus; Lee, Insup; Pace, Gordon; Rosu, Grigore; Sokolsky, Oleg;
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2010
Pehmeäkantinen kirja

51,10 €

Fields of Logic and Computation II - Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday

Beklemishev, Lev D.; Blass, Andreas; Dershowitz, Nachum; Finkbeiner, Bernd; Schulte, Wolfram
Springer International Publishing AG
2015
Pehmeäkantinen kirja

51,10 €

Lautes Denken, Stimulated Recall und Dokumentarische Methode - Rekonstruktive Verfahren in der Fremdsprachenlehr- und -lernforsc

Aguado, Karin; Finkbeiner, Claudia; Tesch, Bernd
Peter Lang AG
2018
Kovakantinen kirja

66,20 €

Fields of Logic and Computation III - Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday

Blass, Andreas; Cégielski, Patrick; Dershowitz, Nachum; Droste, Manfred; Finkbeiner, Bernd
Springer Nature Switzerland AG
2020
Pehmeäkantinen kirja

51,10 €

Design and Verification of Cyber-Physical Systems: From Theory to Applications : Essays Dedicated to Martin Fränzle on the

Rauh, Andreas; Finkbeiner, Bernd; Kröger, Paul
Springer
2026
Pehmeäkantinen kirja

83,00 €