Spectral Geometry of Graphs
	Tác giả: Pavel Kurasov
	Xuất bản: Berlin, Heidelberg: Springer Nature , 2024
	Bộ sưu tập: Tài liệu truy cập mở
	ddc:   Thêm vào giỏ

Modern Cryptography Volume 1 : A Classical Introduction to Informational and Mathematical Principle
	Tác giả: Zhiyong Zheng
	Xuất bản: Singapore: Springer Nature , 2022
	Bộ sưu tập: Tài liệu truy cập mở
	ddc:   Thêm vào giỏ

Automated Reasoning : 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings
	Tác giả: Jasmin Blanchette, Jasmin Blanchette, Laura Kovács, Laura Kovács, Dirk Pattinson, Dirk Pattinson
	Xuất bản: Cham: Springer Nature , 2022
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:   Thêm vào giỏ

Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design - FMCAD 2023
	Tác giả: Alexander Nadel, Alexander Nadel, Kristin Yvonne Rozier, Kristin Yvonne Rozier
	Xuất bản: TU Wien Academic Press , 2023
	Bộ sưu tập: Tài liệu truy cập mở
	ddc:   Thêm vào giỏ

Computational Science - ICCS 2022 22nd International Conference, London, UK, June 21-23, 2022, Proceedings, Part III
	Tác giả: Derek Groen, de Mulatier Clélia, de Mulatier Clélia, Jack J Dongarra, Jack J Dongarra, Derek Groen, Valeria V Krzhizhanovskaya, Valeria V Krzhizhanovskaya, Maciej Paszynski, Maciej Paszynski, Peter M A Sloot, Peter M A Sloot
	Xuất bản: Cham: Springer Nature , 2022
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:   Thêm vào giỏ

Programming for Computations - Python : A Gentle Introduction to Numerical Simulations with Python 3.6
	Tác giả: Svein Linge, Hans Petter Langtangen
	Xuất bản: Cham: Springer Nature , 2020
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  004.0151  Thêm vào giỏ

Automated Deduction - CADE 28 : 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, P...
	Tác giả: André Platzer, André Platzer, Geoff Sutcliffe, Geoff Sutcliffe
	Xuất bản: Cham, Switzerland: Springer Nature , 2021
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:   Thêm vào giỏ

Chapter preface
	Tác giả:
	Xuất bản: London ; New York: Taylor & Francis , 2020
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  418.020285  Thêm vào giỏ

Chapter Bibliography
	Tác giả:
	Xuất bản: London ; New York: Taylor & Francis , 2020
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  418.020285  Thêm vào giỏ

Controlled Document Authoring in a Machine Translation Age
	Tác giả: Rei Miyata
	Xuất bản: London ; New York: Taylor & Francis , 2021
	Bộ sưu tập: Tài liệu truy cập mở
	ddc:  418.020285  Thêm vào giỏ