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

Programming for newbies : dành cho người mới học lập trình C++ / Đỗ Thị Hồng Ngát

Tác giả : Đỗ Thị Hồng Ngát

Nhà xuất bản : Thông tin và Truyền thông

Năm xuất bản : 2024

placeholder+image

Sách, tuyển tập

Bài tập lập trình với ngôn ngữ Python : từ cơ bản đến nâng cao . T.2 / Trần Thông Quế

Tác giả : Trần Thông Quế

Nhà xuất bản : Thông tin và Truyền Thông

Năm xuất bản : 2024

placeholder+image

Sách, tuyển tập

Lập trình Python hỗ trợ học sinh THPT giải bài tập tin học / Trần Thông Quế

Tác giả : Trần Thông Quế

Nhà xuất bản : Thông tin và Truyền Thông

Năm xuất bản : 2025

placeholder+image

Sách, tuyển tập

Chuyên tin 11: Các chuyên đề chọn lọc với ngôn ngữ C++ : lý thuyết, bài tập và lời giải / Nguyễn Xuân Huy

Tác giả : Nguyễn Xuân Huy

Nhà xuất bản : Thông tin và truyền thông

Năm xuất bản : 2025

placeholder+image

Sách, tuyển tập

Bài tập ngôn ngữ lập trình Pascal / Dương Viết Thắng (ch.b.) [và nh.ng.khác]

Tác giả : Dương Viết Thắng (ch.b.) [và nh.ng.khác]

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

Năm xuất bản : 2004