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ỏ

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

Tools and algorithms for the construction and analysis of systems : 24th International Conference, TACAS 2018 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS
	Tác giả: Dirk Beyer, Marieke Huisman
	Xuất bản: New York NY: Springer Berlin Heidelberg, 2018
	Bộ sưu tập: Công nghệ thông tin
	eBook (pdf) ddc:  005.1  Thêm vào giỏ

Computer Aided Verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceed...
	Tác giả: Isil Dillig, Isil Dillig, Serdar Tasiran, Serdar Tasiran
	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ỏ

Cyber-Physical Systems: Architecture, Security and Application
	Tác giả: Song Guo, Deze Zeng
	Xuất bản: Cham: Springer International Publishing Imprint Springer, 2019
	Bộ sưu tập: Khoa học ứng dụng
	eBook (pdf) ddc:  621.382  Thêm vào giỏ

Introduction to Scientific Programming with Python
	Tác giả: Joakim Sundnes
	Xuất bản: Cham Switzerland: Springer Nature, 2020
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  005.133  Thêm vào giỏ

Managed Software Evolution [electronic resource]
	Tác giả: Michael Goedicke, Wilhelm Hasselbring, Jan Keim, Lukas Märtin, Ralf Reussner, Birgit Vogel-Heuser
	Xuất bản: Cham: Springer International Publishing Imprint Springer, 2019
	Bộ sưu tập: Tài liệu truy cập mở
	ddc:  005.1  Thêm vào giỏ

Solving PDEs in Python : The FEniCS Tutorial I
	Tác giả: Hans Petter Langtangen, Anders Logg
	Xuất bản: Cham Switzerland: Springer Nature, 2016
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  005.133  Thêm vào giỏ

Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part III
	Tác giả: Dirk Beyer, Dirk Beyer, Marieke Huisman, Marieke Huisman, Fabrice Kordon, Fabrice Kordon, Bernhard Steffen, Bernhard Steffen
	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ỏ

Cyber-Physical Systems of Systems [electronic resource] : Foundations - A Conceptual Model and Some Derivations: The AMADEOS Legacy
	Tác giả: Andrea Bondavalli, Sara Bouchenak, Hermann Kopetz
	Xuất bản: New York NY: Springer Nature, 2016
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  004.6  Thêm vào giỏ