TU Wien Academic Press

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.

Die Reihe „Jahrbücher des Instituts für Raumplanung der TU Wien“ erscheint seit Band 9 (2023) bei TU Wien Academic Press. Im Jahrbuch Raumplanung werden wissenschaftliche Beiträge zu aktuellen Themen der raumbezogenen Forschung und Praxis publiziert. Die Reihe fördert Diskurse und den Wissensaustausch innerhalb der Planung und mit verwandten Wissensdisziplinen sowie den Dialog zwischen den raumbezogenen Wissenschaften und der Planungspraxis.

Die Schriftenreihe Meridian Architectonics feiert die Meridiane, imaginäre Linien, die die Pole der Erde vertikal verbinden. Die Bücher dieser Reihe beschäftigen sich mit zeitgenössischen Themen jenseits etablierter Gegensätze und fördern eine intellektuelle Lebendigkeit, die über konsumtive Tendenzen hinausgeht. Die Buchreihe begrüsst die Unbestimmtheit der zeitgenössischen Wissenschaft, Technologie und Kunst als Befreiung von ontologischen und erkenntnistheoretischen Projekten und deren Absolutheits-Versprechen. Sie zielt darauf ab, die reichen Spektren der Nuanciertheit zeitgenössischer Denkorte durch eine Optik vielfältiger und unterschiedlicher Polaritäten zu erforschen und zu kommunizieren - es geht um die aktiven Gestaltung von Realität durch projektiles Denken in schriftlicher und stimmhafter Artikulation. Die Schriftenreihe Meridian Architectonics verschreibt sich der Artikulation von Prinzipien als einer Kunst und feiert Cases (Fälle) im architektonischen Denken und in der architektonischer Praxis, ohne dabei eine bestimmte ideologische Haltung einzunehmen

The Meridian Architectonics book series celebrates the meridians, imaginary lines vertically connecting the poles of the earth. The books in this series engage with contemporary themes beyond antinomies, promoting an intellectual vivacity that transcends consumptive tendencies. The book series embraces the indeterminacy of contemporary science, technology and the arts as a liberation from ontological and epistemological projects and their promise of immediacy. It explores the colourful spectra of contemporary thought through multiple and different polarities—viewing them as opportunities to actively shape reality through projectual understanding and written and voiced articulation. The Meridian Architectonics book series dedicates itself to the articulation of principles as an art, celebrating cases of architectonic thought and practice while avoiding any specific ideological stance.

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.

Lehner, Judith M.; Krejs, Bernadette; Güntner, Simon; Obrist, Michael (Eds.)

TU Wien Academic Press, 2025

Reichel, Marie; Thaler, Lukas; Titze, Gregor (Eds.)

TU Wien Academic Press, 2024

Pelja-Tabori, Nataša

TU Wien Academic Press, Wien, 2024

Peer, Christian; Semlitsch, Emanuela; Güntner, Simon Andreas; Haas, Mara; Bernögger, Andreas (Eds.)

TU Wien Academic Press, Wien, 2024

Becker, Jerome; Grandel, Tobias Gunnar; Miessgang, Madlyn - Anna; Mitteregger, Mathias; Sattlegger, Sebastian (Eds.)

TU Wien Academic Press, Wien, 2023

Köszegi, Sabine Theresia; Vincze, Markus (Eds.)

TU Wien Academic Press, Wien, 2022

Tomás Calderón, Enrique; Gorbach, Thomas; Tellioğlu, Hilda; Kaltenbrunner, Martin (Eds.)

TU Wien Academic Press, Wien, 2022

Holm, Andrej; Laimer, Christoph (Eds.)

TU Wien Academic Press, Wien, 2021

Winter, Stephan; Goel, Salil (Eds.)

TU Wien Academic Press, Wien, 2021

Mitteregger, Mathias; Bruck, Emilia M.; Soteropoulos, Aggelos; Stickler, Andrea; Berger, Martin; Dangschat, Jens S.; Scheuvens, Rudolf; Banerjee, Ian

TU Wien Academic Press, Wien, 2020

Dumke, Hartmut

TU Wien Academic Press, Wien, 2020

Kasper, Lukas

TU Wien Academic Press, 2020

Harather, Karin; Peer, Christian M.; Semlitsch, Emanuela

TU Wien Academic Press, Wien, 2019

Preinstorfer, Philipp

TU Wien Academic Press, 2020

Nabielek, Pia Christa

TU Wien Academic Press Wien, Wien, 2020