大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Colloquium on Application of Functional Analysis to Control Theory (1980) 的图书(共13075本)

Implementation and Application of Functional Languages [electronic resource] : 16th International Workshop, IFL 2004, L眉beck, Germany, September 8-10, 2004 Revised Selected Papers

0
索取号：
作者：Grelck、 Clemens.、Huch、 Frank.、Michaelson、 Greg J.、Trinder、 Phil.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Spatial Information Theory [electronic resource] : International Conference, COSIT 2005, Ellicottville, NY, USA, September 14-18, 2005. Proceedings

0
索取号：
作者：Cohn、 Anthony G.、Mark、 David M.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Computer Analysis of Images and Patterns [electronic resource] : 11th International Conference, CAIP 2005, Versailles, France, September 5-8, 2005. Proceedings

0
索取号：
作者：Gagalowicz、 Andr茅.、Philips、 Wilfried.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Pattern Recognition and Image Analysis [electronic resource] : Third International Conference on Advances in Pattern Recognition, ICAPR 2005, Bath, UK, August 22-25, 2005, Proceedings, Part II

0
索取号：
作者：Singh、 Sameer.、Singh、 Maneesha.、Apte、 Chid.、Perner、 Petra.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Programming Languages and Systems [electronic resource] : 14th European Symposium on Programming, ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings

0
索取号：
作者：Sagiv、 Mooly.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Compiler Construction [electronic resource] : 14th International Conference, CC 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings

0
索取号：
作者：Bodik、 Rastislav.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Fundamental Approaches to Software Engineering [electronic resource] : 8th International Conference, FASE 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings

0
索取号：
作者：Cerioli、 Maura.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Foundations of Software Science and Computational Structures [electronic resource] : 8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings

0
索取号：
作者：Sassone、 Vladimiro.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005.

Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings

0
索取号：
作者：Halbwachs、 Nicolas.、Zuck、 Lenore D.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Static Analysis [electronic resource] : 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005. Proceedings

0
索取号：
作者：Hankin、 Chris.、Siveroni、 Igor.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Automated Technology for Verification and Analysis [electronic resource] : Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005. Proceedings

0
索取号：
作者：Peled、 Doron A.、Tsay、 Yih-Kuen.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Network Analysis [electronic resource] : Methodological Foundations

0
索取号：
作者：Brandes、 Ulrik.、Erlebach、 Thomas.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Hybrid Systems: Computation and Control [electronic resource] : 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005. Proceedings

0
索取号：
作者：Morari、 Manfred.、Thiele、 Lothar.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Image Analysis and Recognition [electronic resource] : Second International Conference, ICIAR 2005, Toronto, Canada, September 28-30, 2005. Proceedings

0
索取号：
作者：Kamel、 Mohamed.、Campilho、 Aur茅lio.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Foundations of Security Analysis and Design III [electronic resource] : FOSAD 2004/2005 Tutorial Lectures

0
索取号：
作者：Aldini、 Alessandro.、Gorrieri、 Roberto.、Martinelli、 Fabio.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

CONCUR 2005-Concurrency Theory [electronic resource] : 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005. Proceedings

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