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

Process algebra with timing

種類:
図書
責任表示:
J.C.M. Baeten, C.A. Middelburg
出版情報:
Berlin ; Tokyo : Springer, c2002
著者名:
シリーズ名:
Monographs in theoretical computer science : an EATCS series <BA25559724>
ISBN:
9783540434474 [354043447X]  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 図書 Applications of process algebra

Baeten, J. C. M

Cambridge University Press
7 図書 MATHEMATICS FOR LARGE SCALE COMPUTING

<ED. BY> DIAZ, J. C.

MARCEL DEKKER
2 図書 Process algebra

Weijland, W. P., Baeten, J. C. M.

Cambridge University Press
8 図書 Logic and specification : extending VDM-SL for advanced formal specification

Middelburg, Cornelis A.

Chapman & Hall Computing
3 図書 Numerical methods for engineers and scientists ; a students' course book

Bajpai, A. C. (Avinash Chandra), Calus, Irene M., Fairley, J.A.

Wiley
9 図書 LISP : from foundations to applications

Doukidis, Georgios I., 1958-, Shah, V. P. (...Vijal P...), Angelides, M. C. (...Marios C...)

Chartwell-Bratt
4 図書 Logic and algebraic methods

Abramsky, Samson, 1953-, Gabbay, Dov M., 1945-, Maibaum, Thomas S. E., 1947-

Clarendon Press
10 図書 A survey of switching circuit theory

McCluskey, Edward J., 1929-, Bartee, Thomas C., American Institute of Electrical Engineers. Committee on Computing &hellip;

McGraw-Hill
5 図書 Information Processing 68 : proceedings of IFIP Congress 1968, organized by the International Federation for Information Processing, Edinburgh, 5-10 Aug. 1968

International Federation for Information Processing, Morrell, A. J. H.

North-Holland
11 図書 Logic programming

Gabbay, Dov M., 1945-, Hogger, Christopher John, Robinson, J. A. (John Alan)

Clarendon Press
6 図書 Number theoretic and algebraic methods in computer science : proceedings of the International Conference, Moscow, June/July, 1993

Van Der Poorten, A. J, Shparlinski, Igor E, Zimmer, Horst Günter

World Scientific
12 図書 パソコン推論システム : BASICとLOGOによるAIアプロ-チ

M.CHADWICK,J.A.HANNAH;株式会社ユニボックス訳

啓学出版