Search Results - "formalism"

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

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

Musorgsky Remembered

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

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

Subjects: “…Art music, orchestral & formal music…”
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

Subjects: “…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

Subjects: “…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...

Subjects: “…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...

Subjects: “…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 by Rudolph, Sebastian

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

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

Subjects: “…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 by Andrés Garrido, Federico

Subjects: “…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 by Richter, Michael

Subjects: “…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 by Richter, Michael

Subjects: “…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... by Dirk Beyer

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

Advances in Proof-Theoretic Semantics

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

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

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

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

Subjects: “…assistência formal…”
DOAB: download the publication
DOAB: 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...

Subjects: “…formal logic…”
DOAB: download the publication
DOAB: 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...

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

Kursbuch Informatik I. Formale Grundlagen der Informatik und Programmierkonzepte am Beispiel von Java. Eine Einführung in die Informatik auf der Grundlage etablierter Lehrbücher... by Abeck, Sebastian

Subjects: “…Formale Sprache…”
DOAB: download the publication
DOAB: description of the publication

Chapter User-Centered Design by Doroftei, Daniela

Subjects: “…user requirements engineering, system requirements, system validation, design formalisms…”
DOAB: download the publication
DOAB: description of the publication