Loại tài liệu:    Chỉ tìm trong: 
Tìm được 28 kết quả
Automated Reasoning : 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings
Tác giả: Jasmin Blanchette, Jasmin Blanchette, Laura Kovács, Laura Kovács, Dirk Pattinson, Dirk Pattinson
Xuất bản: Cham: Springer Nature, 2022
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 
Biomedical Engineering Systems and Technologies [electronic resource] : International Joint Conference, BIOSTEC 2008 Funchal, Madeira, Portugal, January 28-31, 2008, Revised Selected Papers
Tác giả: Joaquim Filipe, Ana Fred, Hugo Gamboa
Xuất bản: Berlin Heidelberg: Springer Berlin Heidelberg Imprint Springer, 2009
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  570
 
Electronic Voting [electronic resource] : 7th International Joint Conference, E-Vote-ID 2022, Bregenz, Austria, October 4–7, 2022, Proceedings
Tác giả: David Duenas-Cid, Micha Germann, Robert Krimmer, Peter Rønne, Melanie Volkamer
Xuất bản: Cham: Springer International Publishing Imprint Springer, 2022
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.824
 
Electronic Voting 8th International Joint Conference, E-Vote-ID 2023, Luxembourg City, Luxembourg, October 3-6, 2023, Proceedings
Tác giả: Melanie Volkamer, Jurlind Budurushi, Jurlind Budurushi, David Duenas-Cid, David Duenas-Cid, Oksana Kulyk, Oksana Kulyk, Rodriguez Pérez Adrià, Rodriguez Pérez Adrià, Peter Rønne, Peter Rønne, Peter Y A Ryan, Peter Y A Ryan, Iuliia Spycher-Krivonosova, Iuliia Spycher-Krivonosova, Melanie Volkamer
Xuất bản: Cham: Springer Nature, 2023
Bộ sưu tập: Tài liệu truy cập mở
ddc: 
 
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ở
ddc: 
 
Biomedical Engineering Systems and Technologies [electronic resource] : 9th International Joint Conference, BIOSTEC 2016, Rome, Italy, February 21–23, 2016, Revised Selected Papers
Tác giả: Ana Fred, Hugo Gamboa
Xuất bản: Cham: Springer International Publishing Imprint Springer, 2017
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  610.285
 
Biomedical Engineering Systems and Technologies [electronic resource] : 12th International Joint Conference, BIOSTEC 2019, Prague, Czech Republic, February 22–24, 2019, Revised Selected Papers
Tác giả: Elisabetta De Maria, Ana Fred, Hugo Gamboa, Roman Moucek, Felix Putze, Ana Roque, Arkadiusz Tomczyk
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:  610.285
 
Programming Languages and Systems : 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018 Proceedings
Tác giả: Amal Ahmed
Xuất bản: New York NY: Springer Berlin Heidelberg, 2018
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  005.13
 
Thin calcium phosphate coatings for medical implants
Tác giả: J Jansen, Bett León
Xuất bản: New York: Springer, 2009
Bộ sưu tập: Khoa học ứng dụng
eBook (pdf)
 
Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018
Tác giả: Christel Baier, Christel Baier, Ugo Dal Lago, Ugo Dal Lago
Xuất bản: Cham: Springer Nature, 2018
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 
1 2 3 Tiếp

Truy cập nhanh danh mục