loading
  • Trang chủ
  • Luận án, luận văn
  • Đặc tả, kiểm chứng hình thức và ứng dụng trong cơ sở dữ liệu thời gian thực: LATS Toán học: 1.01.10/ Hồ Văn Hương
Luận án, luận văn

Đặc tả, kiểm chứng hình thức và ứng dụng trong cơ sở dữ liệu thời gian thực: LATS Toán học: 1.01.10/ Hồ Văn Hương

Tác giả : Hồ Văn Hương

Năm xuất bản : 2004

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

Mô tả vật lý : 103tr.; 30cm 1 tt

Số phân loại : 005.74

Chủ đề : 1. $2Bộ TK TVQGCơ sở dữ liệu. 2. $2Bộ TK TVQGToán tin. 3. $2Bộ TK TVQGỨng dụng.

Chia sẻ

Thông tin chi tiết

Tóm tắt :

Xây dựng mô hình hình thức cơ sở dữ liệu thời gian thực. Đặc tả hình thức điều kiện đúng cho thực hiện song song của hệ thống giao tác trong cơ sở dữ liệu thời gian thực. Kiểm chứng hình thức một số điều kiện để duy trì tính nhất quán của dữ liệu và những ứng dụng của nó trong hệ thống điều khiển giao thông hàng không
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.10133
 https://opac.nlv.gov.vn/pages/opac/wpid-detailbib-id-254304.html

 

 

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

placeholder+image

Sách, tuyển tập

Bài giảng Hệ quản trị Cơ sở dữ liệu SQL Server: Dùng cho sinh viên Trường Cao đẳng nghề Bách khoa Hà Nội/ Trần Quốc Thư

Tác giả : Trần Quốc Thư

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

Năm xuất bản : 2024

placeholder+image

Sách, tuyển tập

Giáo trình Hệ quản trị cơ sở dữ liệu SQL Server: Lý thuyết và thực hành/ Bùi Đức Tiến (ch.b.), Vũ Minh Tâm, Bùi Thị Thu Hiền

Tác giả : Bùi Đức Tiến (ch.b.), Vũ Minh Tâm, Bùi Thị Thu Hiền

Nhà xuất bản : Văn học

Năm xuất bản : 2024

placeholder+image

Sách, tuyển tập

Giáo trình Lý thuyết và thiết kế cơ sở dữ liệu/ Lương Cao Đông (ch.b.), Trần Quý Nam, Phạm Văn Tiệp, Trần Thu Trang

Tác giả : Lương Cao Đông (ch.b.), Trần Quý Nam, Phạm Văn Tiệp, Trần Thu Trang

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

Năm xuất bản : 2024

placeholder+image

Sách, tuyển tập

Lý thuyết và thực hành cơ sở dữ liệu/ Nguyễn Thị Định (ch.b.), Nguyễn Thị Uyên Nhi, Nguyễn Minh Hải..

Tác giả : Nguyễn Thị Định (ch.b.), Nguyễn Thị Uyên Nhi, Nguyễn Minh Hải..

Nhà xuất bản : Đại học Sư phạm Tp. Hồ Chí Minh

Năm xuất bản : 2023

placeholder+image

Sách, tuyển tập

Giáo trình Thu nhập và tiền xử lý dữ liệu/ Nguyễn Gia Tuấn Anh (ch.b.), Nguyễn Văn Kiệt, Đỗ Trọng Hợp, Lưu Thanh Sơn

Tác giả : Nguyễn Gia Tuấn Anh (ch.b.), Nguyễn Văn Kiệt, Đỗ Trọng Hợp, Lưu Thanh Sơn

Nhà xuất bản : Đại học Quốc gia Tp. Hồ Chí Minh

Năm xuất bản : 2023