loading
  • Trang chủ
  • Luận án, luận văn
  • Mô hình hoá và đặc tả hình thức các giao diện thành phần có chứa chất lượng dịch vụ và tính tương tranh: LATS Công nghệ thông tin: 62.48.01.03/ Đỗ Văn Chiểu
Luận án, luận văn

Mô hình hoá và đặc tả hình thức các giao diện thành phần có chứa chất lượng dịch vụ và tính tương tranh: LATS Công nghệ thông tin: 62.48.01.03/ Đỗ Văn Chiểu

Tác giả : Đỗ Văn Chiểu

Năm xuất bản : 2016

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

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

Số phân loại : 005.1

Chủ đề : 1. 2. 2. Hệ thống phần mềm. 3. Kĩ thuật phần mềm. 4. Mô hình hoá. 5. 7. 6. 7.

Chia sẻ

Thông tin chi tiết

Tóm tắt :

Nghiên cứu phương pháp hình thức để đặc tả và kiểm chứng các giao diện của các thành phần mềm có tính tương tranh và ràng buộc về thời gian; từ đó đề xuất vào việc đặc tả, phân tích và kiểm chứng các mô hình khác nhau của các hệ thống phần mềm dựa trên các thành phần có chứa chất lượng dịch vụ và tính tương tranh
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 LA16.0068.1, LA16.0068.2, LA16.0068.3
 https://opac.nlv.gov.vn/pages/opac/wpid-detailbib-id-615042.html

 

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

placeholder+image

Sách, tuyển tập

Giáo trình Điều dưỡng cơ bản : Sách dùng cho đào tạo đại học / B.s.: Lương Đức Dũng, Trần Thái Phúc (ch.b.), Nguyễn Thị Thu Anh...

Tác giả : B.s.: Lương Đức Dũng, Trần Thái Phúc (ch.b.), Nguyễn Thị Thu Anh...

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

Năm xuất bản : 2024

placeholder+image

Sách, tuyển tập

Đặc điểm bệnh lý và một số yếu tố liên quan đến kết quả ứng dụng phẫu thuật nội soi đặt mảnh ghép hoàn toàn ngoài phúc mạc điều trị thoát vị bẹn/ Đỗ Văn Chiều, Phan Thanh Lương, Hoàng Ngọc Hà

Tác giả : Đỗ Văn Chiều, Phan Thanh Lương, Hoàng Ngọc Hà

placeholder+image

Sách, tuyển tập

Kết quả điều trị thoát vị bẹn bằng phẫu thuật nội soi đặt mảnh ghép hoàn toàn ngoài phúc mạc tại Bệnh viện Đa khoa tỉnh Nam Định giai đoạn 2020-2022/ Đỗ Văn Chiều, Phan Thanh Lương, Hoàng Ngọc Hà

Tác giả : Đỗ Văn Chiều, Phan Thanh Lương, Hoàng Ngọc Hà

placeholder+image

Sách, tuyển tập

Đánh giá kết quả phẫu thuật cấp cứu điều trị viêm phúc mạc do sỏi đường mật tại Bệnh viện Việt Đức/ Trần Đình Thơ, Đỗ Văn Chiều

Tác giả : Trần Đình Thơ, Đỗ Văn Chiều

placeholder+image

Sổ tay kỹ thuật thủy lợi. Ph.2: Công trình thủy lợi, T.6, Công trình trên tuyến năng lượng. Thiết bị thủy điện / B.s.: Đỗ Văn Chiêu, Hoàng Đình Dũng, Nguyễn Duy Hạnh.

Nhà xuất bản : Nông nghiệp

Năm xuất bản : 2006

 

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

placeholder+image

Sách, tuyển tập

Lập trình điều khiển với Raspberry / Võ Minh Huân, Phạm Quang Huy

Tác giả : Võ Minh Huân, Phạm Quang Huy

Nhà xuất bản : Thanh niên

Năm xuất bản : 2017

placeholder+image

Sách, tuyển tập

Elementary programming with C / APTECH

Tác giả : APTECH

placeholder+image

Sách, tuyển tập

Python Algorithms : : Mastering basic algorithms in the python language / Magnus Lei Hetland

Tác giả : Magnus Lei Hetland

Nhà xuất bản : Apress

Năm xuất bản : 2014

placeholder+image

Sách, tuyển tập

Introduction to algorithms / Thomas H. Cormen ... [et al.]

Tác giả : Thomas H. Cormen ... [et al.]

Nhà xuất bản : MIT Press

Năm xuất bản : 2009

placeholder+image

Sách, tuyển tập

Hệ thống thiết lập tự động thân các phương thức cho các lớp trong cơ sở dữ liệu quan hệ hướng đối tượng : : Báo cáo tổng kết đề tài Khoa học và Công nghệ cấp Trường / Phạm Thị Xuân Lộc (Chủ nhiệm đề tài) ; Nguyễn Minh Trang (Thành viên tham gia)

Tác giả : Phạm Thị Xuân Lộc (Chủ nhiệm đề tài) ; Nguyễn Minh Trang (Thành viên tham gia)

Nhà xuất bản : Trường Đại học Cần Thơ

Năm xuất bản : 2016