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

kod 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

Zapisane w:

Opis bibliograficzny
1. autor:	Phan Thị Thái, Ninh
Kolejni autorzy:	TS. Huỳnh Quyết, Thắng
Format:	Praca dyplomowa
Język:	Vietnamese
Wydane:	Đại học Bách khoa Hà Nội 2018
Hasła przedmiotowe:	Kỹ thuật phần mềm Lý thuyết ÔTÔMAT BUCHI Lý thuyết Logic
Dostęp online:	http://thuvien.ued.udn.vn/handle/TVDHSPDN_123456789/32834
Etykiety:	Dodaj etykietę Nie ma etykietki, Dołącz pierwszą etykiete!

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

Podobne zapisy

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

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

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

Giáo trình Lý thuyết Ngôn ngữ hình thức và Ôtômát
od: Nguyễn, Thanh Bình
Wydane: (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ở
od: Đỗ Thị Xuân Thu
Wydane: (2012)

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

Các đặc trưng đại số của Ôtômat liên thông mạnh
od: Bùi Đức Quang
Wydane: (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
od: Lê Quang, Hòa
Wydane: (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
od: Phạm Thị Thái, Ninh
Wydane: (2018)

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

Lí thuyết tập hợp và Lôgic
od: Đậu, Thế Cấp
Wydane: (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
od: Phan, Hữu Chân
Wydane: (1977)

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

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

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

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

Giáo trình cơ sở logic và lý thuyết tập hợp
od: Lê, Phương Thảo
Wydane: (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
od: Nguyến Văn Ngọc
Wydane: (1993)

Logic and philosophy :
od: Hausman, Alan
Wydane: (2007)

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

Ngôn ngữ nhóm cô lập/
od: 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
od: Phạm, Quỳnh
Wydane: (2014)

Being logical
od: McInerny, D.Q
Wydane: (2004)

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

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

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

Logic học :
od: Lê, Ngọc Triết
Wydane: (2013)

Hegel's logic :
od: Hegel, Georg Wilhelm Friedrich
Wydane: (1975)

The power of logic
od: Layman, C. Stephen
Wydane: (2005)

The Power of Logic
od: Layman, Stephen
Wydane: (2005)

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

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

Logic
od: Wesley C. Salmon
Wydane: (1984)

Logic
od: Priest, Graham
Wydane: (2000)

Logics
od: Nolt, John
Wydane: (1997)

Kinh tế kỹ thuật mờ
od: Nguyễn, Như Phong
Wydane: (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
od: Trần Diên Hiển
Wydane: (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ĩ /
od: Phan Văn Chuân.
Wydane: (2007)

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