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ỏ

Dualities in graphs and digraphs
	Tác giả:
	Xuất bản: Berlin: Universitatsverlag der Technischen Universitat Berlin, 2023
	Bộ sưu tập: Tài liệu truy cập mở
	ddc:   Thêm vào giỏ

Number Theory and Symmetry
	Tác giả: Michel Planat, Michel Planat
	Xuất bản: Basel Switzerland: MDPI Multidisciplinary Digital Publishing Institute, 2020
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:   Thêm vào giỏ

Spectral Geometry of Graphs
	Tác giả:
	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ỏ

Tools and Algorithms for the Construction and Analysis of Systems : 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS
	Tác giả: Armin Biere, Armin Biere, David Parker, David Parker
	Xuất bản: Cham: Springer Nature, 2020
	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ỏ

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ỏ

Automated Reasoning with Analytic Tableaux and Related Methods 32nd International Conference, TABLEAUX 2023, Prague, Cze...
	Tác giả: Revantha Ramanayake, Revantha Ramanayake, Josef Urban, Josef Urban
	Xuất bản: Cham: Springer Nature, 2023
	Bộ sưu tập: Tài liệu truy cập mở
	ddc:   Thêm vào giỏ

Frontiers of Combining Systems 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20-22, 2023,...
	Tác giả: Uli Sattler, Uli Sattler, Martin Suda, Martin Suda
	Xuất bản: Cham: Springer Nature, 2023
	Bộ sưu tập: Tài liệu truy cập mở
	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ỏ