The Future Internet [electronic resource] : Future Internet Assembly 2013: Validated Results and New Horizons
	Tác giả: Alex Galis, Anastasius Gavras
	Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2013
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  004.6  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ỏ

Programming Languages and Systems [electronic resource] : 29th European Symposium on Programming, ESOP 2020, Held as Par...
	Tác giả: Peter Müller
	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.13  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ỏ

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ỏ

Computer Congress, WCC 2018, Poznan, Poland, September 18-19, 2018, Revised Selected Papers
	Tác giả: Vinton G Cerf, Leon Strous
	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ỏ

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ỏ

Benefit/Cost-Driven Software Development [electronic resource] : With Benefit Points and Size Points
	Tác giả: Jo Erskine Hannay
	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ỏ

Projection-Based Clustering through Self-Organization and Swarm Intelligence [electronic resource] : Combining Cluster A...
	Tác giả: Michael Christoph Thrun
	Xuất bản: Wiesbaden: Springer Fachmedien Wiesbaden : Imprint: Springer Vieweg , 2018
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  006.4  Thêm vào giỏ