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

Thiết kế trang web động với Dreamweaver 4.0 và Fireworks 4.0 / Nguyễn Ngọc Tuấn

Tác giả : Nguyễn Ngọc Tuấn

Nhà xuất bản : Thống kê

Năm xuất bản : 2001

placeholder+image

Sách, tuyển tập

An introduction to Object-Oriented programming with Java™ / C. Thomas Wu

Tác giả : C. Thomas Wu

Nhà xuất bản : McGraw-Hill

Năm xuất bản : 2004

placeholder+image

Sách, tuyển tập

Giáo trình Matlab / Phan Thanh Tao

Tác giả : Phan Thanh Tao

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

Năm xuất bản : 2004

placeholder+image

Sách, tuyển tập

Sử dụng Pro/engineer Wildfire : : Xây dựng bản vẽ và lập trình CNC / Nguyễn Văn Yến, Ngô Tấn Thống

Tác giả : Nguyễn Văn Yến, Ngô Tấn Thống

Nhà xuất bản : Giao thông vận tải

Năm xuất bản : 2004

placeholder+image

Sách, tuyển tập

Macromedia dreamweaver cho windows and macintosh

Nhà xuất bản : Thống kê

Năm xuất bản : 2003