Loại tài liệu:    Chỉ tìm trong: 
121-126 trong số 126 kết quả
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: 
 
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: 
 
Participatory Spaces Under Urban Capitalism Contesting the Boundaries of Democratic Practices
Tác giả: Markus Holdo
Xuất bản: Taylor & Francis , 2024
Bộ sưu tập: Tài liệu truy cập mở
ddc: 
 
lo Squaderno
Tác giả:
Xuất bản: professionaldreamers , 2011
Bộ sưu tập: Báo, Tạp chí
ddc: 
 
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
 
Phân tích dao động tự do của thanh có xét đến biến dạng trượt ngang bằng phương pháp phần tử hữu hạn
Tác giả: Đoàn Văn Duẩn
Xuất bản: Tạp chí Vật liệu và Xây dựng , 2022
Bộ sưu tập: Metadata
eBook (pdf)
ddc:  691
 

Truy cập nhanh danh mục