Loại tài liệu:    Chỉ tìm trong: 
1221-1230 trong số 1260 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
 
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
 
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
 
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
 
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
 
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
 
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
 
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
 
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: 
 
Proceedings of the 2021 DigitalFUTURES : The 3rd International Conference on Computational Design and Robotic Fabricatio...
Tác giả: Philip F Yuan, Hua Chai, Hua Chai, Neil Leach, Neil Leach, Chao Yan, Chao Yan, Philip F Yuan
Xuất bản: Singapore: Springer Nature , 2022
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 

Truy cập nhanh danh mục