各号一覧

タイトル情報

概要

Information and computation
AB:Inf. comput. KT:Information and computation
Academic Press
貸出禁止

詳細

和洋区分
洋雑誌
所蔵巻号次 80-95,108-115
所蔵通年次 1989-1994
継続区分
停止
発行頻度
月刊
注記 Title from cover INFCEC CF:Information and control
ISSN 08905401
NACSIS書誌ID AA1067013X
雑誌コード Z0001100

各号一覧

各号50 冊
表示切替
一覧で表示
  • 31
    各号 - 巻号

    Vol.88 No.1 (302)

    各号 - 年月次
    Sptember 1990
    各号 - 特集記事
    Rounds versus Time for the Two Person Pebble Game
    各号 - 保管場所コード
    地下雑誌
    登録番号
    S0076689
  • 32
    各号 - 巻号

    Vol.87 No.1/2 (301)

    各号 - 年月次
    July/August 1990
    各号 - 特集記事
    A Compositional Proof System on a Category of Labelled Transition Systems
    各号 - 保管場所コード
    地下雑誌
    登録番号
    S0076688
  • 33
    各号 - 巻号

    Vol.86 No.2 (300)

    各号 - 年月次
    June 1990
    各号 - 特集記事
    Stability and Computability in Coherent Domains
    各号 - 保管場所コード
    地下雑誌
    登録番号
    S0076687
  • 34
    各号 - 巻号

    Vol.86 No.1 (299)

    各号 - 年月次
    May 1990
    各号 - 特集記事
    On Numerical Methods of Calulating the Capacity of Continuous Input Discrete-Output Memoryless Channels
    各号 - 保管場所コード
    地下雑誌
    登録番号
    S0076686
  • 35
    各号 - 巻号

    Vol.85 No.2 (298)

    各号 - 年月次
    April 1990
    各号 - 特集記事
    Semantical Analysis of Specification Logic
    各号 - 保管場所コード
    地下雑誌
    登録番号
    S0076684
  • 36
    各号 - 巻号

    Vol.85 No.1 (297)

    各号 - 年月次
    March 1990
    各号 - 特集記事
    Prudence and Other Cinditions on Farmal Language Learning
    各号 - 保管場所コード
    地下雑誌
    登録番号
    S0076685
  • 37
    各号 - 巻号

    Vol.84 No.2 (296)

    各号 - 年月次
    February 1990
    各号 - 特集記事
    Proving Total Correctness of Recursive Procedures
    各号 - 保管場所コード
    地下雑誌
    登録番号
    S0076683
  • 38
    各号 - 巻号

    Vol.84 No.1 (295)

    各号 - 年月次
    Junuary 1990
    各号 - 特集記事
    The Banker's Problem with Precednces
    各号 - 保管場所コード
    地下雑誌
    登録番号
    S0076682
  • 39
    各号 - 巻号

    Vol.83 No.3 (294)

    各号 - 年月次
    December 1989
    各号 - 特集記事
    Reasoning about Procedures as Parameters in the Language L4
    各号 - 保管場所コード
    地下雑誌
    登録番号
    S0076681
  • 40
    各号 - 巻号

    Vol.83 No.2 (293)

    各号 - 年月次
    November 1989
    各号 - 特集記事
    Definability with Bounded Number of Bound Variables
    各号 - 保管場所コード
    地下雑誌
    登録番号
    S0076680
  • 41
    各号 - 巻号

    Vol.83 No.1 (292)

    各号 - 年月次
    October 1989
    各号 - 特集記事
    Approximation Algorithms for the Shortest Common Superstring Problem
    各号 - 保管場所コード
    地下雑誌
    登録番号
    S0076679
  • 42
    各号 - 巻号

    Vol.82 No.3 (291)

    各号 - 年月次
    September 1989
    各号 - 特集記事
    Learning Decision Trees from Random Examples
    各号 - 保管場所コード
    地下雑誌
    登録番号
    S0076678
  • 43
    各号 - 巻号

    Vol.82 No.2 (290)

    各号 - 年月次
    August 1989
    各号 - 特集記事
    Approximate Counting, Uniform Generation and Rapidly Mixing Markov Chains
    各号 - 保管場所コード
    地下雑誌
    登録番号
    S0076677
  • 44
    各号 - 巻号

    Vol.82 No.1 (289)

    各号 - 年月次
    July 1989
    各号 - 特集記事
    Automatic Proofs by Induction in Theories without Constructors
    各号 - 保管場所コード
    地下雑誌
    登録番号
    S0076676
  • 45
    各号 - 巻号

    Vol.81 No.3 (288)

    各号 - 年月次
    June 1989
    各号 - 特集記事
    An Automata Theoretic Desion Procedure for the Propositional Mu-Calculus
    各号 - 保管場所コード
    地下雑誌
    登録番号
    S0076675