>> Google Books
タイトル、所在を表示します

Compositionality : the significant difference : international symposium, COMPOS '97, Bad Malente, Germany, September 8-12, 1997 : revised lectures

フォーマット:
図書
責任表示:
Willem-Paul de Roever, Hans Langmaack, Amir Pnueli (eds.)
言語:
英語
出版情報:
Berlin ; New York : Springer, c1998
形態:
646 p. ; 24 cm
著者名:
シリーズ名:
Lecture notes in computer science ; 1536 <BA00009279>
書誌ID:
BA39727168
ISBN:
9783540654933 [3540654933]
子書誌情報
Loading
所蔵情報
Loading availability information
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Formal techniques in real-time and fault-tolerant systems : Third International Symposium organized jointly with the Working Group Provably Correct Systems, …

Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, Langmaack, Hans, Roever, W.-P. de, 1943-, &hellip;

Springer-Verlag
7 図書 Coordination languages and models : Second International Conference COORDINATION '97, Berlin, Germany, September 1-3 1997 : proceedings

International Conference COORDINATION, Garlan, David, Le Métayer, D. (Daniel)

Springer
2 図書 Parallel computing technologies : 4th International Conference, PaCT-97, Yaroslavl, Russia, September 8-12, 1997 : proceedings

International Conference on Parallel Computing Technologies, Malyshkin, V. Ė. (Viktor Ėmmanuilovich)

Springer
8 図書 Parallel processing and applied mathematics : 4th International Conference, PPAM 2001, Nałęczów, Poland, September 9-12, 2001 : revised papers

PPAM, Wyrzykowski, Roman, Dongarra, J. J., Paprzycki, Marcin, Waśniewski, Jerzy, 1931-

Springer
3 図書 A decade of concurrency : reflections and perspectives : REX School/Symposium, Noordwijkerhout, The Netherlands, June 1-4, 1993 : proceedings

REX School/Symposium, Bakker, Jacobus Willem de, 1939-, Roever, W.-P. de, 1943-, Rozenberg, Grzegorz

Springer-Verlag
9 図書 Process algebra and probabilistic methods : performance modelling and verification : Joint International Workshop, PAPM-PROBMIV 2001, Aachen, Germany, September …

PAPM-PROBMIV, Process Algebras and Performance Modeling Workshop, Probabilistic Methods in Verification, De Alfaro, &hellip;

Springer
4 図書 Solving irregularly structured problems in parallel : 4th International Symposium, IRREGULAR '97, Paderborn, Germany, June 12-13, 1997 : proceedings

International Symposium on Solving Irregularly Structured Problems in Parallel, Bilardi, G. (Gianfranco)

Springer
10 図書 Languages and Compilers for Parallel Computing : 13th International Workshop, LCPC 2000, Yorktown Heights, NY, USA, August 10-12, 2000 : revised papers

Workshop on Languages and Compilers for Parallel Computing, Midkiff, Samuel P. (Samuel Pratt), 1954-, Moreira, José E., &hellip;

Springer
5 図書 Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX '97, Pont-à-Mousson, France, May 13-16, 1997 : proceedings

TABLEAUX, Galmiche, Didier, 1958-

Springer
11 図書 Automated deduction in geometry : Third International Workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000 : revised papers

International Workshop on Automated Deduction in Geometry, Richter-Gebert, Jürgen, Wang, Dongming

Springer
6 図書 Design and implementation of symbolic computation systems : International Symposium, DISCO '96, Karlsruhe, Germany, September 18-20, 1996 : proceedings

International Symposium on Design and Implementation of Symbolic Computation Systems, Calmet, Jacques, 1941-, &hellip;

Springer
12 図書 Automated deduction in geometry : 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004 : revised papers

International Workshop on Automated Deduction in Geometry, Hong, Hoon, Wang, Dongming

Springer