Practical design of ships and mobile units : proceedings of the Seventh International Symposium on Practical Design of Ships and Mobile Units, the Hague, the Netherlands, September 1998 ＜Developments in marine technology＞

edited by M.C.W. [sic] Oosterveld and S.G. Tan、Els･･･

xxii, 1089 p. 27 cm

0444829180

Reconfigurable computing : architectures, tools and applications : 9th international symposium, ARC 2013, LosAngeles, CA, USA , March 25-27, 2013 : proceedings ＜Lecture notes in computer science＞

Philip Brisk, osé Gabriel de Figueiredo Coutinho, ･･･

xvi, 238 p. 24 cm

9783642368110

The 11th IFToMM International Symposium on Science of Mechanisms and Machines ＜Mechanisms and Machine Science 18＞

Edited by Visa, Ion、Springer International Publish･･･

566p H234 x W156

9783319018447

Artificial intelligence, automated reasoning, and symbolic computation : Joint International Conference AISC 2002 and Calculemus 2002, Marseille, France, July 1-5, 2002 : proceedings ＜Lecture notes in computer science＞

Jacques Calmet ... [et al.] (eds.)、Springer、c2002

xi, 341 p. 24 cm

3540438653

Systems and human science : for safety, security, and dependability : selected papers of the 1st International Symposium SSR 2003

cosponsored by Graduate School of Engineering Scie･･･

xiv, 553 p. 25 cm

0444518134

28th International Conference on Advanced Ceramics and Composites B ＜Ceramic Engineering and Science Proceedings v. 25 Issue 4＞

Edited by Lara-Curzio, Edgar; Edited by Readey, Mi･･･

654p H228 x W163

9780470051528

日本地震工学シンポジウム論文集 10(1);1998.11

The Earthquake Engineering Symposium proceedings The Japan Earthquake Engineering Symposium proceedings

日本地震工学シンポジウム運営委員会 編、地盤工学会、1998-11

冊 30cm