城西大学を検索します。
CiNii Booksを検索します。
CiNii Research(論文)を検索します。
CiNii Dissertationsを検索します。
PubMedを検索します。
IRDBを検索します。
【城西大学の蔵書】を検索した結果です。電子ジャーナル・ブックは資料の詳細画面から、閲覧サイトにリンクしています。
検索キーワード:(件名: #Computer Hardware)
該当件数:10件
Recent Developments in Domain Decomposition Methods / edited by Luca F. Pavarino, Andrea Toselli
1st ed. 2002.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 2002). - (Lecture Notes in Computational Science and Engineering. ISSN:21977100 ; 23)
電子ブック
Mesh Generation and Adaptation : Cutting-Edge Techniques / edited by Rubén Sevilla, Simona Perotto, Kenneth Morgan
1st ed. 2022.. - (Cham : Springer International Publishing : Imprint: Springer , 2022). - (SEMA SIMAI Springer Series. ISSN:2199305X ; 30)
Fuzzy Logic in Artificial Intelligence : IJCAI '93 Workshop, Chamberry, France, August 28, 1993. Proceedings / edited by Anca Ralescu
1st ed. 1994.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1994). - (Lecture Notes in Artificial Intelligence. ISSN:29459141 ; 847)
Compiler Compilers and High Speed Compilation : 2nd CCHSC Workshop, Berlin, GDR, October 10-14, 1988. Proceedings / edited by Dieter Hammer
1st ed. 1989.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1989). - (Lecture Notes in Computer Science. ISSN:16113349 ; 371)
Computer Aided Verification : 8th International Conference, CAV '96, New Brunswick, NJ, USA, July 31 - August 3, 1996. Proceedings / edited by Rajeev Alur, Thomas Henzinger
1st ed. 1996.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1996). - (Lecture Notes in Computer Science. ISSN:16113349 ; 1102)
Towards Evolvable Hardware : The Evolutionary Engineering Approach / edited by Eduardo Sanchez, Marco Tomassini
1st ed. 1996.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1996). - (Lecture Notes in Computer Science. ISSN:16113349 ; 1062)
Formal Methods in Computer-Aided Design : First International Conference, FMCAD '96, Palo Alto, CA, USA, November 6 - 8, 1996, Proceedings / edited by Mandayam Srivas, Albert Camilleri
1st ed. 1996.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1996). - (Lecture Notes in Computer Science. ISSN:16113349 ; 1166)
Correct Hardware Design and Verification Methods : IFIP WG 10.2 Advanced Research Working Conference, CHARME'93, Arles, France, May 24-26, 1993. Proceedings / edited by George J. Milne, Laurence Pierre
1st ed. 1993.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1993). - (Lecture Notes in Computer Science. ISSN:16113349 ; 683)
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)
Scientific Computing : A Historical Perspective / by Bertil Gustafsson
1st ed. 2018.. - (Cham : Springer International Publishing : Imprint: Springer , 2018). - (Texts in Computational Science and Engineering. ISSN:2197179X ; 17)