Coalgebraic Methods in Computer Science [electronic resource] : 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected
	Tác giả: Marcello M Bonsangue
	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.131  Thêm vào giỏ

Boolean Functions and Their Applications in Cryptography [electronic resource]
	Tác giả: Chuan-Kun Wu, Dengguo Feng
	Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2016.
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  003.54  Thêm vào giỏ

Automated Reasoning [electronic resource] : 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 –...
	Tác giả: Nicola Olivetti, Ashish Tiwari
	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:  005.131  Thêm vào giỏ

BNAIC 2016: Artificial Intelligence [electronic resource] : 28th Benelux Conference on Artificial Intelligence, Amsterda...
	Tác giả: Tibor Bosse, Bert Bredeweg
	Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2017.
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  006.3  Thêm vào giỏ

Artificial Intelligence Logic and Applications [electronic resource] : The 2nd International Conference, AILA 2022, Shan...
	Tác giả: Yixiang Chen, Songmao Zhang
	Xuất bản: Singapore: Springer Nature Singapore : Imprint: Springer , 2022.
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  005.131  Thêm vào giỏ

Bayesian Networks and Decision Graphs [electronic resource]
	Tác giả: Thomas Dyhre Nielsen, FINN VERNER JENSEN
	Xuất bản: New York, NY: Springer New York : Imprint: Springer , 2001.
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  519  Thêm vào giỏ

Automata, Languages and Programming [electronic resource] : 29th International Colloquium, ICALP 2002, Malaga, Spain, Ju...
	Tác giả: Ricardo Conejo, Stephan Eidenbenz, Matthew Hennessy, Rafael Morales, Francisco Triguero, Peter Widmayer
	Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2002.
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  006.3  Thêm vào giỏ

Arithmetic of Finite Fields [electronic resource] : Second International Workshop, WAIFI 2008, Siena, Italy, July 6-9, 2...
	Tác giả: José Luis Imana, Cetin Kaya Koc, Joachim von zur Gathen
	Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2008.
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  003.54  Thêm vào giỏ

Coding and Cryptology [electronic resource] : Third International Workshop, IWCC 2011, Qingdao, China, May 30-June 3, 20...
	Tác giả: Yeow Meng Chee, Zhenbo Guo, San Ling, Fengjing Shao, Yuansheng Tang, Huaxiong Wang, Chaoping Xing
	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:  003.54  Thêm vào giỏ

Data Science
	Tác giả:
	Xuất bản: IOS Press , 2023
	Bộ sưu tập: Báo, Tạp chí
	ddc:   Thêm vào giỏ