Search Results - "formal"

Suggested Topics within your search.
Refine Results
  1. 201
    Cover Image

    Formalization of Banking Supervision 19th-20th Centuries by Hotori, Eiji

    Published 2022
    Subjects: “…Formalization of Banking Supervision…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  2. 202
    Cover Image

    Land Tenure Security and Sustainable Development

    Published 2022
    Subjects: “…Formalization of land tenure…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  3. 203
    Cover Image

    Formalization of Banking Supervision 19th-20th Centuries by Hotori, Eiji

    Published 2022
    Subjects: “…Formalization of Banking Supervision…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  4. 204
    Cover Image

    Land Tenure Security and Sustainable Development

    Published 2022
    Subjects: “…Formalization of land tenure…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  5. 205
    Cover Image

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

    Published 2001
    Subjects: “…formale Repertoire der Normative…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  6. 206
    Cover Image

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

    Published 2001
    Subjects: “…formale Repertoire der Normative…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  7. 207
    Cover Image

    From Education Policy to Education Practice Unpacking the Nexus

    Published 2023
    Subjects: “…macro-policy of the formal education system…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  8. 208
    Cover Image

    From Education Policy to Education Practice Unpacking the Nexus

    Published 2023
    Subjects: “…macro-policy of the formal education system…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  9. 209
    Cover Image

    Computational Cognitive Modeling and Linguistic Theory by Brasoveanu, Adrian

    Published 2020
    Subjects: “…Meaning Representations in Formal Semantics…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  10. 210
    Cover Image

    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...

    Published 2021
    Subjects: “…formal logic…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  11. 211
    Cover Image

    Computational Cognitive Modeling and Linguistic Theory by Brasoveanu, Adrian

    Published 2020
    Subjects: “…Meaning Representations in Formal Semantics…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  12. 212
    Cover Image

    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...

    Published 2021
    Subjects: “…formal logic…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  13. 213
    Cover Image

    Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I

    Published 2020
    Subjects: “…formal logic…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  14. 214
    Cover Image

    Reversible Computation: Extending Horizons of Computing Selected Results of the COST Action IC1405

    Published 2020
    Subjects: “…formal methods…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  15. 215
    Cover Image

    Evolutionary Algorithms in Intelligent Systems

    Published 2020
    Subjects: “…formal methods in evolutionary algorithms…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  16. 216
    Cover Image

    Reversible Computation: Extending Horizons of Computing Selected Results of the COST Action IC1405

    Published 2020
    Subjects: “…formal methods…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  17. 217
    Cover Image

    Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I

    Published 2020
    Subjects: “…formal logic…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  18. 218
    Cover Image

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

    Published 2021
    Subjects: “…formal logic…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  19. 219
    Cover Image

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

    Published 2021
    Subjects: “…formal logic…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  20. 220
    Cover Image

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

    Published 2023
    Subjects: “…formalized proof…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:

Search Tools: