Search Results - "formale"

Mujeres y niños en la cárcel. Lectura y escritura dentro y fuera de la Unidad 33 by Molinari, Claudia (Coord.)

Subjects: “…Educación no formal…”
DOAB: download the publication
DOAB: description of the publication

La forme et l'énergie L'esthétique du formalisme russe by Zenkine, Serge

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

Handbuch Validierung non-formal und informell erworbener Kompetenzen Disziplinäre, theoretische und konzeptionelle Zugänge

Subjects: “…Non-formal Education…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Chapter The Community Education Program: A Reflection on Good Practice in the USA by Douglas, Miriam

Subjects: “…formal/non-formal/informal education…”
DOAB: download the publication
DOAB: description of the publication

Chapter The Community Education Program: A Reflection on Good Practice in the USA by Douglas, Miriam

Subjects: “…formal/non-formal/informal education…”
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...

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... by Ralf Küsters

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

Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design - FMCAD 2023

Subjects: “…Formal Methods; Computer-Aided System Design; Hardware and System Verification; Formal Verification, Specification, Synthesis, and Testing; Automated and Formal Reasoning…”
DOAB: download the publication
DOAB: description of the publication

Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design - FMCAD 2020

Subjects: “…Formal Methods…”
DOAB: download the publication
DOAB: description of the publication

Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design - FMCAD 2021

Subjects: “…Formal Methods; Computer-Aided System Design; Hardware and System Verification; Formal Verification, Specification, Synthesis, and Testing; Automated and Formal Reasoning…”
DOAB: download the publication
DOAB: description of the publication

Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design - FMCAD 2020

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

Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design - FMCAD 2021

Subjects: “…Formal Methods; Computer-Aided System Design; Hardware and System Verification; Formal Verification, Specification, Synthesis, and Testing; Automated and Formal Reasoning…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design - FMCAD 2023

Subjects: “…Formal Methods; Computer-Aided System Design; Hardware and System Verification; Formal Verification, Specification, Synthesis, and Testing; Automated and Formal Reasoning…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Action [poems] by Opal, Anthony

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

From Formal Semantics to Verified Slicing : A Modular Framework with Applications in Language Based Security by Wasserrab, Daniel

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

Bridging Formal and Conceptual Semantics Selected papers of BRIDGE-14

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

The American Symphony Orchestra A Social History of Musical Taste by Mueller, John H.

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

Orpheus in America

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

Bach's World by Chiapusso, Jan

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