Loại tài liệu:    Chỉ tìm trong: 
11-16 trong số 16 kết quả
of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018. Proceedings
Tác giả: Christel Baier, Ugo Dal Lago
Xuất bản: Cham: Springer International Publishing Imprint Springer, 2018
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.1015113
 
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 25 Years of TACAS: TOOLympics,...
Tác giả: Dirk Beyer, Marieke Huisman, Fabrice Kordon, Bernhard Steffen
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.1015113
 
Programming Languages and Systems [electronic resource] : 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS
Tác giả: Caires Luís
Xuất bản: Cham: Springer International Publishing Imprint Springer, 2019
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.13
 
High-Performance Modelling and Simulation for Big Data Applications [electronic resource] : Selected Results of the COST...
Tác giả: González-Vélez Horacio, Joanna Kołodziej
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:  004.24
 
Internet of Things. Information Processing in an Increasingly Connected World [electronic resource] : First IFIP Interna...
Tác giả: Vinton G Cerf, Leon Strous
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:  004.6
 
Autonomous Control for a Reliable Internet of Services [electronic resource] : Methods, Models, Approaches, Techniques, ...
Tác giả: Ivan Ganchev, Hans van den Berg, R D van der Mei
Xuất bản: Cham: Springer International Publishing Imprint Springer, 2018
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  004.6
 

Truy cập nhanh danh mục