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ỏ

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ỏ

Programming Languages and Systems 32nd European Symposium on Programming, ESOP 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France
	Tác giả: Thomas Wies, Thomas Wies
	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ỏ

Fundamental Approaches to Software Engineering 26th International Conference, FASE 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France
	Tác giả: Leen Lambers, Leen Lambers, Uchitel SebastiánUchitel Sebastián
	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ỏ

, Paris, France, April 22-27, 2023, Proceedings
	Tác giả: Orna Kupferman, Orna Kupferman, Pawel Sobocinski, Pawel Sobocinski
	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ỏ

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

, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings
	Tác giả: Leen Lambers, Uchitel Sebastián
	Xuất bản: Cham: Springer Nature Switzerland Imprint Springer, 2023
	Bộ sưu tập: Tài liệu truy cập mở
	ddc:  005.1  Thêm vào giỏ