Checking parallel real-time systems for temporal duration properties by linear programming = Kiểm tra hệ thời gian thực hoạt động song song đối với các tính chất khoáng tuần tự bằng quy hoạch tuyến tính /

QRコード

Checking parallel real-time systems for temporal duration properties by linear programming = Kiểm tra hệ thời gian thực hoạt động song song đối với các tính chất khoáng tuần tự bằng quy hoạch tuyến tính /

保存先:

書誌詳細
第一著者:	Pham Hong Thai.
フォーマット:	論文
言語:	Vietnamese
主題:	Kiểm chứng Qui hoạch tuyến tính Thuật toán
タグ:	タグ追加タグなし, このレコードへの初めてのタグを付けませんか!

Thư viện lưu trữ:	Thư viện Trường Đại học Đà Lạt

類似資料

Linear and nonlinear programming
著者:: Luenberger, David G
出版事項: (2016)

Quy hoạch tuyến tính
著者:: Phí, Mạnh Ban
出版事項: (2005)

Giáo trình qui hoạch tuyến tính
著者:: Võ Văn Tuấn Dũng
出版事項: (2007)

Lý thuyết quy hoạch trong kinh tế
著者:: Nguyễn, Thế Hòa
出版事項: (2001)

Linear programming
著者:: Dantzig, George B.
出版事項: (1997)

Bài tập quy hoạch tuyến tính
著者:: Phí Mạnh Ban
出版事項: (2001)

Luật quy hoạch
出版事項: (2018)

Doanh nghiệp cung cấp đất sạch : Tại sao không? /
著者:: Hoàng Châu.

Lí thuyết qui hoạch tuyến tính và lí thuyết đồ thị hữu hạn
著者:: Doãn Châu Long
出版事項: (1982)

Quy hoạch tuyến tính
著者:: Phan, Quốc Khánh
出版事項: (2000)

Quyết định tối ưu
著者:: Oskarlange
出版事項: (1982)

Đồ án qui hoạch chi tiết khu đô thị mới Thủ Thiêm tại Thành phố Hồ Chí Minh /
著者:: Phạm Doãn Thuật.

Buôn làng trong đô thị Tây nguyên
著者:: Nguyễn, Hồng Hà
出版事項: (2015)

Luật quy hoạch đô thị : Hiệu lực 01012010
出版事項: (2009)

Quy hoạch vùng
著者:: Phạm Kim Giao chủ biên
出版事項: (2000)

Quy hoạch chiều cao
出版事項: (1999)

Quy hoạch chiều cao
出版事項: (2005)

Real-Time Shader Programming
著者:: Fosner, Ron
出版事項: (2011)

Viết thêm về quy hoạch Coffyn 1862 /
著者:: Tôn Nữ Quỳnh Trân, PGS.TS.

Time and thyme are not homophones : The effect of lemma frequency on word durations in spontaneous speech /
著者:: Gahl, Susanne.

Ngao ngán tìm bãi đỗ xe /
著者:: Hoàng Thanh.

Real-Time systems and programming language /
著者:: Burns, Alan.
出版事項: (1997)

Từ nay đến năm 2010 sẽ không mở thêm diện tích trồng cà phê /
著者:: N K.

Quy hoạch tuyến tính
著者:: Phí Mạnh Ban
出版事項: (2008)

Bài tập Quy họach tuyến tính /
著者:: Trần Túc
出版事項: (2004)

Nhiều cụm công nghiệp sẽ phải thay đổi tính chất /
著者:: Đức Cường.

Real-Time Visual Effects for Game Programming
著者:: Kim, C.-H, 等
出版事項: (2015)

Domain Modeling and the Duration Calculus
著者:: George, Chris, 等
出版事項: (2020)

Parallel complexity of linear system solution /
著者:: Codenotti, Bruno.
出版事項: (1991)

Parallel complexity of linear system solution /
著者:: Codenotti, Bruno.
出版事項: (1991)

Giáo trình toán cao cấp
出版事項: (2005)

Khởi công dự án the boat club residences /
著者:: Lê Thuận.

Bài trang đầu tháng 9 /
著者:: Đỗ Phượng.

Buôn làng trong đô thị Tây Nguyên
著者:: Nguyễn, Hồng Hà
出版事項: (2016)

Quy hoạch mạng lướigiao thông đô thị
著者:: Vũ, Thị Vinh
出版事項: (2001)

Cấu trúc hành lang xanh thành phố
著者:: Nguyễn, Văn Tuyên
出版事項: (2021)

Parallel programming :
著者:: Wilkinson, Barry
出版事項: (2005)

Parallel Programming /
著者:: Ragsdale, Susann.
出版事項: (1991)

Lập bản đồ phát triển ngành công nghiệp định hướng đô thị : Trường hợp Đài Bắc /
著者:: Hank C.J. Huang, TS.

Mô hình khu công nghiệp thời hộ nhập cho đồng bằng sông Cửu Long /
著者:: Huỳnh Ngọc Phiên, GS.