Vietnam English
Đăng nhập
 Thông tin tài khoản  Đăng xuất
0
Loại tài liệu:    Chỉ tìm trong: 
121-130 trong số 130 kết quả
lo Squaderno
Tác giả:
Xuất bản: : professionaldreamers, 2011
Bộ sưu tập: Báo-Tạp chí
ddc: 
 Thêm vào giỏ
 
Mathematical Aspects of Logic Programming Semantics
Tác giả: Pascal Hitzler, Anthony Seda
Xuất bản: Boca Raton FL: Taylor Francis, 2011
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.115
 Thêm vào giỏ
 
Re-Centring the City : Global Mutations of Socialist Modernity
Tác giả: Jonathan Bach, Jonathan Bach, Michał Murawski, Michał Murawski
Xuất bản: London: UCL Press, 2020
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 Thêm vào giỏ
 
Computer Aided Verification : 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Par...
Tác giả: Alexandra Silva, K Rustan M Leino, K Rustan M Leino, Alexandra Silva
Xuất bản: Cham Switzerland: Springer Nature, 2021
Bộ sưu tập: Tài liệu truy cập mở
ddc: 
 Thêm vào giỏ
 
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ỏ
 
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ỏ
 
Finite state machines in hardware : theory and design (with VHDL and SystemVerilog)
Tác giả: Volnei A Pedroni
Xuất bản: Cambridge Massachusetts: MIT Press, 2013
Bộ sưu tập: Tài liệu truy cập mở
ddc:  621.392
 Thêm vào giỏ
 
Fundamental Approaches to Software Engineering 27th International Conference, FASE 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City
Tác giả:
Xuất bản: Cham: Springer Nature, 2024
Bộ sưu tập: Tài liệu truy cập mở
ddc: 
 Thêm vào giỏ
 
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
 Thêm vào giỏ
 
Trước 11 12 13

Truy cập nhanh danh mục

Sách tham khảo
Đồ án TN ĐH-CĐ
Tài liệu điện tử
Truy cập mở
Nghiên cứu khoa học
Sách giáo trình
Báo-Tạp chí
Metadata
Sách tra cứu
Luận văn Thạc sĩ
Luận án Tiến sĩ
Media