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ỏ

Phương pháp phân tích phi tuyến kết cấu khung thép = Nonlinear analysis method of steel frame structure
	Tác giả: Hiếu Nghĩa HoàngHiếu Nghĩa Hoàng
	Xuất bản: Tạp chí Xây dựng , 2024
	Bộ sưu tập: Báo, Tạp chí
	eBook (pdf) ddc:  624  Thêm vào giỏ

Digital Video Concepts, Methods, and Metrics [electronic resource] : Quality, Compression, Performance, and Power Trade-off Analysis
	Tác giả: Shahriar Akramullah
	Xuất bản: Berkeley, CA: Apress : Imprint: Apress , 2014
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  006.6  Thêm vào giỏ

Timing [electronic resource]
	Tác giả: Sachin S Sapatnekar
	Xuất bản: Boston: Kluwer Academic Publishers , 2004
	Bộ sưu tập: Khoa học ứng dụng
	eBook (pdf) ddc:  621.39  Thêm vào giỏ

Buildings and Structures under Extreme Loads
	Tác giả: Chiara Bedon, Chiara Bedon, Daniel Honfi, Daniel Honfi, Flavio Stochino, Flavio Stochino
	Xuất bản: Basel, Switzerland: MDPI - Multidisciplinary Digital Publishing Institute , 2020
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:   Thêm vào giỏ

Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design - FMCAD 2023
	Tác giả: Alexander Nadel, Alexander Nadel, Kristin Yvonne Rozier, Kristin Yvonne Rozier
	Xuất bản: TU Wien Academic Press , 2023
	Bộ sưu tập: Tài liệu truy cập mở
	ddc:   Thêm vào giỏ

Innovative tools and design strategies The case of Eclectic Architecture in Buenos Aires
	Tác giả: Andrés Garrido Federico
	Xuất bản: KIT Scientific Publishing , 2023
	Bộ sưu tập: Tài liệu truy cập mở
	ddc:   Thêm vào giỏ

Life Cycle Analysis of Electrofuels [electronic resource] : Fischer?Tropsch Fuel Production from Hydrogen and Corn Ethanol Byproduct CO<sub>2</sub>
	Tác giả:
	Xuất bản: Washington, D.C. : Oak Ridge, Tenn: United States. Dept. of Energy. Office of Energy Efficiency and Renewable Energy ; Distributed by the Office of Scientific and Technical Information, U.S. Dept. of Energy , 2021
	Bộ sưu tập: Báo, Tạp chí
	ddc:  621.47  Thêm vào giỏ

Card sorting elektronisk ressurs : designing usable categories
	Tác giả: Donna Spencer, Jesse James Garrett
	Xuất bản: Brooklyn, N.Y: Rosenfeld Media , 2009
	Bộ sưu tập: Công nghệ thông tin
	eBook (pdf) ddc:  025.0422  Thêm vào giỏ

Tính kết cấu bằng phần mềm ANSYS version 10.0
	Tác giả: Vũ Quốc Anh, Phạm Thanh Hoan
	Xuất bản: Hà Nội: Xây dựng , 2012
	Bộ sưu tập: Khoa học ứng dụng
	Bản in ddc:  624.170285  Thêm vào giỏ