Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACAS: TOOLympics, Held as Part of ETAPS...
	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ỏ

The Essential R reference
	Tác giả: Mark Gardener
	Xuất bản: Indianapolis, IN: Wiley Pub., Inc , 2013
	Bộ sưu tập: Công nghệ thông tin
	Bản in ddc:  005.133  Thêm vào giỏ

Evolutionary computation in gene regulatory network research
	Tác giả: Hitoshi Iba, Nasimul Noman
	Xuất bản: Malden, MA: Wiley , 2016.
	Bộ sưu tập: Khoa học tự nhiên
	eBook (pdf) ddc:  572.8650113  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ỏ

Computer Aided Verification : 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Par...
	Tác giả: Alexandra Silva, K Rustan M Leino, K Rustan M Leino, Alexandra Silva
	Xuất bản: Cham, Switzerland: Springer Nature , 2021
	Bộ sưu tập: Tài liệu truy cập mở
	ddc:   Thêm vào giỏ

Foundations of Software Science and Computation Structures [electronic resource] : 22nd International Conference, FOSSAC...
	Tác giả: Mikołaj Bojańczyk, Alex Simpson
	Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2019
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  005.131  Thêm vào giỏ

Foundations of Software Science and Computation Structures [electronic resource] : 23rd International Conference, FOSSAC...
	Tác giả: Jean Goubault-Larrecq, Barbara König
	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:  511.3  Thêm vào giỏ

Foundations of Software Science and Computation Structures [electronic resource] : 24th International Conference, FOSSAC...
	Tác giả: Stefan Kiefer, Christine Tasson
	Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2021
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  005.131  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ỏ

Computer Aided Verification [electronic resource] : 33rd International Conference, CAV 2021, Virtual Event, July 20-23, ...
	Tác giả: K Rustan M Leino, Alexandra Silva
	Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2021
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  005.1  Thêm vào giỏ