|
|

avaa valikko

Bernd Finkbeiner | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 11 tuotetta
Haluatko tarkentaa hakukriteerejä?



Finkbeiner, Bernd; Kovács, Laura
Springer
2024
Pehmeäkantinen kirja
Tools and Algorithms for the Construction and Analysis of Systems : 30th International Conference, TACAS 2024, Held as Part
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
41,20 €
Finkbeiner, Bernd; Pu, Geguang; Zhang, Lijun
Springer International Publishing AG
2015
Pehmeäkantinen kirja
Automated Technology for Verification and Analysis - 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 20
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Finkbeiner, Bernd; Mariani, Leonardo
Springer Nature Switzerland AG
2019
Pehmeäkantinen kirja
Runtime Verification - 19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedings
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
66,10 €
Finkbeiner, Bernd; Wies, Thomas
Springer Nature Switzerland AG
2022
Pehmeäkantinen kirja
Verification, Model Checking, and Abstract Interpretation - 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, Ja
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
91,00 €
Finkbeiner, Bernd; Kovács, Laura
Springer
2024
Pehmeäkantinen kirja
Tools and Algorithms for the Construction and Analysis of Systems : 30th International Conference, TACAS 2024, Held as Part
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
41,20 €
Finkbeiner, Bernd; Kovács, Laura
Springer
2024
Pehmeäkantinen kirja
Tools and Algorithms for the Construction and Analysis of Systems : 30th International Conference, TACAS 2024, Held as Part
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
41,20 €
Barringer, Howard; Falcone, Ylies; Finkbeiner, Bernd; Havelund, Klaus; Lee, Insup; Pace, Gordon; Rosu, Grigore; Sokolsky, Oleg;
Springer
2010
Pehmeäkantinen kirja
Runtime Verification : First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Beklemishev, Lev D.; Blass, Andreas; Dershowitz, Nachum; Finkbeiner, Bernd; Schulte, Wolfram
Springer International Publishing AG
2015
Pehmeäkantinen kirja
Fields of Logic and Computation II - Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Aguado, Karin; Finkbeiner, Claudia; Tesch, Bernd
Peter Lang AG
2018
Kovakantinen kirja
Lautes Denken, Stimulated Recall und Dokumentarische Methode - Rekonstruktive Verfahren in der Fremdsprachenlehr- und -lernforsc
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
91,20 €
Blass, Andreas; Cégielski, Patrick; Dershowitz, Nachum; Droste, Manfred; Finkbeiner, Bernd
Springer Nature Switzerland AG
2020
Pehmeäkantinen kirja
Fields of Logic and Computation III - Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Rauh, Andreas; Finkbeiner, Bernd; Kröger, Paul
Springer
2026
Pehmeäkantinen kirja
Design and Verification of Cyber-Physical Systems: From Theory to Applications : Essays Dedicated to Martin Fränzle on the
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
83,00 €

Näytä lisää...