Biometrics: Advanced Identity Verification [electronic resource] : The Complete Guide
	Tác giả: Julian Ashbourn
	Xuất bản: London: Springer London Imprint Springer, 2000
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  004  Thêm vào giỏ

BANTAM User Guide [electronic resource] : Biometric and Token Technology Application Modeling Language
	Tác giả: Julian Ashbourn
	Xuất bản: London: Springer London Imprint Springer, 2002
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  006.3  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ỏ

Model-Based Engineering of Collaborative Embedded Systems : Extensions of the SPES Methodology
	Tác giả: Wolfgang Böhm, Wolfgang Böhm, Manfred Broy, Manfred Broy, Cornel Klein, Cornel Klein, Klaus Pohl, Klaus Pohl, Bernhard Rumpe, Bernhard Rumpe, Sebastian Schröck, Sebastian Schröck
	Xuất bản: Cham Switzerland: Springer Nature, 2021
	Bộ sưu tập: Tài liệu truy cập mở
	ddc:   Thêm vào giỏ

Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems
	Tác giả: Paulo Carreira, Vasco Amaral, Vasco Amaral, Paulo Carreira, Hans Vangheluwe, Hans Vangheluwe
	Xuất bản: Cham: Springer Nature, 2020
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  006.22  Thêm vào giỏ

Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems [electronic resource]
	Tác giả: Vasco Amaral, Paulo Carreira, Hans Vangheluwe
	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.1  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ỏ

Tools and Algorithms for the Construction and Analysis of Systems : 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS
	Tác giả: Armin Biere, Armin Biere, David Parker, David Parker
	Xuất bản: Cham: Springer Nature, 2020
	Bộ sưu tập: Tài liệu truy cập mở
	ddc:   Thêm vào giỏ

Semantic Systems. The Power of AI and Knowledge Graphs [electronic resource] : 15th International Conference, SEMANTiCS 2019, Karlsruhe, Germany, September 9-12, 2019, Proceedings
	Tác giả: Maribel Acosta, Cudré-Mauroux Philippe, Maria Maleshkova, Tassilo Pellegrini, Harald Sack, York Sure-Vetter
	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:  006.33  Thêm vào giỏ

Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory
	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ỏ