Search Results - "machines"

Refine Results
  1. 4861
  2. 4862
  3. 4863
  4. 4864
  5. 4865
  6. 4866
  7. 4867
  8. 4868
  9. 4869
  10. 4870
  11. 4871
  12. 4872

    Perspectives on Digital Humanism

    Published 2022
    Table of Contents: “…The Unbearable Disembodiedness of Cognitive Machines -- Part 8: Digital Geopolitics and Sovereignty -- 28. …”
    Link to Metadata
    Electronic eBook
  13. 4873

    Foundations of Software Science and Computation Structures 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Sof...

    Published 2023
    Table of Contents: “…When Programs Have to Watch Paint Dry -- Deciding contextual equivalence of nu-calculus with effectful contexts -- Kantorovich Functors and Characteristic Logics for Behavioural Distances -- A Logical Framework with Higher-Order Rational (Circular) Terms -- A Higher-Order Language for Markov Kernels and Linear Operators -- A Formal Logic for Formal Category Theory -- A Strict Constrained Superposition Calculus for Graphs -- A programming language characterizing quantum polynomial time -- On the Existential Arithmetics with Addition and Bitwise Minimum -- Coverability in 2-VASS with One Unary Counter is in NP -- On History-Deterministic One-Counter Nets -- Unboundedness problems for machines with reversal-bounded counters -- Reverse Bisimilarity vs. …”
    Link to Metadata
    Electronic eBook
  14. 4874
  15. 4875

    Implementing a One Address CPU in Logisim by Kann, Charles W.

    Published 2016
    Table of Contents: “…Assembly Language -- 2.1 What is Assembly Language -- 2.2 Assembly Language Caveats -- 2.3 Assembler Directives -- 2.4 Data types -- 2.5 Designing an Assembly Language -- 2.6 Assembler Programs -- 3. Machine Code -- 3.1 Overview of the machine code instruction format -- 4. …”
    Access online version
    Electronic eBook
  16. 4876
  17. 4877
  18. 4878
  19. 4879
  20. 4880