城西大学を検索します。
CiNii Booksを検索します。
CiNii Research(論文)を検索します。
CiNii Dissertationsを検索します。
PubMedを検索します。
IRDBを検索します。
【城西大学の蔵書】を検索した結果です。電子ジャーナル・ブックは資料の詳細画面から、閲覧サイトにリンクしています。
検索キーワード:(標準分類: 621.39)
該当件数:7件
Applications of thermoelectricity
London : Methuen , {1960}. - New York : Wiley , {1960}. - (Methuen's monographs on physical subjects)
図書
High-Performance Computing and Networking : International Conference and Exhibition, Milan, Italy, May 3-5, 1995. Proceedings / edited by Bob Hertzberger, Giuseppe Serazzi
1st ed. 1995.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1995). - (Lecture Notes in Computer Science. ISSN:16113349 ; 919)
電子ブック
Tools and Algorithms for the Construction and Analysis of Systems : First International Workshop, TACAS '95, Aarhus, Denmark, May 19 - 20, 1995. Selected Papers / edited by Ed Brinksma, W. Rance Cleaveland, Kim G. Larsen, Tiziana Margaria, Bernhard Steffen
1st ed. 1995.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1995). - (Lecture Notes in Computer Science. ISSN:16113349 ; 1019)
Machines, Languages, and Complexity : 5th International Meeting of Young Computer Scientists, Smolenice, Czechoslovakia, November 14-18, 1988. Selected Contributions / edited by Jürgen Dassow, Jozef Kelemen
1st ed. 1989.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1989). - (Lecture Notes in Computer Science. ISSN:16113349 ; 381)
Dependable Computing - EDCC-2 : Second European Dependable Computing Conference, Taormina, Italy, October 2 - 4, 1996. Proceedings / edited by Andrzej Hlawiczka, Joao G.S. Silva, Luca Simoncini
1st ed. 1996.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1996). - (Lecture Notes in Computer Science. ISSN:16113349 ; 1150)
Algebraic System Specification and Development : A Survey and Annotated Bibliography / edited by Michel Bidoit, Hans-Jörg Kreowski, Pierre Lescanne, Fernando Orejas, Donald Sannella
1st ed. 1991.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1991). - (Lecture Notes in Computer Science. ISSN:16113349 ; 501)
Automated and Algorithmic Debugging : First International Workshop, AADEBUG '93, Linköping, Sweden, May 3-5, 1993. Proceedings / edited by Peter A. Fritzson
1st ed. 1993.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1993). - (Lecture Notes in Computer Science. ISSN:16113349 ; 749)