大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Symposium on Generalized Recursion Theory 的图书(共8282本)

Generalized Continua and Dislocation Theory [electronic resource] : Theoretical Concepts, Computational Methods and Experimental Verification

0
索取号:
作者:Sansour、 Carlo.、Skatulla、 Sebastian.、SpringerLink (Online service)、
出版社:Vienna : Springer Vienna, 2012.

Dynamical Inverse Problems: Theory and Application [electronic resource]

0
索取号:
作者:Gladwell、 Graham M. L.、Morassi、 Antonino.、SpringerLink (Online service)、
出版社:Vienna : Springer Vienna, 2011.

From Sociology to Computing in Social Networks [electronic resource] : Theory, Foundations and Applications

0
索取号:
作者:Memon、 Nasrullah.、Alhajj、 Reda.、SpringerLink (Online service)、
出版社:Vienna : Springer Vienna, 2010.

ROMANSY 18 Robot Design, Dynamics and Control [electronic resource] : Proceedings of The Eighteenth CISM-IFToMM Symposium

0
索取号:
作者:Parenti Castelli、 Vincenzo.、Schiehlen、 Werner.、SpringerLink (Online service)、
出版社:Vienna : Springer Vienna, 2010.

Formal Aspects of Component Software [electronic resource] : 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers

0
索取号:
作者:Arbab、 Farhad.、脰lveczky、 Peter Csaba.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Quantum Interaction [electronic resource] : 6th International Symposium, QI 2012, Paris, France, June 27-29, 2012, Revised Selected Papers

0
索取号:
作者:Busemeyer、 Jerome R.、Dubois、 Fran莽ois.、Lambert-Mogiliansky、 Ariane.、Melucci、 Massimo.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Game Theory for Networks [electronic resource] : Third International ICST Conference, GameNets 2012, Vancouver, BC, Canada, May 24-26, 2012, Revised Selected Papers

0
索取号:
作者:Krishnamurthy、 Vikram.、Zhao、 Qing.、Huang、 Minyi.、Wen、 Yonggang.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Cyberspace Safety and Security [electronic resource] : 4th International Symposium, CSS 2012, Melbourne, Australia, December 12-13, 2012. Proceedings

0
索取号:
作者:Xiang、 Yang.、Lopez、 Javier.、Kuo、 C.-C. Jay.、Zhou、 Wanlei.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Algorithms and Computation [electronic resource] : 23rd International Symposium, ISAAC 2012, Taipei, Taiwan, December 19-21, 2012. Proceedings

0
索取号:
作者:Chao、 Kun-Mao.、Hsu、 Tsan-sheng.、Lee、 Der-Tsai.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Programming Languages and Systems [electronic resource] : 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012. Proceedings

0
索取号:
作者:Jhala、 Ranjit.、Igarashi、 Atsushi.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Advances in Cryptology-ASIACRYPT 2012 [electronic resource] : 18th International Conference on the Theory and Application of Cryptology and Information Security, Beijing, China, December 2-6, 2012. Proceedings

0
索取号:
作者:Wang、 Xiaoyun.、Sako、 Kazue.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Foundations of Intelligent Systems [electronic resource] : 20th International Symposium, ISMIS 2012, Macau, China, December 4-7, 2012. Proceedings

0
索取号:
作者:Chen、 Li.、Felfernig、 Alexander.、Liu、 Jiming.、Ra艣、 Zbigniew W.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Advances in Artificial Intelligence - SBIA 2012 [electronic resource] : 21th Brazilian Symposium on Artificial Intelligence, Curitiba, Brazil, October 20-25, 2012. Proceedings

0
索取号:
作者:Barros、 Leliane N.、Finger、 Marcelo.、Pozo、 Aurora T.、Gimen茅nez-Lugo、 Gustavo A.、Castilho、 Marcos.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Implementation and Application of Functional Languages [electronic resource] : 23rd International Symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011, Revised Selected Papers

0
索取号:
作者:Gill、 Andy.、Hage、 Jurriaan.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Computational Intelligence and Intelligent Systems [electronic resource] : 6th International Symposium, ISICA 2012, Wuhan, China, October 27-28, 2012. Proceedings

0
索取号:
作者:Li、 Zhenhua.、Li、 Xiang.、Liu、 Yong.、Cai、 Zhihua.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Decision and Game Theory for Security [electronic resource] : Third International Conference, GameSec 2012, Budapest, Hungary, November 5-6, 2012. Proceedings

0
索取号:
作者:Grossklags、 Jens.、Walrand、 Jean.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
最近添加的分类