Participative Urban Health and Healthy Aging in the Age of AI : 19th International Conference, ICOST 2022, Paris, France, June 27-30, 2022, Proceedings
	Tác giả: Hamdi Aloulou, Bessam Abdulrazak, Bessam Abdulrazak, Hamdi Aloulou, Antoine de Marassé-Enouf, Antoine de Marassé-Enouf, Mounir Mokhtari, Mounir Mokhtari
	Xuất bản: Cham: Springer Nature , 2022
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  610.28563  Thêm vào giỏ

Participative Urban Health and Healthy Aging in the Age of AI : 19th International Conference, ICOST 2022, Paris, France, June 27-30, 2022, Proceedings
	Tác giả: Hamdi Aloulou, Bessam Abdulrazak, Bessam Abdulrazak, Hamdi Aloulou, Antoine de Marassé-Enouf, Antoine de Marassé-Enouf, Mounir Mokhtari, Mounir Mokhtari
	Xuất bản: Cham: Springer Nature , 2022
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  610.28563  Thêm vào giỏ

Achieving the Paris Climate Agreement Goals : Global and Regional 100% Renewable Energy Scenarios with Non-energy GHG Pathways for +1.5°C and +2°C
	Tác giả: Sven Teske, Sven Teske
	Xuất bản: Cham: Springer Nature , 2019
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  621.042  Thêm vào giỏ

Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I
	Tác giả: Constantin Enea, Constantin Enea, Akash Lal, Akash Lal
	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ỏ

Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part II
	Tác giả: Constantin Enea, Constantin Enea, Akash Lal, Akash Lal
	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ỏ

Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III
	Tác giả: Constantin Enea, Constantin Enea, Akash Lal, Akash Lal
	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ỏ

Automated Reasoning [electronic resource] : 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part II
	Tác giả: Nicolas Peltier, Viorica Sofronie-Stokkermans
	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.131  Thêm vào giỏ

Automated Reasoning [electronic resource] : 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part I
	Tác giả: Nicolas Peltier, Viorica Sofronie-Stokkermans
	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.131  Thêm vào giỏ

Autonomic Networking [electronic resource] : First International IFIP TC6 Conference, AN 2006, Paris, France, September 27-29, 2006, Proceedings
	Tác giả: Ehab Al-Shaer, Ken Calvert, Simon Dobson, Dominique Gaiti, Guy Leduc, Martikainen, Guy Pujolle
	Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2006.
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  004.6  Thêm vào giỏ

Artificial Neural Networks in Pattern Recognition [electronic resource] : Third IAPR TC3 Workshop, ANNPR 2008 Paris, France, July 2-4, 2008, Proceedings
	Tác giả: Simone Marinai, Lionel Prevost, Friedhelm Schwenker
	Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2008.
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  006.312  Thêm vào giỏ