Automated Reasoning [electronic resource] : 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012, Proceedings
	Tác giả: Bernhard Gramlich, Dale Miller, Ulrike Sattler
	Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2012.
	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] : 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016, Proceedings
	Tác giả: Nicola Olivetti, Ashish Tiwari
	Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2016.
	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 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ỏ

Cognitive Systems [electronic resource] : Joint Chinese-German Workshop, Shanghai, China, March 7-11, 2005, Revised Selected Papers
	Tác giả: Ruqian Lu, Jörg Siekmann, Carsten Ullrich
	Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2007.
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  004.019  Thêm vào giỏ

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ỏ

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

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

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  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ỏ