Loại tài liệu:    Chỉ tìm trong: 
71-80 trong số 392 kết quả
Foundations of Software Science and Computation Structures : 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019
Tác giả: Mikołaj Bojańczyk, Mikołaj Bojańczyk, Alex Simpson, Alex Simpson
Xuất bản: Cham Switzerland: Springer Nature, 2019
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.1
 
Foundations of Software Science and Computation Structures : 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020
Tác giả: Jean Goubault-Larrecq, Jean Goubault-Larrecq, Barbara König, Barbara König
Xuất bản: Cham: Springer Nature, 2020
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.1
 
Fundamental Approaches to Software Engineering [electronic resource] : 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software
Tác giả: Alessandra Russo, Andy Schürr
Xuất bản: Cham Switzerland: Springer Nature, 2018
Bộ sưu tập: Tài liệu truy cập mở
ddc:  005.1
 
Fundamental Approaches to Software Engineering : 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin
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
 
Balancing Agility and Formalism in Software Engineering [electronic resource] : Second IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2007, Poznan, Poland
Tác giả: Bertrand Meyer, JR Nawrocki, Bartosz Walter
Xuất bản: Berlin Heidelberg: Springer Berlin Heidelberg Imprint Springer, 2008
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.1
 
Agile Processes in Software Engineering and Extreme Programming: 19th International Conference, XP 2018, Porto, Portugal, May 21-25, 2018, Proceedings
Tác giả: Juan Garbajosa, Ademar Aguiar, Ademar Aguiar, Juan Garbajosa, Xiaofeng Wang, Xiaofeng Wang
Xuất bản: Cham: Springer Nature, 2018
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 
Agile Processes in Software Engineering and Extreme Programming [electronic resource] : 22nd International Conference on Agile Software Development, XP 2021, Virtual Event, June 14-18, 2021
Tác giả: Peggy Gregory, Philippe Kruchten, Casper Lassenius, Xiaofeng Wang
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:  005.1
 
Fundamental Approaches to Software Engineering [electronic resource] : 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software
Tác giả: Jordi Cabot, Heike Wehrheim
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:  005.1
 
Systematic Approaches to Advanced Information Flow Analysis - and Applications to Software Security
Tác giả: Martin Mohr
Xuất bản: : KIT Scientific Publishing, 2023
Bộ sưu tập: Tài liệu truy cập mở
ddc: 
 
Foundations of Software Science and Computation Structures 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023
Tác giả: Orna Kupferman, Orna Kupferman, Pawel Sobocinski, Pawel Sobocinski
Xuất bản: Cham: Springer Nature, 2023
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 

Truy cập nhanh danh mục