Đăng nhập
 Thông tin tài khoản Đăng xuất
0
Loại tài liệu:    Chỉ tìm trong: 
81-90 trong số 102 kết quả
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 25 Years of TACAS: TOOLympics,...
Tác giả: Dirk Beyer, Marieke Huisman, Fabrice Kordon, Bernhard Steffen
Xuất bản: Cham: Springer International Publishing Imprint Springer, 2019
Bộ sưu tập: Tài liệu truy cập mở
ddc:  005.1015113
 Thêm vào giỏ
 
Computer Aided Verification [electronic resource] : 33rd International Conference, CAV 2021, Virtual Event, July 20-23, ...
Tác giả: K Rustan M Leino, Alexandra Silva
Xuất bản: Cham: Springer International Publishing Imprint Springer, 2021
Bộ sưu tập: Tài liệu truy cập mở
ddc:  005.1
 Thêm vào giỏ
 
Finding the Limits of the Limes [electronic resource] : Modelling Demography, Economy and Transport on the Edge of the R...
Tác giả: Mark R Groenhuijzen, Jamie Joyce, Philip Verhagen
Xuất bản: Cham: Springer International Publishing Imprint Springer, 2019
Bộ sưu tập: Tài liệu truy cập mở
ddc:  300.00285
 Thêm vào giỏ
 
Cyber-Physical Systems: A Model-Based Approach [electronic resource]
Tác giả: Walid M Taha, Abd-Elhamid M Taha, Johan Thunberg
Xuất bản: Cham: Springer International Publishing Imprint Springer, 2021
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  004.6
 Thêm vào giỏ
 
Computer Aided Verification [electronic resource] : 31st International Conference, CAV 2019, New York City, NY, USA, Jul...
Tác giả: Isil Dillig, Serdar Tasiran
Xuất bản: Cham: Springer International Publishing Imprint Springer, 2019
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.1
 Thêm vào giỏ
 
Scaling of Differential Equations
Tác giả: Hans Petter Langtangen, Geir K Pedersen
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:  515.35
 Thêm vào giỏ
 
Natural Computing and Beyond : Winter School Hakodate 2011, Hakodate, Japan, March 2011 and 6th International Workshop o...
Tác giả: Yasuhiro Suzuki, Toshiyuki Nakagaki, Toshiyuki Nakagaki, Yasuhiro Suzuki
Xuất bản: : Springer Nature, 2013
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  004
 Thêm vào giỏ
 
Methodological investigations in agent-based modelling : with applications for the social sciences
Tác giả: Eric Silverman
Xuất bản: New York NY: Springer Berlin Heidelberg, 2017
Bộ sưu tập: Xã hội, kinh tế, luật
eBook (pdf)
ddc:  300.72
 Thêm vào giỏ
 
Fuzzy Database Modeling with XML [electronic resource]
Tác giả: Zongmin Ma
Xuất bản: Boston MA: Springer ScienceBusiness Media Inc, 2005
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  005.74
 Thêm vào giỏ
 
Model Reduction for Circuit Simulation elektronisk ressurs
Tác giả: Peter Benner, Michael Hinze, E Jan W ter Maten
Xuất bản: Dordrecht: Springer Netherlands, 2011
Bộ sưu tập: Khoa học ứng dụng
eBook (pdf)
ddc:  621.3815
 Thêm vào giỏ
 
Trước 7 8 9 10 11 Tiếp

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