Technology, Design and the Arts - Opportunities and Challenges [electronic resource]
	Tác giả: Rae Earnshaw, Peter Excell, Susan Liggett, Daniel Thalmann
	Xuất bản: Cham: Springer International Publishing Imprint Springer, 2020
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  005.437  Thêm vào giỏ

Smart Technologies for Precision Assembly [electronic resource] : 9th IFIP WG 5.5 International Precision Assembly Semin...
	Tác giả: Svetan Ratchev
	Xuất bản: Cham: Springer International Publishing Imprint Springer, 2021
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  004  Thêm vào giỏ

Embedded System Design [electronic resource] : Embedded Systems Foundations of Cyber-Physical Systems, and the Internet ...
	Tác giả: Peter Marwedel
	Xuất bản: Cham: Springer International Publishing Imprint Springer, 2021
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  621.3815  Thêm vào giỏ

Supercomputing Frontiers [electronic resource] : 5th Asian Conference, SCFA 2019, Singapore, March 11-14, 2019, Proceedi...
	Tác giả: David Abramson, Bronis R de Supinski
	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:  004.6  Thêm vào giỏ

High-Performance Modelling and Simulation for Big Data Applications [electronic resource] : Selected Results of the COST...
	Tác giả: González-Vélez Horacio, Joanna Kołodziej
	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:  004.24  Thêm vào giỏ

Software for Exascale Computing - SPPEXA 2016-2019 [electronic resource]
	Tác giả: Hans-Joachim Bungartz, Wolfgang E Nagel, Philipp Neumann, Severin Reiz, Benjamin Uekermann
	Xuất bản: Cham: Springer International Publishing Imprint Springer, 2020
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  003.3  Thêm vào giỏ

Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 25 Years of TACAS: TOOLympics,...
	Tác giả: Dirk Beyer, Marieke Huisman, Fabrice Kordon, Bernhard Steffen
	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.1015113  Thêm vào giỏ

Supercomputing Frontiers [electronic resource] : 6th Asian Conference, SCFA 2020, Singapore, February 24-27, 2020, Proce...
	Tác giả: Dhabaleswar K Panda
	Xuất bản: Cham: Springer International Publishing Imprint Springer, 2020
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  004.6  Thêm vào giỏ

Computer Aided Verification [electronic resource] : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I
	Tác giả: Isil Dillig, Serdar Tasiran
	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.1  Thêm vào giỏ

Medical Imaging Systems [electronic resource] : An Introductory Guide
	Tác giả: Vincent Christlein, Joachim Hornegger, Andreas Maier, Stefan Steidl
	Xuất bản: Cham: Springer International Publishing Imprint Springer, 2018
	Bộ sưu tập: Tài liệu truy cập mở
	ddc:  006.6  Thêm vào giỏ