bib.howest.be Zoekresultaten

U zocht naar: Auteur Finkbeiner

« Vorige | 1 - 10 van 11 | Volgende »

1. Social Media for Knowledge Sharing in Automotive Repair

Auteur:: Finkbeiner, Patric
Uitgever:: Springer International Publishing 2017
Type:: e-book

2. Special Types of Life Cycle Assessment

Auteur:: Finkbeiner, Matthias
Uitgever:: Springer Netherlands 2016
Type:: e-book

3. Towards Life Cycle Sustainability Management

Auteur:: Finkbeiner, Matthias
Uitgever:: Springer Netherlands 2011
Type:: e-book

4. Runtime Verification

Auteur:: Finkbeiner; Mariani, Leonardo
Uitgever:: Springer International Publishing 2019
Type:: e-book

5. Verification, Model Checking, and Abstract Interpretation : 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16-18, 2022, Proceedings

Auteur:: Finkbeiner, Bernd.; Wies, Thomas
Uitgever:: Cham Springer International Publishing AG 2022
Type:: e-book

6. Automated Technology for Verification and Analysis

Auteur:: Finkbeiner; Pu, Geguang; Zhang, Lijun
Uitgever:: Springer International Publishing 2015
Type:: e-book

7. Fields of Logic and Computation II

Auteur:: Beklemishev; Blass, Andreas; Dershowitz, Nachum; Finkbeiner, Bernd; Schulte, Wolfram
Uitgever:: Springer International Publishing 2015
Type:: e-book

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

Auteur:: Blass; Cégielski, Patrick; Dershowitz, Nachum; Droste, Manfred; Finkbeiner, Bernd
Uitgever:: Springer International Publishing 2020
Type:: e-book

9. Rechtsradikalismus in Niedersachsen

Auteur:: Lars Geiges, Katharina Trittel, Florian Finkbeiner; Geiges, Lars; Trittel, Katharina
Uitgever:: Bielefeld transcript Verlag 2019
Type:: e-book

10. Autopsy Pathology: A Manual and Atlas (Third Edition)

Auteur:: Connolly, Andrew J; Davis, Richard L.; finkbeiner, Walter E.; Ursell, Philip C.
Uitgever:: Elsevier 2016
Type:: e-book