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

Codi 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

Guardat en:

Dades bibliogràfiques
Autor principal:	Phan Thị Thái, Ninh
Altres autors:	TS. Huỳnh Quyết, Thắng
Format:	Thesis
Idioma:	Vietnamese
Publicat:	Đại học Bách khoa Hà Nội 2018
Matèries:	Kỹ thuật phần mềm Lý thuyết ÔTÔMAT BUCHI Lý thuyết Logic
Accés en línia:	http://thuvien.ued.udn.vn/handle/TVDHSPDN_123456789/32834
Etiquetes:	Afegir etiqueta Sense etiquetes, Sigues el primer a etiquetar aquest registre!

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

Ítems similars

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

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

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

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

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

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ở
per: Đỗ Thị Xuân Thu
Publicat: (2012)

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

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

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

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
per: Phan, Hữu Chân
Publicat: (1977)

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

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

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

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

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

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

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

Logic and philosophy :
per: Hausman, Alan
Publicat: (2007)

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
per: Phạm, Quỳnh
Publicat: (2014)

Being logical
per: McInerny, D.Q
Publicat: (2004)

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

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

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

Phép giao đoạn rời mềm nhị phân
per: Aslıhan, Sezgin, et al.
Publicat: (2026)

Logic học :
per: Lê, Ngọc Triết
Publicat: (2013)

Hegel's logic :
per: Hegel, Georg Wilhelm Friedrich
Publicat: (1975)

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
per: Trần Diên Hiển
Publicat: (2007)

The power of logic
per: Layman, C. Stephen
Publicat: (2005)

The Power of Logic
per: Layman, Stephen
Publicat: (2005)

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

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

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ĩ /
per: Phan Văn Chuân.
Publicat: (2007)

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

Giáo trình lý thuyết tập hợp và logic toán
per: Lê, Phương Thảo
Publicat: (2016)

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

Lôgic học
per: Vương, Tất Đạt
Publicat: (1998)