Arama Sonuçları - "formalization"

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

Konular: “…Art music, orchestral & formal music…”
DOAB: download the publication
DOAB: description of the publication

Harpsichord in America A Twentieth-Century Revival Yazar: Palmer, Larry

Konular: “…Art music, orchestral & formal music…”
DOAB: download the publication
DOAB: description of the publication

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

Konular: “…Art music, orchestral & formal music…”
DOAB: download the publication
DOAB: description of the publication

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

Konular: “…Art music, orchestral & formal music…”
DOAB: download the publication
DOAB: description of the publication

Musorgsky Remembered

Konular: “…Art music, orchestral & formal music…”
DOAB: download the publication
DOAB: description of the publication

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

Konular: “…Art music, orchestral & formal music…”
DOAB: download the publication
DOAB: description of the publication

Action [poems] Yazar: Opal, Anthony

Konular: “…formalism…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Graph Structures for Knowledge Representation and Reasoning 6th International Workshop, GKR 2020, Virtual Event, September 5, 2020, Revised Selected Papers

Konular: “…formal logic…”
DOAB: download the publication
DOAB: description of the publication

Graph Structures for Knowledge Representation and Reasoning 6th International Workshop, GKR 2020, Virtual Event, September 5, 2020, Revised Selected Papers

Konular: “…formal logic…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Principles of Security and Trust: 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloni...

Konular: “…formal logic…”
DOAB: download the publication
DOAB: description of the publication

Principles of Security and Trust: 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloni...

Konular: “…formal logic…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Relational exploration. Combining description logics and formal concept analysis for knowledge specification Yazar: Rudolph, Sebastian

Konular: “…Formale Begriffsanalyse…”
DOAB: download the publication
DOAB: description of the publication

Innovative tools and design strategies The case of Eclectic Architecture in Buenos Aires Yazar: Andrés Garrido, Federico

Konular: “…digitaler Entwurf; digitale Methodik; parametrisches design; formale Analyse; Architektur des 19. Jahrhunderts; digital design; digital methodologies; parametric design; formal analysis; 19th-century architecture…”
DOAB: download the publication
DOAB: description of the publication

Innovative tools and design strategies The case of Eclectic Architecture in Buenos Aires Yazar: Andrés Garrido, Federico

Konular: “…digitaler Entwurf; digitale Methodik; parametrisches design; formale Analyse; Architektur des 19. Jahrhunderts; digital design; digital methodologies; parametric design; formal analysis; 19th-century architecture…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Jungen als Bildungsgewinner Eine qualitative Studie zu bildungserfolgreichen Jugendlichen in Risikolebenslagen Yazar: Richter, Michael

Konular: “…formal and non-formal settings…”
DOAB: download the publication
DOAB: description of the publication

Jungen als Bildungsgewinner Eine qualitative Studie zu bildungserfolgreichen Jugendlichen in Risikolebenslagen Yazar: Richter, Michael

Konular: “…formal and non-formal settings…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

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... Yazar: Dirk Beyer

Konular: “…formal logic…”
DOAB: download the publication
DOAB: description of the publication

Advances in Proof-Theoretic Semantics

Konular: “…Formal Languages and Automata Theory.…”
Link to Metadata

Nutzung des Zentrifugalkraftfeldes für die Vorhersage der Langzeitstabilität von kosmetischen Emulsionen Yazar: Mühlbach, Mandy

Konular: “…Formale Begriffsanalyse…”
DOAB: download the publication
DOAB: description of the publication

Práticas de Caridade e Assistência em Évora (1650-1750) Yazar: Rute Pardal

Konular: “…assistência formal…”
DOAB: download the publication
DOAB: description of the publication