Logo DOAB
  • Publisher login
    • Support
    • Language 
      • English
      • français
    • Deposit
            Publications 
            •   DOAB Home
            • 20.500.12854/70817
            • Publications
            •   DOAB Home
            • 20.500.12854/70817
            • Publications
            JavaScript is disabled for your browser. Some features of this site may not work without it.

            Publications

            Now showing items 11-20 of 30

            • Results Per Page:
            • 5
            • 10
            • 20
            • 40
            • 60
            • 80
            • 100
            • Help
            • Results Per Page:
            • 5
            • 10
            • 20
            • 40
            • 60
            • 80
            • 100
            Thumbnail

            Mathematical Thinking. An Involution for Architects 

            Zafiris, Elias (2025)
            The two most predominant characteristics of mathematical thinking are abstraction and diachronic validity. The currently dominant division between pure and applied mathematics eradicates both— how abstraction always guides ...
            Thumbnail

            Proceedings of the 25th Conference on Formal Methods in Computer-Aided Design – FMCAD 2025 

            Irfan, Ahmed; Kaufmann, Daniela (2025)
            The Conference on Formal Methods in Computer-Aided Design (FMCAD) is an annual conference on the theory and applications of formal methods in hardware and system verification. FMCAD provides a leading forum to researchers ...
            Thumbnail

            Transformation des Bestandes 

            Damjanovic, Dragana; Chiffre, Lorenzo De; Oevermann, Heike; Suitner, Johannes (2025)
            The anthology Transformation des Bestandes (Transformation of Existing Buildings) brings together contributions from a wide range of disciplines in architecture and spatial planning that deal with the transformation of ...
            Thumbnail

            Trust in Robots 

            Koeszegi, Sabine T.; Vincze, Markus (2022)
            Robots are increasingly becoming prevalent in our daily lives within our living or working spaces. We hope that robots will take up tedious, mundane or dirty chores and make our lives more comfortable, easy and enjoyable ...
            Thumbnail

            Erneuerbare Energien für Regionen 

            Dumke, Hartmut (2020)
            Every human action consumes energy: heating, cooling, hot water, electricity and transport requirements – all of these require energy. But climate change demands that our energy needs also change, that we use more and more ...
            Thumbnail

            Modeling of the Phase Change Material of a Hybrid Storage using the Finite Element Method 

            Kasper, Lukas (2020)
            To increase the efficiency of energy-intensive industrial processes, thermal energy storages can offer new possibilities. In recent years, especially latent heat thermal energy storages, exploiting the high energy density ...
            Thumbnail

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

            Piskac, Ruzica; Whalen, Michael (2021)
            The Conference on Formal Methods in Computer-Aided Design (FMCAD) is an annual conference on the theory and applications of formal methods in hardware and system verification. FMCAD provides a leading forum to researchers ...
            Thumbnail

            Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design – FMCAD 2022 

            Griggio, Alberto; Rungta, Neha (2022)
            The Conference on Formal Methods in Computer-Aided Design (FMCAD) is an annual conference on the theory and applications of formal methods in hardware and system verification. FMCAD provides a leading forum to researchers ...
            Thumbnail

            Wind power deployment in urbanised regions 

            Nabielek, Pia (2020)
            There is a palpable tension between the planning and implementation of climate targets, for instance as regards renewable energy resources — among which wind power plays a significant role. This tension comes to the fore ...
            Thumbnail

            Place of Importance 

            Harather, Karin; Peer, Christian; Semlitsch, Emanuela (2019)
            This book focuses on the special and unique potential that universities have to offer within the context of people fleeing their homes and seeking asylum and integration. Starting with social diversity as a prerequisite ...
            • 1
            • 2
            • 3

            Browse

            All of DOABSubjectsPublishersLanguagesCollections

            My Account

            LoginRegister

            Export

            Repository metadata
            Doabooks

            • For Researchers
            • For Librarians
            • For Publishers
            • Our Supporters
            • Resources
            • DOAB

            Newsletter


            • subscribe to our newsletter
            • view our news archive

            Follow us on

            • Twitter

            License

            • If not noted otherwise all contents are available under Attribution 4.0 International (CC BY 4.0)

            donate


            • Donate
              Support DOAB and the OAPEN Library

            Credits


            • logo Investir l'avenirInvestir l'avenir
            • logo MESRIMESRI
            • logo EUEuropean Union
              This project received funding from the European Union’s Horizon 2020 research and innovation programme under grant agreement No 871069.

            Directory of Open Access Books is a joint service of OAPEN, OpenEdition, CNRS and Aix-Marseille Université, provided by DOAB Foundation.

            Websites:

            DOAB
            www.doabooks.org

            OAPEN Home
            www.oapen.org

            OAPEN OA Books Toolkit
            www.oabooks-toolkit.org

            Export search results

            The export option will allow you to export the current search results of the entered query to a file. Differen formats are available for download. To export the items, click on the button corresponding with the preferred download format.

            A logged-in user can export up to 15000 items. If you're not logged in, you can export no more than 500 items.

            To select a subset of the search results, click "Selective Export" button and make a selection of the items you want to export. The amount of items that can be exported at once is similarly restricted as the full export.

            After making a selection, click one of the export format buttons. The amount of items that will be exported is indicated in the bubble next to export format.