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

Transport in Metal-Oxide-Semiconductor Structures [electronic resource] : Mobile Ions Effects on the Oxide Properties

0
索取号:
作者:Bentarzi、 Hamid.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Business Process Modeling Notation [electronic resource] : Second International Workshop, BPMN 2010, Potsdam, Germany, October 13-14, 2010. Proceedings

0
索取号:
作者:Mendling、 Jan.、Weidlich、 Matthias.、Weske、 Mathias.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Image Processing and Communications Challenges 2 [electronic resource]

0
索取号:
作者:Chora艣、 Ryszard S.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Modeling Decisions for Artificial Intelligence [electronic resource] : 7th International Conference, MDAI 2010, Perpignan, France, October 27-29, 2010. Proceedings

0
索取号:
作者:Torra、 Vicen莽.、Narukawa、 Yasuo.、Daumas、 Marc.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Semantic Web Rules [electronic resource] : International Symposium, RuleML 2010, Washington, DC, USA, October 21-23, 2010. Proceedings

0
索取号:
作者:Dean、 Mike.、Hall、 John.、Rotolo、 Antonino.、Tabet、 Said.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

The Ricci Flow in Riemannian Geometry [electronic resource] : A Complete Proof of the Differentiable 1/4-Pinching Sphere Theorem

0
索取号:
作者:Andrews、 Ben.、Hopper、 Christopher.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Software Services for e-World [electronic resource] : 10th IFIP WG 6.11 Conference on e-Business, e-Services, and e-Society, I3E 2010, Buenos Aires, Argentina, November 3-5, 2010. Proceedings

0
索取号:
作者:Cellary、 Wojciech.、Estevez、 Elsa.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Provable Security [electronic resource] : 4th International Conference, ProvSec 2010, Malacca, Malaysia, October 13-15, 2010. Proceedings

0
索取号:
作者:Heng、 Swee-Huay.、Kurosawa、 Kaoru.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Integrated Formal Methods [electronic resource] : 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings

0
索取号:
作者:M茅ry、 Dominique.、Merz、 Stephan.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Brain, Body and Machine [electronic resource] : Proceedings of an International Symposium on the Occasion of the 25th Anniversary of the McGill University Centre for Intelligent Machines

0
索取号:
作者:Angeles、 Jorge.、Boulet、 Benoit.、Clark、 James J.、K枚vecses、 J贸zsef.、Siddiqi、 Kaleem.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Software Technologies for Embedded and Ubiquitous Systems [electronic resource] : 8th IFIP WG 10.2 International Workshop, SEUS 2010, Waidhofen/Ybbs, Austria, October 13-15, 2010. Proceedings

0
索取号:
作者:Min、 Sang Lyul.、Pettit、 Robert.、Puschner、 Peter.、Ungerer、 Theo.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Rough Set and Knowledge Technology [electronic resource] : 5th International Conference, RSKT 2010, Beijing, China, October 15-17, 2010. Proceedings

0
索取号:
作者:Yu、 Jian.、Greco、 Salvatore.、Lingras、 Pawan.、Wang、 Guoyin.、Skowron、 Andrzej.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings

0
索取号:
作者:Ferm眉ller、 Christian G.、Voronkov、 Andrei.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Artificial Intelligence Applications and Innovations [electronic resource] : 6th IFIP WG 12.5 International Conference, AIAI 2010, Larnaca, Cyprus, October 6-7, 2010. Proceedings

0
索取号:
作者:Papadopoulos、 Harris.、Andreou、 Andreas S.、Bramer、 Max.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Evolutionary Statistical Procedures [electronic resource] : An Evolutionary Computation Approach to Statistical Procedures Designs and Applications

0
索取号:
作者:Baragona、 Roberto.、Battaglia、 Francesco.、Poli、 Irene.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Spoken Dialogue Systems for Ambient Environments [electronic resource] : Second International Workshop on Spoken Dialogue Systems Technology, IWSDS 2010, Gotemba, Shizuoka, Japan, October 1-2, 2010. Proceedings

0
索取号:
作者:Lee、 Gary Geunbae.、Mariani、 Joseph.、Minker、 Wolfgang.、Nakamura、 Satoshi.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
最近添加的分类