大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 pro*c 的图书(共20808本)

Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007. Proceedings

0
索取号：
作者：Grumberg、 Orna.、Huth、 Michael.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

S茅minaire de Probabilit茅s XL [electronic resource]

0
索取号：
作者：Donati-Martin、 Catherine.、脡mery、 Michel.、Rouault、 Alain.、Stricker、 Christophe.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Groups of Galaxies in the Nearby Universe [electronic resource] : Proceedings of the ESO Workshop held at Santiago de Chile

0
索取号：
作者：Saviane、 Ivo.、Ivanov、 Valentin D.、Borissova、 Jordanka.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

NASSAU 2006 [electronic resource] : Proceedings of the 4th Nassau M枚ssbauer Symposium held in Garden City, New York, USA, 13鈥ᴠJanuary 2006

0
索取号：
作者：Alp、 E. E.、Wynter、 C. I.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

LASER 2006 [electronic resource] : Proceedings of the 7th International Workshop on Application of Lasers in Atomic Nuclei Research 鈥淣uclear Ground and Isometric State Properties鈥਌ASER 2006) held in Pozn谩n, Poland, 29 May鈥᠊une 2006

0
索取号：
作者：B艂aszczak、 Z.、Markov、 B.、Marinova、 K.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Wave Propagation in Infinite Domains [electronic resource] : With Applications to Structure Interaction

0
索取号：
作者：Lehmann、 Lutz.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Automated Reasoning [electronic resource] : 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 Proceedings

0
索取号：
作者：Armando、 Alessandro.、Baumgartner、 Peter.、Dowek、 Gilles.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Theorem Proving in Higher Order Logics [electronic resource] : 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings

0
索取号：
作者：Mohamed、 Otmane Ait.、Mu帽oz、 C茅sar.、Tahar、 Sofi猫ne.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Job Scheduling Strategies for Parallel Processing [electronic resource] : 12th International Workshop, JSSPP 2006, Saint-Malo, France, June 26, 2006, Revised Selected Papers

0
索取号：
作者：Frachtenberg、 Eitan.、Schwiegelshohn、 Uwe.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Rethinking Knowledge Management [electronic resource] : From Knowledge Objects to Knowledge Processes

0
索取号：
作者：McInerney、 Claire R.、Day、 Ronald E.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Adaptive Hypermedia and Adaptive Web-Based Systems [electronic resource] : 5th International Conference, AH 2008, Hannover, Germany, July 29 - August 1, 2008. Proceedings

0
索取号：
作者：Nejdl、 Wolfgang.、Kay、 Judy.、Pu、 Pearl.、Herder、 Eelco.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Advances in Data Analysis [electronic resource] : Proceedings of the 30th Annual Conference of the Gesellschaft f眉r Klassifikation e.V., Freie Universit盲t Berlin, March 8鈥ᰬ 2006

0
索取号：
作者：Decker、 Reinhold.、Lenz、 Hans -J.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Microstructure and Properties of High-Temperature Superconductors [electronic resource]

0
索取号：
作者：Parinov、 Ivan A.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Progress in Landslide Science [electronic resource]

0
索取号：
作者：Sassa、 Kyoji.、Fukuoka、 Hiroshi.、Wang、 Fawu.、Wang、 Gonghui.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Private Equity Exits [electronic resource] : Divestment Process Management for Leveraged Buyouts

0
索取号：
作者：Povaly、 Stefan.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Protein Engineering [electronic resource]

0
索取号：
作者：K枚hrer、 Caroline.、RajBhandary、 Uttam L.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
最近添加的分类
对外联络处体育学院经济学院南校区管理委员会数字校园南校区管委会暨南大学校报下载中心规章制度信息公示创新论坛教务动态创新人才课程中心核心团队通知电气信息学院四海书院国际商学院人文学院