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: 
621-630 trong số 654 kết quả
Towards Interoperable Research Infrastructures for Environmental and Earth Sciences [electronic resource] : A Reference ...
Tác giả: Margareta Hellström, Zhiming Zhao
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
 Thêm vào giỏ
 
Enabling Things to Talk [electronic resource] : Designing IoT solutions with the IoT Architectural Reference Model
Tác giả: Alessandro Bassi, Martin Bauer, Martin Fiedler, Thorsten Kramp, Sebastian Lange, Stefan Meissner, Rob van Kranenburg
Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2013
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.7
 Thêm vào giỏ
 
Tools and Algorithms for the Construction and Analysis of Systems : 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS
Tác giả: Dana Fisman, Dana Fisman, Grigore Rosu, Grigore Rosu
Xuất bản: Cham: Springer Nature , 2022
Bộ sưu tập: Tài liệu truy cập mở
ddc: 
 Thêm vào giỏ
 
IET Computers & Digital Techniques
Tác giả:
Xuất bản: Hindawi-IET , 2021
Bộ sưu tập: Báo, Tạp chí
ddc: 
 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ỏ
 
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ỏ
 
Programming Languages and Systems [electronic resource] : 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS
Tác giả: Nobuko Yoshida
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.13
 Thêm vào giỏ
 
of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018. Proceedings
Tác giả: Christel Baier, Ugo Dal Lago
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2018
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.1015113
 Thêm vào giỏ
 
Computer Aided Verification [electronic resource] : 30th International Conference, CAV 2018, Held as Part of the Federat...
Tác giả: Hana Chockler, Georg Weissenbacher
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2018
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.1015113
 Thêm vào giỏ
 
Reversible Computation: Extending Horizons of Computing [electronic resource] : Selected Results of the COST Action IC14...
Tác giả: Carla Ferreira, Ivan Lanese, Ulrik Pagh Schultz, Irek Ulidowski
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:  621.395
 Thêm vào giỏ
 
Trước 61 62 63 64 65 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