Nonlinear analysis and synthesis techniques for aircraft control
	Tác giả: Declan Bates, Marti Hagström
	Xuất bản: Berlin New York: Springer Verlag, c2007
	Bộ sưu tập: Khoa học ứng dụng
	eBook (pdf) ddc:  629.132  Thêm vào giỏ

Tools and Algorithms for the Construction and Analysis of Systems : 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS
	Tác giả: Armin Biere, Armin Biere, David Parker, David Parker
	Xuất bản: Cham: Springer Nature, 2020
	Bộ sưu tập: Tài liệu truy cập mở
	ddc:   Thêm vào giỏ

Advances in cryptology - ASIACRYPT 2009 [electronic resource] : 15th International Conference on the Theory and Application of Cryptology and Information Security, Tokyo, Japan, December 6-10, 2009
	Tác giả: Mitsuru Matsui
	Xuất bản: Berlin New York: Springer, 2009
	Bộ sưu tập: Công nghệ thông tin
	eBook (pdf) ddc:  005.82  Thêm vào giỏ

Infinite-horizon optimal control in the discrete-time framework
	Tác giả: Joël Blot, Naïla Hayek
	Xuất bản: New York: Springer, 2013
	Bộ sưu tập: Khoa học tự nhiên
	eBook (pdf) ddc:  515  Thêm vào giỏ

Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory
	Tác giả: Armin Biere, David Parker
	Xuất bản: Cham: Springer International Publishing Imprint Springer, 2020
	Bộ sưu tập: Tài liệu truy cập mở
	ddc:  004.0151  Thêm vào giỏ

Tools and Algorithms for the Construction and Analysis of Systems : 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS
	Tác giả: Jan Friso Groote, Jan Friso Groote, Kim Guldstrand Larsen, Kim Guldstrand Larsen
	Xuất bản: Cham Switzerland: Springer Nature, 2021
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:   Thêm vào giỏ

Programming Languages and Systems [electronic resource] : 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS
	Tác giả: Peter Müller
	Xuất bản: Cham: Springer International Publishing Imprint Springer, 2020
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  005.13  Thêm vào giỏ

Representation and control of infinite dimensional systems
	Tác giả: Alain Bensoussan
	Xuất bản: : ,
	Bộ sưu tập: Khoa học ứng dụng
	eBook (pdf) ddc:  629.8312  Thêm vào giỏ

Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory
	Tác giả: Jan Friso Groote, Kim Guldstrand Larsen
	Xuất bản: Cham: Springer International Publishing Imprint Springer, 2021
	Bộ sưu tập: Tài liệu truy cập mở
	ddc:  004.0151  Thêm vào giỏ

Integrated fault diagnosis and control design of linear complex systems
	Tác giả: Mohammadreza Davoodi, K a Khorasani, Nader Meskin
	Xuất bản: London: Institution of Engineering and Technology, 2018
	Bộ sưu tập: Khoa học ứng dụng
	eBook (pdf) ddc:  629.8  Thêm vào giỏ