Welcome  Guest 

HERMES-Catalog

Help
Keyboard
Japanese
TOP
Journals Title List
  • Journals Title List
Search Tools
  • Keyboard
  • IER Statistical Code
  • Classification
New Arrival
  • New Books List
  • New Journals List
Menu
  • Journals Title List
    • Journals Title List
  • Search Tools
    • Keyboard
    • IER Statistical Code
    • Classification
  • New Arrival
    • New Books List
    • New Journals List
  • Libraries
    • University Library
    • IER Library
    • RCISSS
    • CHSSL
    • Chiyoda Campus Library
    • History Archives
  • HERMES-IR
    • Research & Education Resources
    • Special Collections
  •  
    Libraries
    • University Library
    • IER Library
    • RCISSS
    • CHSSL
    • Chiyoda Campus Library
    • History Archives
    HERMES-IR
    • Research & Education Resources
    • Special Collections
  • Search holdings
  • CiNii Research (Articles)
  • CiNii Books
  • IRDB
  • NDL Holdings
  • Other search
    • CiNii Research (Articles)
    • CiNii Books
    • IRDB
    • NDL Holdings

Search holdings

Search the university library's printed holdings

CiNii Research (Articles)

Search academic articles published in Japan (by NII)

CiNii Books

Search holdings of university libraries in Japan (by NII)

IRDB

Search research outputs archived in Japanese institutional repositories (by NII)

NDL Holdings

Search catalogs and digital archives of the National Diet Library (by NDL)

Open search condition
  • Simple Search
  • Advanced

Search Conditions

  •  

Document Type

Campus

Search Option

Any:
Title:
Author:
Journal:
Sort:
Display:
Document Type:
Any:
Title:
Full Title:
Author:
Author ID:
Publisher:
ISBN:
ISSN:
NCID:
Subject:
Classification:
Note:
Year: –
Language:
Sort:
Display:
Any:
Article Title:
Author:
Journal Title:
Display:
Any:
Title:
Full Title:
Author:
Journal:
Subject:
ISBN:
ISSN:
Year Published: –
Sort:
Display:

» Filtering by

Results

Search keyword:(Standard classification: 549.7)

Results:31items

  • items
  • 1
  • 2
  • Output File
Select All
  • 1.

    精神の危機 : 他十五篇 / ポール・ヴァレリー著 ; 恒川邦夫訳

    東京 : 岩波書店 , 2010.5. - (岩波文庫 ; 赤(32)-560-5)

     Books



  • 2.

    電子線リソグラフィ教本 / 秋永広幸編

    東京 : オーム社 , 2007.6

     Books



  • 3.

    ナノテクノロジーとレジスト材料 / 山岡亞夫監修

    東京 : シーエムシー出版 , 2007.4. - (CMCテクニカルライブラリー ; 256)

     Books



  • 4.

    日本IC産業の発展史 : 共同開発のダイナミズム / 金容度著

    東京 : 東京大学出版会 , 2006.6

     Books



  • 5.

    レジスト材料 / 伊藤洋著 ; 高分子学会編集

    東京 : 共立出版 , 2005.2. - (高分子先端材料One Point / 高分子学会編集 ; 10)

     Books



  • 6.

    よくわかる半導体LSIのできるまで : 製造工程の流れを追って解説 / 「半導体LSIのできるまで」編集委員会編著

    改訂第2版. - 東京 : 日刊工業新聞社 , 2004.11

     Books



  • 7.

    はじめての半導体リソグラフィ技術 / 岡崎信次, 鈴木章義, 上野巧著

    東京 : 工業調査会 , 2003.6. - (ビギナーズブックス ; 29)

     Books



  • 8.

    日本のIC産業 : シリコン列島の変容 / 伊東維年編著

    京都 : ミネルヴァ書房 , 2003.1. - (Minerva business library ; 5)

     Books



  • 9.

    図解よくわかるディジタルIC回路の基礎 : ディジタルとアナログから演算回路まで / 松田勲, 伊原充博著

    東京 : 技術評論社 , 1999.7

     Books



  • 10.

    Computer aided verification : 11th International Conference, CAV '99, Trento, Italy, July 6-10, 1999 : proceedings / Nicolas Halbwachs, Doron Peled (eds.)

    Berlin ; Tokyo : Springer-Verlag , c1999. - (Lecture notes in computer science ; 1633)

     Books



  • 11.

    Correct hardware design and verification methods : 10th IFIP WG 10.5 Advanced Research Working Conference, CHARME '99, Bad Herrenalb, Germany, September 27-29, 1999 : proceedings / Laurence Pierre, Thomas Kropf (eds.)

    Berlin ; Tokyo : Springer , c1999. - (Lecture notes in computer science ; 1703)

     Books



  • 12.

    システムLSIの保護法制 : 設計情報の流通と法的保護 / 平嶋竜太著

    東京 : 信山社出版 , 1998.11. - (知的財産研究叢書 / 知的財産研究所編集 ; 3)

     Books



  • 13.

    Computer aided verification : 10th International Conference, CAV '98, Vancouver, BC, Canada, June 28-July 2, 1998 : proceedings / Alan J. Hu, Moshe Y. Vardi (eds.)

    Berlin : Springer-Verlag , c1998. - (Lecture notes in computer science ; 1427)

     Books



  • 14.

    Computer aided verification : 9th International Conference, CAV '97, Haifa, Israel, June 22-25, 1997 : proceedings / Orna Grumberg (ed.)

    Berlin ; Tokyo : Springer-Verlag , c1997. - (Lecture notes in computer science ; 1254)

     Books



  • 15.

    Computer aided verification : 8th International Conference, CAV '96, New Brunswick, NJ, USA, July 31-August 3, 1996 : proceedings / Rajeev Alur, Thomas A. Henzinger, (eds.)

    Berlin ; New York : Springer-Verlag , c1996. - (Lecture notes in computer science ; 1102)

     Books



  • 16.

    Computer aided verification : 7th International Conference, CAV '95, Liège, Belgium, July 3-5, 1995 : proceedings / Pierre Wolper (ed.)

    : us,: gw. - Berlin ; New York : Springer-Verlag , c1995. - (Lecture notes in computer science ; 939)

     Books



  • 17.

    Correct hardware design and verification methods : IFIP WG 10.5 Advanced Research Working Conference, CHARME '95, Frankfurt/Main, Germany, October 2-4, 1995 : proceedings / Paolo E. Camurati, Hans Eveking (eds.)

    Berlin ; New York : Springer , c1995. - (Lecture notes in computer science ; 987)

     Books



  • 18.

    Computer aided verification : 6th International Conference, CAV '94, Stanford, California, USA, June 21-23, 1994 : proceedings / David L. Dill (ed.)

    : us,: gw. - Berlin ; New York : Springer-Verlag , c1994. - (Lecture notes in computer science ; 818)

     Books



  • 19.

    Computer aided verification : 5th International Conference, CAV '93, Elounda, Greece, June 28-July 1, 1993 : proceedings / Costas Courcoubetis (ed.)

    : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1993. - (Lecture notes in computer science ; 697)

     Books



  • 20.

    半導体ドライエッチング技術 / 徳山巍編著

    東京 : 産業図書 , 1992.10. - (集積回路プロセス技術シリーズ)

     Books



  • Output File
Select All
  • 1
  • 2
CLOSE

Filtering Item

CLOSE

User Service

  • Check Status of Loan/Reservation
  • InterLibraryLoan/Photocopy Request
  • Check Status of Loan/Photocopy
  • Purchase Request
  • Check Status of Purchase Request
  • Request for Course Materials/Faculty Book Recommendations
  • Check Status of Request for Course Materials/Faculty Book Recommendations
  • Change E-mail Address
  • Facility Reservation
Hitotsubashi University  |  Hitotsubashi University Library

©2020 Hitotsubashi University Library