Loại tài liệu:    Chỉ tìm trong: 
1211-1220 trong số 1260 kết quả
Computer Aided Verification [electronic resource] : 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I
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
 
International Symposium on Mathematics, Quantum Theory, and Cryptography [electronic resource] : Proceedings of MQC 2019
Tác giả: Yasuhiko Ikematsu, Kazufumi Kimoto, Noboru Kunihiro, Tsuyoshi Takagi, Keisuke Tanaka, Masato Wakayama
Xuất bản: Singapore: Springer Singapore : Imprint: Springer , 2021
Bộ sưu tập: Tài liệu truy cập mở
ddc:  519
 
The Once-Only Principle [electronic resource] : The TOOP Project
Tác giả: Robert Krimmer, Szymon Mamrot, Andriana Prentza
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2021
Bộ sưu tập: Tài liệu truy cập mở
ddc:  004
 
The Hackable City [electronic resource] : Digital Media and Collaborative City-Making in the Network Society
Tác giả: Michiel de Lange, Martijn de Waal
Xuất bản: Singapore: Springer Singapore : Imprint: Springer , 2019
Bộ sưu tập: Tài liệu truy cập mở
ddc:  621.382
 
Machine Learning for Cyber Physical Systems [electronic resource] : Selected papers from the International Conference ML...
Tác giả: Jürgen Beyerer, Christian Kühnert, Oliver Niggemann
Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer Vieweg , 2019
Bộ sưu tập: Tài liệu truy cập mở
ddc:  006.3
 
The Ethics of Cybersecurity [electronic resource]
Tác giả: Markus Christen, Bert Gordijn, Michele Loi
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:  601
 
Window Functions and Their Applications in Signal Processing
Tác giả: K M M Prabhu
Xuất bản: Taylor & Francis , 2014
Bộ sưu tập: Tài liệu truy cập mở
ddc:  621.3822
 
Produktivitätsmanagement 4.0 [electronic resource] : Praxiserprobte Vorgehensweisen zur Nutzung der Digitalisierung in d...
Tác giả: Tim Jeske, Frank Lennings
Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer Vieweg , 2021
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  670
 
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
 

Truy cập nhanh danh mục