ORiON
	Tác giả:
	Xuất bản: Operations Research Society of South Africa (ORSSA , 2014
	Bộ sưu tập: Báo, Tạp chí
	ddc:   Thêm vào giỏ

Matrix Algebra [electronic resource] : Theory, Computations, and Applications in Statistics
	Tác giả: James E Gentle
	Xuất bản: New York, NY: Springer Science+Business Media, LLC , 2007.
	Bộ sưu tập: Khoa học tự nhiên
	eBook (pdf) ddc:  512.9434  Thêm vào giỏ

Post-Quantum Cryptography [electronic resource]
	Tác giả: Daniel J Bernstein, Johannes Buchmann, Erik Dahmen
	Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg , 2009
	Bộ sưu tập: Công nghệ thông tin
	eBook (pdf) ddc:  005.8  Thêm vào giỏ

Autonomous Search [electronic resource]
	Tác giả: Youssef Hamadi, Eric Monfroy, Frédéric Saubion
	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:  006.3  Thêm vào giỏ

Coalgebraic Methods in Computer Science [electronic resource] : 11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31 -- April 1, 2012, Revised Selected Papers
	Tác giả: Dirk Pattinson, Lutz Schröder
	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:  005.131  Thêm vào giỏ

Automated Reasoning [electronic resource] : 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, ...
	Tác giả: Bernhard Gramlich, Dale Miller, Ulrike Sattler
	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:  005.131  Thêm vào giỏ

Combinatorial Search: From Algorithms to Systems [electronic resource]
	Tác giả: Youssef Hamadi
	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ỏ

Automated Reasoning and Mathematics [electronic resource] : Essays in Memory of William W. McCune
	Tác giả: Maria Paola Bonacina, Mark E Stickel
	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ỏ

Automatic Generation of Combinatorial Test Data [electronic resource]
	Tác giả: Jian Zhang, Feifei Ma, Zhiqiang Zhang
	Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2014.
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  005.1  Thêm vào giỏ

Automated Reasoning [electronic resource] : 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna S...
	Tác giả: Stéphane Demri, Deepak Kapur, Christoph Weidenbach
	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:  005.131  Thêm vào giỏ