Search Results - "formalism"

The Palgrave Handbook of Family Policy

Subjects: “…Formal childcare…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

The Palgrave Handbook of Family Policy

Subjects: “…Formal childcare…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Programming Languages and Systems 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020,...

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

Programming Languages and Systems 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020,...

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

Agents and Robots for Reliable Engineered Autonomy

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

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…”
DOAB: download the publication
DOAB: description of the publication

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

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

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

Quantum Nonlocality by Vaidman, Lev

Subjects: “…density-matrix formalism…”
DOAB: download the publication
DOAB: description of the publication

Optics for AI and AI for Optics

Subjects: “…Jaynes-Cummings-Hubbard formalism…”
DOAB: download the publication
DOAB: 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

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

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

Nanowire Field-Effect Transistor (FET)

Subjects: “…Kubo-Greenwood formalism…”
DOAB: download the publication
DOAB: description of the publication