Open Access 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.
Geowissenschaftliche Mitteilungen Geowissenschaftliche Mitteilungen
Die Geowissenschaftlichen Mitteilungen (ISSN 1811-8380) werden vom Department für Geodäsie und Geoinformation herausgegeben und dienen zur Veröffentlichung aktueller Forschungsergebnisse sowie von Tagungsbänden durch das Department organisierter Konferenzen.
Geowissenschaftliche Mitteilungen is the name of the journal (ISSN 1811-8380) of the Department of Geodesy and Geoinformation at TU Wien. It is used to publish research results and proceedings of conferences organized by the department. Below you have free access to all issues since 1973.
Proceedings SAP Academic User Group Meetings Proceedings SAP Academic User Group Meetings
Beim Einsatz von SAP Lösungen in der Lehre entstehen implizit und explizit eine ganze Menge an Forschungserkenntnissen. Die Proceedings SAP Academic User Group Meetings enthalten eine Auswahl der präsentierten wissenschaftlichen Artikel und Abstracts der Konferenz.
The use of SAP solutions in teaching generates a great deal of implicit and explicit research knowledge. The Proceedings of the SAP Academic User Group Meetings contain a selection of the scientific articles and abstracts presented at the conference.
Recent Notes on Labor Science and Organization Recent Notes on Labor Science and Organization
Die Recent Notes on Labor Science and Organization (ISSN 2414-665X) veröffentlichen Originalarbeiten in den Bereichen Arbeitswissenschaft, Humanressourcen, Innovation, Gender, Organisationstheorie und Organisationsverhalten. Als Open-Access-Zeitschrift zielt sie auf die Bereitstellung aktueller Entwicklungen auf dem neuesten Stand der Technik ab. Die Beiträge unterliegen einer Qualitätskontrolle und einem Redaktionsverfahren.
Recent Notes on Labor Science and Organization (ISSN 2414-665X) publishes original research in the areas of labor science, human resources, innovation, gender, organization theory and organizational behavior. As an open access journal it aims at providing current developments of the state-of-the-art. Contributions are subject to a quality control and editing procedure.
Series of publications by the Fakultät für Architektur und Raumplanung (Faculty of Architecture and Planning) Schriftenreihe der Fakultät für Architektur und Raumplanung
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.
Social innovation and sustainable transformation in urban development Soziale Innovation und nachhaltige Transformation in der Stadtentwicklung
Die Reihe veröffentlicht Schriften zur Thematik der sozialen Innovation und nachhaltigen Transformation in der Stadtentwicklung. Auf Basis dieses Schwerpunkts der inter- und transdisziplinären Plattform future.lab erscheinen Nachlesen zu offenen Netzwerktreffen monatlich, thematische Sammelbände jährlich und andere Veröffentlichungen in unregelmäßigen zeitlichen Abständen. Alle Veröffentlichungen werden einem Peer-Review-Verfahren unterzogen.
The series is a collection of publications on the topic of social innovation and sustainable transformation in urban development. Based on this focus of the inter- and transdisciplinary plattform future.lab reviews of open network meetings are published monthly, thematic anthologies annually, and other publications in irregular intervals. All publications are peer-reviewed.
Vienna Notes Wiener Mitteilungen
Die Wiener Mitteilungen sind eine von den Wasserbauinstituten an der Technischen Universität Wien, den Instituten für Wasserwirtschaft der Universität für Bodenkultur und dem Österreichischen Wasser- und Abfallwirtschaftsverband gemeinsam herausgegebene Schriftenreihe. Genauere Informationen finden Sie auf der Seite des Forschungsbereichs für Wassergütewirtschaft.
The booklet series Vienna Notes provides monographies, PhD thesis and full paper articles from training courses and local conferences dealing with a broad field of topics related to waster quality management, technology and analytical issues. The series is published together by all Vienna water-related University institutes fom TU Wien, the University of Natural Resources and Life Sciences and the Austrian Water and Waste Management Association (ÖWAV). It exists since 1968 and consists of more than 200 books and mainly is in german language. Further information can be found on the website of the Research Center for the Water Quality Management.