Automated Theory Formation in Pure Mathematics [electronic resource]
	Tác giả: Simon Colton
	Xuất bản: London: Springer London : Imprint: Springer , 2002.
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  510  Thêm vào giỏ

Mathematics for game developers [electronic resource]
	Tác giả: Christopher Tremblay
	Xuất bản: Boston, MA: Thompson Course Technology, PTR , 2004.
	Bộ sưu tập: Công nghệ thông tin
	eBook (pdf) ddc:  005.1  Thêm vào giỏ

Computation engineering : applied automata theory and logic
	Tác giả: Ganesh Gopalakrishnan
	Xuất bản: New York: Springer , c2006.
	Bộ sưu tập: Công nghệ thông tin
	eBook (pdf) ddc:  004.0151  Thêm vào giỏ

Algorithmic combinatorics on partial words
	Tác giả: Francine Blanchet-Sadri
	Xuất bản: Boca Raton, FL: Chapman & Hall/CRC , c2008.
	Bộ sưu tập: Công nghệ thông tin
	eBook (pdf) ddc:  005.1  Thêm vào giỏ

Combinatorial Optimization and Applications [electronic resource] : 6th International Conference, COCOA 2012, Banff, AB,...
	Tác giả: Guohui Lin
	Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2012.
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  518.1  Thêm vào giỏ

Combinatorial Optimization and Applications [electronic resource] : 7th International Conference, COCOA 2013, Chengdu, C...
	Tác giả: Peter Widmayer, Yinfeng Xu, Binhai Zhu
	Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2013.
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  518.1  Thêm vào giỏ

Combinatorial Optimization and Applications [electronic resource] : 8th International Conference, COCOA 2014, Wailea, Ma...
	Tác giả: Ding-Zhu Du, Lidong Wu, Wen Xu, Zhao Zhang
	Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2014.
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  518.1  Thêm vào giỏ

Combinatorial Optimization [electronic resource] : Third International Symposium, ISCO 2014, Lisbon, Portugal, March 5-7...
	Tác giả: Pierre Fouilhoux, Luis Eduardo Neves Gouveia, A Ridha Mahjoub, Vangelis T Paschos
	Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2014.
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  518.1  Thêm vào giỏ

Combinatorial Optimization and Applications [electronic resource] : 9th International Conference, COCOA 2015, Houston, T...
	Tác giả: Ding-Zhu Du, Donghyun Kim, Wei Li, Zaixin Lu, Weili Wu
	Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2015.
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  518.1  Thêm vào giỏ

Combinatorial Optimization and Applications [electronic resource] : 10th International Conference, COCOA 2016, Hong Kong...
	Tác giả: T-H Hubert Chan, Minming Li, Lusheng Wang
	Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2016.
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  518.1  Thêm vào giỏ