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

Foundations of intelligent systems : 13th International Symposium, ISMIS 2002, Lyon, France, June 27-29, 2002 : proceedings ＜Lecture notes in computer science＞ annotated ed

Mohand-Saïd Hacid ... [et al.] (eds.)、Springer、c20･･･

xii, 614 p. 24 cm

3540437851

Intelligent tutoring systems : Second International Conference, ITS '92, Montréal, Canada, June 10-12, 1992 : proceedings ＜Lecture notes in computer science＞

C. Frasson, G. Gauthier, G.I. McCalla (eds.)、Sprin･･･

xiv, 686 p. 25 cm

0387556060

Rough sets and current trends in computing : 7th international conference, RSCTC 2010, Warsaw, Poland, June 28-30, 2010 : proceedings ＜Lecture notes in computer science＞

Marcin Szczuka ... [et al.] (eds.)、Springer、c2010

xv, 752 p. 24 cm

9783642135286

コンピュータによる推論技法 ＜Computation & software science＞

Automated reasoning

L.ウォス ほか著 ; 川越恭二 ほか訳、マグロウヒル、1989.1

561p 21cm

4895012921

學鐙 82(6) マイクロフィッシュ版

丸善株式会社 [編]、丸善、1985-06

冊 21cm

Simulation, modeling, and programming for autonomous robots : second international conference, SIMPAR 2010, Darmstadt, Germany, November 15-18, 2010 : proceedings ＜Lecture notes in computer science＞

Noriaki Ando ... [et al.] (eds.)、Springer、c2010

xv, 558 p. 24 cm

9783642173189

Software Architecture : 4th European Conference, ECSA 2010, Copenhagen, Denmark, August 23-26, 2010 : Proceedings ＜Lecture Notes in Computer Science / Programming and Software Engineering v. 6285＞

4th European Conference, ECSA 2010, Copenhagen, Denmark, August 23-26, 2010 : Proceedings

Edited by Babar, Muhammad Ali; Edited by Gorton, I･･･

552p H235 x W155

9783642151132

Integrated Network Management V : Integrated Management in a Virtual World Proceedings of the Fifth IFIP/IEEE International Symposium on Integrated Network Management San Diego, California, U.S.A., May 12-16, 1997 ＜IFIP Advances in Information and Communication Technology＞

Integrated Management in a Virtual World Proceedings of the Fifth IFIP/IEEE International Symposium on Integrated Network Management San Diego, California, U.S.A., May 12-16, 1997

Edited by Lazar, Aurel A.; Edited by Saracco, Robe･･･

823p H235 x W155

9781475755190

Knowledge-based intelligent information and engineering systems: KES 2007 - WIRN 2007 : 11th International Conference, KES 2007, XVII Italian Workshop on Neural Networks, Vietri sul Mare, Italy, September 12-14, 2007 : proceedings pt. 1 ＜Lecture notes in computer science＞

Bruno Apolloni, Robert J. Howlett, Lakhmi Jain (ed･･･

3 v. 24 cm

9783540748267

Integrated network management V : integrated management in a virtual world : proceedings of the Fifth IFIP/IEEE International Symposium on Integrated Network Management, San Diego, California, U.S.A, May 12-16, 1997 1st ed

edited by Aurel A. Lazar, Roberto Saracco and Rolf･･･

xxiv, 799 p. 24 cm

0412809605

World Congress on Medical Physics and Biomedical Engineering September 7 - 12, 2009 Munich, Germany : Vol. 25/Iv Image Processing, Biosignal Processing, Modelling and Simulation, Biomechanics ＜IFMBE Proceedings No. 25/4＞

Vol. 25/Iv Image Processing, Biosignal Processing, Modelling and Simulation, Biomechanics

Edited by Dossel, Olaf; Edited by Schlegel, Wolfga･･･

2412p H277 x W210

9783642038815

EWork and EBusiness in Architecture, Engineering and Construction : ECPPM 2012

ECPPM 2012

Edited by Gudnason, Gudni; Edited by Scherer, Raim･･･

976p

9780203077962

EWork and EBusiness in Architecture, Engineering and Construction : ECPPM 2012

ECPPM 2012

Edited by Gudnason, Gudni; Edited by Scherer, Raim･･･

976p H246 x W174

9780415621281

へき地生態科学研究所研究報告集 (H8)

地域社会振興財団へき地生態科学研究所 [編]、地域社会振興財団へき地生態科学研究所、1997-12

冊 30cm

Bioinformatics : managing scientific data [hbk] ＜The Morgan Kaufmann series in multimedia information and systems＞

edited by Zoé Lacroix and Terence Critchlow、Morgan･･･

xxi, 441 p. 25 cm

155860829X