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

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
著者名:
シリーズ名:
Lecture notes in computer science ; 1536 <BA00009279>
ISBN:
9783540654933 [3540654933]  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 図書 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
7 電子ブック Formal Techniques in Real-Time and Fault-Tolerant Systems : Third International Symposium Organized Jointly with the Working Group Provably Correct Systems — …

Langmaack, Hans, Roever, Willem-Paul, Vytopil, Jan, SpringerLink (Online service)

Springer-Verlag
2 図書 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
8 電子ブック Formal Techniques in Real-Time and Fault-Tolerant Systems : Third International Symposium Organized Jointly with the Working Group Provably Correct Systems - …

Langmaack, Hans., Roever, Willem-Paul de., Vytopil, Jan., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: 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 図書 Euro-Par'97, parallel processing : Third International Euro-Par Conference, Passau, Germany, August 26-29, 1997 : proceedings

International EURO-PAR Conference, Lengauer, Christian, Griebl, Martin, Gorlatch, Sergei

Springer
4 図書 Proof theory in computer science : international seminar, PTCS 2001, Dagstuhl Castle, Germany, October 7-12, 2001 : proceedings

Proof Theory in Computer Science, Kahle, Reinhard, Schroeder-Heister, Peter Joseph, 1953-, Stärk, Robert

Springer
10 図書 Mathematical foundations of computer science 1978 : proceedings, 7th Symposium, Zakopane, Poland, September 4-8, 1978

Symposium on Mathematical Foundations of Computer Science, Winkowski, Józef, 1934-

Springer-Verlag
5 図書 Current trends in concurrency : overviews and tutorials

ESPRIT/LPC Advanced School on Current Trends in Concurrency, Bakker, Jacobus Willem de, 1939-, Roever, W.-P. de, 1943-, &hellip;

Springer-Verlag
11 図書 Parallel computing technologies : Third International Conference, PaCT-95, St. Petersburg, Russia, September 12-25, 1995 : proceedings

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

Springer
6 図書 CONCUR '97 : concurrency theory : 8th International Conference, Warsaw, Poland, July 1-4, 1997 : proceedings

International Conference on Concurrency Theory, Mazurkiewicz, Antoni, Winkowski, Józef, 1934-

Springer
12 図書 Languages and compilers for parallel computing : 8th International Workshop, LCPC '95, Columbus, Ohio, USA, August 10-12, 1995 : proceedings

Workshop on Languages and Compilers for Parallel Computing, Huang, C.- H. (Chua-Huang)

Springer