Reachability analysis of augmented marked graphs via integer linear programming /

Mã QR

Reachability analysis of augmented marked graphs via integer linear programming /

Đã lưu trong:

Chi tiết về thư mục
Tác giả chính:	Chen, Chien-Liang.
Tác giả khác:	Chin, Shao-Chi., Yen, Hsu-Chun.
Định dạng:	Bài viết
Ngôn ngữ:	English
Những chủ đề:	Augmented marked graphs Integer linear programming Model checking Reachability
Các nhãn:	Thêm thẻ Không có thẻ, Là người đầu tiên thẻ bản ghi này!

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

Những quyển sách tương tự

Advances in linear and integer programming /
Được phát hành: (1996)

Linear and Mixed Integer Programming for Portfolio Optimization
Bỡi: Mansini, Renata, et al.
Được phát hành: (2015)

Trade Marks and Brands: An Interdisciplinary Critique
Bỡi: Bently, Lionel, et al.
Được phát hành: (2013)

The Cambridge introduction to Mark Twain
Bỡi: Messent, Peter B
Được phát hành: (2013)

The Cambridge introduction to Mark Twain
Bỡi: Messent, Peter B
Được phát hành: (2013)

Efficient algorithms for integer division by constants using multiplication /
Bỡi: Cavagnino, D.

Comparing four methods of augmentative release of Eretmocerus nr. emiratus against Bemisia argentifolii /
Bỡi: Gould, Juli R.

Integer programming and combinatorial optimization : 6th International IPCO Conference, Houston, Texas, June 22-24, 1998 : proceedings /
Được phát hành: (1998)

Integer programming and combinatorial optimization : 6th International IPCO Conference, Houston, Texas, June 22-24, 1998 : proceedings /
Được phát hành: (1998)

Integer programming and combinatorial optimization : 8th International IPCO Conference, Utrecht, the Netherlands, June 13-15, 2001 : proceedings /
Được phát hành: (2001)

Heuristic-guided abstraction refinement /

Augmentative biological control of arthropods in Latin America /
Bỡi: Lenteren, Joop C. Van.

Towards automating model selection for a mark-recapture-recovery analysis /
Bỡi: Sisson, S. A.

Methods of marking fish and shellfish
Bỡi: Nielsen, Larry A.
Được phát hành: (1992)

Applications of Polyas theorem to distribution problems and partitions of integers /
Bỡi: Longani, V.

Checking Electrical Safety Measures /
Bỡi: Grohmann Siegfried
Được phát hành: (2001)

NVR-BIP : Nuclear vector replacement using binary integer programming for NMR structure-based assignments /

Planarity of joined graphs /
Bỡi: Sitthiwiratham, T.

Shannon graphs, subshifts and lambda-graph systems /
Bỡi: Krieger, Wolfgang.

Algorithmic graph theory and perfect graphs
Bỡi: Golumbic, Martin Charles
Được phát hành: (2004)

4-Regular graph of diameter 2 /
Bỡi: Do Nhu An.

4-Regular graph of diameter 2
Bỡi: Đỗ, Như An, et al.
Được phát hành: (2012)

CONDITIONS FOR GRAPHS ON n VERTICES WITH THE SUM OF DEGREES OF ANY TWO NONADJACENT VERTICES EQUAL TO n-2 TO BE A HAMILTONIAN GRAPH
Bỡi: Do, Nhu An, et al.
Được phát hành: (2024)

Graph theory
Bỡi: W. T. Tutte
Được phát hành: (2001)

Graph theory
Bỡi: Diestel, Reinhard
Được phát hành: (2005)

Graph theory /
Bỡi: Diestel, Reinhard.
Được phát hành: (2000)

4-regular graph of diameter 2
Bỡi: Do, Nhu An, et al.
Được phát hành: (2014)

Introduction to graph theory
Bỡi: Richard J Trudeau
Được phát hành: (1993)

Graphs, Algorithms, and Optimization
Bỡi: Kocay, William
Được phát hành: (2005)

Introduction to graph theory
Bỡi: Robin J Wilson
Được phát hành: (1996)

Graphs, algorithms, and optimization /
Bỡi: Kocay, William.
Được phát hành: (2005)

Graphs, algorithms, and optimization /
Bỡi: Kocay, William.
Được phát hành: (2005)

Graphs, algorithms, and optimization /
Bỡi: Kocay, William.
Được phát hành: (2005)

Algebraic graph theory /
Bỡi: Godsil, C. D. 1949-
Được phát hành: (2001)

Graph algorithms and applications.
Được phát hành: (2002)

Nhân vật Mark Twain
Bỡi: Dương, Thị Ánh Tuyết
Được phát hành: (2017)

Applied and algorithmic graph theory
Bỡi: Gary Chartrand
Được phát hành: (1993)

Graph theory and its applications /
Bỡi: Gross, Jonathan L.
Được phát hành: (1999)

Applied and algorithmic graph theory /
Bỡi: Chartrand, Gary.
Được phát hành: (1993)

Graph connections : relationships between graph theory and other areas of mathematics /
Được phát hành: (1997)