Vietnam English Japanese
 Đăng nhập
 Thông tin tài khoản Đăng xuất
0
Loại tài liệu:    Chỉ tìm trong: 
41-50 trong số 72 kết quả
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
 Thêm vào giỏ
 
Awareness Logic: Kripke Lattices as a Middle Ground between Syntactic and Semantic Models
Tác giả: Gaia Belardinelli, Rasmus K Rendsvig
Xuất bản: , 2021
Bộ sưu tập: Báo, Tạp chí
eBook (pdf)
ddc:  511.3
 Thêm vào giỏ
 
Transition to Higher Mathematics Structure and Proof
Tác giả: Bob A Dumas, John E McCarthy
Xuất bản: St. Louis, Missouri: Open Scholarship , 2015
Bộ sưu tập: Tài liệu truy cập mở
ddc:  511.3
 Thêm vào giỏ
 
Fuzzy Logic
Tác giả: Constantin Volosencu, Constantin Volosencu
Xuất bản: London, UK: IntechOpen , 2020
Bộ sưu tập: Tài liệu truy cập mở
ddc:  511.3
 Thêm vào giỏ
 
Petri Net : Theory and Applications
Tác giả: Vedran Kordic, Vedran Kordic
Xuất bản: Croatia: IntechOpen , 2008
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  511.3
 Thêm vào giỏ
 
Algebraic theory of automata and languages
Tác giả: Masami Itoo,
Xuất bản: New Jersey: World Scientific , 2004
Bộ sưu tập: Khoa học tự nhiên
Bản in
ddc:  511.3
 Thêm vào giỏ
 
The Logic of the CAP
Tác giả: Christian HCA Henning
Xuất bản: World Bank, Washington, DC , 2017
Bộ sưu tập: Tài liệu truy cập mở
ddc:  511.3
 Thêm vào giỏ
 
Aspects of Molecular Computing [electronic resource] : Essays Dedicated to Tom Head on the Occasion of His 70th Birthday
Tác giả: Natasha Jonoska, Gheorghe Păun, Grzegorz Rozenberg
Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2004.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  511.3
 Thêm vào giỏ
 
Words, semigroups & transductions : Festschrift in honor of Gabriel Thierrin
Tác giả: Gheorghe Păun, Masami Itō, She Yu, Gabriel Thierrin
Xuất bản: River Edge, N.J: World Scientific , c2001
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  511.3
 Thêm vào giỏ
 
E-recursion, forcing and C*-algebras
Tác giả: C-T Chong
Xuất bản: ,
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  511.3
 Thêm vào giỏ
 
Trước 3 4 5 6 7 Tiếp

Truy cập nhanh danh mục

Media
Đồ á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ĩ
Sách tham khảo