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: 
Tìm được 27 kết quả
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ỏ
 
Semigroups and Languages : Proceedings of the Workshop
Tác giả: MAraújo Isabel, HFernandes Vítor, JJBranco Mário, Gomes Gracinda MS
Xuất bản: New Jersey: World Scientific, 2004
Bộ sưu tập: Khoa học tự nhiên
Bản in
ddc:  512
 Thêm vào giỏ
 
Theory of finite automata : with an introduction to formal languages
Tác giả: John Carroll, Darrell Long
Xuất bản: Englewood Cliffs NJ: Prentice Hall, 1989
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  511
 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 NJ: World Scientific, c2001
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  511.3
 Thêm vào giỏ
 
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: 
 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: TPHCM: Đạ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ỏ
 
Advances in Proof-Theoretic Semantics
Tác giả: Thomas Piecha, Thomas Piecha, Peter Schroeder-Heister, Peter Schroeder-Heister
Xuất bản: Cham: Springer Nature, 2016
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc: 
 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] : 12th IFIP WG 1.3 International Workshop, CMCS 2014, Col...
Tác giả: Marcello M Bonsangue
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ỏ
 
1 2 3 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