Closing a system in the dynamic input/output automata model /

Mã QR

Closing a system in the dynamic input/output automata model /

Đã lưu trong:

Chi tiết về thư mục
Tác giả chính:	Kapus, Tatjana.
Định dạng:	Bài viết
Ngôn ngữ:	English
Những chủ đề:	Distributed systems Dynamic input Formal methods Output automata Verification
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ự

Input-output economics
Bỡi: Leontief, Wassily
Được phát hành: (1966)

Input-Output economics
Bỡi: Leontief, Wassily
Được phát hành: (1986)

1973 input - output tables

International input-output table Japan - U.S.A. 1970
Được phát hành: (1977)

Input/output system of minicomputers : 1/0 software of PDP computers /
Bỡi: Jingxuan, Xue
Được phát hành: (1989)

Input/output system of minicomputers : 1/0 software of PDP computers /
Bỡi: Jingxuan, Xue
Được phát hành: (1989)

Problem solving in automata, languages, and complexity
Bỡi: Ding-zhu Du
Được phát hành: (2001)

Application of an input-output framework to a community economic system
Bỡi: Harmston, Floyd K.
Được phát hành: (1967)

Phương pháp phân tích kinh tế và môi trường thông qua mô hình Input- Output (I/O modelling)
Bỡi: Bùi, Bá Cường
Được phát hành: (2004)

An Introduction to Formal Languages and Automata (Photo) /
Bỡi: Linz Peter
Được phát hành: (1990)

Dynamic neighbourhood cellular automata /
Bỡi: Dantchev, Stefan.

Bảng cân đối liên ngành (Input - output: I/O) của Việt Nam năm 2007
Được phát hành: (2010)

Fuzzy Automata and Languages: Theory and Applications
Bỡi: Mordeson, John, et al.
Được phát hành: (2012)

Dynamic Offset Compensated CMOS Amplifiers
Bỡi: Witte, Frerik, et al.
Được phát hành: (2020)

Theory and application of interindustry analysis
Bỡi: Isamu, Yamada
Được phát hành: (1961)

Cellular Automata and Discrete Complex Systems
Bỡi: Kari, Jarkko
Được phát hành: (2015)

Computing essentials 2004
Bỡi: O'Leary, Timothy J
Được phát hành: (2004)

Computing essentials 2004
Bỡi: O'Leary, Timothy J
Được phát hành: (2004)

Computing essentials: Multimedia 1997 - 1998
Bỡi: Timothy J O'Leary
Được phát hành: (1997)

Commputing essentials 2005
Bỡi: O'Leary, Timothy J
Được phát hành: (2005)

Computing essentials 2005
Bỡi: O'Leary, Timothy J.
Được phát hành: (2005)

Commputing essentials 2005
Bỡi: O'Leary, Timothy J
Được phát hành: (2005)

Computing essentials 2005
Bỡi: O'Leary, Timothy J.
Được phát hành: (2005)

Expansive invertible onesided cellular automata /
Bỡi: Boyle, Mike.

Automata and Computability
Bỡi: Kozen, Dexter C
Được phát hành: (1997)

Formal Methods for Industrial Critical Systems: 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings
Bỡi: Núñez, Manuel, et al.
Được phát hành: (2015)

Hãy đến với thế giới của máy vi tính = Come to the world of microcomputers
Được phát hành: (2002)

Sửa chữa màn hình tinh thể lỏng
Bỡi: Vân Anh
Được phát hành: (2009)

Spotlight On
Bỡi: Ambrose, Ann Peele
Được phát hành: (2007)

Programming PIC microcontrollers with XC8
Bỡi: Subero, Armtrong
Được phát hành: (2018)

Cellular Automata and Discrete Complex Systems: 20th International Workshop, AUTOMATA 2014, Himeji, Japan, July 7-9, 2014, Revised Selected Papers
Bỡi: Isokawa, T, et al.
Được phát hành: (2015)

Real-Time Modelling and Processing for Communication Systems
Bỡi: Alam, Muhammad, et al.
Được phát hành: (2020)

Offset Reduction Techniques in High-Speed Analog-to-Digital Converters
Bỡi: Figueiredo, Pedro M., et al.
Được phát hành: (2020)

The indispensable PC hardware book
Bỡi: Hans Peter Messmer
Được phát hành: (2002)

The essential guide to computer hardware
Bỡi: Keogh, Jim
Được phát hành: (2002)

Structural change in the American economy
Bỡi: Carter, Anne P.
Được phát hành: (1970)

Econometric models for basic economic and social plan, 1973-1977 :
Được phát hành: (1973)

System boundary selection in life-cycle inventories using hybrid approaches /

Stochastic cellular automata /
Bỡi: Fricke, Thomas.

Thực hành sữa chữa, nâng cấp và xử lý sự cố máy tính
Bỡi: Hoàng, Long
Được phát hành: (2004)