Vector game math processors
	Tác giả: James Leiterman
	Xuất bản: Plano, Texas: Wordware Publishing , 2001
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  004.35  Thêm vào giỏ

Scientific computation
	Tác giả: G H Gonnet, Ralf Scholl
	Xuất bản: Cambridge, UK ; New York: Cambridge University Press , 2009.
	Bộ sưu tập: Khoa học tự nhiên
	eBook (pdf) ddc:  501.51  Thêm vào giỏ

Call-By-Push-Value [electronic resource] : A Functional/Imperative Synthesis
	Tác giả: PB Levy
	Xuất bản: Dordrecht: Springer Netherlands : Imprint: Springer , 2003.
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  005.45  Thêm vào giỏ

ARIS Design Platform [electronic resource] : Advanced Process Modelling and Administration
	Tác giả: Rob Davis
	Xuất bản: London: Springer London : Imprint: Springer , 2008.
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  330.0151  Thêm vào giỏ

Automated Deduction in Geometry [electronic resource] : 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9...
	Tác giả: Francisco Botana, Pedro Quaresma
	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:  006.3  Thêm vào giỏ

Automated Deduction in Geometry [electronic resource] : 8th International Workshop, ADG 2010, Munich, Germany, July 22-2...
	Tác giả: Julien Narboux, Jürgen Richter-Gebert, Pascal Schreck
	Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2011.
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  006.3  Thêm vào giỏ

Automated Deduction in Geometry [electronic resource] : 9th International Workshop, ADG 2012, Edinburgh, UK, September 1...
	Tác giả: Jacques Fleuriot, Tetsuo Ida
	Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2013.
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  006.3  Thêm vào giỏ

Combinatorial Algorithms [electronic resource] : 30th International Workshop, IWOCA 2019, Pisa, Italy, July 23–25, 2019,...
	Tác giả: Charles J Colbourn, Roberto Grossi, Nadia Pisanti
	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:  004.0151  Thêm vào giỏ

Combinatorial Algorithms [electronic resource] : 31st International Workshop, IWOCA 2020, Bordeaux, France, June 8–10, 2...
	Tác giả: Leszek Gąsieniec, Ralf Klasing, Tomasz Radzik
	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:  004.0151  Thêm vào giỏ

Fast Mesh Refinement in Pseudospectral Optimal Control
	Tác giả: N Koeppen, R J Proulx, I M Ross, L C Wilcox
	Xuất bản: , 2019
	Bộ sưu tập: Báo, Tạp chí
	eBook (pdf) ddc:  519.6  Thêm vào giỏ