Loại tài liệu:    Chỉ tìm trong: 
1241-1250 trong số 1260 kết quả
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
 
Managed Software Evolution [electronic resource]
Tác giả: Michael Goedicke, Wilhelm Hasselbring, Jan Keim, Lukas Märtin, Ralf Reussner, Birgit Vogel-Heuser
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.1
 
S-BPM in the Wild [electronic resource] : Practical Value Creation
Tác giả: Albert Fleischmann, Werner Schmidt, Christian Stary
Xuất bản: Cham: Springer International Publishing , 2015
Bộ sưu tập: Tài liệu truy cập mở
ddc:  004
 
A Journey of Embedded and Cyber-Physical Systems [electronic resource] : Essays Dedicated to Peter Marwedel on the Occas...
Tác giả: Jian-Jia Chen
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
 
European Guide to Power System Testing [electronic resource] : The ERIGrid Holistic Approach for Evaluating Complex Smar...
Tác giả: Erik C W de Jong, Maria Sosnina, Thomas I Strasser
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.042
 
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
 
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
 
Anti-fragile ICT Systems
Tác giả: Kjell Jørgen Hole
Xuất bản: Cham: Springer , 2016
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  004.6
 
Security in Distributed, Grid, Mobile, and Pervasive Computing
Tác giả: Yang Xiao
Xuất bản: Boca Raton, FL: Taylor & Francis , 2007
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.8
 
Strategic Formation and Reliability of Supply Chain Networks
Tác giả: Victor Amelkin, Rakesh Vohra
Xuất bản: , 2019
Bộ sưu tập: Metadata
eBook (pdf)
ddc:  355.43
 

Truy cập nhanh danh mục