各号一覧

タイトル情報

概要

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 冊
表示切替
一覧で表示
  • 1
    各号 - 巻号

    Vol.115 No.2 (357)

    各号 - 年月次
    December 1994
    各号 - 特集記事
    Adding Action Refinement to a Finite Process Algebra
    各号 - 保管場所コード
    地下雑誌
    登録番号
    S0076725
  • 2
    各号 - 巻号

    Vol.115 No.1 (356)

    各号 - 年月次
    November 1994
    各号 - 特集記事
    Reasoning about Infinite Computations
    各号 - 保管場所コード
    地下雑誌
    登録番号
    S0076724
  • 3
    各号 - 巻号

    Vol.114 No.2 (355)

    各号 - 年月次
    November 1994
    各号 - 特集記事
    Approximate Interface and Scientific Method
    各号 - 保管場所コード
    地下雑誌
    登録番号
    S0076723
  • 4
    各号 - 巻号

    Vol.114 No.1 (354)

    各号 - 年月次
    October 1994
    各号 - 特集記事
    Polymorphic Rewriting Conserves Algebraic Confluence
    各号 - 保管場所コード
    地下雑誌
    登録番号
    S0076722
  • 5
    各号 - 巻号

    Vol.113 No.2 (353)

    各号 - 年月次
    September 1994
    各号 - 特集記事
    Impossibility Results in the Presence of Multiple Faulty Processes
    各号 - 保管場所コード
    地下雑誌
    登録番号
    S0076721
  • 6
    各号 - 巻号

    Vol.113 No.1 (352)

    各号 - 年月次
    August 1994
    各号 - 特集記事
    Membership Testing in Threshold One Transformation Monoids
    各号 - 保管場所コード
    地下雑誌
    登録番号
    S0076720
  • 7
    各号 - 巻号

    Vol.112 No.2 (351)

    各号 - 年月次
    August 1994
    各号 - 特集記事
    Equational Formulae with Membersip Constraints
    各号 - 保管場所コード
    地下雑誌
    登録番号
    S0076719
  • 8
    各号 - 巻号

    Vol.112 No.1 (350)

    各号 - 年月次
    July 1994
    各号 - 特集記事
    Decidability and Expressiveness for First-Order Logics of Probability
    各号 - 保管場所コード
    地下雑誌
    登録番号
    S0076718
  • 9
    各号 - 巻号

    Vol.111 No.2 (349)

    各号 - 年月次
    June 1994
    各号 - 特集記事
    Symbolic Model Checking for Real-Time Systems
    各号 - 保管場所コード
    地下雑誌
    登録番号
    S0076717
  • 10
    各号 - 巻号

    Vol.111 No.1 (348)

    各号 - 年月次
    May 15, 1994
    各号 - 特集記事
    Turning SOS Rules into Equations
    各号 - 保管場所コード
    地下雑誌
    登録番号
    S0076716
  • 11
    各号 - 巻号

    Vol.110 No.2 (347)

    各号 - 年月次
    May 1, 1994
    各号 - 特集記事
    Sequentiality in an Extensional Framework
    各号 - 保管場所コード
    地下雑誌
    登録番号
    S0076715
  • 12
    各号 - 巻号

    Vol.110 No.1 (346)

    各号 - 年月次
    April 1994
    各号 - 特集記事
    Polylog Depth Circuits for Integer Factoring and Discete Logarithms
    各号 - 保管場所コード
    地下雑誌
    登録番号
    S0076714
  • 13
    各号 - 巻号

    Vol.109 No.1 (345)

    各号 - 年月次
    February 15/March 1994
    各号 - 特集記事
    An Exatension of System F with Subtyping
    各号 - 保管場所コード
    地下雑誌
    登録番号
    S0076713
  • 14
    各号 - 巻号

    Vol.108 No.2 (344)

    各号 - 年月次
    February 1, 1994
    各号 - 特集記事
    Rich Classes Inferable from Positive Data:Length-Bounded Elementary Formal Systems
    各号 - 保管場所コード
    地下雑誌
    登録番号
    S0076712
  • 15
    各号 - 巻号

    Vol.108 No.1 (343)

    各号 - 年月次
    January 1994
    各号 - 特集記事
    Decidability of the Existential Theory of Infinite Terms with subterm Relation
    各号 - 保管場所コード
    地下雑誌
    登録番号
    S0076711