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

CONCUR 2003 - concurrency theory : 14th International Conference, Marseille, France, September 3-5, 2003 : proceedings

種類:
図書
責任表示:
Roberto Amadio, Denis Lugiez (eds.)
出版情報:
Berlin ; Tokyo : Springer, c2003
著者名:
シリーズ名:
Lecture notes in computer science ; 2761 <BA00009279>
ISBN:
9783540407539 [3540407537]  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 図書 CONCUR 2004 - concurrency theory : 15th International Conference, London, UK, August 31-September 3, 2004 : proceedings

International Conference on Concurrency Theory, Gardner, Philippa, Yoshida, Nobuko

Springer
7 図書 Mathematics of program construction : 5th International Conference, MPC 2000, Ponte de Lima, Portugal, July 3-5, 2000 : proceedings

International Conference on Mathematics of Program Construction, Backhouse, Roland C., 1948-, Oliveira, José Nuno

Springer
2 図書 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
8 図書 Parallel problem solving from nature-PPSN V : 5th International Conference, Amsterdam, The Netherlands, September 27-30, 1998 : proceedings

Eiben, Agoston E., Conference on Parallel Problem Solving from Nature

Springer
3 図書 Foundations of software science and computation structures : 5th International Conference, FOSSACS 2002, held as part of the Joint European Conferences on …

FOSSACS, Nielsen, M. (Mogens), 1949-, Engberg, Uffe, European Conferences on Theory and Practice of Software

Springer
9 図書 Compiler construction : 11th International Conference, CC 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, …

International Workshop on Compiler Construction, Horspool, R. Nigel, 1948-, European Conferences on Theory and Practice &hellip;

Springer
4 図書 Theorem proving in higher order logics : 12th International Conference, TPHOLs '99, Nice, France, September 14-17, 1999 : proceedings

International Conference on Theorem Proving in Higher Order Logics, Bertot, Yves

Springer
10 図書 Computer science logic : 13th International Workshop, CSL '99, 8th Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999 : proceedings

International Workshops on Computer Science Logic, Conference of European Association for Computer Science Logic, Flum, &hellip;

Springer
5 図書 CONCUR '98 : concurrency theory : 9th International Conference, Nice, France, September 1998 : proceedings

International Conference on Concurrency Theory, Sangiorgi, Davide, Simone, Robert de

Springer
11 図書 Public key cryptography - PKC 2010 : 13th International Conference on Practice and Theory in Public Key Cryptography, Paris, France, May 26-28, 2010 ; …

International Workshop on Practice and Theory in Public Key Cryptography, Nguyen, Phong Q., Pointcheval, David

Springer
6 図書 Parallel computing technologies : 6th International Conference, PaCT-2001, Novosibirsk, Russia, September 3-7, 2001 : proceedings

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

Springer
12 図書 CONCUR '94: Concurrency theory : 5th International Conference, Uppsala, Sweden, August 22-25, 1994, proceedings

International Conference on Concurrency Theory, Jonsson, Bengt, 1957-, Parrow, Joachim, 1956-

Springer-Verlag