Loại tài liệu:    Chỉ tìm trong: 
621-630 trong số 659 kết quả
GUI Design for Android Apps [electronic resource]
Tác giả: Ryan Cohen, Tao Wang
Xuất bản: Berkeley, CA: Apress : Imprint: Apress , 2014
Bộ sưu tập: Tài liệu truy cập mở
ddc:  004.167
 
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ở
eBook (pdf)
ddc:  005.1
 
Automated Deduction - CADE 28 [electronic resource] : 28th International Conference on Automated Deduction, Virtual Even...
Tác giả: Platzer André, Geoff Sutcliffe
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:  006.3
 
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
 
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
 
A Journey of Embedded and Cyber-Physical Systems : Essays Dedicated to Peter Marwedel on the Occasion of His 70th Birthd...
Tác giả: Jian-Jia Chen, Jian-Jia Chen
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:  006.22
 
Zukunft der Arbeit in Industrie 4.0 [electronic resource]
Tác giả: Alfons Botthof, Ernst Andreas Hartmann
Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer Vieweg , 2015
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  670
 
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: 
 
IET Computers & Digital Techniques
Tác giả:
Xuất bản: Hindawi-IET , 2021
Bộ sưu tập: Báo giấy
ddc: 
 
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
 

Truy cập nhanh danh mục