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ỏ

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ỏ

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] : 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ỏ

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ỏ

Tools and Algorithms for the Construction and Analysis of Systems : 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS
	Tác giả: Dana Fisman, Dana Fisman, Grigore Rosu, Grigore Rosu
	Xuất bản: Cham: Springer Nature, 2022
	Bộ sưu tập: Tài liệu truy cập mở
	ddc:   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ỏ