Search Results - "Foundation"

  1. 121
  2. 122

    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 o...

    Published 2019
    Subjects: “…Computer Science Logic and Foundations of Programming.…”
    Link to Metadata
    Electronic eBook
  3. 123

    Molecular Beams in Physics and Chemistry From Otto Stern's Pioneering Exploits to Present-Day Feats /

    Published 2021
    Subjects: “…Philosophical Foundations of Physics and Astronomy.…”
    Link to Metadata
    Electronic eBook
  4. 124

    Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II /

    Published 2018
    Subjects: “…Computer Science Logic and Foundations of Programming.…”
    Link to Metadata
    Electronic eBook
  5. 125

    Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I /

    Published 2018
    Subjects: “…Computer Science Logic and Foundations of Programming.…”
    Link to Metadata
    Electronic eBook
  6. 126

    Theoretical Knowledge in the Mohist Canon by Schemmel, Matthias

    Published 2022
    Subjects: “…Epistemological foundations…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
  7. 127

    Theoretical Knowledge in the Mohist Canon by Schemmel, Matthias

    Published 2022
    Subjects: “…Epistemological foundations…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter
  8. 128

    Dam Safety. Overtopping and Geostructural Risks

    Published 2022
    Subjects: “…foundation size…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
  9. 129

    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 o...

    Published 2018
    Subjects: “…Computer Science Logic and Foundations of Programming.…”
    Link to Metadata
    Electronic eBook
  10. 130

    Legaliteit en legitimiteit De grondslagen van het recht by Cliteur, Paul

    Published 2016
    Subjects: “…foundations of the law…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
  11. 131

    Spectral Geometry of Partial Differential Operators by Ruzhansky, Michael

    Published 2020
    Subjects: “…Mathematical foundations bicssc…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
  12. 132

    Simplicial and Dendroidal Homotopy Theory by Heuts, Gijs

    Published 2022
    Subjects: “…Mathematical foundations bicssc…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
  13. 133

    Spectral Geometry of Partial Differential Operators by Ruzhansky, Michael

    Published 2020
    Subjects: “…Mathematical foundations bicssc…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter
  14. 134

    Simplicial and Dendroidal Homotopy Theory by Heuts, Gijs

    Published 2022
    Subjects: “…Mathematical foundations bicssc…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter
  15. 135

    Automated Reasoning 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings /

    Published 2022
    Subjects: “…Computer Science Logic and Foundations of Programming.…”
    Link to Metadata
    Electronic eBook
  16. 136

    Frontiers of Combining Systems 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20-22, 2023, Proceedings /

    Published 2023
    Subjects: “…Computer Science Logic and Foundations of Programming.…”
    Link to Metadata
    Electronic eBook
  17. 137
  18. 138
  19. 139
  20. 140