CONCUR 2003 - concurrency theory : 14th International Conference, Marseille, France, September 3-5, 2003 : proceedings | 東京科学大学図書館　蔵書検索（大岡山図書館、すずかけ台図書館）

>> Google Books

所蔵情報QRコード

CONCUR 2003 - concurrency theory : 14th International Conference, Marseille, France, September 3-5, 2003 : proceedings / Roberto Amadio, Denis Lugiez (eds.)

資料種別:

図書

出版情報:

Berlin ; Tokyo : Springer, c2003

形態:

xi, 524 p. ; 24 cm

シリーズ名:

Lecture notes in computer science ; 2761 <BA00009279>

著者名:

ISBN:

9783540407539 [3540407537]

書誌ID:

BA63627862

子書誌情報

フルテキスト

Loading contents information

所蔵情報

Loading availability information

他の版・巻

書誌詳細

注記:	Includes bibliographical references and index
主題:	器械計算．計算器
言語:	英語

ブックレビュー

Loading review information

類似資料:

1 電子ブック CONCUR 2003 - Concurrency Theory : 14th International Conference, Marseille, France, September 3-5, 2003, Proceedings Amadio, Roberto., Lugiez, Denis., SpringerLink (Online service) Springer Berlin Heidelberg	7 図書 Database and expert systems applications : 14th International Conference, DEXA 2003, Prague, Czech Republic, September 1-5, 2003 : proceedings Database and Expert Systems Applications Conference, Mařík, Vladimír, Retschitzegger, Werner, Štěpánková, O. (Olga) Springer
2 電子ブック CONCUR 2003 - Concurrency Theory International Conference on Concurrency Theory, Amadio, Roberto M., Lugiez, Denis SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	8 図書 Implementation and application of automata : 7th International Conference, CIAA 2002, Tours, France, July 3-5, 2002 : revised papers International Conference on Implementation and Application of Automata, Champarnaud, Jean-Marc, Maurel, Denis Springer
3 図書 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	9 図書 Knowledge-based intelligent information and engineering systems : 7th International Conference, KES 2003, Oxford, UK, September 3-5, 2003 : proceedings (pt. 1 ; pt. 2) International Conference on Knowledge-Based Intelligent Information and Engineering Systems, Palade, Vasile, 1964-, … Springer
4 図書 CONCUR 2006 - concurrency theory : 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006, proceedings International Conference on Concurrency Theory, Baier, Christel, Hermanns, Holger, 1967- Springer	10 図書 Security and Cryptography for Networks : 5th International Conference, SCN 2006, Maiori, Italy, September 6-8, 2006 : proceedings SCN, De Prisco, Roberto, 1968-, Yung, Moti Springer
5 図書 Business process management : 3rd International Conference, BPM 2005, Nancy, France, September 5-8, 2005 : proceedings International Conference on Business Process Management, Van der Aalst, Wil M. P., Benatallah, Boualem, Casati, Fabio, … Springer	11 図書 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
6 図書 Data warehousing and knowledge discovery : 5th International Conference, DaWaK 2003, Prague, Czech Republic, September 3-5, 2003 : proceedings International Conference on Data Warehousing and Knowledge Discovery, 上林, 弥彦, Mohania, Mukesh, Wöß, Wolfram Springer	12 図書 Artificial evolution : 6th International Conference, Evolution Artificielle, EA 2003, Marseille, France, October 27-30, 2003 : revised selected papers International Conference, EA, Liardet, Pierre Springer

1

2

3

4

5

6

7

8

9

10

11

12