1
Tekijä Watson, Ian., Watson, Ian.
Julkaistu 2012
Sisällysluettelo: ...What is a Universal Tool? -- Charles Babbage's Analytical Engine -- Office Automation -- Computers...
Hae kokoteksti
Elektroninen E-kirja
2
Julkaistu 2007
Sisällysluettelo: ... Computational Classes over the Reals -- A Survey of Infinite Time Turing Machines -- The Tiling Problem...
Hae kokoteksti
Elektroninen E-kirja
3
Julkaistu 2015
Aiheet: ...Computers....
Hae kokoteksti
Elektroninen E-kirja
4
Tekijä Priestley, Mark., Priestley, Mark.
Julkaistu 2011
Sisällysluettelo: ... Systems -- Automating Control -- Logic and the Invention of the Computer -- Machine Code Programming...
Hae kokoteksti
Elektroninen E-kirja
5
Julkaistu 2008
Sisällysluettelo: ...Foundations of Neurodynamics and wave based computation for locomotion modeling -- Overview...
Hae kokoteksti
Elektroninen E-kirja
6
Tekijä Parkes, Alan P., Parkes, Alan P.
Julkaistu 2008
Sisällysluettelo: ... -- Machines and Computation -- Finite State Transducers -- Turing Machines as Computers -- Turing’s Thesis...
Hae kokoteksti
Elektroninen E-kirja
7
Sisällysluettelo: ...On the Church–Turing Thesis -- Early Hypercomputers -- Infinite-Time TuringMachines -- Interactive...
Hae kokoteksti
Elektroninen E-kirja
8
Julkaistu 2013
Sisällysluettelo: ... of Programmability -- Alan Turing’s Legacy: Info-Computational Philosophy of Nature -- Dualism of Selective...
Hae kokoteksti
Elektroninen E-kirja
9
Julkaistu 2013
Sisällysluettelo: ...From the content: Turing Test as a Defining Feature of AI-Completeness -- Artificial Intelligence...
Hae kokoteksti
Elektroninen E-kirja
10
Julkaistu 2006
Aiheet: ...Mathematical and Computational Engineering. https://scigraph.springernature.com/ontologies/product...
Hae kokoteksti
Elektroninen E-kirja
11
Julkaistu 2013
Sisällysluettelo: ... Perceptron -- Local Detection of Communities by Neural-Network Dynamics -- The Super-Turing Computational...
Hae kokoteksti
Elektroninen E-kirja
12
Tekijä Kozen, Dexter C., Kozen, Dexter C.
Julkaistu 2006
Sisällysluettelo: ...Lectures -- The Complexity of Computations -- Time and Space Complexity Classes and Savitch’s...
Hae kokoteksti
Elektroninen E-kirja
13
Tekijä Simon, Matthew., Simon, Matthew.
Julkaistu 2005
Sisällysluettelo: ... -- Context-Sensitive Languages: DNA, RNA, Proteins -- Turing Machines and Sub-Turing Machines -- Splicing...
Hae kokoteksti
Elektroninen E-kirja
14
Tekijä Robič, Borut., Robič, Borut.
Julkaistu 2015
Sisällysluettelo: ... at Recovery -- The Quest for a Formalization -- The Turing Machine -- The First Basic Results -- Incomputable...
Hae kokoteksti
Elektroninen E-kirja
15
Sisällysluettelo: ... -- On Fuzzy Turing Machines -- Other Fuzzy Models of Computation -- Appendix A: Computing with Words...
Hae kokoteksti
Elektroninen E-kirja
16
Sisällysluettelo: ... Grammars -- Turing Machines -- Basic Undecidability Proofs -- Advanced Undecidability Proofs -- Basic...
Hae kokoteksti
Elektroninen E-kirja
17
Tekijä Maruoka, Akira., Maruoka, Akira.
Julkaistu 2011
Sisällysluettelo: ... -- Pushdown Automaton -- Part III: Computability -- Turing Machine -- Universality of Turing Machine and its...
Hae kokoteksti
Elektroninen E-kirja
18
Tekijä O’Regan, Gerard., O’Regan, Gerard.
Julkaistu 2013
Sisällysluettelo: ... -- William Shockley -- Richard Stallman -- Bjarne Stroustrup -- Alan Turing -- John von Neumann -- Thomas...
Hae kokoteksti
Elektroninen E-kirja
19
Julkaistu 2015
Sisällysluettelo: ... Science -- Sampling a Two-way Finite Automaton -- Constructing reversible Turing machines by reversible...
Hae kokoteksti
Elektroninen E-kirja
20
Tekijä Homer, Steven., Homer, Steven., Selman, Alan L.
Julkaistu 2011
Sisällysluettelo: ...Preliminaries -- Introduction to Computability -- Undecidability -- Introduction to Complexity...
Hae kokoteksti
Elektroninen E-kirja