Loại tài liệu:    Chỉ tìm trong: 
2241-2250 trong số 2709 kết quả
Electronic Voting 7th International Joint Conference, E-Vote-ID 2022, Bregenz, Austria, October 4-7, 2022, Proceedings
Tác giả: Robert Krimmer, David Duenas-Cid, David Duenas-Cid, Micha Germann, Micha Germann, Robert Krimmer, Peter Rønne, Peter Rønne, Melanie Volkamer, Melanie Volkamer
Xuất bản: Cham: Springer Nature, 2022
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 
Psychology, Learning, Technology First International Conference, PLT 2022, Foggia, Italy, January 19-21, 2022, Revised Selected Papers
Tác giả: Pierpaolo Limone, Raffaele Di Fuccio, Raffaele Di Fuccio, Pierpaolo Limone, Giusi Antonia Toto, Giusi Antonia Toto
Xuất bản: Cham: Springer Nature, 2022
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 
Digital Health Transformation, Smart Ageing, and Managing Disability 20th International Conference, ICOST 2023, Wonju, South Korea, July 7-8, 2023, Proceedings
Tác giả: Kim Jongbae, Bessam Abdulrazak, Bessam Abdulrazak, Hamdi Aloulou, Hamdi Aloulou, Kim Jongbae, Mounir Mokhtari, Mounir Mokhtari, Lee Seungbok, Lee Seungbok
Xuất bản: Cham: Springer Nature, 2023
Bộ sưu tập: Tài liệu truy cập mở
ddc: 
 
Geodesy for a Sustainable Earth Proceedings of the 2021 Scientific Assembly of the International Association of Geodesy, Beijing, China, June 28 - July 2, 2021
Tác giả: Jeffrey T Freymueller, Jeffrey T Freymueller, Sánchez LauraSánchez Laura
Xuất bản: Cham: Springer Nature, 2023
Bộ sưu tập: Tài liệu truy cập mở
ddc: 
 
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: 
 
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: 
 
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: 
 
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
 
Computer Aided Verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part II
Tác giả: Sharon Shoham, Sharon Shoham, Yakir Vizel, Yakir Vizel
Xuất bản: Cham: Springer Nature, 2022
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 
Computer Aided Verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part I
Tác giả: Sharon Shoham, Sharon Shoham, Yakir Vizel, Yakir Vizel
Xuất bản: Cham: Springer Nature, 2022
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 

Truy cập nhanh danh mục