Mathematics of program construction : 10th international conference, MPC 2010, Québec City, Canada, June 21-23, 2010 : proceedings
	Tác giả: Jules Desharnais, Claude Bolduc, Béchir Ktari
	Xuất bản: Berlin ; New York: Springer , 2010.
	Bộ sưu tập: Công nghệ thông tin
	eBook (pdf) ddc:  005.1  Thêm vào giỏ

A clockmaker's mathematics: a technology-based approach to the mathematical works of Jost Bürgi (1552-1632)
	Tác giả: Damian Moosbrugger
	Xuất bản: Germany: Archive for history of exact sciences , 2025
	Bộ sưu tập: NCBI
	ddc:  577.272  Thêm vào giỏ

Foundations of optimization
	Tác giả: Osman Güler
	Xuất bản: New York: Springer , 2010.
	Bộ sưu tập: Khoa học tự nhiên
	eBook (pdf) ddc:  519.6  Thêm vào giỏ

A programmer's companion to algorithm analysis [electronic resource]
	Tác giả: Ernst L Leiss
	Xuất bản: Boca Raton: Chapman & Hall/CRC , 2007
	Bộ sưu tập: Công nghệ thông tin
	eBook (pdf) ddc:  005.1  Thêm vào giỏ

A programmer's companion to algorithm analysis
	Tác giả: Ernst L Leiss
	Xuất bản: Boca Raton: Chapman & Hall/CRC , 2007.
	Bộ sưu tập: Công nghệ thông tin
	eBook (pdf) ddc:  005.1  Thêm vào giỏ

Finite Difference Computing with Exponential Decay Models [electronic resource]
	Tác giả: Hans Petter Langtangen
	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:  515.62  Thêm vào giỏ

Arithmetic of Finite Fields [electronic resource] : Third International Workshop, WAIFI 2010, Istanbul, Turkey, June 27-...
	Tác giả: M Anwar Hasan, Tor Helleseth
	Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2010.
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  005.11  Thêm vào giỏ

Mathematical Aspects of Logic Programming Semantics
	Tác giả: Pascal Hitzler, Randi Cohen, Randi Cohen, Anthony Seda
	Xuất bản: Boca Raton, FL: Taylor & Francis , 2010
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  005.115  Thêm vào giỏ

Self-regularity : a new paradigm for primal-dual interior-point algorithms
	Tác giả: Jiming Peng, Cornelis Roos, Tamá Terlaky
	Xuất bản: Princeton, N.J. ; Oxford: Princeton University Press , c2002
	Bộ sưu tập: Khoa học tự nhiên
	eBook (pdf) ddc:  519.6  Thêm vào giỏ

Global Optimization Algorithms : Theory and Application
	Tác giả: Thomas Weise
	Xuất bản: , 2009
	Bộ sưu tập: Khoa học tự nhiên
	eBook (pdf) ddc:  519.6  Thêm vào giỏ