Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 24th International Conference,...
	Tác giả: Dirk Beyer, Marieke Huisman
	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:  005.1015113  Thêm vào giỏ

Principles of Security and Trust [electronic resource] : 7th International Conference, POST 2018, Held as Part of the Eu...
	Tác giả: Lujo Bauer, Ralf Küsters
	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.8  Thêm vào giỏ

Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 26th International Conference,...
	Tác giả: Armin Biere, David Parker
	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:  004.0151  Thêm vào giỏ

Security in Computer and Information Sciences [electronic resource] : First International ISCIS Security Workshop 2018, Euro-CYBERSEC 2018, London, UK, February 26-27, 2018, Revised Selected Papers
	Tác giả: Paolo Campegiani, Czachórski Tadeusz, Erol Gelenbe, Sokratis K Katsikas, Ioannis Komnios, Luigi Romano, Dimitrios Tzovaras
	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:  005.8  Thêm vào giỏ

Cyber-Physical Systems of Systems [electronic resource] : Foundations - A Conceptual Model and Some Derivations: The AMA...
	Tác giả: Andrea Bondavalli, Sara Bouchenak, Hermann Kopetz
	Xuất bản: New York, NY: Springer Nature , 2016
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  004.6  Thêm vào giỏ

Heterogeneity, High Performance Computing, Self-Organization and the Cloud [electronic resource]
	Tác giả: David Kenny, Theo Lynn, John P Morrison
	Xuất bản: Cham, Switzerland: Springer Nature , 2018
	Bộ sưu tập: Tài liệu truy cập mở
	ddc:  658.4038  Thêm vào giỏ

Eingebettete Systeme [electronic resource] : Grundlagen Eingebetteter Systeme in Cyber-Physikalischen Systemen
	Tác giả: Peter Marwedel
	Xuất bản: Wiesbaden: Springer Fachmedien Wiesbaden : Imprint: Springer Vieweg , 2021
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  004.6  Thêm vào giỏ

Cyber-Physical Systems: A Model-Based Approach [electronic resource]
	Tác giả: Walid M Taha, Abd-Elhamid M Taha, Johan Thunberg
	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.6  Thêm vào giỏ

Brain-Inspired Computing [electronic resource] : 4th International Workshop, BrainComp 2019, Cetraro, Italy, July 15-19,...
	Tác giả: Katrin Amunts, Lucio Grandinetti, Thomas Lippert, Nicolai Petkov
	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:  005.437  Thêm vào giỏ

Advances on Mechanics, Design Engineering and Manufacturing III [electronic resource] : Proceedings of the International...
	Tác giả: Benoit Eynard, Paz Morer Camo, Manuel Paredes, Caterina Rizzi, Lionel Roucoules
	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:  620.0042  Thêm vào giỏ