Loại tài liệu:    Chỉ tìm trong: 
31-40 trong số 49 kết quả
Chinese Lexical Semantics [electronic resource] : 16th Workshop, CLSW 2015, Beijing, China, May 9-11, 2015, Revised Sele...
Tác giả: Hong Gao, Qin Lu
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2015.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  006.3
 
Chinese Lexical Semantics [electronic resource] : 17th Workshop, CLSW 2016, Singapore, Singapore, May 20–22, 2016, Revis...
Tác giả: Minghui Dong, Jingxia Lin, Xuri Tang
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2016.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  006.3
 
Coalgebraic Methods in Computer Science [electronic resource] : 13th IFIP WG 1.3 International Workshop, CMCS 2016, Colo...
Tác giả: Ichiro Hasuo
Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2016.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.131
 
Computer Aided Verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceed...
Tác giả: Isil Dillig, Isil Dillig, Serdar Tasiran, Serdar Tasiran
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:  670.42
 
Automated Deduction - CADE 28 : 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, P...
Tác giả: André Platzer, André Platzer, Geoff Sutcliffe, Geoff Sutcliffe
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 : 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
 
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: 
 
Open Computer Science
Tác giả:
Xuất bản: De Gruyter , 2018
Bộ sưu tập: Báo giấy
ddc: 
 
Graph Structures for Knowledge Representation and Reasoning : 6th International Workshop, GKR 2020, Virtual Event, Septe...
Tác giả: Michael Cochez, Michael Cochez, Madalina Croitoru, Madalina Croitoru, Pierre Marquis, Pierre Marquis, Sebastian Rudolph, Sebastian Rudolph
Xuất bản: Cham, Switzerland: Springer Nature , 2021
Bộ sưu tập: Tài liệu truy cập mở
ddc: 
 
Foundations of Software Science and Computation Structures : 22nd International Conference, FOSSACS 2019, Held as Part o...
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
 

Truy cập nhanh danh mục