城西大学を検索します。
CiNii Booksを検索します。
CiNii Research(論文)を検索します。
CiNii Dissertationsを検索します。
PubMedを検索します。
IRDBを検索します。
【城西大学の蔵書】を検索した結果です。電子ジャーナル・ブックは資料の詳細画面から、閲覧サイトにリンクしています。
検索キーワード:(標準分類: TK7885-7895)
該当件数:9件
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)
電子ブック
Reliability, Life Testing and the Prediction of Service Lives : For Engineers and Scientists / by Sam C. Saunders
1st ed. 2007.. - (New York, NY : Springer New York : Imprint: Springer , 2007). - (Springer Series in Statistics. ISSN:2197568X)
Reliability Assessment of Tethered High-altitude Unmanned Telecommunication Platforms : k-out-of-n Reliability Models and Applications / by Vladimir M. Vishnevsky, Dharmaraja Selvamuthu, Vladimir Rykov, Dmitry V. Kozyrev, Nika Ivanova, Achyutha Krishnamoorthy
1st ed. 2024.. - (Singapore : Springer Nature Singapore : Imprint: Springer , 2024). - (Infosys Science Foundation Series in Mathematical Sciences. ISSN:23644044)
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)