>> Amazon.co.jp
このページのQRコード

Modelling, analysis, and design of hybrid systems

種類:
図書
責任表示:
S. Engell, G. Frehse, and E. Schnieder (eds.)
出版情報:
Berlin : Springer, c2002
著者名:
シリーズ名:
Lecture notes in control and information sciences ; 279 <BA00216932>
ISBN:
9783540438120 [3540438122]  CiNii Books  Calil
注記:
Includes bibliographical references and index
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Algorithm design : foundations, analysis, and internet examples

Goodrich, Michael T., Tamassia, Roberto, 1960-

John Wiley & Sons
7 図書 The design of Rijndael : AES - The Advanced Encryption Standard

Daemen, Joan, Rijmen, Vincent, 1970-

Springer
2 図書 Real-time systems : scheduling, analysis, and verification

Cheng, Albet M. K.

Wiley-Interscience
8 図書 Temporal logic and state systems

Kröger, Fred, Merz, Stephan

Springer
3 図書 Modeling, verification and exploration of task-level concurrency in real-time embedded systems

Thoen, Flip, Catthoor, Francky

Kluwer Academic Publishers
9 図書 Multimodality in language and speech systems

Granström, Björn, House, David, Karlsson, Inger

Kluwer Academic Publishers
4 電子ジャーナル Nonlinear Analysis: Hybrid Systems
10 電子ブック Stochastic Reachability Analysis of Hybrid Systems

Bujorianu, Luminita Manuela., SpringerLink (Online service)

Springer London : Imprint: Springer
5 図書 The Design of an optimizing compiler

Wulf, William Allan

資料協会
11 図書 Coding approaches to fault tolerance in combinational and dynamic systems

Hadjicostis, Christoforos N.

Kluwer Academic Publishers
6 図書 Cryptographic security architecture : design and verification

Gutmann, Peter

Springer
12 図書 Verification, model checking, and abstract interpretation : third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002 : revised papers

VMCAI, Cortesi, Agostino

Springer