Certified Programs and Proofs [electronic resource] : First International Conference, CPP 2011, Kenting, Taiwan, Decembe...
	Tác giả: Jean-Pierre Jouannaud, Zhong Shao
	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:  004.0151  Thêm vào giỏ

Automata, Languages and Programming [electronic resource] : 38th International Colloquium, ICALP 2011, Zurich, Switzerla...
	Tác giả: Luca Aceto, Monika Henzinger, Jiří Sgall
	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:  518.1  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ỏ

Combinatorial Image Analysis [electronic resource] : 20th International Workshop, IWCIA 2020, Novi Sad, Serbia, July 16–...
	Tác giả: Reneta P Barneva, Valentin E Brimkov, Lidija Čomić, Tibor Lukić, Nataša Sladoje
	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:  006.37  Thêm vào giỏ

Science Heritage Journal
	Tác giả:
	Xuất bản: Zibeline International , 2018
	Bộ sưu tập: Báo, Tạp chí
	ddc:   Thêm vào giỏ

Probability and Statistics for Computer Science
	Tác giả: James L Johnson
	Xuất bản: New Jersey: Wiley-Interscience , 2003
	Bộ sưu tập: Công nghệ thông tin
	Bản in ddc:  004.1  Thêm vào giỏ

Logic and discrete mathematics : a concise introduction
	Tác giả: Willem Conradie, Valentin Goranko
	Xuất bản: Chichester, West Sussex ; Hoboken, NJ: John Wiley & Sons Inc , 2015
	Bộ sưu tập: Khoa học tự nhiên
	eBook (pdf) ddc:  511.3  Thêm vào giỏ

Data classification : algorithms and applications
	Tác giả: Charu C Aggarwal
	Xuất bản: Boca Raton: CRC Press , 2015
	Bộ sưu tập: Công nghệ thông tin
	eBook (pdf) ddc:  005.741  Thêm vào giỏ

Software Requirements Specification [electronic resource] : Scenario bank for the storage of simulated epidemiological s...
	Tác giả:
	Xuất bản: Washington, D.C. : Oak Ridge, Tenn: United States. National Nuclear Security Administration ; Distributed by the Office of Scientific and Technical Information, U.S. Dept. of Energy , 2012
	Bộ sưu tập: Metadata
	ddc:  005.4  Thêm vào giỏ

KIVA-hpFE. Predictive turbulent reactive and multiphase flow in engines - An Overview [electronic resource]
	Tác giả:
	Xuất bản: Washington, D.C. : Oak Ridge, Tenn: United States. Dept. of Energy. Office of Energy Efficiency and Renewable Energy ; Distributed by the Office of Scientific and Technical Information, U.S. Dept. of Energy , 2016
	Bộ sưu tập: Metadata
	ddc:  628.4  Thêm vào giỏ