Computer Aided Verification : 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Par...
	Tác giả: Alexandra Silva, K Rustan M Leino, K Rustan M Leino, Alexandra Silva
	Xuất bản: Cham, Switzerland: Springer Nature , 2021
	Bộ sưu tập: Tài liệu truy cập mở
	ddc:   Thêm vào giỏ

Foundations of Software Science and Computation Structures : 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019
	Tác giả: Mikołaj Bojańczyk, Mikołaj Bojańczyk, Alex Simpson, Alex Simpson
	Xuất bản: Cham, Switzerland: Springer Nature , 2019
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  005.1  Thêm vào giỏ

Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedin...
	Tác giả: Shuvendu K Lahiri, Shuvendu K Lahiri, Chao Wang, Chao Wang
	Xuất bản: Cham, Switzerland: Springer Nature , 2020
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  004.24  Thêm vào giỏ

Randomized geometric tools for anomaly detection in stock markets
	Tác giả: Cyril Bachelard, Apostolos Chalkis, Vissarion Fisikopoulos, Elias Tsigaridas
	Xuất bản: , 2022
	Bộ sưu tập: Báo, Tạp chí
	eBook (pdf) ddc:  003.76  Thêm vào giỏ

Roboter für Assistenzfunktionen Konzeptstudien für die Interaktion in der Praxis
	Tác giả:
	Xuất bản: KIT Scientific Publishing , 2024
	Bộ sưu tập: Tài liệu truy cập mở
	ddc:   Thêm vào giỏ

Cross disciplinary advances in quantum computing : NSF sponsored research Conference on Representation Theory, Quantum F...
	Tác giả: Leonard L Brown, Deborah Koslover, Kazem Mahdavi
	Xuất bản: Providence, R.I: American Mathematical Society , c2011.
	Bộ sưu tập: Khoa học tự nhiên
	eBook (pdf) ddc:  530.12  Thêm vào giỏ

Mathematical and Computational Applications
	Tác giả:
	Xuất bản: MDPI AG , 2017
	Bộ sưu tập: Báo giấy
	ddc:   Thêm vào giỏ

Natural Computing and Beyond : Winter School Hakodate 2011, Hakodate, Japan, March 2011 and 6th International Workshop o...
	Tác giả: Yasuhiro Suzuki, Toshiyuki Nakagaki, Toshiyuki Nakagaki, Yasuhiro Suzuki
	Xuất bản: Springer Nature , 2013
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  004  Thêm vào giỏ

Principles of Security and Trust [electronic resource] : 7th International Conference, POST 2018, Held as Part of the Eu...
	Tác giả: Lujo Bauer, Ralf Küsters
	Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2018
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  005.8  Thêm vào giỏ

Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 26th International Conference,...
	Tác giả: Armin Biere, David Parker
	Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2020
	Bộ sưu tập: Tài liệu truy cập mở
	ddc:  004.0151  Thêm vào giỏ