Guided random-walk based model checking : a thesis submitted in fulfilment of the requirements for the degree of Doctor of Philosophy from School of Computer Science and Engineering / Bui Hoai Thang
Tác giả : Bui Hoai Thang
Nhà xuất bản : Univ. of New South Wales
Năm xuất bản : 2009
Nơi xuất bản : Sydney, Australia
Mô tả vật lý : xiii,170tr. : sơ đồ, biểu đồ ; 30cm
Số phân loại : 003
Chủ đề : 1. Kỹ thuật máy tính -- Phương pháp kiểm chứng mô hình. 2. Máy tính -- Tổ chức.
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 Khoa học Tổng hợp TP.HCM
|
LA 15213 |
https://phucvu.thuvientphcm.gov.vn//Item/ItemDetail/426192?siteid=2 |
Tài liệu cùng tác giả
Action representation languages and planning with incomplete information for Unix programming / Bui Hoai Thang
Tác giả : Bui Hoai Thang
Nhà xuất bản : Asian Inst. of Technology
Năm xuất bản : 2001
Tài liệu cùng danh mục chủ đề
Tiếp cận hệ thống : những khái niệm căn bản và một số dẫn giải trong công nghệ hóa học và dầu khí / Lê Xuân Hải, Võ Việt Hải
Tác giả : Lê Xuân Hải, Võ Việt Hải
Nhà xuất bản : Đại học Quốc gia T.P. Hồ Chí Minh
Năm xuất bản : 2024
Разработка и исследование методов идентификации нелинеиных динамических обьектов в условиях интервальной неопределенности / Nguyễn Việt Dũng ; Научный руководитель : кандидат технических наук, доцент А.Ф. Бочков
Tác giả : Nguyễn Việt Dũng ; Научный руководитель : кандидат технических наук, доцент А.Ф. Бочков
Nhà xuất bản : Московский энергетический институт ( технический университет)
Năm xuất bản : 1993
Chaos and gauge field theory / T.S. Biró, S.G. Matinyan, B. Müller
Tác giả : T.S. Biró, S.G. Matinyan, B. Müller
Nhà xuất bản : World Scientific
Năm xuất bản : 1994
Information theory and the central limit theorem / Oliver Johnson
Tác giả : Oliver Johnson
Nhà xuất bản : Imperial College Press
Năm xuất bản : 2004
General systems theory : problems, perspectives, practice / Lars Skyttner
Tác giả : Lars Skyttner
Nhà xuất bản : World Scientific
Năm xuất bản : 2005
Đại học Công nghệ - ĐHQGHN 
Đại học Giáo dục - ĐHQGHN 
Đại học khoa học tự nhiên - ĐHQGHN 
Đại học Khoa học Xã hội và Nhân văn - ĐHQGHN 
Đại học Kinh tế - ĐHQGHN 
Đại học Ngoại ngữ - ĐHQGHN 
Đại học quốc gia Hà Nội 
Đại học Y - Dược - ĐHQGHN 
Học Viện Hàng Không Việt Nam 
Thư viện Huyện Bình Chánh - TVKHTH TP.HCM 
Thư viện huyện Bình Minh - TV Vĩnh Long 
Thư viện huyện Bình Tân - TV Vĩnh Long 
Thư viện Huyện Cần Giờ - TVKHTH TP.HCM 
Thư viện Huyện Củ Chi - TVKHTH TP.HCM 
Thư viện Huyện Hóc Môn - TVKHTH TP.HCM 
Thư viện huyện Long Hồ - TV Vĩnh Long 
Thư viện huyện Mang Thít - TV Vĩnh Long 
Thư viện Huyện Nhà Bè - TVKHTH TP.HCM 
Thư viện huyện Tam Bình - TV Vĩnh Long 
Thư viện huyện Trà Ôn - TV Vĩnh Long 
Thư viện quận 1 - TVKHTH TP.HCM 
Thư viện quận 10 - TVKHTH TP.HCM 
Thư viện quận 11 - TVKHTH TP.HCM 
Thư viện quận 12 - TVKHTH TP.HCM 
Thư viện quận 2 - TVKHTH TP.HCM 
Thư viện quận 3 - TVKHTH TP.HCM 
Thư viện quận 4 - TVKHTH TP.HCM 
Thư viện quận 5 - TVKHTH TP.HCM 
Thư viện quận 6 - TVKHTH TP.HCM 
Thư viện quận 7 - TVKHTH TP.HCM 
Thư viện quận 8 - TVKHTH TP.HCM 
Thư viện quận Bình Tân - TVKHTH TP.HCM 
Thư viện quận Bình Thạnh - TVKHTH TP.HCM 
Thư viện quận Gò Vấp - TVKHTH TP.HCM 
Thư viện quận Phú Nhuận - TVKHTH TP.HCM 
Thư viện quận Tân Bình - TVKHTH TP.HCM 
Thư viện quận Tân Phú - TVKHTH TP.HCM 
Thư viện Quốc gia Việt Nam 
Thư viện thành phố Thủ Đức (cơ sở 1) - TVKHTH TP.HCM 
Thư viện thành phố Thủ Đức (cơ sở 2) - TVKHTH TP.HCM 
Thư Viện Tỉnh An Giang 
Thư viện tỉnh Vĩnh Long 
Tổ chức y tế thế giới 
Trung tâm giáo dục quốc phòng và An ninh - ĐHQGHN 
Trung tâm Hỗ trợ Sinh viên - ĐHQGHN 
Trường Đại học Luật - ĐHQGHN 
Trường Khoa học liên ngành và nghệ thuật - ĐHQGHN 
Trường Quản trị và Kinh doanh - ĐHQGHN 
Viện Công nghệ Thông tin - ĐHQGHN 
Viện Đảm bảo chất lượng giáo dục - ĐHQGHN 
Viện Quốc tế Pháp ngữ - ĐHQGHN 
Viện Tài nguyên và Môi trường - ĐHQGHN 
Viện Vi sinh vật và Công nghệ Sinh học - ĐHQGHN 
Viện Việt Nam học và Khoa học phát triển - ĐHQGHN