Computer Aided Verification [electronic resource] : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I
	Tác giả: Isil Dillig, Serdar Tasiran
	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:  005.1  Thêm vào giỏ

How AI Impacts Urban Living and Public Health [electronic resource] : 17th International Conference, ICOST 2019, New York City, NY, USA, October 14-16, 2019, Proceedings
	Tác giả: Bessam Abdulrazak, Hamdi Aloulou, Cabrera María Fernanda, Mounir Mokhtari, Pagán José
	Xuất bản: Cham: Springer International Publishing Imprint Springer, 2019
	Bộ sưu tập: Tài liệu truy cập mở
	ddc:  004.6  Thêm vào giỏ

Computer Aided Verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I
	Tác giả: Isil Dillig, Isil Dillig, Serdar Tasiran, Serdar Tasiran
	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:  670.42  Thêm vào giỏ

Computer Aided Verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II
	Tác giả: Isil Dillig, Isil Dillig, Serdar Tasiran, Serdar Tasiran
	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:   Thêm vào giỏ

How AI Impacts Urban Living and Public Health : 17th International Conference, ICOST 2019, New York City, NY, USA, October 14-16, 2019, Proceedings
	Tác giả: José Pagán, Bessam Abdulrazak, Bessam Abdulrazak, Hamdi Aloulou, Hamdi Aloulou, María Fernanda Cabrera, María Fernanda Cabrera, Mounir Mokhtari, Mounir Mokhtari, José Pagán
	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:  362.6  Thêm vào giỏ

Ethics of human rights
	Tác giả: A Reis Monteiro
	Xuất bản: Cham New York: Springer, 2014
	Bộ sưu tập: Xã hội, kinh tế, luật
	eBook (pdf) ddc:  341.48  Thêm vào giỏ

A textbook on ordinary differential equations
	Tác giả: Shair Ahmad, A Ambrosetti
	Xuất bản: Cham New York: Springer Verlag, 2014
	Bộ sưu tập: Khoa học tự nhiên
	eBook (pdf) ddc:  515.352  Thêm vào giỏ

Atlas of head and neck endocrine disorders : special focus on imaging and imaging-guided procedures
	Tác giả:
	Xuất bản: Cham New York: Springer, 2016
	Bộ sưu tập: Khoa học ứng dụng
	eBook (pdf) ddc:  617.5  Thêm vào giỏ

Injury in pediatric and adolescent sports epidemiology, treatment and prevention
	Tác giả: Dennis John Caine, Laura Kathleen Purcell
	Xuất bản: Cham New York: Springer, 2016
	Bộ sưu tập: Khoa học ứng dụng
	eBook (pdf) ddc:  617.1  Thêm vào giỏ

Breast cancer stem cells & therapy resistance
	Tác giả: Phuc Van Pham
	Xuất bản: Cham New York: Springer International Publishing, 2015
	Bộ sưu tập: Khoa học ứng dụng
	eBook (pdf) ddc:  616.99449  Thêm vào giỏ