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:   Thêm vào giỏ

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:   Thêm vào giỏ

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, Thessaloniki
	Tác giả: Amal Ahmed
	Xuất bản: Cham: Springer Nature , 2018
	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] : 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, Proceedings
	Tác giả: Stéphane Demri, Deepak Kapur, Christoph Weidenbach
	Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2014.
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  005.131  Thêm vào giỏ

Artificial Intelligence, Automated Reasoning, and Symbolic Computation [electronic resource] : Joint International Conferences, AISC 2002 and Calculemus 2002 Marseille, France, July 1-5, 2002
	Tác giả: Belaid Benhamou, Jacques Calmet, Olga Caprotti, Laurent Henocque, Volker Sorge
	Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2002.
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  006.3  Thêm vào giỏ

Biomedical Engineering Systems and Technologies [electronic resource] : 10th International Joint Conference, BIOSTEC 2017, Porto, Portugal, February 21–23, 2017, Revised Selected Papers
	Tác giả: Hesham H Ali, Carlos Maciel, Nathalia Peixoto, Margarida Silveira, Egon L van den Broek
	Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2018.
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  610.285  Thêm vào giỏ

Foundations of Software Science and Computation Structures : 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019
	Tác giả: Mikołaj Bojańczyk, Mikołaj Bojańczyk, Alex Simpson, Alex Simpson
	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:  005.1  Thêm vào giỏ

Principles of Security and Trust : 8th International Conference, POST 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic
	Tác giả: Flemming Nielson, Flemming Nielson, David Sands, David Sands
	Xuất bản: Springer Nature , 2019
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:   Thêm vào giỏ

How mobile robots can self-organise a vocabulary
	Tác giả: Paul Vogt
	Xuất bản: Berlin, Germany: Language Science Press , 2015
	Bộ sưu tập: Tài liệu truy cập mở
	ddc:   Thêm vào giỏ

Thực trạng ứng dụng trí tuệ nhân tạo (AI) của các ngân hàng thương mại cổ phần Việt Nam=The current use of AI applications in Vietnamese joint stock commercial banks
	Tác giả: Thị Phương Linh Bùi, Toàn Trí Nguyễn
	Xuất bản: Tạp chí Công thương , 2024
	Bộ sưu tập: Báo, Tạp chí
	eBook (pdf) ddc:   Thêm vào giỏ