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

Uloženo v:

Podrobná bibliografie
Hlavní autor:	Phan Thị Thái, Ninh
Další autoři:	TS. Huỳnh Quyết, Thắng
Médium:	Diplomová práce
Jazyk:	Vietnamese
Vydáno:	Đại học Bách khoa Hà Nội 2018
Témata:	Kỹ thuật phần mềm Lý thuyết ÔTÔMAT BUCHI Lý thuyết Logic
On-line přístup:	http://thuvien.ued.udn.vn/handle/TVDHSPDN_123456789/32834
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo otaguje tento záznam!

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

Podobné jednotky

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

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

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

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

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

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

Toán rời rạc
Autor: Đỗ, Đức Giáo
Vydáno: (2008)

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

Lý thuyết tập hợp và lôgic
Autor: Đậu Thế Cấp
Vydáno: (2006)

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

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

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

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

Lôgic học đại cương
Autor: Vương Tất Đạt
Vydáno: (2004)

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

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

Being logical
Autor: McInerny, D.Q
Vydáno: (2004)

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

Tập bài giảng logic học
Autor: Lê, Duy Ninh
Vydáno: (2014)

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

Phép giao đoạn rời mềm nhị phân
Autor: Aslıhan, Sezgin, a další
Vydáno: (2026)

Logic học :
Autor: Lê, Ngọc Triết
Vydáno: (2013)

Hegel's logic :
Autor: Hegel, Georg Wilhelm Friedrich
Vydáno: (1975)

The power of logic
Autor: Layman, C. Stephen
Vydáno: (2005)

The Power of Logic
Autor: Layman, Stephen
Vydáno: (2005)

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

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

Kinh tế kỹ thuật mờ
Autor: Nguyễn, Như Phong
Vydáno: (2006)

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ĩ /
Autor: Phan Văn Chuân.
Vydáno: (2007)

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
Autor: Trần Diên Hiển
Vydáno: (2007)

Logic
Autor: Wesley C. Salmon
Vydáno: (1984)

Logic
Autor: Priest, Graham
Vydáno: (2000)

Logics
Autor: Nolt, John
Vydáno: (1997)