Search Results - "formale"

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

Nutzung des Zentrifugalkraftfeldes für die Vorhersage der Langzeitstabilität von kosmetischen Emulsionen by Mühlbach, Mandy

Subjects: “…Formale Begriffsanalyse…”
DOAB: download the publication
DOAB: 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... by Abeck, Sebastian

Subjects: “…Formale Sprache…”
DOAB: download the publication
DOAB: description of the publication

Lazy Evaluation: From natural semantics to a machine-checked compiler transformation by Breitner, Joachim

Subjects: “…Funktionale Programmierung Formale Verifikation Semantik Isabelle HaskellFunctional Programming Semantics Formal Verification Haskell Isabelle…”
DOAB: download the publication
DOAB: description of the publication

Homonyme und ihre formale Aufloesbarkeit im System Sprache Dargestellt an altrussischen Berufsbezeichnungen by Hilf, Eckehard A.

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

Homonyme und ihre formale Aufloesbarkeit im System Sprache Dargestellt an altrussischen Berufsbezeichnungen by Hilf, Eckehard A.

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

Bildung als Perspektive für Care Leaver? Bildungschancen und Bildungswege junger Erwachsener mit Kinder- und Jugendhilfeerfahrung by Groinig, Maria

Subjects: “…(formale) Bildung; Adoleszenz; Ausbildungschancen; Bildungsverläufe; Erwachsene Heinkinder; Heimkinder; informelle Bildung; Kinder- und Jugendhilfe; Pflegekinder; SOS-Kinderdörfer; Sozialpädagogik; Statuspassage…”
DOAB: download the publication
DOAB: description of the publication

Bildung als Perspektive für Care Leaver? Bildungschancen und Bildungswege junger Erwachsener mit Kinder- und Jugendhilfeerfahrung by Groinig, Maria

Subjects: “…(formale) Bildung; Adoleszenz; Ausbildungschancen; Bildungsverläufe; Erwachsene Heinkinder; Heimkinder; informelle Bildung; Kinder- und Jugendhilfe; Pflegekinder; SOS-Kinderdörfer; Sozialpädagogik; Statuspassage…”
OAPEN Library: download the publication
OAPEN Library: 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…”
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

Der Russische Interdiskurs und seine Entwicklung Eine kultur- und diskurstheoretische Analyse am Material von Schulbuechern (1986-1991 und 1993-1997) by Notarp, Ulrike

Subjects: “…formale Repertoire der Normative…”
DOAB: download the publication
DOAB: description of the publication

Der Russische Interdiskurs und seine Entwicklung Eine kultur- und diskurstheoretische Analyse am Material von Schulbuechern (1986-1991 und 1993-1997) by Notarp, Ulrike

Subjects: “…formale Repertoire der Normative…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Fundamental Approaches to Software Engineering: 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2... by Alessandra Russo

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

Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design - FMCAD 2022

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 22nd Conference on Formal Methods in Computer-Aided Design - FMCAD 2022

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

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

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

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

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

Manual do Cuidador by Manuel Veríssimo

Subjects: “…Formal caregivers…”
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... by Dirk Beyer

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

A Machine-Checked, Type-Safe Model of Java Concurrency : Language, Virtual Machine, Memory Model, and Verified Compiler by Lochbihler, Andreas

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