Communicating, Networking: Interacting [electronic resource] : The International Year of Global Understanding - IYGU
	Tác giả: Margaret E Robertson
	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:  302.2  Thêm vào giỏ

International Symposium on Mathematics, Quantum Theory, and Cryptography [electronic resource] : Proceedings of MQC 2019
	Tác giả: Yasuhiko Ikematsu, Kazufumi Kimoto, Noboru Kunihiro, Tsuyoshi Takagi, Keisuke Tanaka, Masato Wakayama
	Xuất bản: Singapore: Springer Singapore Imprint Springer, 2021
	Bộ sưu tập: Tài liệu truy cập mở
	ddc:  519  Thêm vào giỏ

The Once-Only Principle [electronic resource] : The TOOP Project
	Tác giả: Robert Krimmer, Szymon Mamrot, Andriana Prentza
	Xuất bản: Cham: Springer International Publishing Imprint Springer, 2021
	Bộ sưu tập: Tài liệu truy cập mở
	ddc:  004  Thêm vào giỏ

Machine Learning for Cyber Physical Systems [electronic resource] : Selected papers from the International Conference ML...
	Tác giả: Jürgen Beyerer, Christian Kühnert, Oliver Niggemann
	Xuất bản: Berlin Heidelberg: Springer Berlin Heidelberg Imprint Springer Vieweg, 2019
	Bộ sưu tập: Tài liệu truy cập mở
	ddc:  006.3  Thêm vào giỏ

The Ethics of Cybersecurity [electronic resource]
	Tác giả: Markus Christen, Bert Gordijn, Michele Loi
	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:  601  Thêm vào giỏ

Fundamental Approaches to Software Engineering [electronic resource] : 22nd International Conference, FASE 2019, Held as...
	Tác giả: Reiner Hähnle, Wil van der Aalst
	Xuất bản: Cham: Springer International Publishing Imprint Springer, 2019
	Bộ sưu tập: Tài liệu truy cập mở
	ddc:  005.1  Thêm vào giỏ

Computer Aided Verification [electronic resource] : 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part
	Tác giả: Hana Chockler, Georg Weissenbacher
	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.1015113  Thêm vào giỏ

Fundamental Approaches to Software Engineering [electronic resource] : 23rd International Conference, FASE 2020, Held as...
	Tác giả: Jordi Cabot, Heike Wehrheim
	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:  005.1  Thêm vào giỏ

Policy-Oriented Technology Assessment Across Europe [electronic resource] : Expanding Capacities
	Tác giả: Marie Louise Jørgensen, Lars Klüver, Rasmus Øjvind Nielsen
	Xuất bản: London: Palgrave Macmillan UK Imprint Palgrave Macmillan, 2016
	Bộ sưu tập: Tài liệu truy cập mở
	ddc:  004.6  Thêm vào giỏ

Solving PDEs in Python [electronic resource] : The FEniCS Tutorial I
	Tác giả: Hans Petter Langtangen, Anders Logg
	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:  004  Thêm vào giỏ