close
1.

電子ブック
ＥＢ
1. Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency : School/Workshop, Noordwijkerhout, The Netherlands, May 30 - June 3, 1988. 1st ed. 1989
edited by Jacobus W. de Bakker, Willem-Paul de Roever, Grzegorz Rozenberg
出版情報:   X, 718 p.
シリーズ名: Lecture Notes in Computer Science ; 354
所蔵情報: loading…
目次情報:
2.

電子ブック
ＥＢ
2. STACS 88 : 5th Annual Symposium on Theoretical Aspects of Computer Science, Bordeaux, France, February 11-13,1988; Proceedings. 1st ed. 1988
edited by Robert Cori, Martin Wirsing
出版情報:   XII, 408 p.
シリーズ名: 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. Fundamentals of Computation Theory : International Conference FCT '89, Szeged, Hungary, August 21-25, 1989. Proceedings. 1st ed. 1989
edited by Janos Csirik, Ferenc Gecseg, Janos Demetrovics
出版情報:   XIV, 498 p.
シリーズ名: Lecture Notes in Computer Science ; 380
所蔵情報: loading…
目次情報:
4.

電子ブック
ＥＢ
4. P-Functions and Boolean Matrix Factorization : A Unified Approach for Wired, Programmed and Microprogrammed Implementations of Discrete Algorithms. 1st ed. 1984
by A. Thayse
出版情報:   X, 250 p.
シリーズ名: Lecture Notes in Computer Science ; 175
所蔵情報: loading…
目次情報:
5.

電子ブック
ＥＢ
5. LUCAS Associative Array Processor : Design, Programming and Application Studies. 1st ed. 1986
by Christer Fernstrom, Ivan Kruzela, Bertil Svensson
出版情報:   XIV, 326 p.
シリーズ名: Lecture Notes in Computer Science ; 216
所蔵情報: loading…
目次情報:
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼