loading
  • Trang chủ
  • Luận án, luận văn
  • Một số phương pháp kiểm chứng tính đúng đắn của hệ thời gian thực bằng thuật toán: LATS Toán học: 1.01.10/ Phạm Hồng Thái
Luận án, luận văn

Một số phương pháp kiểm chứng tính đúng đắn của hệ thời gian thực bằng thuật toán: LATS Toán học: 1.01.10/ Phạm Hồng Thái

Tác giả : Phạm Hồng Thái

Năm xuất bản : 2005

Nơi xuất bản : H.

Mô tả vật lý : XI, 120tr.: hình vẽ, bảng; 30cm 1 tt

Số phân loại : 518

Chủ đề : 1. Thời gian. 2. Thuật toán. 3. Toán học. 4. 7.

Chia sẻ

Thông tin chi tiết

Tóm tắt :

Quan sát và thiết kế thuật toán kiểm chứng các tính chất thời khoảng theo ngữ nghĩa tổng quát của nó. Đó là lớp các hệ thống được biểu diễn bởi ôtômát thời gian và các tính chất khoảng được biểu diễn bởi các công thức trong logic khoảng như công thức khoản tuyến tính, công thức bất biến khoảng tuyến tính...
Chia sẻ


Hiển thị MARC

 Thông tin dữ liệu nguồn

 Thư viện  Ký hiệu xếp giá  Dữ liệu nguồn
Thư viện Quốc gia Việt Nam LA04.11142
 https://opac.nlv.gov.vn/pages/opac/wpid-detailbib-id-261443.html

 

 Tài liệu cùng tác giả

placeholder+image

Sách, tuyển tập

Lịch sử nghệ thuật quân sự Việt Nam / B.s.: Phạm Anh Tuấn (ch.b.), Phạm Hồng Thái, Phạm Ngọc Khắc... . T.3 , 1858 - 1954

Tác giả : B.s.: Phạm Anh Tuấn (ch.b.), Phạm Hồng Thái, Phạm Ngọc Khắc... .

Nhà xuất bản : Quân đội nhân dân

Năm xuất bản : 2024

placeholder+image

Sách, tuyển tập

Tổ chức và thực hiện quyền hành pháp trên thế giới và ở Việt Nam: Sách chuyên khảo/ Phạm Hồng Thái, Bùi Tiến Đạt (ch.b.), Lê Thị Hương..

Tác giả : Phạm Hồng Thái, Bùi Tiến Đạt (ch.b.), Lê Thị Hương..

Nhà xuất bản : Chính trị quốc gia Sự thật

Năm xuất bản : 2024

placeholder+image

Sách, tuyển tập

Bài giảng Vật liệu điện: Dùng cho sinh viên Trường Cao đẳng nghề Bách khoa Hà Nội/ Phạm Văn Bình (ch.b.), Đặng Quốc Vương, Phạm Hồng Thái, Trương Việt Hà

Tác giả : Phạm Văn Bình (ch.b.), Đặng Quốc Vương, Phạm Hồng Thái, Trương Việt Hà

Nhà xuất bản : Bách khoa Hà Nội

Năm xuất bản : 2023

placeholder+image

Sách, tuyển tập

Giáo trình Tổ chức và thực hiện quyền hành pháp/ Phạm Hồng Thái, Lê Thị Hương, Nguyễn Thị Thu Hà... ; Phạm Hồng Thái, Bùi Tiến Đạt (ch.b.)

Tác giả : Phạm Hồng Thái, Lê Thị Hương, Nguyễn Thị Thu Hà... ; Phạm Hồng Thái, Bùi Tiến Đạt (ch.b.)

Nhà xuất bản : Đại học Quốc gia Hà Nội

Năm xuất bản : 2023

placeholder+image

Sách, tuyển tập

Viện trợ phát triển chính thức Hàn Quốc cho Việt Nam: 30 năm nhìn lại và định hướng/ Phạm Hồng Thái

Tác giả : Phạm Hồng Thái

 

 Tài liệu cùng danh mục chủ đề

placeholder+image

Sách, tuyển tập

Giải tích và ứng dụng / Nguyễn Viết Tuân (ch.b.), Nguyễn Hữu Kiên, Nguyễn Thị Hồng...

Tác giả : Nguyễn Viết Tuân (ch.b.), Nguyễn Hữu Kiên, Nguyễn Thị Hồng...

Nhà xuất bản : Khoa học và Kỹ thuật

Năm xuất bản : 2024

placeholder+image

Sách, tuyển tập

Bách khoa thư về các hiện tượng tự nhiên - Gió : Dành cho trẻ em từ 6 tuổi trở lên / Trung tâm Giáo dục nhi đồng Khủng long tiểu Q ; Thu Ngân dịch

Tác giả : Trung tâm Giáo dục nhi đồng Khủng long tiểu Q ; Thu Ngân dịch

Nhà xuất bản : Nxb. Hà Nội

Năm xuất bản : 2024

placeholder+image

Sách, tuyển tập

Giáo trình Phương pháp số / Nguyễn Hoàng (ch.b.), Nguyễn Thị Hồng Hạnh, Nguyễn Đại Việt... ; Đào Văn Tuấn h.đ.

Tác giả : Nguyễn Hoàng (ch.b.), Nguyễn Thị Hồng Hạnh, Nguyễn Đại Việt... ; Đào Văn Tuấn h.đ.

Nhà xuất bản : Nxb. Hàng hải

Năm xuất bản : 2024

placeholder+image

Sách, tuyển tập

Bách khoa thư về các hiện tượng tự nhiên - Gió / Trung tâm Giáo dục nhi đồng Khủng long tiểu Q ; Thu Ngân dịch

Tác giả : Trung tâm Giáo dục nhi đồng Khủng long tiểu Q ; Thu Ngân dịch

Nhà xuất bản : Nxb. Hà Nội

Năm xuất bản : 2024

placeholder+image

Sách, tuyển tập

Nhập môn Thuật toán/ Bùi Việt Hà

Tác giả : Bùi Việt Hà

Nhà xuất bản : Đại học Quốc gia Hà Nội

Năm xuất bản : 2023