Search Results - "construction"

Suggested Topics within your search.
Refine Results
  1. 161
    Cover Image

    Tools and Algorithms for the Construction and Analysis of Systems 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, Part II /

    Published 2022
    Link to Metadata
    Electronic eBook

    Save to List
    Saved in:
  2. 162
    Cover Image

    Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part II /

    Published 2023
    Link to Metadata
    Electronic eBook

    Save to List
    Saved in:
  3. 163
    Cover Image

    Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part I /

    Published 2023
    Link to Metadata
    Electronic eBook

    Save to List
    Saved in:
  4. 164
    Cover Image

    Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I /

    Published 2018
    Link to Metadata
    Electronic eBook

    Save to List
    Saved in:
  5. 165
    Cover Image

    Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II /

    Published 2018
    Link to Metadata
    Electronic eBook

    Save to List
    Saved in:
  6. 166
    Cover Image

    Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22-27, 2023, Proceedings, Part II

    Published 2023
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  7. 167
    Cover Image

    Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22-27, 2023, Proceedings, Part I

    Published 2023
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  8. 168
    Cover Image

    Eco-Friendly Materials for Civil Construction Utilization and Advantages

    Published 2023
    Subjects: “…construction…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  9. 169
    Cover Image

    Sustainable Structures and Construction in Civil Engineering

    Published 2023
    Subjects: “…sustainable construction…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  10. 170
    Cover Image

    Tradition and Innovation in Construction Project Management

    Published 2023
    Subjects: “…Construction Innovation…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  11. 171
    Cover Image

    Innovation in Structural Analysis and Dynamics for Constructions

    Published 2023
    Subjects: “…analysis of constructional materials under dynamic loads…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  12. 172
    Cover Image

    Information Systems Foundations: Constructing and Criticising

    Published 2005
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  13. 173
    Cover Image

    Green and Sustainable Infrastructure Construction Materials

    Published 2023
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  14. 174
    Cover Image

    Tools and Algorithms for the Construction and Analysis of Systems 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part III

    Published 2019
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  15. 175
    Cover Image

    Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part II

    Published 2019
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  16. 176
    Cover Image

    Partisan Gerrymandering and the Construction of American Democracy by Engstrom, Erik J.

    Published 2013
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  17. 177
    Cover Image

    Tools and Algorithms for the Construction and Analysis of Systems 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part I

    Published 2020
    Subjects: “…system construction and transformation techniques…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  18. 178
    Cover Image

    Public Private Partnerships in International Construction Learning from case studies by Chan, Albert P.C

    Published 2013
    Subjects: “…Building construction & materials bicssc…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  19. 179
    Cover Image

    Constructions of Cancer in Early Modern England Ravenous Natures by Skuse, Alanna

    Published 2015
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  20. 180
    Cover Image

    Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part I

    Published 2019
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:

Search Tools: