Loại tài liệu:    Chỉ tìm trong: 
11-17 trong số 17 kết quả
Fundamental Approaches to Software Engineering [electronic resource] : 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software
Tác giả: Reiner Hähnle, Wil van der Aalst
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
 
Principles of Security and Trust : 8th International Conference, POST 2019, Held as Part of the European Joint Conferenc...
Tác giả: Flemming Nielson, Flemming Nielson, David Sands, David Sands
Xuất bản: : Springer Nature, 2019
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 24th International Conference,...
Tác giả: Dirk Beyer, Marieke Huisman
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.1015113
 
Principles of Security and Trust [electronic resource] : 8th International Conference, POST 2019, Held as Part of the Eu...
Tác giả: Flemming Nielson, David Sands
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.8
 
Foundations of Software Science and Computation Structures [electronic resource] : 21st International Conference, FOSSAC...
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 Par...
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
 

Truy cập nhanh danh mục