close
1.

図書
図書
1. Structural bearings
Helmut Eggert, Wolfgang Kauschke
出版情報: Berlin : Ernst & Sohn, c2002
所蔵情報: loading…
2.

図書
図書
2. Advances in superplasticity and superplastic forming : proceedings of a symposium sponsored by the Structural Materials Committee and the Mechanical Behavior of Materials Committee (Jt. AMS-MSCTS) of the Structural Materials Division (SMD), and the Shaping and Forming Committee of the Materials Processing and Manufacturing Division (MPMD) of TMS (The Minerals, Metals and Materials Society), held during the TMS Anuual Meeting, Charlotte, North Carolina, USA, March 14-18, 2004
edited by Eric M. Taleff ... [et al.]
出版情報: Warrendale, Pa. : TMS, c2004
所蔵情報: loading…
3.

図書
図書
3. Advances in cryptology - EUROCRYPT 2004 : International Conference on the Theory and Applications of Cryptographic Techniques, Interlaken, Switzerland, May 2-6, 2004 : proceedings
Christian Cachin, Jan Camenisch (eds.)
出版情報: Berlin ; Tokyo : Springer, c2004
シリーズ名: Lecture notes in computer science ; 3027
所蔵情報: loading…
4.

図書
図書
4. Current trends in operator theory and its applications
Joseph A. Ball ... [et al.], editors
出版情報: Basel : Birkhauser, c2004
シリーズ名: Operator theory : advances and applications ; 149
所蔵情報: loading…
5.

図書
図書
5. Research perspectives : traffic loading on highway bridges
Peter Dawe
出版情報: London : Thomas Telford, 2003
所蔵情報: loading…
6.

図書
図書
6. An introduction to nonlinear finite element analysis
J.N. Reddy
出版情報: Oxford : Oxford University Press, 2004
所蔵情報: loading…
7.

図書
図書
7. Limit operators and their applications in operator theory
Vladimir Rabinovich, Steffen Roch, Bernd Silbermann
出版情報: Basel : Birkhäuser Verlag, c2004
シリーズ名: Operator theory : advances and applications ; v. 150
所蔵情報: loading…
8.

図書
図書
8. New difference schemes for partial differential equations
Allaberen Ashyralyev, Pavel E. Sobolevskii
出版情報: Basel : Birkhäuser Verlag, c2004
シリーズ名: Operator theory : advances and applications ; v. 148
所蔵情報: loading…
9.

図書
図書
9. Logic for Programming, Artificial Intelligence, and Reasoning : 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005 : proceedings
Franz Baader, Andrei Voronkov (eds.)
出版情報: Berlin : Springer, c2005
シリーズ名: Lecture notes in computer science ; 3452 . Lecture notes in artificial intelligence
所蔵情報: loading…
10.

図書
図書
10. Recent advances in constraints : joint ERCIM/CoLognet International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004, Lausanne, Switzerland, June 23-25, 2004 : revised selected and invited papers
Boi Faltings ... [et al.] (eds.)
出版情報: Berlin : Springer, c2005
シリーズ名: Lecture notes in computer science ; 3419 . Lecture notes in artificial intelligence
所蔵情報: loading…
11.

図書
図書
11. Proceedings of the international symposium diagnosis, treatment and regeneration for sustainable urban systems : March 13-14, 2003 Mito city, Ibaraki, Japan
School of engineering center for environmental studies Ibaraki university
出版情報: Mito : School of engineering center for environmental studies Ibaraki university, 2003
所蔵情報: loading…
12.

図書
図書
12. Factorization and integrable systems : summer school in Faro, Portugal, September 2000
Israel Gohberg, Nenad Manojlovic, António Ferreira dos Santos, editors
出版情報: Basel : Birkhäuser Verlag, c2003
シリーズ名: Operator theory : advances and applications ; v. 141
所蔵情報: loading…
13.

図書
図書
13. Singular integral operators, factorization and applications : International Workshop on Operator Theory and Applications IWOTA 2000, Portugal
Albrecht Böttcher ... [et al.], editors
出版情報: Basel : Birkhäuser, c2003
シリーズ名: Operator theory : advances and applications ; v. 142
所蔵情報: loading…
14.

図書
図書
14. Friction stir welding and processing II : proceedings of symposium sponsored by the Shaping and Forming Committee of the Materials Processing & Manufacturing Division (MPMD) of TMS (The Minerals, Metals & Materials Society), 2003 TMSAnnual Meeting, San Diego, California, March 2-6, 2003
edited by K.V. Jata ... [et al.]
出版情報: Warrendale, PA : TMS, c2003
所蔵情報: loading…
15.

図書
図書
15. Completely bounded maps and operator algebras (: hardback)
Vern Paulsen
出版情報: Cambridge : Cambridge University Press, 2002
シリーズ名: Cambridge studies in advanced mathematics ; 78
所蔵情報: loading…
16.

図書
図書
16. FEM for springs
M. Shimoseki, T. Hamano, T. Imaizumi (eds.) ; organized by T. Kuwabara
出版情報: Berlin : Springer, c2003
所蔵情報: loading…
17.

図書
図書
17. Trends in Banach spaces and operator theory : a Conference on Trends in Banach Spaces and Operator Theory, October 5-9, 2001, University of Memphis
Anna Kamińska, editor
出版情報: Providence, R.I. : American Mathematical Society, c2003
シリーズ名: Contemporary mathematics ; 321
所蔵情報: loading…
18.

図書
図書
18. Spectral theory of linear operators : and spectral systems in Banach algebras
Vladimir Müller
出版情報: Basel : Birkhäuser, c2003
シリーズ名: Operator theory : advances and applications ; vol. 139
所蔵情報: loading…
19.

図書
図書
19. Recent advances in constraints : joint ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming, Cork, Ireland, June 19-21, 2002 : selected papers
Barry O'Sullivan (ed.)
出版情報: Berlin ; Tokyo : Springer, c2003
シリーズ名: Lecture notes in computer science ; 2627 . Lecture notes in artificial intelligence
所蔵情報: loading…
20.

図書
図書
20. Crystal growth technology (:William Andrew ; :Springer)
K. Byrappa and T. Ohachi (eds.)
出版情報: New York : William Andrew , Berlin ; Heidelberg ; New York : Springer, [2002]
シリーズ名: Springer series in materials processing
所蔵情報: loading…
21.

図書
図書
21. Isometries on Banach spaces : function spaces
Richard J. Fleming, James E. Jamison
出版情報: Boca Raton, Fla. : Chapman & Hall/CRC, c2003
シリーズ名: Chapman & Hall/CRC monographs and surveys in pure and applied mathematics ; 129
所蔵情報: loading…
22.

図書
図書
22. スペッドテラ : プロフェッショナル英和辞典 (物質・工学編)
堀内克明編集代表
出版情報: 東京 : 小学館, 2004.7
所蔵情報: loading…
23.

図書
図書
23. Conceptual structures at work : 12th International Conference on Conceptual Structures, ICCS 2004, Huntsville, USA, July 19-23, 2004 : proceedings
Karl Erich Wolff, Heather D. Pfeiffer, Harry S. Delugach (eds.)
出版情報: Berlin ; Tokyo : Springer, c2004
シリーズ名: Lecture notes in computer science ; 3127 . Lecture notes in artificial intelligence
所蔵情報: loading…
24.

図書
図書
24. Information security and privacy : 9th Australasian Conference, ACISP 2004, Sydney, Australia, July 13-15, 2004 : proceedings
Huaxiong Wang, Josef Pieprzyk, Vijay Varadharajan (eds.)
出版情報: Berlin ; Tokyo : Springer, c2004
シリーズ名: Lecture notes in computer science ; 3108
所蔵情報: loading…
25.

図書
図書
25. The kaizen revolution : how to use kaizen events to double your profits
Michael D. Regan
出版情報: North Carolina : Holden Press, c2000
所蔵情報: loading…
26.

図書
図書
26. Proceedings : Nineteenth National Conference on Artificial Intelligence (AAAI-04) : Sixteenth Innovative Applications of Artificial Intelligence Conference (IAAI-04)
[sponsored by the American Association for Artificial Intelligence]
出版情報: Menlo Park, Calif. : AAAI Press , Cambridge, Mass. : [Distributed by] MIT Press, c2004
所蔵情報: loading…
27.

図書
図書
27. CCS 2003 : Proceedings of the 10th ACM Conference on Computer and Communications Security ; Washington, DC, USA October 27-31, 2003
edited by Vijay Atluri & Peng Liu ; sponsored by ACM SIGSAC, with contributions from Center for Secure Information Systems, George Mason University ... [et al.]
出版情報: New York : ACM Press, c2003
所蔵情報: loading…
28.

図書
図書
28. Advances in cryptology - CRYPTO 2004 : 24th Annual International Cryptology Conference, Santa Barbara, California, USA, August 15-19, 2004 : proceedings
Matt Franklin (ed.)
出版情報: Berlin ; Tokyo : Springer, [2004]
シリーズ名: Lecture notes in computer science ; 3152
所蔵情報: loading…
29.

図書
図書
29. Targeted pursuit of challenging bioactive molecules
[head investigator, Daisuke Uemura]
出版情報: [S.l.] : [s.n.], 2004
所蔵情報: loading…
30.

図書
図書
30. 東アジア価値観国際比較調査 : 2004年日本A調査報告書
吉野諒三編集
出版情報: 東京 : 統計数理研究所, 2005.3
所蔵情報: loading…
31.

図書
図書
31. Fundamentals of biochemistry : life at the molecular level. 2nd ed
Donald Voet, Judith G. Voet, Charlotte W. Pratt
出版情報: Hoboken, N.J. : Wiley, c2006
所蔵情報: loading…
32.

図書
図書
32. 東アジア価値観国際比較調査 : 「信頼感」の統計科学的解析 : 2004年シンガポール調査報告書
吉野諒三編集
出版情報: 東京 : 統計数理研究所, 2005.3
所蔵情報: loading…
33.

図書
図書
33. Dr. Isami Hiroi : the life of a Japanese Christian civil engineer
by Tetsuro Takasaki ; translated by Aiko Asukai
出版情報: [S.l.] : [s.n.], [c2005]
所蔵情報: loading…
34.

図書
図書
34. Advances in cryptology - EUROCRYPT 2005 : 24th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Aarhus, Denmark, May 22-26, 2005 : proceedings
Ronald Cramer (ed.)
出版情報: Berlin ; Tokyo : Springer, c2005
シリーズ名: Lecture notes in computer science ; 3494
所蔵情報: loading…
35.

図書
図書
35. DNA computing : 9th International Workshop on DNA Based Computers, DNA9 : Madison, WI, USA, June 1-3, 2003 : revised papers
Junghuei Chen, John Reif (eds.)
出版情報: Berlin ; Tokyo : Springer, c2004
シリーズ名: Lecture notes in computer science ; 2943
所蔵情報: loading…
36.

図書
図書
36. Modern cryptography ; theory and practice
Wenbo Mao
出版情報: Upper Saddle River [U.S.] : Pearson Education : Prentice Hall Professional Technical Reference, c2004
シリーズ名: Hewlett-Packard professional books
所蔵情報: loading…
37.

図書
図書
37. Introduction to space-time wireless communications (: pbk)
Arogyaswami Paulraj, Rohit Nabar, Dhananjay Gore
出版情報: Cambridge : Cambridge University Press, c2003
所蔵情報: loading…
38.

図書
図書
38. Parallel programming in C with MPI and OpenMP
Michael J. Quinn
出版情報: New York : McGraw-Hill, c2004
シリーズ名: McGraw-Hill higher education
所蔵情報: loading…
39.

図書
図書
39. Applications and theory of Petri nets 2003 : 24th International Conference, ICATPN 2003, Eindhoven, The Netherlands, June 23-27, 2003 : proceedings
Wil van der Aalst, Eike Best (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003
シリーズ名: Lecture notes in computer science ; 2679
所蔵情報: loading…
40.

図書
図書
40. One-dimensional functional equations
G. Belitskii, V. Tkachenko
出版情報: Basel : Birkhäuser, c2003
シリーズ名: Operator theory : advances and applications ; v. 144
所蔵情報: loading…
41.

図書
図書
41. Brushless motors : advanced theory and modern applications
Takashi Kenjo and Shigenobu Nagamori
出版情報: Tokyo : Sogo Electronics Press, 2003
所蔵情報: loading…
42.

図書
図書
42. Mechatronic systems : fundamentals
Rolf Isermann
出版情報: London ; Tokyo : Springer, c2003
所蔵情報: loading…
43.

図書
図書
43. Genetic and evolutionary computation - GECCO 2003 : Genetic and Evolutionary Computation Conference, Chicago, IL, USA, July 12-16, 2003 : proceedings (pt. 1 ; pt. 2)
Erick Cantú-Paz ... [et al.] (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003
シリーズ名: Lecture notes in computer science ; 2723-2724
所蔵情報: loading…
44.

図書
図書
44. Information security and privacy : 8th Australasian Conference, ACISP 2003, Wollongong, Australia, July 9-11, 2003 : proceedings
Rei Safavi-Naini, Jennifer Seberry (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003
シリーズ名: Lecture notes in computer science ; 2727
所蔵情報: loading…
45.

図書
図書
45. An introduction to the theory of numbers. 5th ed
by G.H. Hardy and E.M. Wright
出版情報: Oxford : Clarendon Press , New York : Oxford University Press, 2003
シリーズ名: Oxford science publications
所蔵情報: loading…
46.

図書
図書
46. Operator theoretical methods and applications to mathematical physics : the Erhard Meister memorial volume
Israel Gohberg ... [et al.], editors
出版情報: Basel : Birkhäuser, c2004
シリーズ名: Operator theory : advances and applications ; 147
所蔵情報: loading…
47.

図書
図書
47. IJCAI-03 : proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, Acapulco, Mexico, August 9-15, 2003
sponsored by the International Joint Conferences on Artificial Intelligence, Inc. (IJCAI), the American Association for Artificial Intelligence (AAAI), the Mexican Society for Artificial Intelligence (SMIA) ; in cooperation with the AI Communities from Argentina, Brazil, Chile, and Venezuela
出版情報: San Francisco, CA : Distributed by Morgan Kaufmann, c2003
所蔵情報: loading…
48.

図書
図書
48. Fundamentals of rotating machinery diagnostics
Donald E. Bently, with Charles T. Hatch ; edited by Bob Grissom
出版情報: Minden, Nev. : Bently Pressurized Bearing Press, c2002
所蔵情報: loading…
49.

図書
図書
49. Theory of cryptography : first Theory of Cryptography Conference, TCC 2004, Cambridge, MA, USA, February 19-21, 2004 : proceedings
Moni Naor (Ed.)
出版情報: Berlin : Springer, c2004
シリーズ名: Lecture notes in computer science ; 2951
所蔵情報: loading…
50.

図書
図書
50. 連続繰り返し曲げ加工による結晶方位制御・高疲労強度板材の創製
研究代表者 高山善匡
出版情報: 大阪 : 軽金属奨学会, 2004.8
シリーズ名: 課題研究成果報告書 ; 2004
所蔵情報: loading…