Search Results for Automation.

13 sonuç bulundu

Tümünü Seç

1 2

000000000000DEFAULTTR

The Microelectronics revolution : the complete guide to the new technology and its impact on society

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

The little prover

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.

Readings in machine translation

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

Global electronic commerce : theory and case studies

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

Information technology & people : designing for the future

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

Principles of cyber-physical systems

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.

Decision making under uncertainty : theory and application

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.

Communication complexity : a new approach to circuit depth

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.

Neural networks for control

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.

10.

The AI business : the commercial uses of artificial intelligence

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.

Certified programming with dependent types : a pragmatic introduction to the Coq proof assistant

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.

12.

Trace theory for automatic hierarchical verification of speed-independent circuits

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

	{displayName}	{count}
{error}