close
1.

図書

図書
Compcon ; IEEE Computer Society
出版情報: New York, N.Y. : Institute of Electrical and Electronics Engineers, c1981  xi, 362 p. ; 28 cm
所蔵情報: loading…
2.

図書

図書
COMPSAC ; IEEE Computer Society
出版情報: Los Alamitos, CA : IEEE Computer Society Press, c1981  xviii, 446 p. ; 28 cm
所蔵情報: loading…
3.

図書

図書
COMPSAC ; IEEE Computer Society
出版情報: Silver Spring, MD : IEEE Computer Society Press, c1982  xix, 692 p. ; 28 cm
所蔵情報: loading…
4.

図書

図書
COMPSAC ; IEEE Computer Society
出版情報: Silver Spring, MD : IEEE Computer Society Press, c1984  550 p. ; 28 cm
所蔵情報: loading…
5.

図書

図書
edited by Eiichi Goto ... [et al.]
出版情報: Berlin ; New York : Springer-Verlag, 1983  232 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 147
所蔵情報: loading…
6.

図書

図書
edited by Jeffrey M. Tobias
出版情報: Berlin ; New York : Springer-Verlag, 1980  255 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 79
所蔵情報: loading…
7.

図書

図書
edited by B. Robinet
出版情報: Berlin : Springer-Verlag, 1980  vii, 341 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 83
所蔵情報: loading…
8.

図書

図書
edited by M. Dezani-Ciancaglini and U. Montanari
出版情報: Berlin : Springer-Verlag, 1982  vi, 406 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 137
所蔵情報: loading…
9.

図書

図書
edited by M. Paul and B. Robinet
出版情報: Berlin ; Tokyo : Springer-Verlag, 1984  vi, 262 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 167
所蔵情報: loading…
10.

図書

図書
edited by J. Díaz and I. Ramos
出版情報: Berlin ; New York : Springer-Verlag, 1981  vii, 478 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 107
所蔵情報: loading…
11.

図書

図書
edited by D. Bjørner
出版情報: Berlin ; New York : Springer-Verlag, 1980  xi, 566 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 86
所蔵情報: loading…
12.

図書

図書
edited by P.C. Messina and A. Murli
出版情報: Berlin : Springer-Verlag, 1982  271 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 142
所蔵情報: loading…
13.

図書

図書
edited by Dexter Kozen
出版情報: Berlin : Springer-Verlag, 1982  vi, 429 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 131
所蔵情報: loading…
14.

図書

図書
edited by Edmund Clarke and Dexter Kozen
出版情報: Berlin ; Tokyo : Springer-Verlag, 1984  vi, 527 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 164
所蔵情報: loading…
15.

図書

図書
edited by Martin Wirsing
出版情報: Amsterdam ; Tokyo : North-Holland Pub. Co., 1987  xii, 453 p. ; 24 cm
所蔵情報: loading…
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
出版情報: Washington, D.C. : Computer Society Press of the IEEE , Los Angeles, CA : Order from Computer Society of the IEEE, c1987  xi, 361 p. ; 28 cm
所蔵情報: loading…
17.

図書

図書
H. Ganzinger (ed.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1988  vi, 379 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 300
所蔵情報: loading…
目次情報: 続きを見る
Program Development and Verification
Algebraic Specification and Type Concepts
Language Concepts
Implementation of Programming Languages
Systems Exhibition
Author Index
Program Development and Verification
Algebraic Specification and Type Concepts
Language Concepts
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
出版情報: New York, N.Y. : ACM, c1980  447 p. ; 28 cm
所蔵情報: loading…
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
出版情報: New York, N.Y. : ACM, c1981  v, 391 p. ; 28 cm
所蔵情報: loading…
20.

図書

図書
COMPSAC ; IEEE Computer Society
出版情報: Washington, D.C. : IEEE Computer Society, c1985  xxi, 528 p. ; 28 cm
所蔵情報: loading…
21.

図書

図書
edited by David S. Johnson ... [et al.]
出版情報: Boston : Tokyo : Academic Press, c1987  xi, 483 p. ; 24 cm
シリーズ名: Perspectives in computing ; v. 15
所蔵情報: loading…
22.

図書

図書
出版情報: Amsterdam ; Tokyo : North-Holland , New York, N.Y., U.S.A. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1985-  v. ; 24 cm
所蔵情報: loading…
23.

図書

図書
edited by A. Salwicki
出版情報: Berlin : Springer-Verlag, 1983  vi, 324 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 148
所蔵情報: loading…
24.

図書

図書
sponsored by the IEEE Computer Society, Technical Committee on Computer Architecture in cooperation with The University of Illinois
出版情報: Silver Spring, MD : IEEE Computer Society Press, c1985  xi, 343 p. ; 28 cm
所蔵情報: loading…
25.

図書

図書
sponsored by the IEEE Computer Society, Technical Committee on Computer Architecture in cooperation with the University of Michigan
出版情報: Silver Spring, MD : IEEE Computer Society Press, c1981  vii, 278 p. ; 28 cm
所蔵情報: loading…
26.

図書

図書
sponsored by the ACM Special Interest Group for Automata and Computability Theory
出版情報: New York, N.Y. : Association for Computing Machinery , Baltimore, MD : Additional copies may be orderd from ACM Order Dept., c1986  v, 461 p. ; 28 cm
所蔵情報: loading…
27.

図書

図書
edited by Veronica Dahl and Patrick Saint-Dizier
出版情報: Amsterdam ; New York : North-Holand , New York, N.Y., U.S.A. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1985  xi, 243 p. ; 23 cm.
シリーズ名: Natural language understanding and logic programming ; [1]
所蔵情報: loading…
28.

図書

図書
editor, J. Teller
出版情報: Cambridge ; New York, N.Y. : Cambridge University Press, 1984  xi, 313p. , 24cm.
シリーズ名: The Ada companion series
所蔵情報: loading…
29.

図書

図書
edited by Dines Bjørner
出版情報: Amsterdam ; New York : North-Holland Pub. Co., 1983  xii, 455 p. ; 23 cm
所蔵情報: loading…
30.

図書

図書
sponsored by the Association for Computing Machinery, Special Interest Group on Automata and Computability Theory [and] Special Interest Group on Programming Languages
出版情報: Baltimore : ACM, c1981  230 p. ; 28 cm
所蔵情報: loading…
31.

図書

図書
edited by Alan W. Biermann and Gérard Guiho
出版情報: Dordrecht, Holland ; Boston, U.S.A. : D. Reidel Pub. Co. , Hingham, MA : Distributed in the U.S.A. and Canada by Kluwer Boston Inc., c1983  ix, 374 p. ; 25 cm
シリーズ名: NATO advanced study institutes series ; ser. C . Mathematical and physical sciences ; v. 95
所蔵情報: loading…
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
出版情報: Washington, D.C. ; Tokyo : IEEE Computer Society Press, c1989  xv, 247 p. ; 28 cm
所蔵情報: loading…
33.

図書

図書
J.L.A. van de Snepscheut (ed.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1989  vi, 420 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 375
所蔵情報: loading…
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
出版情報: Washington, D.C. : IEEE Computer Society Press , Los Angeles, CA : Order from IEEE Computer Society, c1986  xi, 383 p. ; 28 cm
所蔵情報: loading…
35.

図書

図書
sponsored by the IEEE Computer Society, Technical Committee on Computer Architecture in cooperation with Aarhus University
出版情報: Silver Spring, MD : IEEE Computer Society Press, c1983  xi, 221 p. ; 28 cm
所蔵情報: loading…
36.

図書

図書
K.V. Nori, S. Kumar (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1988  ix, 519 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 338
所蔵情報: loading…
目次情報: 続きを見る
Contents: Invited Talk: Planar Point Location Revisited (A Guided Tour of a Decade of Research).
Algorithms.
Parallel Algorithms.
Invited Talk: Minimal Ascending and Descending Tree Automata.
Complexity.
Invited Talk: A Natural Deduction Treatment of Operational Semantics.
Semantics.
Invited Talk: GHC - A Language For a New Age of Parallel Programming.
Logic Programming and Theorem Proving.
Databases and Knowledgebases.
Index.
Contents: Invited Talk: Planar Point Location Revisited (A Guided Tour of a Decade of Research).
Algorithms.
Parallel Algorithms.
37.

図書

図書
sponsored by the Computer Society's Technical Committee on Mathematical Foundations of Computing
出版情報: Washington, D.C. : Computer Society Press , Los Angeles, CA : Ordered from Computer Society, c1988  xi, 436 p. ; 28 cm
所蔵情報: loading…
38.

図書

図書
N. Dershowitz (ed.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1989  vii, 579 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 355
所蔵情報: loading…
39.

図書

図書
[sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing]
出版情報: Washington, D.C. ; Tokyo : IEEE Computer Society Press, c1989  xvi, 402 p. ; 28 cm
所蔵情報: loading…
40.

図書

図書
D.H. Pitt ... [et al.] (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1989  vi, 365 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 389
所蔵情報: loading…
41.

図書

図書
sponsored by the Computer Society, Computer Languages Technical Committee
出版情報: Washington, D.C. : IEEE Computer Society Press, c1988  xv, 446 p. ; 28 cm
所蔵情報: loading…
42.

図書

図書
sponsored by the Association for Computing Machinery, SIGPLAN, SIGACT, SIGART
出版情報: New York, N.Y. : Association for Computing Machinery, c1984  x, 362 p. ; 28 cm
所蔵情報: loading…
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.]
出版情報: Berlin ; Tokyo : Springer-Verlag, c1985  xvi, 1042 p. ; 25 cm
シリーズ名: NATO ASI series ; ser. F . Computer and systems sciences ; v. 17
所蔵情報: loading…
44.

図書

図書
Kesav V. Nori (ed.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1987  ix, 539 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 287
所蔵情報: loading…
目次情報: 続きを見る
Graph Algorithms & Geometric Algorithms
Distributed Computing
Parallel Algorithms
Database Theory
Logic Programming
Programming Methodology
Theory of Algorithms
Software Technology
Index of Authors
Graph Algorithms & Geometric Algorithms
Distributed Computing
Parallel Algorithms
45.

図書

図書
edited by P. Dembiński
出版情報: Berlin ; New York : Springer-Verlag, 1980  viii, 723 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 88
所蔵情報: loading…
46.

図書

図書
edited by Eric Johnson
出版情報: Madison, S.D. (114 Beadle Hall, Dakota State University, Madison 57042-1799) : Dakota State University, 1989  vii, 390 p. ; 23 cm
所蔵情報: loading…
47.

図書

図書
edited by Eric Johnson
出版情報: Madison, S.D. : Dakota State College, 1988  259 p. ; 23 cm
所蔵情報: loading…
48.

図書

図書
organised by the Institut national de recherche d'informatique et d'automatique (INRIA) ; edited by B. Ford, J.C. Rault, F. Thomasset
出版情報: Amsterdam ; New York : North-Holland , New York, N.Y. : Distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1984  xvi, 458 p. ; 23 cm
所蔵情報: loading…
49.

図書

図書
edited by K. Fuchi, M. Nivat
出版情報: Amsterdam ; Tokyo : North-Holland, 1988  2 v. ; 25 cm
所蔵情報: loading…
50.

図書

図書
edited by G. Ferrate and E.A. Puente
出版情報: Oxford ; New York : Published for the International Federation of Automatic Control by Pergamon Press, 1983  xii, 528 p. ; 31 cm
シリーズ名: IFAC proceedings series
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼