Loại tài liệu:    Chỉ tìm trong: 
21-30 trong số 35 kết quả
Tools and Algorithms for the Construction and Analysis of Systems : 26th International Conference, TACAS 2020, Held as P...
Tác giả: Armin Biere, Armin Biere, David Parker, David Parker
Xuất bản: Cham: Springer Nature , 2020
Bộ sưu tập: Tài liệu truy cập mở
ddc: 
 
Model-Based Engineering of Collaborative Embedded Systems : Extensions of the SPES Methodology
Tác giả: Wolfgang Böhm, Wolfgang Böhm, Manfred Broy, Manfred Broy, Cornel Klein, Cornel Klein, Klaus Pohl, Klaus Pohl, Bernhard Rumpe, Bernhard Rumpe, Sebastian Schröck, Sebastian Schröck
Xuất bản: Cham, Switzerland: Springer Nature , 2021
Bộ sưu tập: Tài liệu truy cập mở
ddc: 
 
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: 
 
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
 
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
 
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
 
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: 
 
e-Science [electronic resource] : Open, Social and Virtual Technology for Research Collaboration
Tác giả: Carsten Felden, Thomas Köhler, Claudia Koschtial
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:  303.483
 
Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems
Tác giả: Paulo Carreira, Vasco Amaral, Vasco Amaral, Paulo Carreira, Hans Vangheluwe, Hans Vangheluwe
Xuất bản: Cham: Springer Nature , 2020
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  006.22
 
Fundamental Approaches to Software Engineering : 23rd International Conference, FASE 2020, Held as Part of the European ...
Tác giả: Heike Wehrheim, Jordi Cabot, Jordi Cabot, Heike Wehrheim
Xuất bản: Cham: Springer Nature , 2020
Bộ sưu tập: Tài liệu truy cập mở
ddc:  005.1
 

Truy cập nhanh danh mục