奈良先端科学技術大学院大学附属図書館

ヘルプ English
ログイン 終了

検索結果詳細 : 雑誌

Formal methods in system design : an international journal 目次あり PDF

Boston, U.S.A. : Kluwer Academic Publishers, c1992-

この資料の関連情報

:
所在 請求記号 所蔵年 所蔵巻号 受入継続
1 電子化情報 1996-2002 8-21  
2 電子ジャーナル Springer-LINK -2014  
3 コンピューティングアーキテクチャ 1993-2005 2-27  

Vol.27 No.3 2005年11月

所在 請求記号 資料ID 受入日 製本状態 状況 予約人数
1 コンピューティングアーキテクチャ 2006/01/31

Vol.27 No.1-Vol.27 No.2 2005年9月

所在 請求記号 資料ID 受入日 製本状態 状況 予約人数
1 コンピューティングアーキテクチャ 2005/11/28

Vol.26 No.3 2005年5月

所在 請求記号 資料ID 受入日 製本状態 状況 予約人数
1 コンピューティングアーキテクチャ 2005/10/31

Vol.26 No.2 2005年3月

所在 請求記号 資料ID 受入日 製本状態 状況 予約人数
1 コンピューティングアーキテクチャ 2005/10/31

Vol.26 No.1 2005年1月

所在 請求記号 資料ID 受入日 製本状態 状況 予約人数
1 コンピューティングアーキテクチャ 2005/03/07
創刊・終刊 : Vol. 1, no. 1 (July 1992)-
形態 : v. : ill. ; 24 cm
別誌名 :

Form. methods syst. des

Formal methods in system design

注記 :

Some no. combined

標題言語 : (eng)
本文言語 : (eng)
ISSN : 09259856
NCID : AA11025734
番号 :

CODEN : FMSDE6

LCCN : 93648953