Loại tài liệu:    Chỉ tìm trong: 
111-120 trong số 803 kết quả
Cloud Computing and Service Science [electronic resource] : 7th International Conference, CLOSER 2017, Porto, Portugal, ...
Tác giả: Jorge Cardoso, Donald Ferguson, Markus Helfert, Víctor Méndez Muñoz, Claus Pahl
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.1
 
of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings
Tác giả: Jean Goubault-Larrecq, Barbara König
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2020
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  511.3
 
and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I
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
 
Agile Processes in Software Engineering and Extreme Programming - Workshops [electronic resource] : XP 2020 Workshops, Copenhagen, Denmark, June 8-12, 2020, Revised Selected Papers
Tác giả: Philippe Kruchten, Maria Paasivaara
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2020
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.74
 
Programming Languages and Systems [electronic resource] : 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS
Tác giả: Nobuko Yoshida
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:  005.13
 
Principles of security and trust : 7th International Conference, POST 2018 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018 Thessaloniki, Greece, April 14
Tác giả: Lujo Bauer, Ralf Küsters
Xuất bản: New York, NY: Springer Berlin Heidelberg , 2018
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  005.8
 
iWork '09
Tác giả: Richard Harrington
Xuất bản: Berkeley, CA: Peachpit Press , 2009
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  005.5
 
Tools and algorithms for the construction and analysis of systems : 24th International Conference, TACAS 2018 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS
Tác giả: Dirk Beyer, Marieke Huisman
Xuất bản: New York, NY: Springer Berlin Heidelberg , 2018
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  005.1
 
Tools and Algorithms for the Construction and Analysis of Systems : 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS
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: 
 
Electronic Communications of the EASST
Tác giả:
Xuất bản: Technische Universität Berlin, Universitätsbibliothek , 2010
Bộ sưu tập: Báo giấy
ddc: 
 

Truy cập nhanh danh mục