Künstliche Intelligenz [electronic resource] : Technologien | Anwendung | Gesellschaft
	Tác giả: Volker Wittpahl
	Xuất bản: Berlin Heidelberg: Springer Berlin Heidelberg Imprint Springer Vieweg, 2019
	Bộ sưu tập: Tài liệu truy cập mở
	ddc:  621.382  Thêm vào giỏ

Cyber-Physical Systems: A Model-Based Approach
	Tác giả: Walid M Taha, Abd-Elhamid M Taha, Johan Thunberg
	Xuất bản: Cham Switzerland: Springer Nature, 2021
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:   Thêm vào giỏ

Special Topics in Information Technology [electronic resource]
	Tác giả: Angelo Geraci
	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.382  Thêm vào giỏ

Machine Learning for Cyber Physical Systems [electronic resource] : Selected papers from the International Conference ML...
	Tác giả: Jürgen Beyerer, Alexander Maier, Oliver Niggemann
	Xuất bản: Berlin Heidelberg: Springer Berlin Heidelberg Imprint Springer Vieweg, 2021
	Bộ sưu tập: Tài liệu truy cập mở
	ddc:  621.38  Thêm vào giỏ

Machine Learning for Cyber Physical Systems [electronic resource] : Selected papers from the International Conference ML...
	Tác giả: Jürgen Beyerer, Christian Kühnert, Oliver Niggemann
	Xuất bản: Berlin Heidelberg: Springer Berlin Heidelberg Imprint Springer Vieweg, 2019
	Bộ sưu tập: Tài liệu truy cập mở
	ddc:  006.3  Thêm vào giỏ

Communicating, Networking: Interacting [electronic resource] : The International Year of Global Understanding - IYGU
	Tác giả: Margaret E Robertson
	Xuất bản: Cham: Springer International Publishing Imprint Springer, 2016
	Bộ sưu tập: Tài liệu truy cập mở
	ddc:  302.2  Thêm vào giỏ

Managing the Complexity of Critical Infrastructures: A Modelling and Simulation Approach
	Tác giả: Roberto Setola, Elias Kyriakides, Elias Kyriakides, Erich Rome, Erich Rome, Vittorio Rosato, Vittorio Rosato, Roberto Setola
	Xuất bản: Cham: Springer Nature, 2016
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:   Thêm vào giỏ

The Future Internet: Future Internet Assembly 2011: Achievements and Technological Promises
	Tác giả: John Domingue, Federico Alvarez, Federico Alvarez, Federico Alvarez, Susanna Avessta, Susanna Avessta, Susanna Avessta, Frances Cleary, Frances Cleary, Frances Cleary, Petros Daras, Petros Daras, Petros Daras, John Domingue, John Domingue, Alex Galis, Alex Galis, Alex Galis, Anastasius Gavras, Anastasius Gavras, Anastasius Gavras, Stamatis Karnouskos, Stamatis Karnouskos, Stamatis Karnouskos, Srdjan Krco, Srdjan Krco, Srdjan Krco, Dave Lambert, Dave Lambert, Dave Lambert, Man-Sze Li, Man-Sze Li, Man-Sze Li, Volkmar Lotz, Volkmar Lotz, Volkmar Lotz, Henning Müller, Henning Müller, Henning Müller, Michael Nilsson, Michael Nilsson, Michael Nilsson, Hans Schaffers, Hans Schaffers, Hans Schaffers, Burkhard Stiller, Burkhard Stiller, Burkhard Stiller, Theodore Zahariadis, Theodore Zahariadis, Theodore Zahariadis
	Xuất bản: Cham: Springer Nature, 2011
	Bộ sưu tập: Tài liệu truy cập mở
	ddc:  004.6  Thêm vào giỏ

Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedin...
	Tác giả: Shuvendu K Lahiri, Shuvendu K Lahiri, Chao Wang, Chao Wang
	Xuất bản: Cham Switzerland: Springer Nature, 2020
	Bộ sưu tập: Tài liệu truy cập mở
	ddc:  004.24  Thêm vào giỏ

Programming Languages and Systems : 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Join...
	Tác giả: Nobuko Yoshida, Nobuko Yoshida
	Xuất bản: Cham Switzerland: Springer Nature, 2021
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:   Thêm vào giỏ