Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design - FMCAD 2020
	Tác giả: Alexander Ivrii, Alexander Ivrii, Ofer Strichman, Ofer Strichman
	Xuất bản: Vienna: TU Wien Academic Press , 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 21st Conference on Formal Methods in Computer-Aided Design - FMCAD 2021
	Tác giả: Ruzica Piskac, Ruzica Piskac, Michael Whalen, Michael Whalen
	Xuất bản: Vienna: TU Wien Academic Press , 2021
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:   Thêm vào giỏ

Reversible Computation: Extending Horizons of Computing : Selected Results of the COST Action IC1405
	Tác giả: Irek Ulidowski, Carla Ferreira, Carla Ferreira, Ivan Lanese, Ivan Lanese, Ulrik Pagh Schultz, Ulrik Pagh Schultz, Irek Ulidowski
	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:  004  Thêm vào giỏ

Interim Report on SNP analysis and forensic microarray probe design for South American hemorrhagic fever viruses, tick-borne encephalitis virus, henipaviruses, Old World Arenaviruses, filoviruses
	Tác giả:
	Xuất bản: Livermore, Calif : Oak Ridge, Tenn: Lawrence Livermore National Laboratory ; Distributed by the Office of Scientific and Technical Information, U.S. Dept. of Energy , 2012
	Bộ sưu tập: Metadata
	ddc:  577.2  Thêm vào giỏ

Phân tích kết cấu mặt đường bê tông xi măng sử dụng cốt liệu tái chế từ phế thải xây dựng bằng phương pháp cơ học thực nghiệm = Analysis of cement concrete
	Tác giả: Văn Tình Ngô, Xuân Chiểu Lương, Văn Quân Ngô, Thanh Sang Nguyễn
	Xuất bản: Tạp chí Xây dựng , 2024
	Bộ sưu tập: Metadata
	eBook (pdf) ddc:  624  Thêm vào giỏ

cải tạo, trùng tu di sản văn hoá = The analysis of factors affecting the effectiveness of the design and construction process of cultural heritage renovation and restoration projects
	Tác giả: Đức Long Lương, Thị Ngọc Châu Nguyễn
	Xuất bản: Tạp chí Xây dựng , 2024
	Bộ sưu tập: Metadata
	eBook (pdf) ddc:  306  Thêm vào giỏ

Phân tích kết cấu tường kép nhà nhiều tầng có thiết bị tiêu tán năng lượng chịu động đất = Analysis of coupled shear wall in high-rise building with energy dissipation
	Tác giả: Thu Hiền Phạm, Hải Quang Nguyễn, Tiến Chương Nguyễn
	Xuất bản: Tạp chí Xây dựng , 2024
	Bộ sưu tập: Metadata
	eBook (pdf) ddc:  624  Thêm vào giỏ

Deliberation, Representation, Equity : Research Approaches, Tools and Algorithms for Participatory Processes
	Tác giả: Love Ekenberg, Joost Buurman, Göran Cars, Mats Danielson, Manilla Ernst, Tobias Fasth, Rebecca Forsberg, Johanna Gustafsson Fürst, Karin Hansson, Karin E Hansson, Lars In de Betou, Petter Karlström, Florence N Kivunike, Aron Larsson, Thomas Liljenberg, Hans Liljenström, Adina Marincea, Adriana Mihai, Mona Riabacke, Willmar Sauter, Uno Svedin, Michael Thompson, FF Tusubira, Harko Verhagen, Måns Wrange
	Xuất bản: Cambridge: Open Book Publishers , 2017
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  323.042  Thêm vào giỏ

Tổng quan về phương pháp thiết kế địa chấn dựa trên hiệu suất cho cầu = An overview of performance-based seismic design methodology for bridges
	Tác giả: Hoang Vinh Nguyen, Cong Chanh Doan, Quinci Gianluca, Phuong Hoa Hoang, Hoang Nam Phan
	Xuất bản: Tạp chí Khoa học và công nghệ - Trường Đại học Đà Nẵng , 2024
	Bộ sưu tập: Metadata
	eBook (pdf) ddc:  620  Thêm vào giỏ

High-Performance Modelling and Simulation for Big Data Applications : Selected Results of the COST Action IC1406 cHiPSet
	Tác giả: Joanna Kołodziej, Horacio González-Vélez, Horacio González-Vélez, Joanna Kołodziej
	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:  004.11  Thêm vào giỏ