57 sonuç bulundu
Tümünü Seç
000000000000DEFAULTTR
Yazar
Goguen, Joseph, author.
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267468
Format:
Electronic Resources
Alıntı:
effect of imperative programs on abstract machines. These axioms can then be used in mechanical proofs of
Yazar
Frey, Brendan J., author.
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267392
Format:
Electronic Resources
Alıntı:
Graphical models for machine learning and digital communication / Frey, Brendan J., author.
Yazar
Dill, David L., author.
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267249
Format:
Electronic Resources
Alıntı:
Sequential machine theory.
Yazar
Gay, Geri, author.
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267268
Format:
Electronic Resources
Alıntı:
Human-machine systems -- Design.
Yazar
Reed, Daniel A. (Daniel Allen), 1957-
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267324
Format:
Electronic Resources
Alıntı:
, including machine organization, system software, and application programs. It provides an introduction to
Yazar
Russell, Stuart J., (Stuart Jonathan) author.
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267430
Format:
Electronic Resources
Alıntı:
machines. The tools are applied to game planning and realtime problem solving, with surprising
Yazar
Rojas, Raúl, 1955-
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6276817
Format:
Electronic Resources
Alıntı:
well-known machines, and several describe reconstructions of the historic machines. These investigations are
Yazar
Anderson, P. M. (Paul M.), 1926-
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5264012
Format:
Electronic Resources
Alıntı:
Machines. -- Chapter 6: Linear Models of the Synchronous Machine. -- Chapter 7: Excitation Systems
Yazar
Carroll, John M. (John Millar), 1950-
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267376
Format:
Electronic Resources
Alıntı:
COMPUTERS -- Machine Theory.
Yazar
Shieber, Stuart M.
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267336
Format:
Electronic Resources
Alıntı:
distinguishes human from beast, Turing proposed to test whether machine and person were indistinguishable in
Yazar
Greengard, Leslie, author.
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267271
Format:
Electronic Resources
Alıntı:
vector and parallel machines, and should make full use of their capabilities. The author presents his
Yazar
Shneiderman, Ben, author.
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267337
Format:
Electronic Resources
Alıntı:
COMPUTERS -- Machine Theory.
57 sonuç bulundu
Arama Sonuçlarını Sınırlandır
Daraltılmış: