खोज परिणाम - "Formalism"

Richard Wagner's Essays on Conducting A New Translation with Critical Commentary द्वारा Walton, Chris

विषय: “…Art music, orchestral & formal music…”
DOAB: download the publication
DOAB: description of the publication

Musorgsky Remembered

विषय: “…Art music, orchestral & formal music…”
DOAB: download the publication
DOAB: description of the publication

Nineteenth-Century French Song Fauré, Chausson, Duparc, and Debussy द्वारा Meister, Barbara

विषय: “…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

विषय: “…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

विषय: “…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...

विषय: “…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...

विषय: “…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 द्वारा Rudolph, Sebastian

विषय: “…Formale Begriffsanalyse…”
DOAB: download the publication
DOAB: description of the publication

Innovative tools and design strategies The case of Eclectic Architecture in Buenos Aires द्वारा Andrés Garrido, Federico

विषय: “…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 द्वारा Andrés Garrido, Federico

विषय: “…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 द्वारा Richter, Michael

विषय: “…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 द्वारा Richter, Michael

विषय: “…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... द्वारा Dirk Beyer

विषय: “…formal logic…”
DOAB: download the publication
DOAB: description of the publication

Advances in Proof-Theoretic Semantics

विषय: “…Formal Languages and Automata Theory.…”
Link to Metadata

Nutzung des Zentrifugalkraftfeldes für die Vorhersage der Langzeitstabilität von kosmetischen Emulsionen द्वारा Mühlbach, Mandy

विषय: “…Formale Begriffsanalyse…”
DOAB: download the publication
DOAB: description of the publication

Práticas de Caridade e Assistência em Évora (1650-1750) द्वारा Rute Pardal

विषय: “…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...

विषय: “…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...

विषय: “…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... द्वारा Abeck, Sebastian

विषय: “…Formale Sprache…”
DOAB: download the publication
DOAB: description of the publication

Chapter User-Centered Design द्वारा Doroftei, Daniela

विषय: “…user requirements engineering, system requirements, system validation, design formalisms…”
DOAB: download the publication
DOAB: description of the publication