Vietnam English Japanese
 Đăng nhập
 Thông tin tài khoản Đăng xuất
0
Loại tài liệu:    Chỉ tìm trong: 
1331-1340 trong số 1370 kết quả
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
 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ỏ
 
Computer Aided Verification [electronic resource] : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I
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ỏ
 
Chinese Water Systems [electronic resource] : Volume 4: Applied Water Management in China
Tác giả: Max Dohmann, Martin Grambow, Yonghui Song, Paul Wermter
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:  363.728
 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ỏ
 
Embedded System Design [electronic resource] : Embedded Systems Foundations of Cyber-Physical Systems, and the Internet ...
Tác giả: Peter Marwedel
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:  621.3815
 Thêm vào giỏ
 
Mobile Edge Computing [electronic resource]
Tác giả: Yan Zhang
Xuất bản: Cham, Switzerland: Springer Nature , 2018
Bộ sưu tập: Tài liệu truy cập mở
ddc:  004.167
 Thêm vào giỏ
 
The Future Internet: Future Internet Assembly 2011: Achievements and Technological Promises
Tác giả: John Domingue, Federico Alvarez, Federico Alvarez, Federico Alvarez, Susanna Avessta, Susanna Avessta, Susanna Avessta, Frances Cleary, Frances Cleary, Frances Cleary, Petros Daras, Petros Daras, Petros Daras, John Domingue, John Domingue, Alex Galis, Alex Galis, Alex Galis, Anastasius Gavras, Anastasius Gavras, Anastasius Gavras, Stamatis Karnouskos, Stamatis Karnouskos, Stamatis Karnouskos, Srdjan Krco, Srdjan Krco, Srdjan Krco, Dave Lambert, Dave Lambert, Dave Lambert, Man-Sze Li, Man-Sze Li, Man-Sze Li, Volkmar Lotz, Volkmar Lotz, Volkmar Lotz, Henning Müller, Henning Müller, Henning Müller, Michael Nilsson, Michael Nilsson, Michael Nilsson, Hans Schaffers, Hans Schaffers, Hans Schaffers, Burkhard Stiller, Burkhard Stiller, Burkhard Stiller, Theodore Zahariadis, Theodore Zahariadis, Theodore Zahariadis
Xuất bản: Cham: Springer Nature , 2011
Bộ sưu tập: Tài liệu truy cập mở
ddc:  004.6
 Thêm vào giỏ
 
The Coupling of Safety and Security : Exploring Interrelations in Theory and Practice
Tác giả: Corinne Bieder, Corinne Bieder, Kenneth Pettersen Gould, Kenneth Pettersen Gould
Xuất bản: Cham, Switzerland: Springer Nature , 2020
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 Thêm vào giỏ
 
Security of Ubiquitous Computing Systems : Selected Topics
Tác giả: Gildas Avoine, Gildas Avoine, Julio Hernandez-Castro, Julio Hernandez-Castro
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: 
 Thêm vào giỏ
 
Trước 132 133 134 135 136 Tiếp

Truy cập nhanh danh mục

Media
Đồ á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ĩ
Sách tham khảo