Automated Technology for Verification and Analysis [electronic resource] : 18th International Symposium, ATVA 2020, Hano...
	Tác giả: Dang Van Hung, Oleg Sokolsky
	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:  006.3  Thêm vào giỏ

Psychology, Learning, Technology [electronic resource] : First International Conference, PLT 2022, Foggia, Italy, Januar...
	Tác giả: Raffaele Di Fuccio, Pierpaolo Limone, Giusi Antonia Toto
	Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2022.
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  300.00285  Thêm vào giỏ

Real-time Linked Dataspaces : Enabling Data Ecosystems for Intelligent Systems
	Tác giả: Edward Curry
	Xuất bản: Cham: Springer Nature , 2020
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  005.7565  Thêm vào giỏ

Real-time Linked Dataspaces [electronic resource] : Enabling Data Ecosystems for Intelligent Systems
	Tác giả: Edward Curry
	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.74  Thêm vào giỏ

Code Optimization Techniques for Embedded Processors [electronic resource] : Methods, Algorithms, and Tools
	Tác giả: Rainer Leupers
	Xuất bản: New York, NY: Springer US : Imprint: Springer , 2000.
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  670.285  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ỏ

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ỏ

Model-Based Engineering of Collaborative Embedded Systems [electronic resource] : Extensions of the SPES Methodology
	Tác giả: Wolfgang Böhm, Manfred Broy, Cornel Klein, Klaus Pohl, Bernhard Rumpe, Sebastian Schröck
	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:  005.1  Thêm vào giỏ

Security in Computer and Information Sciences [electronic resource] : First International ISCIS Security Workshop 2018, ...
	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ỏ

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ỏ