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コード

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

保存先:

書誌詳細
第一著者:	Phan Thị Thái, Ninh
その他の著者:	TS. Huỳnh Quyết, Thắng
フォーマット:	学位論文
言語:	Vietnamese
出版事項:	Đại học Bách khoa Hà Nội 2018
主題:	Kỹ thuật phần mềm Lý thuyết ÔTÔMAT BUCHI Lý thuyết Logic
オンライン･アクセス:	http://thuvien.ued.udn.vn/handle/TVDHSPDN_123456789/32834
タグ:	タグ追加タグなし, このレコードへの初めてのタグを付けませんか!

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

類似資料

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

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

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

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

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

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

Lí thuyết tập hợp và Lôgic
著者:: Đậu, Thế Cấp
出版事項: (2004)

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

Lý thuyết tập hợp và lôgic
著者:: Đậu Thế Cấp
出版事項: (2006)

Lí thuyết tập hợp và lôgic /
著者:: Đậu Thế Cấp
出版事項: (2004)

Nhập môn tin học lý thuyết tính toán và các Ôtômat =
著者:: Salomaa, Arto
出版事項: (1992)

Một số phương pháp giải phương trình Diophante
著者:: Vũ, Thị Tường Anh
出版事項: (2014)

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

Lôgic học đại cương
著者:: Vương Tất Đạt
出版事項: (2004)

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

Logic and philosophy :
著者:: Hausman, Alan
出版事項: (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
著者:: Phạm, Quỳnh
出版事項: (2014)

Being logical
著者:: McInerny, D.Q
出版事項: (2004)

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

Tập bài giảng logic học
著者:: Lê, Duy Ninh
出版事項: (2014)

Khoa học logic bách khoa thư các khoa học triết học 1
著者:: G.W.F. Hegel
出版事項: (2017)

Phép giao đoạn rời mềm nhị phân
著者:: Aslıhan, Sezgin, 等
出版事項: (2026)

Logic học :
著者:: Lê, Ngọc Triết
出版事項: (2013)

Hegel's logic :
著者:: Hegel, Georg Wilhelm Friedrich
出版事項: (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
著者:: Trần Diên Hiển
出版事項: (2007)

The power of logic
著者:: Layman, C. Stephen
出版事項: (2005)

The Power of Logic
著者:: Layman, Stephen
出版事項: (2005)

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

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

Kinh tế kỹ thuật mờ
著者:: Nguyễn, Như Phong
出版事項: (2006)

Giáo trình lý thuyết tập hợp và logic toán
著者:: Lê, Phương Thảo
出版事項: (2016)

Lôgic học
著者:: Vương, Tất Đạt
出版事項: (2001)

Lôgic học
著者:: Vương, Tất Đạt
出版事項: (1998)