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

Côd QR

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

Wedi'i Gadw mewn:

Manylion Llyfryddiaeth
Prif Awdur:	Kapus, Tatjana.
Fformat:	Erthygl
Iaith:	English
Pynciau:	Distributed systems Dynamic input Formal methods Output automata Verification
Tagiau:	Ychwanegu Tag Dim Tagiau, Byddwch y cyntaf i dagio'r cofnod hwn!

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

Eitemau Tebyg

Input-output economics
gan: Leontief, Wassily
Cyhoeddwyd: (1966)

Input-Output economics
gan: Leontief, Wassily
Cyhoeddwyd: (1986)

1973 input - output tables

International input-output table Japan - U.S.A. 1970
Cyhoeddwyd: (1977)

Problem solving in automata, languages, and complexity
gan: Ding-zhu Du
Cyhoeddwyd: (2001)

Input/output system of minicomputers : 1/0 software of PDP computers /
gan: Jingxuan, Xue
Cyhoeddwyd: (1989)

Input/output system of minicomputers : 1/0 software of PDP computers /
gan: Jingxuan, Xue
Cyhoeddwyd: (1989)

Application of an input-output framework to a community economic system
gan: Harmston, Floyd K.
Cyhoeddwyd: (1967)

An Introduction to Formal Languages and Automata (Photo) /
gan: Linz Peter
Cyhoeddwyd: (1990)

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)
gan: Bùi, Bá Cường
Cyhoeddwyd: (2004)

Dynamic neighbourhood cellular automata /
gan: Dantchev, Stefan.

Bảng cân đối liên ngành (Input - output: I/O) của Việt Nam năm 2007
Cyhoeddwyd: (2010)

Fuzzy Automata and Languages: Theory and Applications
gan: Mordeson, John, et al.
Cyhoeddwyd: (2012)

Dynamic Offset Compensated CMOS Amplifiers
gan: Witte, Frerik, et al.
Cyhoeddwyd: (2020)

Formal Methods for Industrial Critical Systems: 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings
gan: Núñez, Manuel, et al.
Cyhoeddwyd: (2015)

Cellular Automata and Discrete Complex Systems
gan: Kari, Jarkko
Cyhoeddwyd: (2015)

Expansive invertible onesided cellular automata /
gan: Boyle, Mike.

Introduction to Automata Theory, Languages, and Computation (3rd Edition)
gan: John, E . Hopcroft, et al.
Cyhoeddwyd: (2023)

Theory and application of interindustry analysis
gan: Isamu, Yamada
Cyhoeddwyd: (1961)

Computing essentials: Multimedia 1997 - 1998
gan: Timothy J O'Leary
Cyhoeddwyd: (1997)

Commputing essentials 2005
gan: O'Leary, Timothy J
Cyhoeddwyd: (2005)

Computing essentials 2005
gan: O'Leary, Timothy J.
Cyhoeddwyd: (2005)

Commputing essentials 2005
gan: O'Leary, Timothy J
Cyhoeddwyd: (2005)

Computing essentials 2005
gan: O'Leary, Timothy J.
Cyhoeddwyd: (2005)

Computing essentials 2004
gan: O'Leary, Timothy J
Cyhoeddwyd: (2004)

Computing essentials 2004
gan: O'Leary, Timothy J
Cyhoeddwyd: (2004)

Automata and Computability
gan: Kozen, Dexter C
Cyhoeddwyd: (1997)

Real-Time Modelling and Processing for Communication Systems
gan: Alam, Muhammad, et al.
Cyhoeddwyd: (2020)

Cellular Automata and Discrete Complex Systems: 20th International Workshop, AUTOMATA 2014, Himeji, Japan, July 7-9, 2014, Revised Selected Papers
gan: Isokawa, T, et al.
Cyhoeddwyd: (2015)

Adaptive received signal strength-based localization and channel state information estimation model for indoor multiple-input multiple-output visible light communication using the distance vector
gan: Tran, The Son, et al.
Cyhoeddwyd: (2023)

Hãy đến với thế giới của máy vi tính = Come to the world of microcomputers
Cyhoeddwyd: (2002)

Sửa chữa màn hình tinh thể lỏng
gan: Vân Anh
Cyhoeddwyd: (2009)

Spotlight On
gan: Ambrose, Ann Peele
Cyhoeddwyd: (2007)

Programming PIC microcontrollers with XC8
gan: Subero, Armtrong
Cyhoeddwyd: (2018)

Offset Reduction Techniques in High-Speed Analog-to-Digital Converters
gan: Figueiredo, Pedro M., et al.
Cyhoeddwyd: (2020)

Econometric models for basic economic and social plan, 1973-1977 :
Cyhoeddwyd: (1973)

The indispensable PC hardware book
gan: Hans Peter Messmer
Cyhoeddwyd: (2002)

The essential guide to computer hardware
gan: Keogh, Jim
Cyhoeddwyd: (2002)

Structural change in the American economy
gan: Carter, Anne P.
Cyhoeddwyd: (1970)

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