Search Results - "formale"

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

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

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

    Save to List
    Saved in:
  2. 162
    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:
  3. 163
    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:
  4. 164
    Cover Image

    The Everyday Life of an Algorithm by Neyland, Daniel

    Published 2019
    Subjects: “…Formal Languages and Automata Theory.…”
    Link to Metadata
    Electronic eBook

    Save to List
    Saved in:
  5. 165
    Cover Image

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

    Published 2019
    Subjects: “…Formal Languages and Automata Theory.…”
    Link to Metadata
    Electronic eBook

    Save to List
    Saved in:
  6. 166
    Cover Image

    Tools and Algorithms for the Construction and Analysis of Systems 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings,...

    Published 2019
    Subjects: “…Formal Languages and Automata Theory.…”
    Link to Metadata
    Electronic eBook

    Save to List
    Saved in:
  7. 167
    Cover Image

    Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II /

    Published 2019
    Subjects: “…Formal Languages and Automata Theory.…”
    Link to Metadata
    Electronic eBook

    Save to List
    Saved in:
  8. 168
    Cover Image

    The Amazing Journey of Reason from DNA to Artificial Intelligence / by Alemi, Mario

    Published 2020
    Subjects: “…Formal Languages and Automata Theory.…”
    Link to Metadata
    Electronic eBook

    Save to List
    Saved in:
  9. 169
    Cover Image

    Kvantifikacijski vidiki logične oblike v minimalistični teoriji jezika by Živanović, Sašo

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

    Save to List
    Saved in:
  10. 170
    Cover Image

    Foundations of Software Science and Computation Structures 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Sof...

    Published 2019
    Subjects: “…Formal Languages and Automata Theory.…”
    Link to Metadata
    Electronic eBook

    Save to List
    Saved in:
  11. 171
    Cover Image

    Aspects of Poverty and Inequality in Cameroon by Kumase, Wokia-azi Ndangle

    Published 2018
    Subjects: “…Informal and formal sector linkages…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  12. 172
    Cover Image

    Aspects of Poverty and Inequality in Cameroon by Kumase, Wokia-azi Ndangle

    Published 2018
    Subjects: “…Informal and formal sector linkages…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  13. 173
    Cover Image

    Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I

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

    Save to List
    Saved in:
  14. 174
    Cover Image

    Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I

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

    Save to List
    Saved in:
  15. 175
    Cover Image

    Grammatical theory: From transformational grammar to constraint-based approaches by Müller, Stefan

    Published 2016
    Subjects: “…formal grammar theories…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  16. 176
    Cover Image

    Grammatical theory: From transformational grammar to constraint-based approaches by Müller, Stefan

    Published 2016
    Subjects: “…formal grammar theories…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  17. 177
    Cover Image

    Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part II

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

    Save to List
    Saved in:
  18. 178
    Cover Image

    Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part II

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

    Save to List
    Saved in:
  19. 179
    Cover Image

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

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

    Save to List
    Saved in:
  20. 180
    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:

Search Tools: