close
1.

図書
図書
1. Foundations of software technology and theoretical computer science : eighth conference, Pune, India, December 21-23, 1988 : proceedings (: gw ; : us)
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.
2.

図書
図書
2. Foundations of software technology and theoretical computer science : Seventh Conference, Pune, India, December 17-19, 1987, proceedings (: gw ; : us)
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
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼