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

Mã 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
פורמט:	Luận văn
שפה:	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)

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)

Giáo trình lý thuyết ngôn ngữ hình thức và ôtômat
מאת: Nguyễn, Thanh Tùng
יצא לאור: (1993)

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)

Toán rời rạc
מאת: Đỗ, Đức Giáo
יצא לאור: (2008)

Lí thuyết tập hợp và Lôgic
מאת: Đậu, Thế Cấp
יצא לאור: (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
מאת: 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)

Logic and philosophy :
מאת: Hausman, Alan
יצא לאור: (2007)

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 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)

Logic học :
מאת: Lê, Ngọc Triết
יצא לאור: (2013)

Hegel's logic :
מאת: Hegel, Georg Wilhelm Friedrich
יצא לאור: (1975)

The power of logic
מאת: Layman, C. Stephen
יצא לאור: (2005)

The Power of Logic
מאת: Layman, Stephen
יצא לאור: (2005)

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ờ : Luận văn Thạc sĩ /
מאת: Phan Văn Chuân.
יצא לאור: (2007)

Logic
מאת: Wesley C. Salmon
יצא לאור: (1984)

Logic
מאת: Priest, Graham
יצא לאור: (2000)

Logics
מאת: Nolt, John
יצא לאור: (1997)

Kinh tế kỹ thuật mờ
מאת: Nguyễn, Như Phong
יצא לאור: (2006)

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)

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)

Lôgic học
מאת: Vương, Tất Đạt
יצא לאור: (2001)