大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 International Federation of Automatic Control 的图书(共10405本)

Information Systems Security [electronic resource] : Second International Conference, ICISS 2006, Kolkata, India, December 19-21, 2006. Proceedings

0
索取号：
作者：Bagchi、 Aditya.、Atluri、 Vijayalakshmi.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Declarative Agent Languages and Technologies IV [electronic resource] : 4th International Workshop, DALT 2006, Hakodate, Japan, May 8, 2006, Selected, Revised and Invited Papers

0
索取号：
作者：Baldoni、 Matteo.、Endriss、 Ulle.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Advances in Automatic Differentiation [electronic resource]

0
索取号：
作者：Bischof、 Christian H.、B眉cker、 H. Martin.、Hovland、 Paul.、Naumann、 Uwe.、Utke、 Jean.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

International Competitiveness in Africa [electronic resource] : Policy Implications in the Sub-Saharan Region

0
索取号：
作者：Razafimahefa、 Ivohasina Fizara.、Hamori、 Shigeyuki.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Applied Cryptography and Network Security [electronic resource] : 6th International Conference, ACNS 2008, New York, NY, USA, June 3-6, 2008. Proceedings

0
索取号：
作者：Bellovin、 Steven M.、Gennaro、 Rosario.、Keromytis、 Angelos.、Yung、 Moti.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Formal Methods for Computational Systems Biology [electronic resource] : 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 Advanced Lectures

0
索取号：
作者：Bernardo、 Marco.、Degano、 Pierpaolo.、Zavattaro、 Gianluigi.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Integer Programming and Combinatorial Optimization [electronic resource] : 13th International Conference, IPCO 2008 Bertinoro, Italy, May 26-28, 2008 Proceedings

0
索取号：
作者：Lodi、 Andrea.、Panconesi、 Alessandro.、Rinaldi、 Giovanni.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Algorithmic Aspects in Information and Management [electronic resource] : 4th International Conference, AAIM 2008, Shanghai, China, June 23-25, 2008. Proceedings

0
索取号：
作者：Fleischer、 Rudolf.、Xu、 Jinhui.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Formal Methods for Open Object-Based Distributed Systems [electronic resource] : 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings

0
索取号：
作者：Barthe、 Gilles.、Boer、 Frank S.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Formal Techniques for Networked and Distributed Systems-FORTE 2008 [electronic resource] : 28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedings

0
索取号：
作者：Suzuki、 Kenji.、Higashino、 Teruo.、Yasumoto、 Keiichi.、El-Fakih、 Khaled.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Wired/Wireless Internet Communications [electronic resource] : 6th International Conference, WWIC 2008 Tampere, Finland, May 28-30, 2008 Proceedings

0
索取号：
作者：Harju、 Jarmo.、Heijenk、 Geert.、Langend枚rfer、 Peter.、Siris、 Vasilios A.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Neural Preprocessing and Control of Reactive Walking Machines [electronic resource] : Towards Versatile Artificial Perception-Action Systems

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

Progress in Cryptology - VIETCRYPT 2006 [electronic resource] : First International Conference on Cryptology in Vietnam, Hanoi, Vietnam, September 25-28, 2006. Revised Selected Papers

0
索取号：
作者：Nguyen、 Phong Q.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Privacy Enhancing Technologies [electronic resource] : 6th International Workshop, PET 2006, Cambridge, UK, June 28-30, 2006, Revised Selected Papers

0
索取号：
作者：Danezis、 George.、Golle、 Philippe.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Ultrafast Phenomena XV [electronic resource] : Proceedings of the 15th International Conference, Pacific Grove, USA, July 30 鈥ugust 4, 2006

0
索取号：
作者：Corkum、 Paul.、Jonas、 David M.、Miller、 R. J. Dwayne.、Weiner、 Andrew M.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

B 2007: Formal Specification and Development in B [electronic resource] : 7th International Conference of B Users, Besan莽on, France, January 17-19, 2007. Proceedings

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