Hybrid dynamical systems : controller and sensor switching problems
	Tác giả: Andrey V Savkin, Robin J Evans
	Xuất bản: Boston: Birkhauser, 2002
	Bộ sưu tập: Khoa học ứng dụng
	eBook (pdf) ddc:  629.8  Thêm vào giỏ

Principles of Security and Trust: 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April
	Tác giả: Lujo Bauer, Ralf Küsters
	Xuất bản: Cham: Springer, 2018
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  005.8  Thêm vào giỏ

Principles of Security and Trust : 8th International Conference, POST 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic
	Tác giả: Flemming Nielson, Flemming Nielson, David Sands, David Sands
	Xuất bản: : Springer Nature, 2019
	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 : 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City
	Tác giả: Nobuko Yoshida, Nobuko Yoshida
	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ỏ

Fundamental Approaches to Software Engineering : 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech
	Tác giả: Reiner Hähnle, Reiner Hähnle, Wil van der Aalst, Wil van der Aalst
	Xuất bản: Cham Switzerland: Springer Nature, 2019
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  005.1  Thêm vào giỏ

Programming Languages and Systems : 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech
	Tác giả: Luís Caires, Luís Caires
	Xuất bản: Cham Switzerland: Springer Nature, 2019
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:   Thêm vào giỏ

Adaptive control systems
	Tác giả: Gang Feng, R Lozano
	Xuất bản: Oxford England: Newnes, 1999
	Bộ sưu tập: Khoa học ứng dụng
	eBook (pdf) ddc:  629.8  Thêm vào giỏ

Non-binary error control coding for wireless communication and data storage [electronic resource]
	Tác giả: Rolando Antonio Carrasco, Martin Johnston
	Xuất bản: Chichester UK: Wiley, 2008
	Bộ sưu tập: Công nghệ thông tin
	eBook (pdf) ddc:  005.7  Thêm vào giỏ

Model Reduction for Circuit Simulation elektronisk ressurs
	Tác giả: Peter Benner, Michael Hinze, E Jan W ter Maten
	Xuất bản: Dordrecht: Springer Netherlands, 2011
	Bộ sưu tập: Khoa học ứng dụng
	eBook (pdf) ddc:  621.3815  Thêm vào giỏ

Stability and stabilization of nonlinear systems
	Tác giả: Iasson Karafyllis, Z-P Jiang, E Sontag
	Xuất bản: London New York: SpringerVerlag, 2011
	Bộ sưu tập: Công nghệ thông tin
	eBook (pdf) ddc:  003  Thêm vào giỏ