close
1.

電子ブック

EB
Hugh Richard Slotten, editor in chief
出版情報: [Oxford] : Oxford University Press, 2015  1 online resource
所蔵情報: loading…
2.

電子ブック

EB
Richard N. Porter
出版情報: [Singapore] : World Scientific, [202-]  1 online resource (xv, 284 p.)
所蔵情報: loading…
3.

電子ブック

EB
edited by R. E. Shostak
出版情報:   VIII, 509 p.
シリーズ名: Lecture Notes in Computer Science ; 170
所蔵情報: loading…
目次情報:
4.

電子ブック

EB
edited by John H. Reif
出版情報:   XII, 480 p.
シリーズ名: Lecture Notes in Computer Science ; 319
所蔵情報: loading…
目次情報: 続きを見る
Corfu, Greece, June 28 - July 1 / 88:
Proceedings / 1988:
Parallel Set and Graph Algorithms
NC Algorithms
Parallel Tree Contraction
Simulation and Embedding of Parallel Networks
Compaction and Channel Routing
VLSI Layout
VLSI Testing and Derivation
Distributed Computing
Parallel Routing and Sorting
Late Paper
Corfu, Greece, June 28 - July 1 / 88:
Proceedings / 1988:
Parallel Set and Graph Algorithms
5.

電子ブック

EB
by Bruce R. Donald
出版情報:   XXIV, 315 p. 94 illus.
シリーズ名: Lecture Notes in Computer Science ; 336
所蔵情報: loading…
目次情報:
6.

電子ブック

EB
edited by Pierre Deransart, Bernard Lorho, Jan Maluszynski
出版情報:   VIII, 308 p.
シリーズ名: Lecture Notes in Computer Science ; 348
所蔵情報: loading…
目次情報: 続きを見る
Contents: Functional Programming and Logic Programming.
Abstract Interpretation in Logic Programming.
Logic Programming in Compiler Writing.
Grammars.
Attribute Grammars and Logic Programming.
Attribute Grammars in Logic Programming.
Logic Programming for Programming Environments.
Contents: Functional Programming and Logic Programming.
Abstract Interpretation in Logic Programming.
Logic Programming in Compiler Writing.
7.

電子ブック

EB
by Wolfgang Bibel, A.W. Biermann, J.P. Delgrande, G. Huet, Philippe Jorrand, J. Mylopoulos, E. Shapiro, M.E. Stickel ; edited by Wolfgang Bibel, Philippe Jorrand
出版情報:   VII, 314 p.
シリーズ名: Lecture Notes in Computer Science ; 232
所蔵情報: loading…
目次情報:
8.

電子ブック

EB
edited by M. Joseph, R. Shyamasundar
出版情報:   X, 470 p.
シリーズ名: Lecture Notes in Computer Science ; 181
所蔵情報: loading…
目次情報:
9.

電子ブック

EB
edited by Giorgio Ausiello, Mariangiola Dezani-Ciancaglini, Simonetta Ronchi Della Rocca
出版情報:   XIV, 790 p.
シリーズ名: Lecture Notes in Computer Science ; 372
所蔵情報: loading…
目次情報:
10.

電子ブック

EB
edited by James H. Davenport
出版情報:   VIII, 500 p.
シリーズ名: Lecture Notes in Computer Science ; 378
所蔵情報: loading…
目次情報:
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼