Relational Methods in Computer Science

フォーマット:
電子ブック
責任表示:
RelMiCS 2001 ; Swart, H. C. M. de
言語:
英語
出版情報:
Springer Berlin Heidelberg, 2002
著者名:
ISBN:
9783540003151 [3540003150]  CiNii Books  Webcat Plus  Google Books
9783540362807 [3540362800]  CiNii Books  Webcat Plus  Google Books
子書誌情報
Loading
オンライン
所蔵情報
Loading availability information
タイトル・著者・出版者が同じ資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 

Harrie de Swart, Swart, H. C. M. de, European Cooperation in the Field of Scientific and Technical Research …

Springer Berlin / Heidelberg

Constanda, C., Constanda, Christian, Nashed, M. Zuhair, Nashed, Z., Rollins, D., Rollins, David

Birkhäuser Boston

TABLEAUX'98, Swart, H. C. M. de

Springer Berlin Heidelberg

TACS 2001, Kobayashi, Naoki, Pierce, Benjamin C.

Springer Berlin Heidelberg

International Seminar on Relational Methods in Computer Science, Berghammer, Rudolf, Möller, Bernhard, Struth, Georg

Springer Berlin / Heidelberg

9 電子ジャーナル Logical methods in computer science

Logical Methods in Computer Science c/o Institut f. Theoretische Informatik, Technische Universität Braunschweig

4 電子ブック Computer Science Logic

CSL 2001, Fribourg, Laurent, European Association for Computer Science Logic.

Springer Berlin Heidelberg

Ehrig

Springer Berlin Heidelberg

5 電子ブック Computer Science Logic

Workshop on Computer Science Logic, Börger, Egon, Jager, G., Kleine B:uning, H., Richter, Michael M.

Springer Berlin Heidelberg

PTCS 2001, Kahle, Reinhard, Schroeder-Heister, Peter Joseph, Stärk, Robert F.

Springer Berlin Heidelberg

James, M. L. (Merlin L.), Smith, G. M. (Gerald M.), Wolford, J. C.

International texbook

12 電子ブック Logic from Computer Science

Chern, S. S.; Kaplansky, I.; Moore, C. C.

Springer New York