Artificial Intelligence in Manufacturing Enabling Intelligent, Flexible and Cost-Effective Production Through AI
	Tác giả:
	Xuất bản: Cham: Springer Nature , 2024
	Bộ sưu tập: Tài liệu truy cập mở
	ddc:   Thêm vào giỏ

Programming Languages and Systems : 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Join...
	Tác giả: Peter Müller, Peter Müller
	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.1  Thêm vào giỏ

Nordic Artificial Intelligence Research and Development 4th Symposium of the Norwegian AI Society, NAIS 2022, Oslo, Norw...
	Tác giả: Evi Zouganeli, Pedro Lind, Pedro Lind, Gustavo Mello, Gustavo Mello, Anis Yazidi, Anis Yazidi, Evi Zouganeli
	Xuất bản: Cham: Springer Nature , 2022
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:   Thêm vào giỏ

Artificial Intelligence and Cognitive Science 30th Irish Conference, AICS 2022, Munster, Ireland, December 8-9, 2022, Re...
	Tác giả: Luca Longo, Luca Longo, Ruairi O'Reilly, Ruairi O'Reilly
	Xuất bản: Cham: Springer Nature , 2023
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:   Thêm vào giỏ

Networks in the Russian Market Economy
	Tác giả: Markku Lonkila
	Xuất bản: Basingstoke: Springer Nature , 2010
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  388.87094721  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 : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceed...
	Tác giả: Isil Dillig, Isil Dillig, Serdar Tasiran, Serdar Tasiran
	Xuất bản: Cham, Switzerland: Springer Nature , 2019
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  670.42  Thêm vào giỏ

Haptics: Science, Technology, Applications : 13th International Conference on Human Haptic Sensing and Touch Enabled Com...
	Tác giả: Hasti Seifi, Alireza Abbasimoshaei, Alireza Abbasimoshaei, Knut Drewing, Knut Drewing, Gijs Huisman, Gijs Huisman, Astrid M L Kappers, Astrid M L Kappers, Thorsten A Kern, Thorsten A Kern, Claudio Pacchierotti, Claudio Pacchierotti, Oliver Schneider, Oliver Schneider, Hasti Seifi
	Xuất bản: Cham: Springer Nature , 2022
	Bộ sưu tập: Tài liệu truy cập mở
	ddc:   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ỏ

Tools and Algorithms for the Construction and Analysis of Systems : 28th International Conference, TACAS 2022, Held as P...
	Tác giả: Dana Fisman, Dana Fisman, Grigore Rosu, Grigore Rosu
	Xuất bản: Cham: Springer Nature , 2022
	Bộ sưu tập: Tài liệu truy cập mở
	ddc:   Thêm vào giỏ