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ỏ

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ỏ

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ỏ