Search Results - "formality"

Suggested Topics within your search.
Refine Results
  1. 21
    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:
  2. 22
    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:
  3. 23
    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:
  4. 24
    Cover Image

    Action [poems] by Opal, Anthony

    Published 2014
    Subjects: “…formalism…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  5. 25
    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:
  6. 26
    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:
  7. 27
    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:
  8. 28
    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:
  9. 29
    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:
  10. 30
    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:
  11. 31
    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:
  12. 32
    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:
  13. 33
    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:
  14. 34
    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:
  15. 35
    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:
  16. 36
    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:
  17. 37
    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:
  18. 38
    Cover Image

    Richard Wagner's Essays on Conducting A New Translation with Critical Commentary by Walton, Chris

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

    Save to List
    Saved in:
  19. 39
    Cover Image

    Musorgsky Remembered

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

    Save to List
    Saved in:
  20. 40
    Cover Image

    Nineteenth-Century French Song Fauré, Chausson, Duparc, and Debussy by Meister, Barbara

    Published 1980
    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: