TU Wien Academic Press

The scientific Open Access publishing house is operated as a service and non-profit institution by the TU Wien Bibliothek. You can find the entire publishing programme and extensive information on the TU Wien Academic Press website

Series


	Conference Series: Formal Methods in Computer-Aided Design Conference Series: Formal Methods in Computer-Aided Design Formale Methoden in rechnerunterstützter Systementwicklung (FMCAD) ist eine Konferenzreihe über Theorie und Anwendung von formalen Methoden in Hardware- und Systemverifikation. FMCAD stellt ein führendes Forum für Forschende in Wissenschaft und Industrie dar, wo bahnbrechende Methoden, Technologien, theoretische Ergebnisse und Werkzeuge für formale Logik in Rechensystemen präsentiert und diskutiert werden können. FMCAD deckt formale Aspekte der rechnerunterstützten Systementwicklung, sowie Verifikation, Spezifikation, Synthese und Testung. Formal Methods in Computer-Aided Design (FMCAD) is a conference series on the theory and applications of formal methods in hardware and system verification. FMCAD provides a leading forum to researchers in academia and industry for presenting and discussing groundbreaking methods, technologies, theoretical results, and tools for reasoning formally about computing systems. FMCAD covers formal aspects of computer-aided system design including verification, specification, synthesis, and testing.
	Jahrbücher des Instituts für Raumplanung der TU Wien Jahrbücher des Instituts für Raumplanung der TU Wien
	Schriftenreihe der Fakultät für Architektur und Raumplanung Series of publications by the Fakultät für Architektur und Raumplanung (Faculty of Architecture and Planning) Forschung, Lehre und Praxis benötigen Verknüpfung und gegenseitige Durchdringung. Diese Buchreihe rückt dies in den Fokus und vermittelt darüber ein vielfältiges Spektrum an Zugängen, Formaten und Beiträgen aus der forschungsgeleiteten Lehre an der Fakultät für Architektur und Raumplanung der TU Wien. Research, teaching and practice require intersections and reciprocal connections. Placing a spotlight on these linkages, this publication series conveys insights into a broad spectrum of approaches, formats and contributions grounded on the research-based teaching of the Faculty for Architecture and Planning at TU Wien.

Books


	Vages Terrain : Fragmente einer Standortwahl von übermorgen Becker, Jerome; Grandel, Tobias Gunnar; Miessgang, Madlyn - Anna; Mitteregger, Mathias; Sattlegger, Sebastian (Eds.) TU Wien Academic Press, 2023
	Trust in Robots Köszegi, Sabine Theresia; Vincze, Markus (Eds.) TU Wien Academic Press, 2022
	Embodied Gestures Tomás Calderón, Enrique; Gorbach, Thomas; Tellioglu, Hilda; Kaltenbrunner, Martin (Eds.) TU Wien Academic Press, 2022
	Gemeinschaftliches Wohnen und selbstorganisiertes Bauen Holm, Andrej; Laimer, Christoph (Eds.) TU Wien Academic Press, 2021
	Smart Parking in Fast-Growing Cities. Challenges and Solutions Winter, Stephan; Goel, Salil (Eds.) TU Wien Academic Press, 2021
	AVENUE21. Automatisierter und vernetzter Verkehr : Entwicklungen des urbanen Europa Mitteregger, Mathias; Bruck, Emilia M.; Soteropoulos, Aggelos; Stickler, Andrea; Berger, Martin; Dangschat, Jens S.; Scheuvens, Rudolf; Banerjee, Ian TU Wien Academic Press, Wien, 2020
	Erneuerbare Energien für Regionen: Flächenbedarfe und Flächenkonkurrenzen Dumke, Hartmut TU Wien Academic Press, 2020
	Modeling of the phase change material of a hybrid storage using the finite element method Kasper, Lukas TU Wien Academic Press, 2020
	Wind power deployment in urbanised regions : an institutional analysis of planning and Implementation Nabielek, Pia Christa TU Wien Academic Press Wien, Wien, 2020
	Zur Spaltrissbildung von textilbewehrtem Beton Preinstorfer, Philipp TU Wien Academic Press, 2020
	Place of importance : Gestaltung sozialintegrativer Bildungsräume im Kontext von Flucht und Asyl Harather, Karin; Peer, Christian M.; Semlitsch, Emanuela TU Wien Academic Press, Wien, 2019