Search Results - "formalism"

Suggested Topics within your search.
Refine Results
  1. 41
    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...

    Published 2018
    Subjects: “…formal logic…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  2. 42
    Cover Image

    Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design - FMCAD 2023

    Published 2023
    Subjects: “…Formal Methods; Computer-Aided System Design; Hardware and System Verification; Formal Verification, Specification, Synthesis, and Testing; Automated and Formal Reasoning…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  3. 43
    Cover Image

    Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design - FMCAD 2020

    Published 2020
    Subjects: “…Formal Methods…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  4. 44
    Cover Image

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

    Published 2021
    Subjects: “…Formal Methods; Computer-Aided System Design; Hardware and System Verification; Formal Verification, Specification, Synthesis, and Testing; Automated and Formal Reasoning…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  5. 45
    Cover Image

    Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design - FMCAD 2020

    Published 2020
    Subjects: “…Formal Methods…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  6. 46
    Cover Image

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

    Published 2021
    Subjects: “…Formal Methods; Computer-Aided System Design; Hardware and System Verification; Formal Verification, Specification, Synthesis, and Testing; Automated and Formal Reasoning…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  7. 47
    Cover Image

    Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design - FMCAD 2023

    Published 2023
    Subjects: “…Formal Methods; Computer-Aided System Design; Hardware and System Verification; Formal Verification, Specification, Synthesis, and Testing; Automated and Formal Reasoning…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  8. 48
    Cover Image

    From Formal Semantics to Verified Slicing : A Modular Framework with Applications in Language Based Security by Wasserrab, Daniel

    Published 2011
    Subjects: “…Formal Semantics…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  9. 49
    Cover Image

    Bridging Formal and Conceptual Semantics Selected papers of BRIDGE-14

    Published 2017
    Subjects: “…formal semantics…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  10. 50
    Cover Image

    The American Symphony Orchestra A Social History of Musical Taste by Mueller, John H.

    Published 1951
    Subjects: “…Art music, orchestral & formal music…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  11. 51
    Cover Image

    Orpheus in America

    Published 1957
    Subjects: “…Art music, orchestral & formal music…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  12. 52
    Cover Image

    Bach's World by Chiapusso, Jan

    Published 1969
    Subjects: “…Art music, orchestral & formal music…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  13. 53
    Cover Image

    Twenty-seven Major American Symphony Orchestras A History and Analysis of Their Repertoires, Seasons 1842-43 through 1969-70 by Mueller, Kate Hevner

    Published 1973
    Subjects: “…Art music, orchestral & formal music…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  14. 54
    Cover Image

    The Muses' Concord Literature, Music, and the Visual Arts in the Baroque Age by Jensen, H. James

    Published 1976
    Subjects: “…Art music, orchestral & formal music…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  15. 55
    Cover Image

    A Catalogue of 18th-Century Symphonies by LaRue, Jan

    Published 1988
    Subjects: “…Art music, orchestral & formal music…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  16. 56
    Cover Image

    Meter in Music, 1600-1800 Performance, Perception, and Notation by Houle, George

    Published 1987
    Subjects: “…Art music, orchestral & formal music…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  17. 57
    Cover Image

    E. Power Biggs, Concert Organist by Owen, Barbara

    Published 1987
    Subjects: “…Art music, orchestral & formal music…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  18. 58
    Cover Image

    Jean-Henry D'Anglebert and the Seventeenth-Century Clavecin School by Scheibert, Beverly

    Published 1985
    Subjects: “…Art music, orchestral & formal music…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  19. 59
    Cover Image

    Harpsichord in America A Twentieth-Century Revival by Palmer, Larry

    Published 1989
    Subjects: “…Art music, orchestral & formal music…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  20. 60
    Cover Image

    Joseph Haydn's Keyboard Music Sources and Style by Brown, A. Peter

    Published 1986
    Subjects: “…Art music, orchestral & formal music…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:

Search Tools: