Vietnam English
Đăng nhập
 Thông tin tài khoản  Đăng xuất
0
Loại tài liệu:    Chỉ tìm trong: 
11-20 trong số 32 kết quả
Categories and Types in Logic, Language, and Physics [electronic resource] : Essays dedicated to Jim Lambek on the Occas...
Tác giả: Claudia Casadio, Bob Coecke, Michael Moortgat, Philip Scott
Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2014.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.131
 Thêm vào giỏ
 
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
 Thêm vào giỏ
 
Coalgebraic Methods in Computer Science [electronic resource] : 11th International Workshop, CMCS 2012, Colocated with E...
Tác giả: Dirk Pattinson, Lutz Schröder
Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2012.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.131
 Thêm vào giỏ
 
Coalgebraic Methods in Computer Science [electronic resource] : 14th IFIP WG 1.3 International Workshop, CMCS 2018, Colo...
Tác giả: Corina Cîrstea
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.131
 Thêm vào giỏ
 
UML 2 semantics and applications [electronic resource]
Tác giả: K Lano
Xuất bản: Hoboken, NJ: John Wiley & Sons , 2009.
Bộ sưu tập: Công nghệ thông tin
eBook (pdf)
ddc:  005.131
 Thêm vào giỏ
 
Lý thuyết Automat và ngôn ngữ hình thức
Tác giả: Hồ Văn Quân
Xuất bản: TP.HCM: Đại học Quốc gia Thành phố Hồ Chí Minh , 2006
Bộ sưu tập: Khoa học tự nhiên
Bản in
ddc:  511.3
 Thêm vào giỏ
 
Principles of Security and Trust: 7th International Conference, POST 2018, Held as Part of the European Joint Conference...
Tác giả: Lujo Bauer, Ralf Küsters
Xuất bản: Cham: Springer , 2018
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.8
 Thêm vào giỏ
 
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: 
 Thêm vào giỏ
 
At the Intersection of Language, Logic, and Information [electronic resource] : ESSLLI 2018 Student Session, Sofia, Bulg...
Tác giả: Eric Pacuit, Jennifer Sikos
Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2019.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  005.131
 Thêm vào giỏ
 
Quintú Quimün
Tác giả:
Xuất bản: Universidad Nacional del Comahue , 2019
Bộ sưu tập: Báo, Tạp chí
ddc: 
 Thêm vào giỏ
 
Trước 1 2 3 4 Tiếp

Truy cập nhanh danh mục

Sách tham khảo
Đồ án TN ĐH-CĐ
Tài liệu điện tử
Truy cập mở
Nghiên cứu khoa học
Sách giáo trình
Báo-Tạp chí
Metadata
Sách tra cứu
Luận văn Thạc sĩ
Luận án Tiến sĩ
Media