Logical approach to control theory and applications /

Mã QR

Logical approach to control theory and applications /

Đã lưu trong:

Chi tiết về thư mục
Tác giả chính:	Vassilyev, Stanislav N.
Định dạng:	Bài viết
Ngôn ngữ:	English
Những chủ đề:	Automatic theorem proving Control systems Hypothesis generation Logical equation Logical modelling Real-time control
Các nhãn:	Thêm thẻ Không có thẻ, Là người đầu tiên thẻ bản ghi này!

Thư viện lưu trữ:	Thư viện Trường Đại học Đà Lạt

Những quyển sách tương tự

Theorem proving in higher order logics : 14th international conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001 : proceedings /
Được phát hành: (2001)

Machine proofs in geometry : automated production of readable proofs for geometry theorems.Vol.VI /
Bỡi: Chou, Shang-Ching, 1946-
Được phát hành: (1994)

Automated deduction in geometry : third international workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000 : revised papers /
Được phát hành: (2001)

Fuzzy logic :
Bỡi: F. Martin McNeill
Được phát hành: (1994)

Programmable logic devices and logic controllers
Bỡi: Enrique Mandado
Được phát hành: (1996)

Fuzzy logic and its application in technology and management
Được phát hành: (2007)

Programmable logic controllers : a practical approach to IEC 61131-3 using CODESYS /
Bỡi: Hanssen, Dag Haèkon,

Applied programmable logic controllers laboratory manual
Bỡi: Nichols, Daniel H.
Được phát hành: (2006)

Set theory and the continuum hypothesis /
Bỡi: Cohen, Paul J., 1934-2007.
Được phát hành: (1966)

Modeling and control of dynamic systems
Bỡi: Macia, Narciso
Được phát hành: (2005)

Robust control: The parametric approach
Bỡi: Bhattacharyya, Shankar P
Được phát hành: (1995)

Optimal control /
Bỡi: Vinter, R. B.
Được phát hành: (2000)

Fuzzy logic applications in engineering science
Bỡi: Harris, J. (John)
Được phát hành: (2006)

Control applications in marine systems 2001:
Được phát hành: (2002)

Robotics and control
Bỡi: R. K. Mittal
Được phát hành: (2003)

Analysis and control of linear systems
Được phát hành: (2007)

Real-time systems
Bỡi: Krishna, C. M.
Được phát hành: (1997)

Introduction to control system technology
Bỡi: Robert N Bateson
Được phát hành: (1996)

Control systems functions and programming approaches
Bỡi: Chorafas, Dimitris N.
Được phát hành: (1966)

Advanced control system design
Bỡi: Bernard Frieldland
Được phát hành: (1996)

Control systems engineering
Bỡi: Nise, Norman S
Được phát hành: (2004)

Control systems engineering
Bỡi: Nise, Norman S.
Được phát hành: (2004)

NISE's Control systems engineering
Bỡi: Nise, Norman S
Được phát hành: (2015)

Nise's Control systems engineering
Bỡi: Nise, Norman S.
Được phát hành: (2015)

A Link between science and applications of automatic control
Được phát hành: (1979)

A link between science and applications of automatic control
Được phát hành: (1979)

A link between science and applications of automatic control
Được phát hành: (1979)

A link between science and applications of automatic control
Được phát hành: (1979)

Fieldbus technology :
Bỡi: Mahalik, N.P.
Được phát hành: (2003)

Intelligent control : aspects of fuzzy logic and neural nets /
Bỡi: Harris, C. J.
Được phát hành: (1993)

Intelligent control : aspects of fuzzy logic and neural nets /
Bỡi: Harris, C. J.
Được phát hành: (1993)

Intelligent control : aspects of fuzzy logic and neural nets /
Bỡi: Harris, C. J.
Được phát hành: (1993)

A unified theory of program logics : An approach based on the pi-calculus /
Bỡi: Honda, Kohei.

Introduction to programmable logic controllers
Bỡi: Mazur, Glen A
Được phát hành: (2011)

Control engineering
Bỡi: Pierre Bélanger
Được phát hành: (1995)

Control engineering
Bỡi: Pierre Bélanger
Được phát hành: (1995)

Control engineering
Bỡi: Bélanger, Pierre
Được phát hành: (1995)

Automatic control systems
Bỡi: Kuo, Benjamin C.
Được phát hành: (1995)

Automatic control systems
Bỡi: Kuo, Benjamin C.
Được phát hành: (2003)

Automatic control systems
Bỡi: Kuo, Benjamin C.
Được phát hành: (2003)