Search Results - "formalization"

Suggested Topics within your search.
Refine Results
  1. 221
    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:
  2. 222
    Cover Image

    Race Characters Ethnic Literature and the Figure of the American Dream by Rana, Swati

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

    Save to List
    Saved in:
  3. 223
    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:
  4. 224
    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:
  5. 225
    Cover Image

    Quantum Foundations. 90 Years of Uncertainty by Fortin, Sebastian

    Published 2019
    Subjects: “…Quantum Hamilton-Jacobi Formalism…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  6. 226
    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:
  7. 227
    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:
  8. 228
    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:
  9. 229
    Cover Image

    Race Characters Ethnic Literature and the Figure of the American Dream by Rana, Swati

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

    Save to List
    Saved in:
  10. 230
    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:
  11. 231
    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:
  12. 232
    Cover Image

    Geometry of Submanifolds and Homogeneous Spaces by Kaimakamis, George

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

    Save to List
    Saved in:
  13. 233
    Cover Image

    Quantum Cosmology

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

    Save to List
    Saved in:
  14. 234
    Cover Image

    Bridging Formal and Conceptual Semantics Selected papers of BRIDGE-14 by Balogh, Kata

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

    Save to List
    Saved in:
  15. 235
    Cover Image

    Bridging Formal and Conceptual Semantics Selected papers of BRIDGE-14 by Balogh, Kata

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

    Save to List
    Saved in:
  16. 236
    Cover Image

    10th Anniversary of <em>Axioms</em>: Logic

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

    Save to List
    Saved in:
  17. 237
    Cover Image

    AI for Cybersecurity: Robust models for Authentication, Threat and Anomaly Detection

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

    Save to List
    Saved in:
  18. 238
    Cover Image

    Trustworthiness in Mobile Cyber Physical Systems

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

    Save to List
    Saved in:
  19. 239
    Cover Image

    Creating Age-friendly Communities Housing and Technology

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

    Save to List
    Saved in:
  20. 240
    Cover Image

    Dissipative, Entropy-Production Systems across Condensed Matter and Interdisciplinary Classical VS. Quantum Physics

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

    Save to List
    Saved in:

Search Tools: