Search Results - "machines"
Suggested Topics within your search.
Suggested Topics within your search.
- History of engineering & technology 434
- Technology: general issues 396
- Artificial intelligence 257
- Research & information: general 256
- Computer science 125
- Machine learning 118
- Medicine 99
- Information technology industries 88
- Biology, life sciences 77
- Software Engineering 69
- Computer networking & communications 63
- linguistics 61
- Artificial Intelligence 55
- Electrical engineering 53
- Data mining 49
- Information technology: general issues 49
- Psychology 47
- Algorithms & data structures 46
- Environmental science, engineering & technology 46
- Neurosciences 45
- Mathematics & science 41
- Robotics 41
- Physics 39
- Mechanical engineering & materials 37
- Media studies 37
- Language: reference & general 34
- Computer vision 32
- Philosophy 32
- Production engineering 32
- Geography 31
-
4861
-
4862
-
4863
-
4864
-
4865
-
4866
-
4867
-
4868
-
4869
-
4870
-
4871
-
4872
Perspectives on Digital Humanism
Published 2022Table of Contents: “…The Unbearable Disembodiedness of Cognitive Machines -- Part 8: Digital Geopolitics and Sovereignty -- 28. …”
Link to Metadata
Electronic eBook -
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 2023Table 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 -
4874
S-BPM Illustrated A Storybook about Business Process Modeling and Execution /
Published 2013Link to Metadata
Electronic eBook -
4875
Implementing a One Address CPU in Logisim
Published 2016Table 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 -
4876
Forming Technologies and Mechanical Properties of Advanced Materials
Published 2023DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
4877
Instruments for New Music Sound, Technology, and Modernism
Published 2015DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
4878
Introduction to fluid mechanics. Originalveröffentl. im Verl. Vieweg, Braunschweig, 2001
Published 2005DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
4879
Quantum Computing for the Quantum Curious
Published 2021DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
4880
Advances in Cross-Coupling Reactions
Published 2020DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter