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…