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

QR kȏd

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

Spremljeno u:

Bibliografski detalji
Glavni autor:	Phan Thị Thái, Ninh
Daljnji autori:	TS. Huỳnh Quyết, Thắng
Format:	Disertacija
Jezik:	Vietnamese
Izdano:	Đại học Bách khoa Hà Nội 2018
Teme:	Kỹ thuật phần mềm Lý thuyết ÔTÔMAT BUCHI Lý thuyết Logic
Online pristup:	http://thuvien.ued.udn.vn/handle/TVDHSPDN_123456789/32834
Oznake:	Dodaj oznaku Bez oznaka, Budi prvi tko označuje ovaj zapis!

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

Similar Items

Các cấu trúc đại số trong lý thuyết ôtômat
od: Nguyễn Thị Hồng Nhung
Izdano: (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
Izdano: (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
Izdano: (2023)

Giáo trình lý thuyết ngôn ngữ hình thức và ôtômat
od: Nguyễn, Thanh Tùng
Izdano: (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ở
od: Đỗ Thị Xuân Thu
Izdano: (2012)

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

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

Toán rời rạc
od: Đỗ, Đức Giáo
Izdano: (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
od: Phan, Hữu Chân
Izdano: (1977)

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

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

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

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

Giáo trình cơ sở logic và lý thuyết tập hợp
od: Lê, Phương Thảo
Izdano: (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
Izdano: (1993)

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

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

Logic and philosophy :
od: Hausman, Alan
Izdano: (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
od: Phạm, Quỳnh
Izdano: (2014)

Being logical
od: McInerny, D.Q
Izdano: (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
Izdano: (2014)

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

Phép giao đoạn rời mềm nhị phân
od: Aslıhan, Sezgin, i dr.
Izdano: (2026)

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

Hegel's logic :
od: Hegel, Georg Wilhelm Friedrich
Izdano: (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
od: Trần Diên Hiển
Izdano: (2007)

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

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

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.
Izdano: (2007)

Logic học và phương pháp
od: Lê, Tử Thành
Izdano: (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ĩ /
od: Phan Văn Chuân.
Izdano: (2007)

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

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

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

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