Search Results - "formalization"

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

    Chapter 2 Fighting Avant-Garde with Phenomenology Gustav Shpet's 'New Realism' by Bourgeot, Liisa

    Published 2023
    Subjects: “…Gustav Shpet, avant-garde, formalism, conservatism, the inner form of the word…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  2. 62
    Cover Image

    Chapter 2 Fighting Avant-Garde with Phenomenology Gustav Shpet's 'New Realism' by Bourgeot, Liisa

    Published 2023
    Subjects: “…Gustav Shpet, avant-garde, formalism, conservatism, the inner form of the word…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  3. 63
    Cover Image

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

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

    Save to List
    Saved in:
  4. 64
    Cover Image

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

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

    Save to List
    Saved in:
  5. 65
    Cover Image

    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

    Published 2005
    Subjects: “…Formale Sprache…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  6. 66
    Cover Image

    Chapter User-Centered Design by Doroftei, Daniela

    Published 2017
    Subjects: “…user requirements engineering, system requirements, system validation, design formalisms…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  7. 67
    Cover Image

    Chapter Nabladot Analysis of Hybrid Theories in International Relations by Cioffi-Revilla, Claudio

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

    Save to List
    Saved in:
  8. 68
    Cover Image

    Chapter User-Centered Design by Doroftei, Daniela

    Published 2017
    Subjects: “…user requirements engineering, system requirements, system validation, design formalisms…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  9. 69
    Cover Image

    Chapter Nabladot Analysis of Hybrid Theories in International Relations by Cioffi-Revilla, Claudio

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

    Save to List
    Saved in:
  10. 70
    Cover Image

    Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II

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

    Save to List
    Saved in:
  11. 71
    Cover Image

    Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II

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

    Save to List
    Saved in:
  12. 72
    Cover Image

    Advances in Proof-Theoretic Semantics

    Published 2016
    Subjects: “…Mathematical Logic and Formal Languages…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  13. 73
    Cover Image

    Applications of Quantum Mechanical Techniques to Areas Outside of Quantum Mechanics by Andrei Khrennikov

    Published 2018
    Subjects: “…mathematical formalism of quantum theory…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  14. 74
    Cover Image

    Specification and verification of object-oriented software components by Roth, Andreas

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

    Save to List
    Saved in:
  15. 75
    Cover Image

    Advances in Proof-Theoretic Semantics

    Published 2016
    Subjects: “…Mathematical Logic and Formal Languages…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  16. 76
    Cover Image

    Schola Be a Volunteer, Succeed at School

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

    Save to List
    Saved in:
  17. 77
    Cover Image

    Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I

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

    Save to List
    Saved in:
  18. 78
    Cover Image

    Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I

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

    Save to List
    Saved in:
  19. 79
    Cover Image

    Automated Deduction - CADE 28 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings

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

    Save to List
    Saved in:
  20. 80
    Cover Image

    Automated Deduction - CADE 28 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings

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

    Save to List
    Saved in:

Search Tools: