Loại tài liệu:    Chỉ tìm trong: 
1091-1100 trong số 1125 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
 
Bisociative Knowledge Discovery: An Introduction to Concept, Algorithms, Tools, and Applications
Tác giả: Michael R Berthold
Xuất bản: Cham: Springer Nature, 2012
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  006.312
 
Programming Languages and Systems 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint ...
Tác giả:
Xuất bản: Cham: Springer Nature, 2024
Bộ sưu tập: Tài liệu truy cập mở
ddc: 
 
Ship and Offshore Structure Design in Climate Change Perspective
Tác giả: Elzbieta Maria Bitner-Gregersen, Elzbieta Maria Bitner-Gregersen, Lars Ingolf Eide, Torfinn Hørte, Torfinn Hørte, Lars Ingolf Eide, Rolf Skjong, Rolf Skjong
Xuất bản: Cham: Springer Nature, 2013
Bộ sưu tập: Tài liệu truy cập mở
ddc:  551.463
 
Computing Characterizations of Drugs for Ion Channels and Receptors Using Markov Models
Tác giả: Aslak Tveito, Glenn T Lines
Xuất bản: Cham: Springer Nature, 2016
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  571.64
 
Responsible Use of AI in Military Systems
Tác giả:
Xuất bản: : Taylor Francis, 2024
Bộ sưu tập: Tài liệu truy cập mở
ddc: 
 
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ở
ddc:  621.042
 
Virtual Reality & Intelligent Hardware
Tác giả:
Xuất bản: : KeAi Communications Co Ltd, 2020
Bộ sưu tập: Báo-Tạp chí
ddc: 
 
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
 

Truy cập nhanh danh mục