1.
Yazar
Forester, Tom, 1949-
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267262
Format:
Electronic Resources
Alıntı:
in separate chapters which take up automation on the factory floor, the word-processing revolution in
Yazar
Friedman, Daniel P., author.
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=7176537
Format:
Electronic Resources
Alıntı:
Automatic theorem proving.
View Other Search Results
Yazar
Nirenburg, Sergei.
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267420
Format:
Electronic Resources
Alıntı:
The field of machine translation (MT) -- the automation of translation between human languages
Yazar
Westland, J. Christopher, author.
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267449
Format:
Electronic Resources
Alıntı:
from the technologies of electronic commerce--the automation of commercial transactions using computer
Yazar
Blackler, F. H. M.
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267222
Format:
Electronic Resources
Alıntı:
information technology; management, workers, and the new technologies; factory automation; ergonomics and the
Yazar
Alur, Rajeev, 1966-
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=7109352
Format:
Electronic Resources
Alıntı:
Automatic control.
Yazar
Kochenderfer, Mykel J., 1980-
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=7288640
Format:
Electronic Resources
Alıntı:
Automatic machinery.
Yazar
Karchmer, Mauricio, author.
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267292
Format:
Electronic Resources
Alıntı:
Automatic theorem proving.
Yazar
Miller, W. Thomas.
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6276824
Format:
Electronic Resources
Alıntı:
Automatic control -- Congresses.
Yazar
Winston, Patrick Henry.
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267358
Format:
Electronic Resources
Alıntı:
(Automatix, Inc.). Intelligent Robots: Myth or Reality, Paul M. Russo (GE).Today and Tomorrow. The Problems
11.
Yazar
Chlipala, Adam, 1981-
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6712486
Format:
Electronic Resources
Alıntı:
Automatic theorem proving -- Computer programs.
Yazar
Dill, David L., author.
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267249
Format:
Electronic Resources
Alıntı:
Trace theory for automatic hierarchical verification of speed-independent circuits / Dill, David L