Search Results - "logics"

  1. 261

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

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

    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
  3. 263
  4. 264
  5. 265

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

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

    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
  8. 268
  9. 269
  10. 270
  11. 271

    Low Power Memory/Memristor Devices and Systems

    Published 2023
    Subjects: “…memristive logic…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
  12. 272

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

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

    Two-Dimensional Electronics - Prospects and Challenges

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

    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
  16. 276
  17. 277
  18. 278

    Einstein vs. Bergson An Enduring Quarrel on Time

    Published 2021
    Subjects: “…Analytical philosophy & Logical Positivism bicssc…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
  19. 279
  20. 280