Graph Structures for Knowledge Representation and Reasoning [electronic resource] : 6th International Workshop, GKR 2020...
	Tác giả: Michael Cochez, Madalina Croitoru, Pierre Marquis, Sebastian Rudolph
	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:  006.3  Thêm vào giỏ

Pro TBB [electronic resource] : C++ Parallel Programming with Threading Building Blocks
	Tác giả: Michael Voss, Rafael Asenjo, James Reinders
	Xuất bản: Berkeley CA: Apress Imprint Apress, 2019
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  005.13  Thêm vào giỏ

Autonomous Driving [electronic resource] : Technical, Legal and Social Aspects
	Tác giả: J Christian Gerdes, Barbara Lenz, Markus Maurer, Hermann Winner
	Xuất bản: Berlin Heidelberg: Springer Berlin Heidelberg Imprint Springer, 2016
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  629.2  Thêm vào giỏ

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ỏ

Principles of Security and Trust [electronic resource] : 8th International Conference, POST 2019, Held as Part of the Eu...
	Tác giả: Flemming Nielson, David Sands
	Xuất bản: Cham: Springer International Publishing Imprint Springer, 2019
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  005.8  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ỏ