STUDY ON FACILITATING THE VARIATION OF SCHEDULERS IN MODEL CHECKING

STUDY ON FACILITATING THE VARIATION OF SCHEDULERS IN MODEL CHECKING

Lưu vào:

Hiển thị chi tiết
Tác giả chính:	TRAN NHAT HOA
Định dạng:	text
Ngôn ngữ:	eng
Thông tin xuất bản:	Trường Đại học Xây dựng,
Chủ đề:	Ngoại văn Luận án ngoại văn
Truy cập trực tuyến:	https://thuvien.huce.edu.vn/kiposdata1/luanantiensy/a-luanantiensingoaivan/ts22-trannhathoa/zanoidung_01thumbimage.jpg https://thuvien.huce.edu.vn/Opac/DmdInfo.aspx?dmd_id=43798
Từ khóa:	Thêm từ khóa bạn đọc Không có từ khóa, Hãy là người đầu tiên gắn từ khóa cho biểu ghi này!

Tài liệu tương tự

exploring and measuring project complexity : Submitted to the Office of Graduate and Professional Studies of Texas A&M University in partial fulfillment of the requirements for the degree of
Thông tin tác giả:: Bac Phuong Dao

Optimisation of indoor environmental quality and energy consumption within office buildings
Thông tin tác giả:: Tran Ngoc Quang

Research on enhancing the workability of turntable ladders
Thông tin tác giả:: Nguyen Van Tinh

MICROSTRUCTURE AND LENGTH CHANGE CHARACTERISTICS OF AUTOCLAVED AERATED CONCRETE (AAC) A COMPARISON BETWEEN JAPANESE AND VIETNAMESE AACs
Thông tin tác giả:: NguyenTrong Lam

Investigation of shear lag effect in super high-rise buildings using framed tube system

Experimental and analytical investigations on seismic behavior of corroded reinforced concrete members
Thông tin tác giả:: Vu Ngoc Son

формирование транспортно - пересадочных узлов на основе автовокзалов г.ханой
Thông tin tác giả:: Хо Тху Фыонг

INVESTIGATION OF LONGITUDINAL SHEAR MECHANISM IN SHALLOW COMPOSITE FLOOR BEAMS
Thông tin tác giả:: Nguyen Tuan Dat

Methods to improve throughput and energy need in movement strategies of storage vehicle
Thông tin tác giả:: Thanh Dung Cao

влияние форм и принципов европейского зодчества на архитектурно-планировочную структуру ханоя в колониальный период (1870-е - 1950-е гг.) : том 1. основной текст
Thông tin tác giả:: ЧАН Жанг Нам

LATERAL-TORSIONAL BUCKLING OF MONO-SYMMETRIC I-BEAM WITH HOLLOW FLANGE
Thông tin tác giả:: Vy Son Tung

Détermination numérique des propriétés de résistance de roches argileuses
Thông tin tác giả:: Anh Tu Pham

Style check

Planning and Scheduling for Maritime Container Yards: Supporting and Facilitating the Global Supply Network
Thông tin tác giả:: Li, Wenkai, và những người khác
Thông tin xuất bản: (2015)

Check your vocabulary for FCE / : All you need to pass your exams / Rawdon Wyatt
Thông tin tác giả:: Wyatt,R.

Check your English Vocabulary for IELTS / Rawdon Wyatt
Thông tin tác giả:: Wyatt, Rawdon

Luyện thi Toeic : Check your Voucabulary for Toeic / Rawdon Wyatt
Thông tin tác giả:: Wyatt, Rawdon

Check your english vocabulary for TOEFL
Thông tin tác giả:: Wyatt, Rawdon
Thông tin xuất bản: (2016)

Luyện thi Toeic : Check your vocabulary for Toeic / Rawdon Wyatt
Thông tin tác giả:: Wyatt, Rawdon

Model Checking Software
Thông tin xuất bản: (2020)

Model Checking Software
Thông tin xuất bản: (2020)

Model Checking Software
Thông tin tác giả:: Godefroid, Patrick
Thông tin xuất bản: (2020)

Handbook of Model Checking
Thông tin tác giả:: Clarke, Edmund M., và những người khác
Thông tin xuất bản: (2020)

Model Checking Software
Thông tin tác giả:: Bosnacki, Dragan, và những người khác
Thông tin xuất bản: (2020)

Văn học Ấn Độ. / Lưu Đức Trung
Thông tin tác giả:: Lưu, Đức Trung

Model Checking and Artificial Intelligence
Thông tin tác giả:: Edelkamp, Stefan, và những người khác
Thông tin xuất bản: (2020)

25 Years of Model Checking
Thông tin tác giả:: Grumberg, Orna, và những người khác
Thông tin xuất bản: (2020)

Model Checking and Artificial Intelligence
Thông tin xuất bản: (2020)

Model Checking and Artificial Intelligence
Thông tin xuất bản: (2017)

Cánh hoa kết tội / Hoàng Anh Điệp sưu tầm, biên soạn.
Thông tin tác giả:: Hoàng, Anh Điệpsưu tầm, biên soạn

English syntax : a minimalist account of structure and variation / Elspeth Edelstein
Thông tin tác giả:: Edelstein, Elspeth

Verification, Model Checking, and Abstract Interpretation
Thông tin tác giả:: David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Neil D. Jones, Markus Müller-Olm.
Thông tin xuất bản: (2017)

Verification, Model Checking, and Abstract Interpretation
Thông tin tác giả:: David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg
Thông tin xuất bản: (2017)

Verification, Model Checking, and Abstract Interpretation
Thông tin tác giả:: Bouajjani, Ahmed, và những người khác
Thông tin xuất bản: (2020)

Verification, Model Checking, and Abstract Interpretation
Thông tin xuất bản: (2020)

Verification, Model Checking, and Abstract Interpretation
Thông tin tác giả:: Dillig, Isil, và những người khác
Thông tin xuất bản: (2020)

Verification, Model Checking, and Abstract Interpretation
Thông tin tác giả:: Beyer, Dirk, và những người khác
Thông tin xuất bản: (2020)

Verification, Model Checking, and Abstract Interpretation
Thông tin xuất bản: (2020)

Verification, Model Checking, and Abstract Interpretation
Thông tin tác giả:: Logozzo, Francesco, và những người khác
Thông tin xuất bản: (2020)

Verification, Model Checking, and Abstract Interpretation
Thông tin tác giả:: Cook, Byron, và những người khác
Thông tin xuất bản: (2020)