1.
図書 |
Compcon ; IEEE Computer Society
|
|||||||||||||||||||||
2.
図書 |
COMPSAC ; IEEE Computer Society
|
|||||||||||||||||||||
3.
図書 |
COMPSAC ; IEEE Computer Society
|
|||||||||||||||||||||
4.
図書 |
COMPSAC ; IEEE Computer Society
|
|||||||||||||||||||||
5.
図書 |
edited by Eiichi Goto ... [et al.]
|
|||||||||||||||||||||
6.
図書 |
edited by Jeffrey M. Tobias
|
|||||||||||||||||||||
7.
図書 |
edited by B. Robinet
|
|||||||||||||||||||||
8.
図書 |
edited by M. Dezani-Ciancaglini and U. Montanari
|
|||||||||||||||||||||
9.
図書 |
edited by M. Paul and B. Robinet
|
|||||||||||||||||||||
10.
図書 |
edited by J. Díaz and I. Ramos
|
|||||||||||||||||||||
11.
図書 |
edited by D. Bjørner
|
|||||||||||||||||||||
12.
図書 |
edited by P.C. Messina and A. Murli
|
|||||||||||||||||||||
13.
図書 |
edited by Dexter Kozen
|
|||||||||||||||||||||
14.
図書 |
edited by Edmund Clarke and Dexter Kozen
|
|||||||||||||||||||||
15.
図書 |
edited by Martin Wirsing
|
|||||||||||||||||||||
16.
図書 |
sponsored by the Computer Society of the IEEE Technical Committee on Mathematical Foundations of Computing in cooperation with ACM SIGACT, Association for Symbolic Logic, European Association for Theoretical Computer Science
|
|||||||||||||||||||||
17.
図書 |
H. Ganzinger (ed.)
目次情報:
続きを見る
|
|||||||||||||||||||||
18.
図書 |
sponsored by the Association for Computing Machinery Special Interest Group on Automata and Computability Theory, with the cooperation of the IEEE Computer Society Technical Committee on Mathematical Foundations of Computing and Computer Science Department, University of California, Los Angeles, California
|
|||||||||||||||||||||
19.
図書 |
sponsored by the Association for Computing Machinery, Special Interest Group on Automata and Computability Theory, with the cooperation of the IEEE Computer Society Technical Committee on Mathematical Foundations of Computing and Department of Electrical Engineering and Computer Science, University of Wisconsin, Milwaukee, Wisconsin
|
|||||||||||||||||||||
20.
図書 |
COMPSAC ; IEEE Computer Society
|
|||||||||||||||||||||
21.
図書 |
edited by David S. Johnson ... [et al.]
|
|||||||||||||||||||||
22.
図書 |
|
|||||||||||||||||||||
23.
図書 |
edited by A. Salwicki
|
|||||||||||||||||||||
24.
図書 |
sponsored by the IEEE Computer Society, Technical Committee on Computer Architecture in cooperation with The University of Illinois
|
|||||||||||||||||||||
25.
図書 |
sponsored by the IEEE Computer Society, Technical Committee on Computer Architecture in cooperation with the University of Michigan
|
|||||||||||||||||||||
26.
図書 |
sponsored by the ACM Special Interest Group for Automata and Computability Theory
|
|||||||||||||||||||||
27.
図書 |
edited by Veronica Dahl and Patrick Saint-Dizier
|
|||||||||||||||||||||
28.
図書 |
editor, J. Teller
|
|||||||||||||||||||||
29.
図書 |
edited by Dines Bjørner
|
|||||||||||||||||||||
30.
図書 |
sponsored by the Association for Computing Machinery, Special Interest Group on Automata and Computability Theory [and] Special Interest Group on Programming Languages
|
|||||||||||||||||||||
31.
図書 |
edited by Alan W. Biermann and Gérard Guiho
|
|||||||||||||||||||||
32.
図書 |
sponsored by IEEE Computer Society, Technical Committee on Computer Architecture, Technical Committee on VLSI, in cooperation with Computer Science Department, University of California at Los Angeles and IFIP Working Group 2.5 ; editors, Miloš D. Ercegovac, Earl Swartzlander
|
|||||||||||||||||||||
33.
図書 |
J.L.A. van de Snepscheut (ed.)
|
|||||||||||||||||||||
34.
図書 |
sponsored by the IEEE Computer Society Technical Committee on Mathematical Foundations of Computing in cooperation with ACM SIGACT, Association for Symbolic Logic, European Association for Theoretical Computer Science
|
|||||||||||||||||||||
35.
図書 |
sponsored by the IEEE Computer Society, Technical Committee on Computer Architecture in cooperation with Aarhus University
|
|||||||||||||||||||||
36.
図書 |
K.V. Nori, S. Kumar (eds.)
目次情報:
続きを見る
|
|||||||||||||||||||||
37.
図書 |
sponsored by the Computer Society's Technical Committee on Mathematical Foundations of Computing
|
|||||||||||||||||||||
38.
図書 |
N. Dershowitz (ed.)
|
|||||||||||||||||||||
39.
図書 |
[sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing]
|
|||||||||||||||||||||
40.
図書 |
D.H. Pitt ... [et al.] (eds.)
|
|||||||||||||||||||||
41.
図書 |
sponsored by the Computer Society, Computer Languages Technical Committee
|
|||||||||||||||||||||
42.
図書 |
sponsored by the Association for Computing Machinery, SIGPLAN, SIGACT, SIGART
|
|||||||||||||||||||||
43.
図書 |
directed by J.E. Bresenham, R.A. Earnshaw, and M.L.V. Pitteway ; edited by R.A. Earnshaw ; co-sponsored by Cambridge Interactive Systems Ltd. ... [et al.]
|
|||||||||||||||||||||
44.
図書 |
Kesav V. Nori (ed.)
目次情報:
続きを見る
|
|||||||||||||||||||||
45.
図書 |
edited by P. Dembiński
|
|||||||||||||||||||||
46.
図書 |
edited by Eric Johnson
|
|||||||||||||||||||||
47.
図書 |
edited by Eric Johnson
|
|||||||||||||||||||||
48.
図書 |
organised by the Institut national de recherche d'informatique et d'automatique (INRIA) ; edited by B. Ford, J.C. Rault, F. Thomasset
|
|||||||||||||||||||||
49.
図書 |
edited by K. Fuchi, M. Nivat
|
|||||||||||||||||||||
50.
図書 |
edited by G. Ferrate and E.A. Puente
|
文献の複写および貸借の依頼を行う
文献複写・貸借依頼
文献複写・貸借依頼