Loại tài liệu:    Chỉ tìm trong: 
Tìm được 14 kết quả
Logic in Computer Science [electronic resource] : Modelling and Reasoning about Systems
Tác giả: Michael Huth, Mark Ryan
Xuất bản: Cambridge: Cambridge University Press, 2004
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  004.015113
 
Programming Languages and Systems: 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki
Tác giả: Amal Ahmed
Xuất bản: Cham: Springer Nature, 2018
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 
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
 
Foundations of Software Science and Computation Structures [electronic resource] : 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice
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
 
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 : 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021
Tác giả: Stefan Kiefer, Stefan Kiefer, Christine Tasson, Christine Tasson
Xuất bản: Cham Switzerland: Springer Nature, 2021
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 
Foundations of Software Science and Computation Structures [electronic resource] : 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice
Tác giả: Mikołaj Bojańczyk, Alex Simpson
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.131
 
Soft-Computing : mit Neuronalen Netzen, Fuzzy-Logic und Evolutionären Algorithmen
Tác giả: W-M Lippe
Xuất bản: Berlin New York: Springer, 2006
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  004
 
Foundations of Software Science and Computation Structures [electronic resource] : 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice
Tác giả: Stefan Kiefer, Christine Tasson
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.131
 
Foundations of Software Science and Computation Structures [electronic resource] : 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice
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
 
1 2 Tiếp

Truy cập nhanh danh mục