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ỏ

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

FY 2024 Cambodia Country Opinion Survey Report
	Tác giả:
	Xuất bản: Washington, DC: World Bank , 2024
	Bộ sưu tập: Tài liệu truy cập mở
	ddc:  275.96  Thêm vào giỏ

FY 2024 Moldova Country Opinion Survey Report
	Tác giả:
	Xuất bản: Washington, DC: World Bank , 2024
	Bộ sưu tập: Tài liệu truy cập mở
	ddc:  914.76  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: Báo, Tạp chí
	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: Báo, Tạp chí
	ddc:  621.311  Thêm vào giỏ

Control Systems and Computers
	Tác giả:
	Xuất bản: International Research and Training Center for Information Technologies and Systems of NASU and MESU , 2020
	Bộ sưu tập: Báo giấy
	ddc:   Thêm vào giỏ

Inventions
	Tác giả:
	Xuất bản: MDPI AG , 2016
	Bộ sưu tập: Báo giấy
	ddc:   Thêm vào giỏ