Construction and analysis of transition systems with MEC /

Mã QR

Construction and analysis of transition systems with MEC /

Hiển thị phiên bản (1) khác

Đã lưu trong:

Chi tiết về thư mục
Tác giả chính:	Arnold, A. 1945-)
Tác giả khác:	Crubillé, Paul., Bégay, Didier.
Định dạng:	Sách giấy
Được phát hành:	Singapore ; River Edge, NJ : World Scientific, c1994.
Loạt:	AMAST series in computing ; vol.
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ự

Construction and analysis of transition systems with MEC /
Bỡi: Arnold, A. 1945-)
Được phát hành: (1994)

iMEC-APCOMS 2019
Bỡi: Zahid, Muhammed Nafis Osman, et al.
Được phát hành: (2020)

Systems Analysis and Design and the Transition to Objects /
Bỡi: Dewitz, Sandra Donaldson
Được phát hành: (1996)

Tools and Algorithms for the Construction and Analysis of Systems
Bỡi: Vojnar, Tomáš, et al.
Được phát hành: (2020)

Tools and Algorithms for the Construction and Analysis of Systems
Bỡi: Vojnar, Tomáš, et al.
Được phát hành: (2020)

Tools and Algorithms for the Construction and Analysis of Systems
Bỡi: Grumberg, Orna, et al.
Được phát hành: (2020)

Tools and Algorithms for the Construction and Analysis of Systems
Bỡi: Ramakrishnan, C.R., et al.
Được phát hành: (2020)

Tools and Algorithms for the Construction and Analysis of Systems
Bỡi: Beyer, Dirk, et al.
Được phát hành: (2020)

Tools and Algorithms for the Construction and Analysis of Systems
Được phát hành: (2020)

Tools and Algorithms for the Construction and Analysis of Systems
Bỡi: Beyer, Dirk, et al.
Được phát hành: (2020)

Tools and Algorithms for the Construction and Analysis of Systems
Được phát hành: (2020)

Tools and Algorithms for the Construction and Analysis of Systems
Được phát hành: (2020)

Tools and Algorithms for the Construction and Analysis of Systems
Được phát hành: (2020)

Tools and Algorithms for the Construction and Analysis of Systems
Bỡi: Ábrahám, Erika, et al.
Được phát hành: (2015)

Constructive Real Analysis /
Bỡi: Goldstein, Allen A.
Được phát hành: (1967)

Judicial systems in transition economies :
Bỡi: Anderson, James H.
Được phát hành: (2005)

Judicial systems in transition economies :
Bỡi: Anderson, James H.
Được phát hành: (2005)

Phase Transitions of Simple Systems
Bỡi: Smirnov, Boris M., et al.
Được phát hành: (2020)

Construct commensurability and the analysis of change /
Bỡi: Lloyd, Jennifer E. V.

Planning and Analysis of Construction Operations
Bỡi: Halpin, Daniel W.
Được phát hành: (1992)

Judicial systems in transition economies : assessing the past, looking to the future /
Bỡi: Anderson, James H. 1964-
Được phát hành: (2005)

Rigorous Methods for Software Construction and Analysis
Được phát hành: (2020)

Within-session transitions in choice : A structural and quantitative analysis /
Bỡi: Banna, Kelly M.

Fuels for urban transit buses : A cost-effectiveness analysis /
Bỡi: Cohen, Joshua T.

Heritage and Destiny: Reflections on the Bell System in Transition :
Bỡi: Auw, Alvin Von
Được phát hành: (1983)

Comment on Fuels for urban transit buses : A cost-effectiveness analysis /
Bỡi: McClellan, Roger O.

Transitions Before the Transition
Bỡi: Hovers, Erella, et al.
Được phát hành: (2020)

Constructive Side-Channel Analysis and Secure Design
Bỡi: Fan, Junfeng, et al.
Được phát hành: (2020)

The social construction of technological systems :
Được phát hành: (1987)

Transitions decreed, transitions experienced :
Được phát hành: (2011)

Response to comment on Fuels for urban transit buses : A cost-effectiveness analysis /
Bỡi: Cohen, Joshua T.

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices
Được phát hành: (2020)

Lectures on Phase Transitions /
Bỡi: Shumovsky A.S
Được phát hành: (1991)

Weak solutions of nonlinear systems for non-isothermal phase transitions /
Bỡi: Kenmochi, Nobuyuki.

Exploring the Architecture of Transiting Exoplanetary Systems with High-Precision Photometry
Bỡi: Masuda, Kento
Được phát hành: (2020)

Transition to higher mathematics :
Bỡi: Dumas , Bob A.
Được phát hành: (2007)

Irrigation Systems Design, Planning and Construction
Bỡi: Laycock, Adrian
Được phát hành: (2014)

Irrigation Systems Design, Planning and Construction
Bỡi: Laycock, Adrian
Được phát hành: (2014)

Gender variation and transitions between sexual systems in Mercurialis Annua (Euphorbiaceae) /

PHASE TRANSITION IN THE LINEAR SIGMA MODEL OF THE TWO-COMPONENT MIXING SYSTEM
Bỡi: Le, Viet Hoa, et al.
Được phát hành: (2023)