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ỏ

Journal of Universal Computer Science
	Tác giả:
	Xuất bản: Graz University of Technology , 2021
	Bộ sưu tập: Báo, Tạp chí
	ddc:   Thêm vào giỏ

Principles of security and trust : 7th International Conference, POST 2018 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018 Thessaloniki, Greece, April 14
	Tác giả: Lujo Bauer, Ralf Küsters
	Xuất bản: New York, NY: Springer Berlin Heidelberg , 2018
	Bộ sưu tập: Công nghệ thông tin
	eBook (pdf) ddc:  005.8  Thêm vào giỏ

Soft Computing Letters
	Tác giả:
	Xuất bản: Elsevier , 2021
	Bộ sưu tập: Báo, Tạp chí
	ddc:   Thêm vào giỏ

Cross disciplinary advances in quantum computing : NSF sponsored research Conference on Representation Theory, Quantum Field Theory, Category Theory, and Quantum Information Theory, October 1-4, 2009
	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ỏ

Programming Languages and Systems : 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018 Proceedings
	Tác giả: Amal Ahmed
	Xuất bản: New York, NY: Springer Berlin Heidelberg , 2018
	Bộ sưu tập: Công nghệ thông tin
	eBook (pdf) ddc:  005.13  Thêm vào giỏ

Computer Aided Verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceed...
	Tác giả: Isil Dillig, Isil Dillig, Serdar Tasiran, Serdar Tasiran
	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:   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ỏ

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ỏ

Chapter 1 Introduction
	Tác giả:
	Xuất bản: Lodon ; 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ỏ