検索結果 4 件

図書
Springer-Verlag
全国の図書館
  • 目次・記事Nonsequential proc......net view Equations and initial s......s Multi-dimensional searching and computational geometry Gra...... nets : basic concepts, analysis......f programs Rational series and t......e of the relational database model Iteration theories : the equational logic of ite......ule specifications and constraints Semiri......ing Specification and analysis of concurrent systems......al algebra for computer scientists Confluent string r......earching Relations and graphs : ......athematics for computer scientists Com......: an introduction Kolmogorov com......y and computational complexity Regulated rewrit...
  • 関連情報Nonsequential proc......net view Equations and initial s......s Multi-dimensional searching and computational geometry Gra...... nets : basic concepts, analysis......f programs Rational series and t......e of the relational database model Iteration theories : the equational logic of ite......ule specifications and constraints Semiri......ing Specification and analysis of concurrent systems......al algebra for computer scientists Confluent string r......earching Relations and graphs : ......athematics for computer scientists Com......: an introduction Kolmogorov com......y and computational complexity Regulated rewrit...

検索結果は以上です。