Self-Timed Control of Concurrent Processes : :: SCD d'Orléans

Self-Timed Control of Concurrent Processes : The Design of Aperiodic Logical Circuits in Computers and Discrete Systems

Self-Timed Control of Concurrent Processes : The Design of Aperiodic Logical Circuits in Computers and Discrete Systems

保存先:

書誌詳細
その他の著者:	Varshavsky, Victor I. (共編者)
フォーマット:	Livre numérique
言語:	Anglais
出版事項:	Cham : Springer International Publishing [20..]. Cham : Springer Nature
オンライン･アクセス:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
注記:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Self-Timed Control of Concurrent Processes, The Design of Aperiodic Logical Circuits in Computers and Discrete Systems

類似資料

Timed Boolean Functions : A Unified Formalism for Exact Timing Analysis
著者:: Lam, William K. C., 等

Formal modeling and analysis of timed systems : First international workshop, FORMATS 2003, Marseille, France, September 6-7, 2003 : revised papers

Formal Modeling and Analysis of Timed Systems : 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013. Proceedings
著者:: Braberman, Víctor
出版事項: (2013)

Advances in verification of time Petri nets and timed automata : a temporal logic approach
著者:: Penczek, Wojciech, 19..-, 等

Formal techniques, modelling and analysis of timed and fault-tolerant systems : joint international conferences on Formal Modelling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004 : proceedings
著者:: Lakhnech, Yassine, 19..-

The Stability and Control of Discrete Processes
著者:: LaSalle, Joseph Pierre, 1916-1983

Processes of Self-Presentation.
出版事項: (2020)

Modeling and Control of Logical Discrete Event Systems
著者:: Kumar, Ratnesh, 等

Self-similar processes and their applications
著者:: Chaumont, Loïc, 19..-...., mathématicien
出版事項: (2013)

Process control : the passive systems approach
著者:: Bao, Jie, 等
出版事項: (2007)

Self-normalized processes : limit theory and statistical applications
著者:: De la Peña, Victor H., 1959-, 等
出版事項: (2009)

Self-normalized processes : limit theory and statistical applications
著者:: De la Peña, Victor H., 1959-, 等

Discrete-Time Markov Control Processes : Basic Optimality Criteria
著者:: Hernández-Hernández, Onésimo, 1946-...., mathématicien, 等

Design and control of workflow processes : business process management for the service industry
著者:: Reijers, Hajo A.

Control and optimisation of process systems
著者:: Pushpavanam, S.
出版事項: (2013)

Further Topics on Discrete-Time Markov Control Processes
著者:: Hernández-Hernández, Onésimo, 1946-...., mathématicien, 等

Supervisory Control of Concurrent Systems : A Petri Net Structural Approach
著者:: Iordache, Marian Valentin, 1973-, 等
出版事項: (2006)

Verifying concurrent processes using temporal logic
著者:: Hailpern, Brent T., 1955-

Control of Nonlinear and Hybrid Process Systems : Designs for Uncertainty, Constraints and Time-Delays
著者:: Christofides, Panagiotis D., 19..-

Process Control : Theory and Applications
著者:: Corriou, Jean-Pierre, 1950-...., auteur en physique

Self-Regulation and Ego Control
著者:: Hirt, Edward R.
出版事項: (2016)

Design, Modeling, Optimization and Control of Flotation Process
出版事項: (2024)

Control of detonation processes
著者:: Roy, Gabriel D.
出版事項: (2000)

Journal of process control.

Statistical Process Control
著者:: Amin Mohammed, Mohammed
出版事項: (2024)

Semantics of systems of concurrent processes : LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23-27, 1990 : proceedings

Journal of Process Control.

Analysis and Control of Nonlinear Process Systems
著者:: Hangos, Katalin Mária, 1952-, 等

Control and optimization of multiscale process systems
著者:: Christofides, Panagiotis D., 19..-, 等

Analysis of variations for self-similar processes : a stochastic calculus approach
著者:: Tudor, Ciprian A., 1973-

Principles of Process Planning : A logical approach
著者:: Halevi, Gideon, 1928-, 等

Nonlinear Process Control : Applications of Generic Model Control

Automation Control Systems & Process Control for Industry 4.0
出版事項: (2025)

Modeling, diagnostics and process control : Implementation in the DiaSter system

How the SELF Controls Its BRAIN
著者:: Eccles, John Carew, 1903-1997, neurobiologiste

Fighting for Self-Determination, Participation and Control
出版事項: (2024)

Theory of Self-Adaptive Control Systems : Proceedings of the Second IFAC Symposium on the Theory of Self-Adaptive Control Systems September 14-17, 1965 National Physical Laboratory Teddington, England

Adaptive Markov Control Processes
著者:: Hernández-Lerma, O.

Advanced practical process control
著者:: Roffel, Brian, 1946-, 等

Control of Dead-time Processes
著者:: Normey-Rico, Julio Elias, 19..-...., auteur en automatique-productique, 等

© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales