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

Algebra of communicating processes : proceedings of ACP94, the First Workshop on the Algebra of Communicating Processes, Utrecht, the Netherlands, 16-17 May 1994

種類:
図書
責任表示:
A. Ponse, C. Verhoef, and S.F.M. van Vlijmen (eds)
出版情報:
London ; New York : Springer-Verlag, c1995
著者名:
シリーズ名:
Workshops in computing <BA10637121>
ISBN:
9780387199092 [0387199098] (: us)  CiNii Books  Calil
9783540199090 [3540199098] (: gw)  CiNii Books  Calil
注記:
"Published in collaboration with the British Computer Society."
Includes bibliographical references and index
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Parallel computer routing and communication : First International Workshop, PCRCW '94, Seattle, Washington, USA, May 16-18, 1994 : proceedings

PCRCW, Snyder, Lawrence, Bolding, Kevin, 1966-

Springer-Verlag
7 図書 Analysis, algebra, and computers in mathematical research : proceedings of the twenty-first Nordic Congress of Mathematicians

Nordic Congress of Mathematicians, Gyllenberg, Mats, 1955-, Persson, Lars Erik, 1944-

M. Dekker
2 図書 Formal methods for real-time and probabilistic systems : 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999 : proceedings

International AMAST Workshop, Katoen, Joost-Pieter

Springer
8 図書 Parallel problem solving from nature : 1st workshop, PPSN 1, Dortmund, FRG, October 1-3, 1990 : proceedings

Schwefel, Hans-Paul, Männer, Reinhard

Springer-Verlag
3 図書 Modal logic and process algebra : a bisimulation perspective

Ponse, A. (Alban), 1955-, Rijke, Maarten de, Venema, Yde, 1963-

Center for the Study of Language and Information
9 図書 Real-time : theory in practice : REX workshop, Mook, The Netherlands, June 3-7, 1991 : proceedings

REX Workshop, Bakker, Jacobus Willem de, 1939-

Springer-Verlag
4 図書 Higher-order algebra, logic, and term rewriting : first International Workshop, HOA '93, Amsterdam, The Netherlands, September 23-24, 1993 : selected papers

International Workshop on Higher-Order Algebra, Logic, and Term Rewriting, Heering, J

Springer-Verlag
10 図書 Job scheduling strategies for parallel processing : IPPS '96 Workshop, Honolulu, Hawaii, April 16, 1996 : proceedings

International Parallel Processing Symposium, Feitelson, Dror G., Rudolph, Larry

Springer
5 図書 Proceedings of the Third Workshop on Parallel and Distributed Real-Time Systems : April 25, 1995, Santa Barbara, California

Workshop on Parallel and Distributed Real-Time Systems (3rd : 1995 : Santa Barbara, Calif.), IEEE International Parallel &hellip;

IEEE Computer Society Press
11 図書 Parallel and distributed processing '91 : proceedings of the Third Workshop on Parallel and Distributed Processing (WP&DP'91), Sofia, Bulgaria, 16-19 April, …

Workshop on Parallel and Distributed Processing (3rd : 1991 : Sofia, Bulgaria),, Boi︠a︡nov, Kiril L.

North-Holland, Distributors for the United States and Canada, Elsevier Science Pub. Co.
6 図書 Computer algebra and parallelism : second international workshop, Ithaca, USA, May 9-11, 1990 : proceedings

Zippel, R. E. (Richard E.), 1952-, Workshop on Computer Algebra and Parallelism

Springer-Verlag
12 図書 Parcella '88 : Fourth International Workshop on Parallel Processing by Cellular Automata and Arrays, Berlin, GDR, October 17-21, 1988 : proceedings

International Workshop on Parallel Processing by Cellular Automata and Arrays, Wolf, Gottfried, Legendi, Tamás, &hellip;

Springer-Verlag