Introduction to biological networks
	Tác giả: Animesh Ray, Alpan Raval
	Xuất bản: Boca Raton: CRC Press, Taylor & Francis Group , 2013
	Bộ sưu tập: Khoa học tự nhiên
	eBook (pdf) ddc:  571.7  Thêm vào giỏ

Foundations of Software Science and Computation Structures : 24th International Conference, FOSSACS 2021, Held as Part o...
	Tác giả: Stefan Kiefer, Stefan Kiefer, Christine Tasson, Christine Tasson
	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ỏ

Foundations of Software Science and Computation Structures : 22nd International Conference, FOSSACS 2019, Held as Part o...
	Tác giả: Mikołaj Bojańczyk, Mikołaj Bojańczyk, Alex Simpson, Alex Simpson
	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ỏ

Engineering optimization [electronic resource] : an introduction with metaheuristic applications
	Tác giả: Xin-She Yang
	Xuất bản: Hoboken, N.J: John Wiley , 2010
	Bộ sưu tập: Khoa học ứng dụng
	eBook (pdf) ddc:  620.0015196  Thêm vào giỏ

Automated Reasoning : 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings
	Tác giả: Jasmin Blanchette, Jasmin Blanchette, Laura Kovács, Laura Kovács, Dirk Pattinson, Dirk Pattinson
	Xuất bản: Cham: Springer Nature , 2022
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:   Thêm vào giỏ

Operational Research in Engineering Sciences: Theory and Applications
	Tác giả:
	Xuất bản: Regional Association for Security and crisis management, Belgrade, Serbia , 2021
	Bộ sưu tập: Báo giấy
	ddc:   Thêm vào giỏ

The Next Wave in Computing, Optimization, and Decision Technologies [electronic resource]
	Tác giả: Bruce Golden, S Raghavan, Edward Wasil
	Xuất bản: Boston, MA: Springer Science+Business Media, Inc , 2005
	Bộ sưu tập: Công nghệ thông tin
	eBook (pdf) ddc:  004  Thêm vào giỏ

Automated Deduction - CADE 28 : 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, P...
	Tác giả: André Platzer, André Platzer, Geoff Sutcliffe, Geoff Sutcliffe
	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ỏ

Tools and Algorithms for the Construction and Analysis of Systems : 25th International Conference, TACAS 2019, Held as P...
	Tác giả: Tomáš Vojnar, Tomáš Vojnar, Lijun Zhang, Lijun Zhang
	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 : 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, F...
	Tác giả: Hana Chockler, Hana Chockler, Georg Weissenbacher, Georg Weissenbacher
	Xuất bản: Cham, Switzerland: Springer Nature , 2018
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  004.24  Thêm vào giỏ