Loại tài liệu:    Chỉ tìm trong: 
61-70 trong số 74 kết quả
A Circular Built Environment in the Digital Age
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: 
 
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: 
 
Solving PDEs in Python [electronic resource] : The FEniCS Tutorial I
Tác giả: Hans Petter Langtangen, Anders Logg
Xuất bản: Cham: Springer International Publishing Imprint Springer, 2016
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  004
 
Entity-Oriented Search [electronic resource]
Tác giả: Krisztian Balog
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:  025.04
 
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: 
 
Innovative Learning Environments in STEM Higher Education : Opportunities, Challenges, and Looking Forward
Tác giả: Jungwoo Ryoo, Jungwoo Ryoo, Kurt Winkelmann, Kurt Winkelmann
Xuất bản: Cham Switzerland: Springer Nature, 2021
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  507.11
 
Manifold Learning Model Reduction in Engineering
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: 
 
Computer and Information Sciences [electronic resource] : 31st International Symposium, ISCIS 2016, Kraków, Poland, Oct...
Tác giả: Tadeusz Czachórski, Erol Gelenbe, Krzysztof Grochla, Ricardo Lent
Xuất bản: New York NY: Springer Nature, 2016
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.7
 
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
 

Truy cập nhanh danh mục