close
1.

図書
図書
1. 1986 proceedings Fall Joint Computer Conference, November 2-6, 1986, INFOMART, Dallas, Texas (: pbk. ; microfiche ; case)
sponsored by ACM and Computer Society of the IEEE ; Harold S. Stone, proceedings editor and program chairman ; Stanley Winkler, conference chairman
出版情報: Washington, D.C. : IEEE Computer Society Press, 1986  xxvi, 1248 p. ; 28 cm
所蔵情報: loading…
2.

図書
図書
2. STACS 88 : 5th Annual Symposium on Theoretical Aspects of Computer Science, Bordeaux, France, February 11-13, 1988 : proceedings (: gw ; : us)
R. Cori, M. Wirsing (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1988  ix, 404 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 294
所蔵情報: loading…
目次情報: 続きを見る
Complexity
Formal Languages
Rewriting Systems and Abstract Data Types
Graph Grammars
Distributed Algorithms
Geometrical Algorithms
Trace Languages
Semantics of Parallelism
Systems Demonstrations
Complexity
Formal Languages
Rewriting Systems and Abstract Data Types
3.

図書
図書
3. Technological leverage, a competitive necessity : digest of papers (: pbk. ; : casebound ; : microfiche)
Compcon 85, February 25-28, spring, Thirtieth IEEE Computer Society International Conference, Cathedral Hill Hotel, San Francisco, California ; sponsored by the IEEE Computer Society
出版情報: Los Alamitos, CA : IEEE Computer Society Press, c1985  xv, 434 p. ; 28 cm
所蔵情報: loading…
4.

図書
図書
4. The First International Conference on Computers and Applications, Beijing, China, June 20-22, 1984 (pbk. ; hard ; microfiche)
co-sponsored by CIE Computer Society, IEEE Computer Society
出版情報: Silver Spring, MD : IEEE Computer Society Press, c1984  xiv, 905 p. ; 28 cm
所蔵情報: loading…
5.

図書
図書
5. Computer technology : status, limits, alternatives : digest of papers : Compcon spring 78, Sixteenth IEEE Computer Society International Conference, Jack Tar Hotel, San Francisco, California, February 28-March 3
Compcon ; IEEE Computer Society
出版情報: New York : Institute of Electrical and Electronics Engineers , Long Beach, Calif. : Available from IEEE Computer Society, c1978  xvii, 367 p. ; 28 cm
所蔵情報: loading…
6.

図書
図書
6. Intellectual leverage the driving technologies : digest of papers, Compcon Spring 84, February 27-March 1, twenty-eighth IEEE Computer Society International Conference, Meridien Hotel, San Francisco, California (: pbk)
sponsored by the IEEE Computer Society
出版情報: Los Alamitos, CA : IEEE Computer Society Press , Los Angeles, CA : Order from IEEE Computer Society, c1984  xxvi, 522 p. ; 28 cm
所蔵情報: loading…
7.

図書
図書
7. Digest of papers : Compcon Spring 87, February 23-27, Thirty-second IEEE Computer Society International Conference, Cathedral Hill Hotel, San Francisco, California : intellectual leverage (pbk. ; microfiche)
Compcon ; IEEE Computer Society
出版情報: Washington, D.C. : IEEE Computer Society Press , Los Angeles, Calif. : Order from IEEE Computer Society, c1987  xvi, 470 p. ; 28 cm
所蔵情報: loading…
8.

図書
図書
8. Digest of papers : Compcon Spring 88, February 29-March 4, 1988, Thirty-third IEEE Computer Society International Conference, Cathedral Hill Hotel, San Francisco, California : intellectual leverage
Compcon ; IEEE Computer Society
出版情報: Washington, D.C. : IEEE Computer Society Press, c1988  xvi, 549 p. ; 28 cm
所蔵情報: loading…
9.

図書
図書
9. Exploring technology : today and tomorrow : proceedings : 1987 Fall Joint Computer Conference, October 25-29, 1987, INFORMART, Dallas, Texas (: pbk ; : case ; : microfiche)
co-sponsored by the Association for Computing Machinery and the Computer Society of the IEEE and hosted by INFOMART
出版情報: Washington, D.C. : Computer Society Press of the IEEE, c1987  xxii, 763 p. ; 28 cm
所蔵情報: loading…
10.

図書
図書
10. Logical foundations of computer science : 4th International Symposium, LFCS '97, Yaroslavl, Russia, July 6-12, 1997 : proceedings
Sergei Adian, Anil Nerode, (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1997  ix, 429 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1234
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼