Kategória: Jazyk: Všetky jazyky Anglický Slovenský Český Zoradiť podľa: najnovšie autor A – Z autor Z – A názov A – Z názov Z – A zobraziť iba dostupné zobraziť iba použité reset filtrov +
« < 7 8 9 10 11 > » Compositional Verification of Concurrent and Real-Time Systems Juan 2002 Formal Methods for Real-Time and Probabilistic Systems Katoen 1999 Real-Time Database Systems Lam 2001 Synthesizing Synchronous Systems by Static Scheduling in Space-Time Lisper 1989 Temporally Distributed Symptoms in Technical Diagnosis 1991 Formal Modeling and Analysis of Timed Systems Pettersson 2005 Proceedings of PART '97 The 4th Australasian Conference on Parallel and Real-Time Systems Sharda 1997 Performance Analysis of Multichannel and Multi-Traffic on Wireless Communication Networks Wuyi Yue 2002 What Hampers Part-Time Work? Wolf 2003 Discrete-time Sliding Mode Control Bandyopadhyay 2006 Wavelet Transforms and Time-Frequency Signal Analysis Debnath 2001 Realization Theory of Discrete-Time Dynamical Systems Matsuo 2003 Stability of Dynamical Systems Michel 2008 Discrete-time Signal Processing Williamson 1999 Discrete-Time Markov Chains Yin 2005 Control and Estimation of Systems with Input/Output Delays Zhang 2007 Timed Petri Nets Jiacun Wang 1998 Smoothness Priors Analysis of Time Series Kitagawa 1996 6220 knižných titulov « < 7 8 9 10 11 > »