城西大学を検索します。
CiNii Booksを検索します。
CiNii Research(論文)を検索します。
CiNii Dissertationsを検索します。
PubMedを検索します。
IRDBを検索します。
【城西大学の蔵書】を検索した結果です。電子ジャーナル・ブックは資料の詳細画面から、閲覧サイトにリンクしています。
検索キーワード:(標準分類: QA75.5-76.95)
該当件数:367件
Mathematical Modeling and Numerical Simulation in Continuum Mechanics : Proceedings of the International Symposium on Mathematical Modeling and Numerical Simulation in Continuum Mechanics, September 29 – October 3, 2000 Yamaguchi, Japan / edited by Ivo Babuska, Philippe G. Ciarlet, Tetsuhiko Miyoshi
1st ed. 2002.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 2002). - (Lecture Notes in Computational Science and Engineering. ISSN:21977100 ; 19)
電子ブック
Numerical Methods in Computational Electrodynamics : Linear Systems in Practical Applications / by Ursula van Rienen
1st ed. 2001.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 2001). - (Lecture Notes in Computational Science and Engineering. ISSN:21977100 ; 12)
Advances in Software Tools for Scientific Computing / edited by Hans P. Langtangen, Are M. Bruaset, Ewald Quak
1st ed. 2000.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 2000). - (Lecture Notes in Computational Science and Engineering. ISSN:21977100 ; 10)
The Pillars of Computation Theory : State, Encoding, Nondeterminism / by Arnold L. Rosenberg
1st ed. 2010.. - (New York, NY : Springer New York : Imprint: Springer , 2010). - (Universitext. ISSN:21916675)
Classification Theory of Algebraic Varieties and Compact Complex Spaces / by K. Ueno
1st ed. 1975.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1975). - (Lecture Notes in Mathematics. ISSN:16179692 ; 439)
Maximum Probability Estimators and Related Topics / by L. Weiss, J. Wolfowitz
1st ed. 1974.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1974). - (Lecture Notes in Mathematics. ISSN:16179692 ; 424)
Data Structures for Computational Statistics / by Sigbert Klinke
1st ed. 1997.. - (Heidelberg : Physica-Verlag HD : Imprint: Physica , 1997). - (Contributions to Statistics. ISSN:26288966)
Algorithms and Computation : 5th International Symposium, ISAAC '94, Beijing, P.R. China, August 25 - 27, 1994. Proceedings / edited by Ding-Zhu Du, Xiang-Sun Zhang
1st ed. 1994.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1994). - (Lecture Notes in Computer Science. ISSN:16113349 ; 834)
Results and Trends in Theoretical Computer Science : Colloquium in Honor of Arto Salomaa, Graz, Austria, June 10 - 11, 1994. Proceedings / edited by Juliani Karhumäki, Hermann Maurer, Grzegorz Rozenberg
1st ed. 1994.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1994). - (Lecture Notes in Computer Science. ISSN:16113349 ; 812)
Application and Theory of Petri Nets 1994 : 15th International Conference, Zaragoza, Spain, June 20-24, 1994. Proceedings / edited by Robert Valette
1st ed. 1994.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1994). - (Lecture Notes in Computer Science. ISSN:16113349 ; 815)
Entity-Relationship Approach - ER '94. Business Modelling and Re-Engineering : 13th International Conference on the Entity-Relationship Approach, Manchester, United Kingdom, December 13 - 16, 1994 Proceedings / edited by Pericles Loucopoulos
1st ed. 1994.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1994). - (Lecture Notes in Computer Science. ISSN:16113349 ; 881)
Computer Aided Verification : 6th International Conference, CAV '94, Stanford, California, USA, June 21-23, 1994. Proceedings / edited by David L. Dill
1st ed. 1994.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1994). - (Lecture Notes in Computer Science. ISSN:16113349 ; 818)
Mathematical Foundations of Computer Science 1994 : 19th International Symposium, MFCS'94, Kosice, Slovakia, August 22 - 26, 1994. Proceedings / edited by Igor Privara, Branislav Rovan, Peter Ruzicka
1st ed. 1994.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1994). - (Lecture Notes in Computer Science. ISSN:16113349 ; 841)
Entity-Relationship Approach - ER '93 : 12th International Conference on the Entity-Relationship Approach, Arlington, Texas, USA, December 15 - 17, 1993. Proceedings / edited by Ramez A. Elmasri, Vram Kouramajian, Bernhard Thalheim
1st ed. 1994.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1994). - (Lecture Notes in Computer Science. ISSN:16113349 ; 823)
Foundations of Software Technology and Theoretical Computer Science : 14th Conference, Madras, India, December 15 - 17, 1994. Proceedings / edited by P.S. Thiagarajan
1st ed. 1994.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1994). - (Lecture Notes in Computer Science. ISSN:16113349 ; 880)
Parallel Problem Solving from Nature - PPSN III : International Conference on Evolutionary Computation. The Third Conference on Parallel Problem Solving from Nature, Jerusalem, Israel, October 9 - 14, 1994. Proceedings / edited by Yuval Davidor, Hans-Paul Schwefel, Reinhard Männer
1st ed. 1994.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1994). - (Lecture Notes in Computer Science. ISSN:16113349 ; 866)
Trees in Algebra and Programming - CAAP '94 : 19th International Colloquium, Edinburgh, U.K., April 11 - 13, 1994. Proceedings / edited by Sophie Tison
1st ed. 1994.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1994). - (Lecture Notes in Computer Science. ISSN:16113349 ; 787)
Algorithmic Learning Theory : 4th International Workshop on Analogical and Inductive Inference, AII '94, 5th International Workshop on Algorithmic Learning Theory, ALT '94, Reinhardsbrunn Castle, Germany, October 10 - 15, 1994. Proceedings / edited by Setsuo Arikawa, Klaus P. Jantke
1st ed. 1994.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1994). - (Lecture Notes in Artificial Intelligence. ISSN:29459141 ; 872)
Algorithms - ESA '94 : Second Annual European Symposium, Utrecht, The Netherlands, September 26 - 28, 1994. Proceedings / edited by Jan van Leeuwen
1st ed. 1994.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1994). - (Lecture Notes in Computer Science. ISSN:16113349 ; 855)
Formal Techniques in Real-Time and Fault-Tolerant Systems : Third International Symposium Organized Jointly with the Working Group Provably Correct Systems - ProCos, Lübeck, Germany, September 19 - 23, 1994. Proceedings / edited by Hans Langmaack, Willem-Paul de Roever, Jan Vytopil
1st ed. 1994.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1994). - (Lecture Notes in Computer Science. ISSN:16113349 ; 863)