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ỏ

Designing Digital Musical Instruments Using Probatio : A Physical Prototyping Toolkit
	Tác giả: Filipe Calegario
	Xuất bản: Cham: Springer International Publishing Imprint Springer, 2019
	Bộ sưu tập: Công nghệ thông tin
	eBook (pdf) ddc:  006.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ỏ

How AI Impacts Urban Living and Public Health [electronic resource] : 17th International Conference, ICOST 2019, New Yor...
	Tác giả: Bessam Abdulrazak, Hamdi Aloulou, Cabrera María Fernanda, Mounir Mokhtari, Pagán José
	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.6  Thêm vào giỏ