Search Results - "formal"

The Job Ladder Transforming Informal Work and Livelihoods in Developing Countries

Subjects: “…Formal and informal work; Global South; labour market transition; work status; wage-employees; self-employed…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Media Education and Digital Literacy

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

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

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

Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II /

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

Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I /

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

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

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

Foundations of Software Science and Computation Structures 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Sof...

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

Action [poems] by Opal, Anthony

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

Action [poems] by Opal, Anthony

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

Automated Reasoning 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings /

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

Frontiers of Combining Systems 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20-22, 2023, Proceedings /

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

Resemblance and Representation: An Essay in the Philosophy of Pictures by Blumson, Ben

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

Raw Life, New Hope Decency, Housing and Everyday Life in a Post-Apartheid Community by Ross, Fiona

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

Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of So... by Ugo Dal Lago

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

Resemblance and Representation: An Essay in the Philosophy of Pictures by Blumson, Ben

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

Raw Life, New Hope Decency, Housing and Everyday Life in a Post-Apartheid Community by Ross, Fiona

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

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

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