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: 
51-59 trong số 59 kết quả
Tools and Algorithms for the Construction and Analysis of Systems : 26th International Conference, TACAS 2020, Held as P...
Tác giả: Armin Biere, Armin Biere, David Parker, David Parker
Xuất bản: Cham: Springer Nature , 2020
Bộ sưu tập: Tài liệu truy cập mở
ddc: 
 Thêm vào giỏ
 
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
 Thêm vào giỏ
 
LOS ALAMOS NATIONAL LABORATORY INFORMATION SESSION [electronic resource]
Tác giả:
Xuất bản: Los Alamos, N.M. : Oak Ridge, Tenn: Los Alamos National Laboratory ; Distributed by the Office of Scientific and Technical Information, U.S. Dept. of Energy , 2012
Bộ sưu tập: Metadata
ddc:  541.3
 Thêm vào giỏ
 
Handbook of Mathematical Geosciences [electronic resource] : Fifty Years of IAMG
Tác giả: Frits Agterberg, Qiuming Cheng, BS Daya Sagar
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:  553
 Thêm vào giỏ
 
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ỏ
 
Laboratory Directed Research and Development Annual Report for 2011 [electronic resource]
Tác giả:
Xuất bản: Richland, Wash. : Oak Ridge, Tenn: Pacific Northwest National Laboratory (U.S.) ; Distributed by the Office of Scientific and Technical Information, U.S. Dept. of Energy , 2012
Bộ sưu tập: Metadata
ddc:  662.7
 Thêm vào giỏ
 
Programming for Computations - MATLAB/Octave [electronic resource] : A Gentle Introduction to Numerical Simulations wit...
Tác giả: Svein Linge, Hans Petter Langtangen
Xuất bản: Cham: Springer Nature , 2016
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  004
 Thêm vào giỏ
 
International Symposium on Mathematics, Quantum Theory, and Cryptography [electronic resource] : Proceedings of MQC 2019
Tác giả: Yasuhiko Ikematsu, Kazufumi Kimoto, Noboru Kunihiro, Tsuyoshi Takagi, Keisuke Tanaka, Masato Wakayama
Xuất bản: Singapore: Springer Singapore : Imprint: Springer , 2021
Bộ sưu tập: Tài liệu truy cập mở
ddc:  519
 Thêm vào giỏ
 
Programming for Computations - Python [electronic resource] : A Gentle Introduction to Numerical Simulations with Python...
Tác giả: Svein Linge, Hans Petter Langtangen
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2020
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  004
 Thêm vào giỏ
 
Trước 4 5 6

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