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

CONCUR '94: Concurrency theory : 5th International Conference, Uppsala, Sweden, August 22-25, 1994, proceedings / Bengt Jonsson, Joachim Parrow, (eds.)

資料種別:
図書
出版情報:
Berlin ; New York : Springer-Verlag, c1994
形態:
ix, 528 p. ; 24 cm
シリーズ名:
Lecture notes in computer science ; 836 <BA00009279>
著者名:
ISBN:
9780387583297 [0387583297] (: us)
9783540583295 [3540583297] (: gw)
書誌ID:
BA23282368
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

1 電子ブック CONCUR ’94: Concurrency Theory

International Conference on Concurrency Theory, Jonsson, Bengt, Parrow, Joachim

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
7 図書 CONCUR '96 : concurrency theory : 7th International Conference, Pisa, Italy, August 26-29, 1996 : proceedings

International Conference on Concurrency Theory, Montanari, U. (Ugo), Sassone, Vladimiro

Springer
2 図書 Formal techniques in real-time and fault-tolerant systems : 4th International Symposium, Uppsala, Sweden, September 9-13, 1996 : proceedings (: gw)

Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, Jonsson, Bengt, 1957-, Parrow, Joachim, 1956-

Springer
8 図書 CONCUR '95 : concurrency theory : 6th International Conference, Philadelphia, PA, USA, August 21-24, 1995, proceedings

International Conference on Concurrency Theory, Lee, Insup, Smolka, Scott A.

Springer-Verlag
3 図書 CONCUR 2001 - concurrency theory : 12th International Conference, Aalborg, Denmark, August 20-25, 2001 : proceedings

International Conference on Concurrency Theory, Larsen, K. G. (Kim G.), 1957-, Nielsen, M. (Mogens), 1949-

Springer
9 図書 CONCUR 2002 - concurrency theory : 13th International Conference, Brno, Czech Republic, August 20-23, 2002 : proceedings

International Conference on Concurrency Theory, Brim, Lubǒs, Jančar, Petr, Křetínský, Mojmír, Kučera, A. (Antonín)

Springer
4 図書 CONCUR 2000 - concurrency theory : 11th International Conference, University Park, PA, USA, August 22-25, 2000 : proceedings

International Conference on Concurrency Theory, Palamidessi, Catuscia

Springer
10 図書 Protocol specification, testing, and verification, XI : proceedings of the IFIP WG 6.1, eleventh International Symposium on Protocol Specification, Testing, and …

IFIP WG 6.1 International Symposium on Protocol Specification, Testing, and Verification, Jonsson, Bengt, 1957-, Parrow, …

North-Holland
5 図書 CONCUR 2005 - concurrency theory : 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005 : proceedings

International Conference on Concurrency Theory, Abadi, Martín, De Alfaro, Luca, 1966-

Springer
11 図書 CONCUR '93 : 4th International Confernece on Concurrency Theory, Hildesheim, Germany, August 23-26, 1993 : proceedings (: us ; : gw)

International Conference on Concurrency Theory, Best, Eike, 1931-

Springer-Verlag
6 図書 CONCUR '99 : concurrency theory : 10th International Conference, Eindhoven, the Netherlands, August 24-27, 1999 : proceedings

International Conference on Concurrency Theory, Baeten, Jos C. M., Mauw, Sjouke

Springer
12 図書 CONCUR '91 : 2nd International Conference on Concurrency Theory, Amsterdam, the Netherlands, August 26-29, 1991 : proceedings (: gw ; : us)

International Conference on Concurrency Theory, Baeten, J. C. M., Groote, J. F. (Jan Frisco), 1965-, Centrum voor …

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