Loại tài liệu:    Chỉ tìm trong: 
21-30 trong số 41 kết quả
Foundations of Fuzzy Logic and Semantic Web Languages
Tác giả: Umberto Straccia
Xuất bản: : Chapman and HallCRC, 2016
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  025.0427
 
Natural language understanding
Tác giả: James Allen
Xuất bản: Redwood City CA: The BenjaminCummings cop, 1995
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  006.35
 
Warren's abstract machine : a tutorial reconstruction
Tác giả: Hassan A�it-Kaci
Xuất bản: Cambridge Massachusetts: MIT Press, 1991
Bộ sưu tập: Tài liệu truy cập mở
ddc:  006.3
 
Foundations of Software Science and Computation Structures : 23rd International Conference, FOSSACS 2020, Held as Part o...
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
 
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] : 23rd International Conference, FOSSAC...
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 [electronic resource] : 22nd International Conference, FOSSAC...
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
 
Foundations of Software Science and Computation Structures : 24th International Conference, FOSSACS 2021, Held as Part o...
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: 
 
Computer Aided Verification [electronic resource] : 33rd International Conference, CAV 2021, Virtual Event, July 20-23, ...
Tác giả: K Rustan M Leino, Alexandra Silva
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.1
 
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
 

Truy cập nhanh danh mục