Loại tài liệu:    Chỉ tìm trong: 
11-20 trong số 35 kết quả
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory
Tác giả: Armin Biere, David Parker
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.0151
 
The Once-Only Principle : The TOOP Project
Tác giả: Robert Krimmer, Robert Krimmer, Szymon Mamrot, Szymon Mamrot, Andriana Prentza, Andriana Prentza
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:  351.02854678
 
Towards Interoperable Research Infrastructures for Environmental and Earth Sciences : A Reference Model Guided Approach ...
Tác giả: Zhiming Zhao, Margareta Hellström, Margareta Hellström, Zhiming Zhao
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: 
 
Reversible Computation: Extending Horizons of Computing : Selected Results of the COST Action IC1405
Tác giả: Irek Ulidowski, Carla Ferreira, Carla Ferreira, Ivan Lanese, Ivan Lanese, Ulrik Pagh Schultz, Ulrik Pagh Schultz, Irek Ulidowski
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:  004
 
Haptics: Science, Technology, Applications : 12th International Conference, EuroHaptics 2020, Leiden, The Netherlands, S...
Tác giả: Ilana Nisky, Jess Hartcher-O'Brien, Jess Hartcher-O'Brien, Ilana Nisky, Jeroen Smeets, Jeroen Smeets, Michaël Wiertlewski, Michaël Wiertlewski
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: 
 
Security in Computer and Information Sciences [electronic resource] : First International ISCIS Security Workshop 2018, ...
Tác giả: Paolo Campegiani, Czachórski Tadeusz, Erol Gelenbe, Sokratis K Katsikas, Ioannis Komnios, Luigi Romano, Dimitrios Tzovaras
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2018
Bộ sưu tập: Tài liệu truy cập mở
ddc:  005.8
 
Internet of Things. Information Processing in an Increasingly Connected World : First IFIP International Cross-Domain Co...
Tác giả: Leon Strous, Vinton G Cerf, Vinton G Cerf, Leon Strous
Xuất bản: Cham: Springer Nature , 2019
Bộ sưu tập: Tài liệu truy cập mở
ddc:  004.678
 
Smart Technologies for Precision Assembly [electronic resource] : 9th IFIP WG 5.5 International Precision Assembly Semin...
Tác giả: Svetan Ratchev
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:  004
 
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
 
Security in Computer and Information Sciences : First International ISCIS Security Workshop 2018, Euro-CYBERSEC 2018, Lo...
Tác giả: Erol Gelenbe, Paolo Campegiani, Paolo Campegiani, Tadeusz Czachórski, Tadeusz Czachórski, Erol Gelenbe, Sokratis K Katsikas, Sokratis K Katsikas, Ioannis Komnios, Ioannis Komnios, Luigi Romano, Luigi Romano, Dimitrios Tzovaras, Dimitrios Tzovaras
Xuất bản: Cham: Springer Nature , 2018
Bộ sưu tập: Tài liệu truy cập mở
ddc:  005.8
 

Truy cập nhanh danh mục