Kiểm tra mô hình phần mềm sử dụng lý thuyết ÔTÔMAT BUCHI và LOGIC thời gian tuyến tính

Côd QR

Kiểm tra mô hình phần mềm sử dụng lý thuyết ÔTÔMAT BUCHI và LOGIC thời gian tuyến tính

Wedi'i Gadw mewn:

Manylion Llyfryddiaeth
Prif Awdur:	Phan Thị Thái, Ninh
Awduron Eraill:	TS. Huỳnh Quyết, Thắng
Fformat:	Luận văn
Iaith:	Vietnamese
Cyhoeddwyd:	Đại học Bách khoa Hà Nội 2018
Pynciau:	Kỹ thuật phần mềm Lý thuyết ÔTÔMAT BUCHI Lý thuyết Logic
Mynediad Ar-lein:	http://thuvien.ued.udn.vn/handle/TVDHSPDN_123456789/32834
Tagiau:	Ychwanegu Tag Dim Tagiau, Byddwch y cyntaf i dagio'r cofnod hwn!

Thư viện lưu trữ:	Trường Đại học Sư phạm - Đại học Đà Nẵng

Eitemau Tebyg

Các cấu trúc đại số trong lý thuyết ôtômat
gan: Nguyễn Thị Hồng Nhung
Cyhoeddwyd: (2013)

Ôtômát hữu hạn hai phía/
gan: Đặng Huy Ruận

Các cấu trúc đại số trong lý thuyết ôtômat
gan: Nguyễn, Thị Hồng Nhung
Cyhoeddwyd: (2014)

Giáo trình Lý thuyết Ngôn ngữ hình thức và Ôtômát
gan: Nguyễn, Thanh Bình
Cyhoeddwyd: (2023)

Nhập môn ngôn ngữ và otomatic hữu hạn

Các đặc trưng của ôtômat hữu hạn mở
gan: Đỗ Thị Xuân Thu
Cyhoeddwyd: (2012)

Giáo trình lý thuyết ngôn ngữ hình thức và ôtômat
gan: Nguyễn, Thanh Tùng
Cyhoeddwyd: (1993)

Các đặc trưng đại số của Ôtômat liên thông mạnh
gan: Bùi Đức Quang
Cyhoeddwyd: (2011)

Thiết kế thuật toán lập lịch trên cơ sở phương pháp lắc ba lô và mô hình otomat
gan: Lê Quang, Hòa
Cyhoeddwyd: (2018)

Kiểm tra mô hình phần mềm sử dụng lý thuyết MôTôMat BuChi và Logic thời gian tuyến tính
gan: Phạm Thị Thái, Ninh
Cyhoeddwyd: (2018)

Toán rời rạc
gan: Đỗ, Đức Giáo
Cyhoeddwyd: (2008)

Lí thuyết tập hợp và Lôgic
gan: Đậu, Thế Cấp
Cyhoeddwyd: (2004)

Nhập môn lý thuyết, tập hợp và lôgíc Tài liệu dùng cho các trường Cao đẳng sư phạm và các trường Sư phạm cấp hai 10+3
gan: Phan, Hữu Chân
Cyhoeddwyd: (1977)

Lý thuyết tập hợp và lôgic
gan: Đậu Thế Cấp
Cyhoeddwyd: (2006)

Lí thuyết tập hợp và lôgic /
gan: Đậu Thế Cấp
Cyhoeddwyd: (2004)

Nhập môn tin học lý thuyết tính toán và các Ôtômat =
gan: Salomaa, Arto
Cyhoeddwyd: (1992)

Một số phương pháp giải phương trình Diophante
gan: Vũ, Thị Tường Anh
Cyhoeddwyd: (2014)

Giáo trình cơ sở logic và lý thuyết tập hợp
gan: Lê, Phương Thảo
Cyhoeddwyd: (2008)

Nhập môn lý thuyết tập hợp và logic toán Giáo trình dành cho hệ đại học tại chức đào tạo giáo viên tiểu học
gan: Nguyến Văn Ngọc
Cyhoeddwyd: (1993)

Logic and philosophy :
gan: Hausman, Alan
Cyhoeddwyd: (2007)

Lôgic học đại cương
gan: Vương Tất Đạt
Cyhoeddwyd: (2004)

Ngôn ngữ nhóm cô lập/
gan: Lê Quốc Hán, Nguyễn Thị Bích

Logic học đại cương Hướng dẫn học và ôn tập qua các câu hỏi tự luận và bài tập trắc nghiệm
gan: Phạm, Quỳnh
Cyhoeddwyd: (2014)

Being logical
gan: McInerny, D.Q
Cyhoeddwyd: (2004)

Tăng cường tính tích cực của sinh viên khi giảng môn logic học /
gan: Phạm Đình Nghiệm.

Tập bài giảng logic học
gan: Lê, Duy Ninh
Cyhoeddwyd: (2014)

Khoa học logic bách khoa thư các khoa học triết học 1
gan: G.W.F. Hegel
Cyhoeddwyd: (2017)

Logic học :
gan: Lê, Ngọc Triết
Cyhoeddwyd: (2013)

Hegel's logic :
gan: Hegel, Georg Wilhelm Friedrich
Cyhoeddwyd: (1975)

The power of logic
gan: Layman, C. Stephen
Cyhoeddwyd: (2005)

The Power of Logic
gan: Layman, Stephen
Cyhoeddwyd: (2005)

Logic học và phương pháp
gan: Lê, Tử Thành
Cyhoeddwyd: (1991)

Thiết kế và xây dựng bộ điều khiển logic mờ : Luận văn Thạc sĩ /
gan: Phan Văn Chuân.
Cyhoeddwyd: (2007)

Logic
gan: Wesley C. Salmon
Cyhoeddwyd: (1984)

Logic
gan: Priest, Graham
Cyhoeddwyd: (2000)

Logics
gan: Nolt, John
Cyhoeddwyd: (1997)

Kinh tế kỹ thuật mờ
gan: Nguyễn, Như Phong
Cyhoeddwyd: (2006)

Cơ sở lí thuyết tập hợp và logic toán Tài liệu đào tạo giáo viên tiểu học trinh độ cao đẳng và đại học sư phạm
gan: Trần Diên Hiển
Cyhoeddwyd: (2007)

Thiết kế và xây dựng bộ điều khiển logic mờ : Tóm tắt luận văn Thạc sĩ /
gan: Phan Văn Chuân.
Cyhoeddwyd: (2007)

Lôgic học
gan: Vương, Tất Đạt
Cyhoeddwyd: (2001)