Loại tài liệu:    Chỉ tìm trong: 
161-170 trong số 437 kết quả
Power of Articulation [electronic resource] : Imagery of Social Structure and Social Change
Tác giả: Matti Kortesoja
Xuất bản: Cham: Springer Nature Switzerland : Imprint: Palgrave Macmillan , 2023.
Bộ sưu tập: Tài liệu truy cập mở
ddc:  302.201
 
Artificial Intelligence in Theory and Practice III [electronic resource] : Third IFIP TC 12 International Conference on Artificial Intelligence, IFIP AI 2010, Held as Part of WCC 2010, Brisbane
Tác giả: Max Bramer
Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2010.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  006.3
 
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 [electronic resource] : 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory
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
 
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory
Tác giả: Jan Friso Groote, Kim Guldstrand Larsen
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:  004.0151
 
Programming Languages and Systems : 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech
Tác giả: Luís Caires, Luís Caires
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: 
 
Fundamental Approaches to Software Engineering : 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich
Tác giả: Einar Broch Johnsen, Einar Broch Johnsen, Manuel Wimmer, Manuel Wimmer
Xuất bản: Cham: Springer Nature , 2022
Bộ sưu tập: Tài liệu truy cập mở
ddc: 
 
Fundamental Approaches to Software Engineering : 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech
Tác giả: Reiner Hähnle, Reiner Hähnle, Wil van der Aalst, Wil van der Aalst
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
 
Principles of Security and Trust : 8th International Conference, POST 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic
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: 
 
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
 

Truy cập nhanh danh mục