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 Kodea

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

Gorde:

Xehetasun bibliografikoak
Egile nagusia:	Phan Thị Thái, Ninh
Beste egile batzuk:	TS. Huỳnh Quyết, Thắng
Formatua:	Luận văn
Hizkuntza:	Vietnamese
Argitaratua:	Đại học Bách khoa Hà Nội 2018
Gaiak:	Kỹ thuật phần mềm Lý thuyết ÔTÔMAT BUCHI Lý thuyết Logic
Sarrera elektronikoa:	http://thuvien.ued.udn.vn/handle/TVDHSPDN_123456789/32834
Etiketak:	Etiketa erantsi Etiketarik gabe, Izan zaitez lehena erregistro honi etiketa jartzen!

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

Antzeko izenburuak

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Being logical
nork: McInerny, D.Q
Argitaratua: (2004)

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

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

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

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

Logic học :
nork: Lê, Ngọc Triết
Argitaratua: (2013)

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

The power of logic
nork: Layman, C. Stephen
Argitaratua: (2005)

The Power of Logic
nork: Layman, Stephen
Argitaratua: (2005)

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

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

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

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

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

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