Advanced Biomedical Engineering
	Tác giả:
	Xuất bản: Japanese Society for Medical and Biological Engineering , 2020
	Bộ sưu tập: Báo giấy
	ddc:   Thêm vào giỏ

International Journal of Computing and Digital Systems
	Tác giả:
	Xuất bản: University of Bahrain , 2020
	Bộ sưu tập: Báo giấy
	ddc:   Thêm vào giỏ

Journal of Mechanical Engineering and Sciences
	Tác giả:
	Xuất bản: Universiti Malaysia Pahang Publishing , 2013
	Bộ sưu tập: Báo giấy
	ddc:   Thêm vào giỏ

Journal of Mechanics
	Tác giả:
	Xuất bản: Oxford University Press , 2021
	Bộ sưu tập: Báo giấy
	ddc:   Thêm vào giỏ

Algorithms for Molecular Biology
	Tác giả:
	Xuất bản: BMC , 2006
	Bộ sưu tập: Báo giấy
	ddc:   Thêm vào giỏ

IEEE Journal on Exploratory Solid-State Computational Devices and Circuits
	Tác giả:
	Xuất bản: IEEE , 2019
	Bộ sưu tập: Báo giấy
	ddc:   Thêm vào giỏ

Introduction to Scientific Programming with Python
	Tác giả: Joakim Sundnes
	Xuất bản: Cham, Switzerland: Springer Nature , 2020
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  005.133  Thêm vào giỏ

Mathematical Aspects of Logic Programming Semantics
	Tác giả: Pascal Hitzler, Anthony Seda
	Xuất bản: Boca Raton, FL: Taylor & Francis , 2011
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  005.115  Thêm vào giỏ

Automated Deduction - CADE 28 : 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, P...
	Tác giả: André Platzer, André Platzer, Geoff Sutcliffe, Geoff Sutcliffe
	Xuất bản: Cham, Switzerland: Springer Nature , 2021
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:   Thêm vào giỏ

Tools and Algorithms for the Construction and Analysis of Systems : 25th International Conference, TACAS 2019, Held as P...
	Tác giả: Tomáš Vojnar, Tomáš Vojnar, Lijun Zhang, Lijun Zhang
	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ỏ