>> Google Books
所蔵情報QRコード

Communicating Sequential Processes : the first 25 years : Symposium on the Occasion of 25 Years of CSP London, UK, July 7-8, 2004 : revised invited papers / Ali E. Abdallah, Cliff B. Jones, Jeff W. Sanders (eds.)

資料種別:
図書
出版情報:
Berlin : Springer, c2005
形態:
xiv, 320 p. ; 24 cm
シリーズ名:
Lecture notes in computer science ; 3525 . Lecture notes in computer science <BA00009279>
著者名:
ISBN:
9783540258131 [3540258132]
書誌ID:
BA71947064
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

Symposium on the Occasion of 25 years of CSP, Abdallah, Ali E., Hoare, Charles Antony Richard, Jones, Cliff B., Kanade, …

Springer eBooks Computer Science, Springer Berlin / Heidelberg

Symposium on the Occasion of 25 years of CSP, Abdallah, Ali E., Hoare, Charles Antony Richard, Jones, Cliff B., Kanade, …

SpringerLink Books - AutoHoldings, Springer Berlin / Heidelberg

International Conference on the Mathematics of Program Construction, Kozen, Dexter

Springer

Hoare, C. A. R. (Charles Antony Richard), 1934-

Prentice-Hall International

International Workshop on TYPES, Filliâtre, Jean-Christophe, Paulin-Mohring, Christine, 1962-, Werner, Benjamin

Springer

FASec, Abdallah, Ali E., 1957-, Ryan, Peter, 1957-, Schneider, S. A. (Steve A.)

Springer

International Workshop on Global Computing, Priami, Corrado, Quaglia, Paola

Springer

International Workshop on Trustworthy Global Computing, De Nicola, Rocco, Sangiorgi, Davide

Springer

吉田, 信博, Hoare, C. A. R. (Charles Antony Richard), 1934-

丸善

International Conference on Vector and Parallel Processing-Systems and Applications, Daydé, Michel, Dongarra, J. J., …

Springer

Venturini Zilli, Marisa, Advanced School on Mathematical Models for the Semantics of Parallelism

Springer-Verlag

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12