Loại tài liệu:    Chỉ tìm trong: 
Tìm được 32 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
 
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
 
Theory of finite automata : with an introduction to formal languages
Tác giả: John Carroll, Darrell Long
Xuất bản: Englewood Cliffs, N.J: Prentice Hall , 1989
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  511
 
Advances in the study of Siouan languages and linguistics
Tác giả: Bryan (ed) James Gordon, Catherine (ed) Rudin
Xuất bản: Berlin, Germany: Language Science Press , 2016
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  497.5
 
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
 
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: 
 
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
 
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
 
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: 
 
Case-Based Reasoning Research and Development [electronic resource] : 6th International Conference on Case-Based Reasoni...
Tác giả: Hector Munoz-Avila, Francesco Ricci
Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2005.
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  006.3
 
1 2 3 Tiếp

Truy cập nhanh danh mục