Foundations of XML processing : the tree-automata approach [electronic resource]
	Tác giả: Haruo Hosoya
	Xuất bản: Cambridge, U.K. ; New York: Cambridge University Press , 2011
	Bộ sưu tập: Công nghệ thông tin
	eBook (pdf) ddc:  006.74  Thêm vào giỏ

Belief Revision in Non-Classical Logics [electronic resource]
	Tác giả: Márcio Moretto Ribeiro
	Xuất bản: London: Springer London : 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ỏ

Tools and Algorithms for the Construction and Analysis of Systems : 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS
	Tác giả: Dana Fisman, Dana Fisman, Grigore Rosu, Grigore Rosu
	Xuất bản: Cham: Springer Nature , 2022
	Bộ sưu tập: Tài liệu truy cập mở
	ddc:   Thêm vào giỏ

Categories and Types in Logic, Language, and Physics [electronic resource] : Essays dedicated to Jim Lambek on the Occas...
	Tác giả: Claudia Casadio, Bob Coecke, Michael Moortgat, Philip Scott
	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ỏ

Coalgebraic Methods in Computer Science [electronic resource] : 13th IFIP WG 1.3 International Workshop, CMCS 2016, Colo...
	Tác giả: Ichiro Hasuo
	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ỏ

Programming Languages and Systems : 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland
	Tác giả: Peter Müller, Peter Müller
	Xuất bản: Cham: Springer Nature , 2020
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  005.1  Thêm vào giỏ

Deep reinforcement learning in action
	Tác giả: Brandon Brown, Alexander Zai
	Xuất bản: New York: Manning Publications Co , 2020
	Bộ sưu tập: Công nghệ thông tin
	eBook (pdf) ddc:  006.3  Thêm vào giỏ

Machine learning for adaptive many-core machines -- a practical approach
	Tác giả: Noel Lopes, Bernardete Ribeiro
	Xuất bản: Cham: Springer , 2015.
	Bộ sưu tập: Công nghệ thông tin
	eBook (pdf) ddc:  006.31  Thêm vào giỏ

Big data and analytics : strategic and organizational impacts
	Tác giả: Vincenzo Morabito
	Xuất bản: Cham [Switzerland: Springer , 2015
	Bộ sưu tập: Công nghệ thông tin
	eBook (pdf) ddc:  005.7  Thêm vào giỏ

Aggregation of Pareto optimal models
	Tác giả: Hamed Hamze Bajgiran, Houman Owhadi
	Xuất bản: , 2021
	Bộ sưu tập: Báo, Tạp chí
	eBook (pdf) ddc:  688.1  Thêm vào giỏ