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…
51.

図書
図書
51. Nonlinear optics in telecommunications
Thomas Schneider
出版情報: Berlin : Springer, 2004
シリーズ名: Advanced texts in physics
所蔵情報: loading…
52.

図書
図書
52. Inductive logic programming : 14th International Conference, ILP 2004, Porto, Portugal, September 6-8, 2004 : proceedings
Rui Camacho, Ross King, Ashwin Srinivasan (eds.)
出版情報: Berlin ; Tokyo : Springer, c2004
シリーズ名: Lecture notes in computer science ; 3194 . Lecture notes in artificial intelligence
所蔵情報: loading…
53.

図書
図書
53. Logic programming : 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004 : proceedings
Bart Demoen, Vladimir Lifschitz (eds.)
出版情報: Berlin ; Tokyo : Springer, c2004
シリーズ名: Lecture notes in computer science ; 3132
所蔵情報: loading…
54.

図書
図書
54. UMTS security
Valterri Niemi and Kaisa Nyberg
出版情報: Chichester, England : John Wiley & Sons, c2003
所蔵情報: loading…
55.

図書
図書
55. Principles and practice of constraint programming - CP 2004 : 10th International Conference, CP 2004, Toronto, Canada, September 27 - October 1, 2004 : proceedings
Mark Wallace (ed.)
出版情報: Berlin : Springer, c2004
シリーズ名: Lecture notes in computer science ; 3258
所蔵情報: loading…
56.

図書
図書
56. Genetic and evolutionary computation - GECCO 2004 : Genetic and Evolutionary Computation Conference, Seattle, WA, USA, June 26-30, 2004 : proceedings (pt. 1 ; pt. 2)
Kalyanmoy Deb ... [et al.] (eds.)
出版情報: Berlin ; Tokyo : Springer, c2004
シリーズ名: Lecture notes in computer science ; 3102-3103
所蔵情報: loading…
57.

図書
図書
57. Gear geometry and applied theory. 2nd Ed. (hard)
Faydor L. Litvin, Alfonso Fuentes
出版情報: Cambridge : Cambridge University Press, 2004
所蔵情報: loading…
58.

図書
図書
58. 建築基礎構造 = Damage to building foundations ; 津波の特性と被害 = Features and damage of the 2011 Tohoku Tsunami
日本建築学会編集著作
出版情報: 東京 : 日本建築学会 , 東京 : 丸善出版 (発売), 2015.3
シリーズ名: 東日本大震災合同調査報告 / 東日本大震災合同調査報告書編集委員会 [編] ; 建築編5
所蔵情報: loading…
59.

図書
図書
59. Advances in information and computer security : 8th International Workshop on security, IWSEC 2013 Okinawa, Japan, November 18-20, 2013, proceedings
Kazuo Sakiyama, Masayuki Terada (eds.)
出版情報: Heidelberg : Springer, c2013
シリーズ名: Lecture notes in computer science ; 8231 . LNCS sublibrary ; SL 4 . Security and cryptology
所蔵情報: loading…
60.

図書
図書
60. The Fukushima Daiichi Nuclear Power Station disaster : investigating the myth and reality by the Independent Investigation Commission on the Fukushima Nuclear Accident (: hbk ; : pbk)
edited by Mindy Kay Bricker
出版情報: New York : Routledge, 2014
シリーズ名: Earthscan from Routledge
所蔵情報: loading…
61.

図書
図書
61. Inductive logic programming : 23rd international conference, ILP 2013 Rio de Janeiro, Brazil, August 28-30, 2013 : revised selected papers (pbk)
Gerson Zaverucha, Vítor Santos Costa, Aline Paes (eds.)
出版情報: Heidelberg : Springer, c2014
シリーズ名: Lecture notes in computer science ; 8812. Lecture notes in artificial intelligence
所蔵情報: loading…
62.

図書
図書
62. Topics in cryptology - CT-RSA 2014 : the Cryptographer's Track at the RSA Conference 2014, San Francisco, CA, USA, February 25-28, 2014 : proceedings
Josh Benaloh (ed.)
出版情報: Cham : Springer, c2014
シリーズ名: Lecture notes in computer science ; 8366 . LNCS sublibrary ; SL 4. Security and cryptology
所蔵情報: loading…
63.

図書
図書
63. Longman dictionary of contemporary English. 5th ed (: pbk. + DVD-ROM - : German paper ed. + DVD-ROM)
出版情報: Harlow : Pearson Education, 2009
所蔵情報: loading…
64.

図書
図書
64. Financial cryptography and data security : 16th International Conference, FC 2012, Kralendijk, Bonaire, Februray 27-March 2, 2012 : revised selected papers (: pbk)
Angelos D. Keromytis (ed.)
出版情報: Berlin : Springer, c2012
シリーズ名: Lecture notes in computer science ; 7397 . LNCS sublibrary ; SL 4 . Security and cryptology
所蔵情報: loading…
65.

図書
図書
65. Advances in cryptology : CRYPTO 2011 : 31st Annual Cryptology Conference, Santa Barbara, CA, USA, August 14-18, 2011 : proceedings (: [pbk.])
Phillip Rogaway (ed.)
出版情報: Heidelberg : Springer, c2011
シリーズ名: Lecture notes in computer science ; 6841
所蔵情報: loading…
66.

図書
図書
66. The 1999 Turkey earthquakes : Bridge performance and remedial actions
Earthquake Engineering Research Institute
出版情報: Oakland, Calif. : Earthquake Engineering Research Institute, c2003
シリーズ名: Lessons learned over time : learning from earthquakes series ; v. 4
所蔵情報: loading…
67.

図書
図書
67. Adobe housing reconstruction after the 2001 El Salvador earthquakes = Reconstrucción de viviendas de adobe después de los terremotos del 2001 en El Salvador
Dominic Dowling
出版情報: Oakland, Calif. : Earthquake Engineering Research Institute, c2004
シリーズ名: Lessons learned over time : learning from earthquakes series ; v. 5
所蔵情報: loading…
68.

図書
図書
68. Clarkson W. Pinkham (pbk.)
Stanley Scott, interviewer
出版情報: Oakland, CA : Earthquake Engineering Research Institute, c2006
シリーズ名: Connections : the EERI oral history series
所蔵情報: loading…
69.

図書
図書
69. Robert V. Whitman (pbk.)
Robert Reitherman, interviewer
出版情報: Oakland, CA : Earthquake Engineering Research Institute, c2009
シリーズ名: Connections : the EERI oral history series
所蔵情報: loading…
70.

図書
図書
70. LeRoy Crandall (pbk.)
Stanley Scott, interviewer
出版情報: Oakland, Calif. : Earthquake Engineering Research Institute, c2008
シリーズ名: Connections : the EERI oral history series ; 15
所蔵情報: loading…
71.

図書
図書
71. Vitelmo V. Bertero (pbk.)
Robert Reitherman, interviewer
出版情報: Oakland, Calif. : Earthquake Engineering Research Institute, c2009
シリーズ名: Connections : the EERI oral history series
所蔵情報: loading…
72.

図書
図書
72. Advances in cryptology -- ASIACRYPT 2011 : 17th International Conference on the Theory and Application of Cryptology and Information Security, Seoul, South Korea, December 4-8, 2011 : proceedings
Dong Hoon Lee, Xiaoyun Wang (eds.)
出版情報: Heidelberg : Springer, c2011
シリーズ名: Lecture notes in computer science ; 7073 . LNCS sublibrary ; SL 4 . Security and cryptology
所蔵情報: loading…
73.

図書
図書
73. Conceptual structures for discovering knowledge : 19th International Conference on Conceptual Structures, ICCS 2011, Derby, UK, July 25-29, 2011 : proceedings
Simon Andrews ... [et. al.] (eds.)
出版情報: Heidelberg : Springer, c2011
シリーズ名: Lecture notes in computer science ; 6828 . Lecture notes in artificial intelligence
所蔵情報: loading…
74.

図書
図書
74. Mathematics of public key cryptography (: hbk.)
Steven D. Galbraith
出版情報: Cambridge : Cambridge University Press, 2012
所蔵情報: loading…
75.

図書
図書
75. Financial cryptography and data security : 18th International Conference, FC 2014, Christ Church, Barbados, March 3-7, 2014, revised selected papers
Nicolas Christin, Reihaneh Safavi-Naini (ed.)
出版情報: Heidelberg : Springer, c2014
シリーズ名: Lecture notes in computer science ; 8437
所蔵情報: loading…
76.

図書
図書
76. Information theoretic security : 7th International Conference, ICITS 2013, Singapore, November 28-30, 2013 : proceedings
Carles Padró (ed.)
出版情報: Cham : Springer, c2014
シリーズ名: Lecture notes in computer science ; 8317 . LNCS sublibrary ; SL 4 . Security and cryptology
所蔵情報: loading…
77.

図書
図書
77. Proceedings : 46th Annual IEEE Symposium on Foundations of Computer Science : 23-25 October 2005, Pittsburgh, Pennsylvania, USA
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society, c2005
所蔵情報: loading…
78.

図書
図書
78. Superplasticity in metals and ceramics
T.G. Nieh, J. Wadsworth, O.D. Sherby
出版情報: Cambridge, [Eng.] ; New York : Cambridge University Press, 2005
シリーズ名: Cambridge solid state science series
所蔵情報: loading…
79.

図書
図書
79. Recent advances in operator-related function theory : Conference on Recent Advances in Operator-Related Function Theory, Trinity College, Dublin, Ireland, August 4-6, 2004
Alec L. Matheson, Michael I. Stessin, Richard M. Timoney, editors
出版情報: Providence, R.I. : American Mathematical Society, c2006
シリーズ名: Contemporary mathematics ; v. 393
所蔵情報: loading…
80.

図書
図書
80. Magnetic bearings and bearingless drives
Akira Chiba...[et al.]
出版情報: Amsterdam ; Tokyo : Elsevier, Newnes, 2005
所蔵情報: loading…
81.

図書
図書
81. Conceptual structures for knowledge creation and communication : 11th International Conference on Conceptual Structures, ICCS 2003, Dresden, Germany, July 21-25, 2003 : proceedings
Aldo de Moor, Wilfried Lex, Bernhard Ganter (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003
シリーズ名: Lecture notes in computer science ; 2746 . Lecture notes in artificial intelligence
所蔵情報: loading…
82.

図書
図書
82. Dynamics of advanced materials and smart structures : proceedings of the IUTAM Symposium held in Yonezawa, Japan, 20-24 May 2002 (:alk. paper)
edited by K. Watanabe and F.Ziegler
出版情報: Dordrecht ; Boston ; London : Kluwer Academic Publishers, 2003
シリーズ名: Solid mechanics and its applications ; v. 106
所蔵情報: loading…
83.

図書
図書
83. Words, Languages & Combinatorics III : proceedings of the International Conference, Kyoto, Japan, 14-18 March 2000
editors, Masami Ito, Teruo Imaoka
出版情報: New Jersey : World Scientific, c2003
所蔵情報: loading…
84.

図書
図書
84. Introduction to parallel computing. 2nd ed
Ananth Grama ... [et al.]
出版情報: Harlow : Pearson, 2003
所蔵情報: loading…
85.

図書
図書
85. Reproducing kernel spaces and applications
Daniel Alpay, editor
出版情報: Basel : Birkhäuser Verlag, c2003
シリーズ名: Operator theory : advances and applications ; v. 143
所蔵情報: loading…
86.

図書
図書
86. Topics in cryptology - CT-RSA 2006 : The Cryptographers' Track at the RSA Conference 2006, San Jose, CA, USA, February 13-17, 2006 : proceedings
David Pointcheval (ed.)
出版情報: Berlin : Springer, c2006
シリーズ名: Lecture notes in computer science ; 3860
所蔵情報: loading…
87.

図書
図書
87. Introduction to coding theory (: hbk)
Ron M. Roth
出版情報: Cambridge, U.K. ; New York : Cambridge University Press, 2006
所蔵情報: loading…
88.

図書
図書
88. Steels : processing, structure, and performance
George Krauss
出版情報: Materials Park, Ohio : ASM International, 2005
所蔵情報: loading…
89.

図書
図書
89. Nonlinear hyperbolic equations, spectral theory, and wavelet transformations : a volume of advances in partial differential equations (:us ; :sz)
Sergio Albeverio ... [et al], editors
出版情報: Basel : Birkhäuser, c2003
シリーズ名: Operator theory : advances and applications ; v. 145
所蔵情報: loading…
90.

図書
図書
90. Proceedings : 44th Annual IEEE Symposium on Foundations of Computer Science : 11-14 October 2003, Cambridge, Massachusettes (: pbk)
sponsored by IEEE Computer Society Technical society on Foundations of Computing
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society, c2003
所蔵情報: loading…
91.

図書
図書
91. DSP-based electromechanical motion control
Hamid A. Toliyat, Steven Campbell
出版情報: Boca Raton : CRC Press, c2004
シリーズ名: Power electronics and applications series
所蔵情報: loading…
92.

図書
図書
92. Advances in cryptology - ASIACRYPT 2003 : 9th International Conference on the Theory and Application of Cryptology and Information Security, Taipei, Taiwan, November 30 - December 4, 2003 : proceedings
Chi Sung Laih (ed.)
出版情報: Berlin ; Tokyo : Springer, c2003
シリーズ名: Lecture notes in computer science ; 2894
所蔵情報: loading…
93.

図書
図書
93. Fundamentals of structural integrity : damage tolerant design and nondestructive evaluation
Alten F. Grandt, Jr
出版情報: Hoboken, NJ : John Wiley, c2004
所蔵情報: loading…
94.

図書
図書
94. ナノテクノロジー大事典 = Dictionary of nanotechnology
川合知二監修
出版情報: 東京 : 工業調査会, 2003.12
所蔵情報: loading…
95.

図書
図書
95. Inverse problems in engineering mechanics IV : International Symposium on Inverse Problems in Engineering Mechanics 2003 (ISIP 2003), Nagano, Japan
editor, Masa. Tanaka
出版情報: Amsterdam ; Tokyo : Elsevier, 2003
所蔵情報: loading…
96.

図書
図書
96. Rotordynamics (: hardcover)
Agnieszka (Agnes) Muszyńska
出版情報: New York : Marcel Dekker/CRC Press, 2005
シリーズ名: Mechanical engineering ; 188
所蔵情報: loading…
97.

図書
図書
97. DNA computing : 10th International workshop on DNA computing, DNA10, Milan, Italy, June 7-10, 2004 : Revised selected papers
Claudio Ferretti, Giancarlo Mauri, Claudio Zandron (eds.)
出版情報: Berlin : Springer, c2005
シリーズ名: Lecture notes in computer science ; 3384
所蔵情報: loading…
98.

図書
図書
98. Foundations of genetic algorithms : 8th International Workshop, FOGA 2005 Aizu-Wakamatsu City, Japan, January 5-9, 2005 : revised selected papers
Alden H. Wright ... [et al.] (eds.)
出版情報: Berlin ; Tokyo : Springer, c2005
シリーズ名: Lecture notes in computer science ; 3469
所蔵情報: loading…
99.

図書
図書
99. Conceptual structures : common semantics for sharing knowledge : 13th International conference on conceptual structures, ICCS 2005 Kassel, Germany, July 17-22, 2005 : proceedings
Frithjof Dau, Marie-Laure Mugnier, Gerd Stumme (eds.)
出版情報: Berlin : Springer, c2005
シリーズ名: Lecture notes in computer science ; 3596 . Lecture notes in artificial intelligence
所蔵情報: loading…
100.

図書
図書
100. Proceedings of the eighth International Symposium on Magnetic Bearings : ISMB-8 Mito,Japan,August 26-28,2002
edited by Yohji Okada,Kenzo Nonami
出版情報: Hitachi : Dynamics and Control Lab.,Dept.of Mechanical Eng.,Ibaraki University, c2002
所蔵情報: loading…