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

Modal and temporal properties of processes

種類:
図書
責任表示:
Colin Stirling
出版情報:
New York : Springer, c2001
著者名:
Stirling, Colin P.  
シリーズ名:
Texts in computer science <BA29308012>
ISBN:
9780387987170 [0387987177]  CiNii Books  Calil
注記:
Includes bibliographical references (p. [183]-186) and index
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Modal and Temporal Properties of Processes

Stirling, Colin

Springer-Verlag
7 図書 Parallel processing and parallel algorithms : theory and computation

Roosta, Seyed H.

Springer
2 図書 Verifying concurrent processes using temporal logic

Hailpern, Brent Tzion, 1955-

Springer-Verlag
8 図書 Parallel processor systems, technologies, and applications : [papers]

Symposium on Parallel Processor Systems, Technologies, and Applications, Hobbs, L. C.

Spartan Books
3 図書 Temporal verification of reactive systems : safety

Manna, Zohar, Pnueli, A. (Amir)

Springer-Verlag
9 図書 A parallel pipeline computer architecture for speech processing

Georgiou, Vassilios John

UMI Research Press
4 図書 Major advances in parallel processing

Jesshope, Chris R.

Technical Press in association with Unicom Seminars Ltd.
10 図書 Hypercube algorithms : with applications to image processing and pattern recognition

Ranka, Sanjay, Sahni, Sartaj

Springer-Verlag
5 図書 Alternating sequential/parallel processing

Wallach, Y. (Yehuda), 1928-

Springer
11 図書 Modelling and simulation of robot manipulators : a parallel processing approach

Zomaya, Albert Y.

World Scientific
6 図書 Systolic parallel processing

Petkov, Nikolay

North-Holland
12 図書 Connectionism and the mind : an introduction to parallel processing in networks

Bechtel, William, Abrahamsen, Adele A.

B. Blackwell