loading
Luận án, luận văn

On the behaviour of concurrent systems: Candidate thesis/ Đặng Văn Hưng

Tác giả : Đặng Văn Hưng

Năm xuất bản : 1987

Nơi xuất bản : Budapest

Mô tả vật lý : 148tr.: hình vẽ; 32st 1 tt

Số phân loại : 003

Chủ đề : 1. Hành vi. 2. Mạng petri. 3. Mô hình ngữ nghĩa. 4. Mô hình trace. 5. Phép toán đồng bộ. 6. Hệ thống song song.

Chia sẻ

Thông tin chi tiết

Tóm tắt :

Khảo sát và mở rộng mô hình trace bằng phép toán đồng bộ và khái quát hóa chúng. Đưa ra mô hình ngữ nghĩa không inter leaving mới cho các hệ thống song song mạnh hơn mô hình trace. Khảo sát phương pháp để biểu diễn hành vi của các hệ thống song song được mô hình hóa bởi các mạng patri K-bi cũng như cho việc mô hình hóa ngữ nghĩa
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 L2222
 https://opac.nlv.gov.vn/pages/opac/wpid-detailbib-id-250889.html

 

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

placeholder+image

Sách, tuyển tập

Kỷ yếu Hội thảo khoa học: Giải pháp thúc đẩy các doanh nghiệp nhỏ và vừa tham gia vào chuỗi cung ứng toàn cầu/ Bùi Bá Khiêm, Đặng Văn Hưng, Trịnh Thị Thu Hương..

Tác giả : Bùi Bá Khiêm, Đặng Văn Hưng, Trịnh Thị Thu Hương..

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

Năm xuất bản : 2023

placeholder+image

Sách, tuyển tập

Bài tập Tiếng Anh 9/ Nguyễn Hạnh Dung (ch.b.), Đặng Văn Hùng, Đào Ngọc Lộc..

Tác giả : Nguyễn Hạnh Dung (ch.b.), Đặng Văn Hùng, Đào Ngọc Lộc..

Nhà xuất bản : Giáo dục

Năm xuất bản : 2023

placeholder+image

Sách, tuyển tập

Nơi những vườn cây yên ngủ: Thơ/ Đặng Văn Hùng

Tác giả : Đặng Văn Hùng

Nhà xuất bản : Nxb. Đà Nẵng

Năm xuất bản : 2022

placeholder+image

Sách, tuyển tập

Mở rộng các hình thức tham gia chính trị của người dân ở Việt Nam hiện nay/ Bùi Việt Hương, Tống Đức Thảo (ch.b.), Vũ Đức Liêm..

Tác giả : Bùi Việt Hương, Tống Đức Thảo (ch.b.), Vũ Đức Liêm..

Nhà xuất bản : Lý luận Chính trị

Năm xuất bản : 2022

placeholder+image

Sách, tuyển tập

Đặc điểm lâm sàng, cận lâm sàng và hình ảnh chụp PET/CT sử dụng 18F-FDG ở bệnh nhân sau nhồi máu cơ tim cấp/ Phạm Trường Sơn, Đặng Văn Hưng, Lương Công Thức

Tác giả : Phạm Trường Sơn, Đặng Văn Hưng, Lương Công Thức

 

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

placeholder+image

Sách, tuyển tập

Giáo trình Phương pháp dự báo / Dương Trung Kiên, Phan Diệu Hương

Tác giả : Dương Trung Kiên, Phan Diệu 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

Thiên nga đen : Xác suất cực nhỏ, tác động cực lớn / Nassim Nicholas Taleb ; Dịch: Cam Thảo, Hoàng Trung ; Huyền Anh Tú h.đ.

Tác giả : Nassim Nicholas Taleb ; Dịch: Cam Thảo, Hoàng Trung ; Huyền Anh Tú h.đ.

Nhà xuất bản : Thế giới

Năm xuất bản : 2024

placeholder+image

Luận án, luận văn

Some distance functions in quantum information theory and related problems : LATS Toán học: 9.46.01.02 / Vuong Trung Dung

Tác giả : Vuong Trung Dung

Năm xuất bản : 2024

placeholder+image

Sách, tuyển tập

Giáo trình Phương pháp dự báo/ Nguyễn Thị Như Vân, Ngô Ánh Tuyết

Tác giả : Nguyễn Thị Như Vân, Ngô Ánh Tuyết

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

Năm xuất bản : 2023

placeholder+image

Sách, tuyển tập

Thiên nga đen: Xác suất cực nhỏ, tác động cực lớn/ Nassim Nicholas Taleb ; Dịch: Cam Thảo, Hoàng Trung ; Huyền Anh Tú h.đ

Tác giả : Nassim Nicholas Taleb ; Dịch: Cam Thảo, Hoàng Trung ; Huyền Anh Tú h.đ

Nhà xuất bản : Thế giới

Năm xuất bản : 2023