Search Results - "formality"

Fundamental Approaches to Software Engineering 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...

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

Computer Aided Verification 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part I

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

Supporting Self-Directed Learning in Science and Technology Beyond the School Years by Rennie, Léonie J.

Subjects: “…adults' self-directed learning;adult education;adult learners;everyday science;formal schooling;John K. Gilbert;Léonie J. Rennie;learning relationships;lifelong learning;Self-directed Learning;STEM education;Susan Stocklmayer;science and technology education;science for all;science learning;scientific literacy…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Automated Reasoning with Analytic Tableaux and Related Methods 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings

Subjects: “…formalized proof…”
DOAB: download the publication
DOAB: description of the publication

Re-Reading Hanslick's Aesthetics Die Rezeption Eduard Hanslicks im englischen Sprachraum und ihre diskursiven Grundlagen by Wilfing, Alexander

Subjects: “…Eduard Hanslick, formalism, aesthetics of music, music and emotion, theory of emotion, analytical philosophy, New Musicology, Immanuel Kant, Peter Kivy, Stephen Davies, Edmund Gurney, Adam Smith, Heinrich Schenker, John Sullivan Dwight, Clive Bell…”
DOAB: download the publication
DOAB: description of the publication

The Models of Engaged Learning and Teaching Connecting Sophisticated Thinking from Early Childhood to PhD by Willison, John

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

What Photographs Do The making and remaking of museum cultures

Subjects: “…museums;photography;culture;V&A;arts;heritage;visual arts;media studiesphotographs;photographic practices;formal collections;fine art;archive;knowledge-systems;Victoria and Albert Museum;museum studies;auto-ethnographic;studio photographers;image managers;conservators;curator…”
DOAB: download the publication
DOAB: description of the publication

Re-Reading Hanslick's Aesthetics Die Rezeption Eduard Hanslicks im englischen Sprachraum und ihre diskursiven Grundlagen by Wilfing, Alexander

Subjects: “…Eduard Hanslick, formalism, aesthetics of music, music and emotion, theory of emotion, analytical philosophy, New Musicology, Immanuel Kant, Peter Kivy, Stephen Davies, Edmund Gurney, Adam Smith, Heinrich Schenker, John Sullivan Dwight, Clive Bell…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

The Models of Engaged Learning and Teaching Connecting Sophisticated Thinking from Early Childhood to PhD by Willison, John

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

What Photographs Do The making and remaking of museum cultures

Subjects: “…museums;photography;culture;V&A;arts;heritage;visual arts;media studiesphotographs;photographic practices;formal collections;fine art;archive;knowledge-systems;Victoria and Albert Museum;museum studies;auto-ethnographic;studio photographers;image managers;conservators;curator…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Automated Reasoning with Analytic Tableaux and Related Methods 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings

Subjects: “…formalized proof…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Quantum Information and Symmetry

Subjects: “…s-wave symmetry Eliashberg formalism…”
DOAB: download the publication
DOAB: description of the publication

From Education Policy to Education Practice Unpacking the Nexus

Subjects: “…macro-policy of the formal education system…”
DOAB: download the publication
DOAB: description of the publication

A Comparative Study of the Formation of Contracts in Japanese, English, and German Law by Suzuki-Klasen, Anna Katharina

Subjects: “…Angebot und Annahme, BGB, BGB Allgemeiner Teil, Bindungswille, Bürgerliches Gesetzbuch, Contracts in English Law, Contracts in German Law, Contracts in Japanese Law, Contracts in the Digital Economy, Japanese Law of Obligations, Law of Contract, Online Transactions, Real Estates, Schuldrecht, Types of Contract, Vertragsschluss, Willenserklärung, legal practice, contract formalities, contract form, signing, sealing, legal consciousness, legal history, German contract law, English contract law, Japanese contract law, comparative contract law, Contract formation…”
DOAB: download the publication
DOAB: description of the publication

From Education Policy to Education Practice Unpacking the Nexus

Subjects: “…macro-policy of the formal education system…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Symmetry in Quantum Theory of Gravity

Subjects: “…Hamiltonian formalism…”
DOAB: download the publication
DOAB: description of the publication

Nonequilibrium Phenomena in Strongly Correlated Systems

Subjects: “…Zubarev formalism…”
DOAB: download the publication
DOAB: description of the publication

Computational Cognitive Modeling and Linguistic Theory by Brasoveanu, Adrian

Subjects: “…Meaning Representations in Formal Semantics…”
DOAB: download the publication
DOAB: description of the publication

Tools and Algorithms for the Construction and Analysis of Systems 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice o...

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

Computational Cognitive Modeling and Linguistic Theory by Brasoveanu, Adrian

Subjects: “…Meaning Representations in Formal Semantics…”
OAPEN Library: download the publication
OAPEN Library: description of the publication