MPG.eBooks - Search Results

Cover Image

1

Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design – FMCAD 2020

by Ivrii, Alexander
Published 2020

TU Wien Academic Press

Cover Image

2

Mathematical Aspects of Logic Programming Semantics

by Hitzler, Pascal
Published 2011

Taylor & Francis

Cover Image

3

Material Aspects of Building and Craft Traditions: A Himalayan Case Study

by Feiglstorfer, Hubert
Published 2022

Verlag der Österreichischen Akademie der Wissenschaften

Cover Image

4

Computer Aided Verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part I

by Shoham, Sharon
Published 2022

Springer Nature

Cover Image

5

Computer Aided Verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part II

by Shoham, Sharon
Published 2022

Springer Nature

Cover Image

6

Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design – FMCAD 2021

by Piskac, Ruzica
Published 2021

TU Wien Academic Press

Cover Image

7

Die Palastanlage oberhalb des Theaters von Ephesos : Tafelband

by Baier, Christoph
Published 2023

Verlag der Österreichischen Akademie der Wissenschaften

Cover Image

8

Die Palastanlage oberhalb des Theaters von Ephesos : Planmappe

by Baier, Christoph
Published 2023

Verlag der Österreichischen Akademie der Wissenschaften

Cover Image

9

Die Palastanlage oberhalb des Theaters von Ephesos : Textband

by Baier, Christoph
Published 2023

Verlag der Österreichischen Akademie der Wissenschaften