Telfor Journal
	Tác giả:
	Xuất bản: Telecommunications Society, Academic Mind , 2013
	Bộ sưu tập: Báo, Tạp chí
	ddc:   Thêm vào giỏ

Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory
	Tác giả: Jan Friso Groote, Kim Guldstrand Larsen
	Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2021
	Bộ sưu tập: Tài liệu truy cập mở
	ddc:  004.0151  Thêm vào giỏ

Tools and Algorithms for the Construction and Analysis of Systems : 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS
	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ỏ

Journal of Advanced Mechanical Design, Systems, and Manufacturing
	Tác giả:
	Xuất bản: The Japan Society of Mechanical Engineers , 2022
	Bộ sưu tập: Báo, Tạp chí
	ddc:   Thêm vào giỏ

Tools and algorithms for the construction and analysis of systems : 24th International Conference, TACAS 2018 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS
	Tác giả: Dirk Beyer, Marieke Huisman
	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.1  Thêm vào giỏ

Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory
	Tác giả: Dirk Beyer, Marieke Huisman
	Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2018
	Bộ sưu tập: Tài liệu truy cập mở
	ddc:  005.1015113  Thêm vào giỏ

Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory
	Tác giả: Armin Biere, David Parker
	Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2020
	Bộ sưu tập: Tài liệu truy cập mở
	ddc:  004.0151  Thêm vào giỏ

Proceedings of Synthetic Biology [electronic resource] : Engineering, Evolution and Design (SEED) Conference 2015
	Tác giả:
	Xuất bản: Washington, D.C. : Oak Ridge, Tenn: United States. Dept. of Energy. Office of Science ; Distributed by the Office of Scientific and Technical Information, U.S. Dept. of Energy , 2016
	Bộ sưu tập: Metadata
	ddc:  543.2  Thêm vào giỏ

National Renewable Energy Laboratory Lightweight Materials (LightMAT) Capabilities [electronic resource]
	Tác giả:
	Xuất bản: Washington, D.C. : Oak Ridge, Tenn: United States. Office of the Assistant Secretary of Energy Efficiency and Renewable Energy ; Distributed by the Office of Scientific and Technical Information, U.S. Dept. of Energy , 2019
	Bộ sưu tập: Metadata
	ddc:  621.311  Thêm vào giỏ

A Tale of Two Currencies: Cash and Crypto
	Tác giả: Ravi Kashyap
	Xuất bản: , 2023
	Bộ sưu tập: Metadata
	eBook (pdf) ddc:  332.4  Thêm vào giỏ