Search Results for Automation.

14 sonuç bulundu

Tümünü Seç

1 2

000000000000DEFAULTTR

Automated defect prevention : best practices in software management

Yazar

Huizinga, Dorota. author.

Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5201515

Format:

Electronic Resources

Alıntı:

Debugging in computer science -- Automatic control.

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.

Control theory : twenty-five seminal papers, 1931-1981

Yazar

Başar, Tamer.

Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5265919

Format:

Electronic Resources

Alıntı:

Automatic control.

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.

Object-oriented simulation : reusability, adaptability, maintainability

Yazar

Leonard, James V.

Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5263105

Format:

Electronic Resources

Alıntı:

Support Software Integration (M. Hilton and C. Anken). Automation of Transformation Schemas for

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.

Digital control of high-frequency switched-mode power converters

Yazar

Corradini, Luca, author.

Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=7198537

Format:

Electronic Resources

Alıntı:

Electric current converters -- Automatic control.

PID and predictive control of electrical drives and power supplies using MATLAB/Simulink

Yazar

Wang, Liuping, author.

Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=7111423

Format:

Electronic Resources

Alıntı:

Electric power supplies to apparatus -- Automatic control.

Fuzzy control and modeling : analytical foundations and applications

Yazar

Ying, Hao, 1958-

Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5263877

Format:

Electronic Resources

Alıntı:

Automatic control.

10.

Policy-driven mobile ad hoc network management

Yazar

Chadha, Ritu, 1964- author.

Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5236994

Format:

Electronic Resources

Alıntı:

increasing automation in the management of mobile ad hoc networks. This book provides readers with a complete

11.

Handbook on geographies of technology

Yazar

Warf, Barney, 1956-

https://www.elgaronline.com/view/edcoll/9781785361159/9781785361159.xml

Format:

Electronic Resources

Alıntı:

technology / Mark W. Rosenberg and Natalie Waldbrook -- 31. Biometric technologies and the automation of

12.

Information hiding in communication networks : fundamentals, mechanisms, applications, and countermeasures

Yazar

Mazurczyk, Wojciech.

Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=7434879

Format:

Electronic Resources

Alıntı:

Wendzel is Head of Secure Building Automation at the Fraunhofer Institute for Communication, Information

	{displayName}	{count}
{error}