Search Results - "Logic"

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

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

    Published 2021
    Subjects: “…Computer Science Logic and Foundations of Programming.…”
    Link to Metadata
    Electronic eBook

    Save to List
    Saved in:
  2. 222
    Cover Image

    Terrorismus und moderne Kriegsführung Politische Gewaltstrategien in Zeiten des "War on Terror" by Heinke, Eva-Maria

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

    Save to List
    Saved in:
  3. 223
    Cover Image

    Terrorismus und moderne Kriegsführung Politische Gewaltstrategien in Zeiten des "War on Terror" by Heinke, Eva-Maria

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

    Save to List
    Saved in:
  4. 224
    Cover Image

    Dependable Embedded Systems by Henkel, Jörg

    Published 2021
    Subjects: “…Computer architecture & logic design bicssc…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  5. 225
    Cover Image

    Modes of Truth The Unified Approach to Truth, Modality, and Paradox

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

    Save to List
    Saved in:
  6. 226
    Cover Image

    Dependable Embedded Systems by Henkel, Jörg

    Published 2021
    Subjects: “…Computer architecture & logic design bicssc…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  7. 227
    Cover Image

    Modes of Truth The Unified Approach to Truth, Modality, and Paradox

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

    Save to List
    Saved in:
  8. 228
    Cover Image

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

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

    Save to List
    Saved in:
  9. 229
    Cover Image

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

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

    Save to List
    Saved in:
  10. 230
    Cover Image

    Foundations of Software Science and Computation Structures 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Sof...

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

    Save to List
    Saved in:
  11. 231
    Cover Image

    Foundations of Software Science and Computation Structures 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Sof...

    Published 2020
    Subjects: “…Logic in AI…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  12. 232
    Cover Image

    Low Power Memory/Memristor Devices and Systems

    Published 2023
    Subjects: “…Logic-in-Memory (LiM)…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  13. 233
    Cover Image

    Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II /

    Published 2018
    Subjects: “…Computer Science Logic and Foundations of Programming.…”
    Link to Metadata
    Electronic eBook

    Save to List
    Saved in:
  14. 234
    Cover Image

    Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I /

    Published 2018
    Subjects: “…Computer Science Logic and Foundations of Programming.…”
    Link to Metadata
    Electronic eBook

    Save to List
    Saved in:
  15. 235
    Cover Image

    Two-Dimensional Electronics - Prospects and Challenges

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

    Save to List
    Saved in:
  16. 236
    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 o...

    Published 2018
    Subjects: “…Computer Science Logic and Foundations of Programming.…”
    Link to Metadata
    Electronic eBook

    Save to List
    Saved in:
  17. 237
    Cover Image

    Science as Social Existence Heidegger and the Sociology of Scientific Knowledge by Kochan, Jeff

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

    Save to List
    Saved in:
  18. 238
    Cover Image

    The Digital Condition Class and Culture in the Information Network by Wilkie, Rob

    Published 2011
    Subjects: “…Logic…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  19. 239
    Cover Image

    Science as Social Existence Heidegger and the Sociology of Scientific Knowledge by Kochan, Jeff

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

    Save to List
    Saved in:
  20. 240
    Cover Image

    The Digital Condition Class and Culture in the Information Network by Wilkie, Rob

    Published 2011
    Subjects: “…Logic…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:

Search Tools: