搜索包含 Symposium on Foundations of Computer Science (28th : 1987) 的图书 - 暨南大学图书馆

大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Symposium on Foundations of Computer Science (28th : 1987) 的图书(共7863本)

	Static Analysis [electronic resource] : 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings 0 索取号：作者：Alpuente、 Mar铆a.、Vidal、 Germ谩n.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.		Progress in Ultrafast Intense Laser Science [electronic resource] 0 索取号：作者：Yamanouchi、 Kaoru.、Becker、 Andreas.、Li、 Ruxin.、Chin、 See Leang.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
	Model Driven Architecture-Foundations and Applications [electronic resource] : 4th European Conference, ECMDA-FA 2008, Berlin, Germany, June 9-13, 2008. Proceedings 0 索取号：作者：Schieferdecker、 Ina.、Hartman、 Alan.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.		Combinatorial Pattern Matching [electronic resource] : 19th Annual Symposium, CPM 2008, Pisa, Italy, June 18-20, 2008 Proceedings 0 索取号：作者：Ferragina、 Paolo.、Landau、 Gad M.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.
	Computational Science and High Performance Computing III [electronic resource] : The 3rd Russian-German Advanced Research Workshop, Novosibirsk, Russia, July 23 - 27, 2007 0 索取号：作者：Krause、 Egon.、Shokin、 Yurii I.、Resch、 Michael.、Shokina、 Nina.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.		Theoretical Surface Science [electronic resource] : A Microscopic Perspective 0 索取号：作者：Gro脽、 Axel.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
	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.		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.
	Mathematics and Computation, a Contemporary View [electronic resource] : The Abel Symposium 2006 Proceedings of the Third Abel Symposium, Alesund, Norway, May 25鈥ⷬ 2006 0 索取号：作者：Munthe-Kaas、 Hans.、Owren、 Brynjulf.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.		Service Availability [electronic resource] : Third International Service Availability Symposium, ISAS 2006, Helsinki, Finland, May 15-16, 2006. Revised Selected Papers 0 索取号：作者：Penkler、 Dave.、Reitenspiess、 Manfred.、Tam、 Francis.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
	Information Retrieval Technology [electronic resource] : 4th Asia Infomation Retrieval Symposium, AIRS 2008, Harbin, China, January 15-18, 2008 Revised Selected Papers 0 索取号：作者：Li、 Hang.、Liu、 Ting.、Ma、 Wei-Ying.、Sakai、 Tetsuya.、Wong、 Kam-Fai.、Zhou、 Guodong.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.		Headway in Spatial Data Handling [electronic resource] : 13th International Symposium on Spatial Data Handling 0 索取号：作者：Ruas、 Anne.、Gold、 Christopher.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.
	Heterogeneous Objects Modelling and Applications [electronic resource] : Collection of Papers on Foundations and Practice 0 索取号：作者：Pasko、 Alexander.、Adzhiev、 Valery.、Comninos、 Peter.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.		ShockWave Science and Technology Reference Library [electronic resource] 0 索取号：作者：Horie、 Yasuyuki.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.
	Algorithmic Foundation of Robotics VII [electronic resource] : Selected Contributions of the Seventh International Workshop on the Algorithmic Foundations of Robotics 0 索取号：作者：Akella、 Srinivas.、Amato、 Nancy M.、Huang、 Wesley H.、Mishra、 Bud.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.		Computer Vision, Graphics and Image Processing [electronic resource] : 5th Indian Conference, ICVGIP 2006, Madurai, India, December 13-16, 2006. Proceedings 0 索取号：作者：Kalra、 Prem K.、Peleg、 Shmuel.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

	Static Analysis [electronic resource] : 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings 0 索取号：作者：Alpuente、 Mar铆a.、Vidal、 Germ谩n.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.		Progress in Ultrafast Intense Laser Science [electronic resource] 0 索取号：作者：Yamanouchi、 Kaoru.、Becker、 Andreas.、Li、 Ruxin.、Chin、 See Leang.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
	Model Driven Architecture-Foundations and Applications [electronic resource] : 4th European Conference, ECMDA-FA 2008, Berlin, Germany, June 9-13, 2008. Proceedings 0 索取号：作者：Schieferdecker、 Ina.、Hartman、 Alan.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.		Combinatorial Pattern Matching [electronic resource] : 19th Annual Symposium, CPM 2008, Pisa, Italy, June 18-20, 2008 Proceedings 0 索取号：作者：Ferragina、 Paolo.、Landau、 Gad M.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.
	Computational Science and High Performance Computing III [electronic resource] : The 3rd Russian-German Advanced Research Workshop, Novosibirsk, Russia, July 23 - 27, 2007 0 索取号：作者：Krause、 Egon.、Shokin、 Yurii I.、Resch、 Michael.、Shokina、 Nina.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.		Theoretical Surface Science [electronic resource] : A Microscopic Perspective 0 索取号：作者：Gro脽、 Axel.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
	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.		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.
	Mathematics and Computation, a Contemporary View [electronic resource] : The Abel Symposium 2006 Proceedings of the Third Abel Symposium, Alesund, Norway, May 25鈥ⷬ 2006 0 索取号：作者：Munthe-Kaas、 Hans.、Owren、 Brynjulf.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.		Service Availability [electronic resource] : Third International Service Availability Symposium, ISAS 2006, Helsinki, Finland, May 15-16, 2006. Revised Selected Papers 0 索取号：作者：Penkler、 Dave.、Reitenspiess、 Manfred.、Tam、 Francis.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
	Information Retrieval Technology [electronic resource] : 4th Asia Infomation Retrieval Symposium, AIRS 2008, Harbin, China, January 15-18, 2008 Revised Selected Papers 0 索取号：作者：Li、 Hang.、Liu、 Ting.、Ma、 Wei-Ying.、Sakai、 Tetsuya.、Wong、 Kam-Fai.、Zhou、 Guodong.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.		Headway in Spatial Data Handling [electronic resource] : 13th International Symposium on Spatial Data Handling 0 索取号：作者：Ruas、 Anne.、Gold、 Christopher.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.
	Heterogeneous Objects Modelling and Applications [electronic resource] : Collection of Papers on Foundations and Practice 0 索取号：作者：Pasko、 Alexander.、Adzhiev、 Valery.、Comninos、 Peter.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.		ShockWave Science and Technology Reference Library [electronic resource] 0 索取号：作者：Horie、 Yasuyuki.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.
	Algorithmic Foundation of Robotics VII [electronic resource] : Selected Contributions of the Seventh International Workshop on the Algorithmic Foundations of Robotics 0 索取号：作者：Akella、 Srinivas.、Amato、 Nancy M.、Huang、 Wesley H.、Mishra、 Bud.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.		Computer Vision, Graphics and Image Processing [electronic resource] : 5th Indian Conference, ICVGIP 2006, Madurai, India, December 13-16, 2006. Proceedings 0 索取号：作者：Kalra、 Prem K.、Peleg、 Shmuel.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.