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

Giáo trình Pascal; T1 / Trần Đan Thư

Tác giả : Trần Đan Thư

Nhà xuất bản : ĐHQG

Năm xuất bản : 2001

placeholder+image

Sách, tuyển tập

Giáo trình Pascal; T2 / Trần Đan Thư

Tác giả : Trần Đan Thư

Nhà xuất bản : ĐHQG

Năm xuất bản : 2001

placeholder+image

Sách, tuyển tập

Giáo trình lập trình C; T1 / Trần Đan Thư

Tác giả : Trần Đan Thư

Nhà xuất bản : ĐHQG

Năm xuất bản : 2001

placeholder+image

Sách, tuyển tập

Visual Basic programming / Forest Lin

Tác giả : Forest Lin

Nhà xuất bản : Scott/Jones

Năm xuất bản : 1996

placeholder+image

Sách, tuyển tập

Microsoft Visual Basic 4: Projects for Windows 95 / Paul B Thurrott, Gary R Brent, James R Elam

Tác giả : Paul B Thurrott, Gary R Brent, James R Elam

Nhà xuất bản : The Benjamin/Cummings

Năm xuất bản : 1997