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ỏ

Engineering optimization [electronic resource] : an introduction with metaheuristic applications
	Tác giả: Xin-She Yang
	Xuất bản: Hoboken NJ: 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 with Analytic Tableaux and Related Methods 32nd International Conference, TABLEAUX 2023, Prague, Cze...
	Tác giả: Revantha Ramanayake, Revantha Ramanayake, Josef Urban, Josef Urban
	Xuất bản: Cham: Springer Nature, 2023
	Bộ sưu tập: Tài liệu truy cập mở
	ddc:   Thêm vào giỏ

Frontiers of Combining Systems 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20-22, 2023,...
	Tác giả: Uli Sattler, Uli Sattler, Martin Suda, Martin Suda
	Xuất bản: Cham: Springer Nature, 2023
	Bộ sưu tập: Tài liệu truy cập mở
	ddc:   Thêm vào giỏ

Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceed...
	Tác giả: Brigitte Pientka, Brigitte Pientka, Cesare Tinelli, Cesare Tinelli
	Xuất bản: Cham: Springer Nature, 2023
	Bộ sưu tập: Tài liệu truy cập mở
	ddc:   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ỏ

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 ScienceBusiness Media Inc, 2005
	Bộ sưu tập: Công nghệ thông tin
	eBook (pdf) ddc:  004  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ỏ

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ỏ

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ỏ