大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 ACM Symposium on Principles of Programming Languages (4th : 1977 : Los Angeles) 的图书(共7694本)

Trust, Privacy and Security in Digital Business [electronic resource] : 4th International Conference, TrustBus 2007, Regensburg, Germany, September 3-7, 2007. Proceedings

0
索取号：
作者：Lambrinoudakis、 Costas.、Pernul、 G眉nther.、Tjoa、 A Min.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Recent Advances in Intrusion Detection [electronic resource] : 10th International Symposium, RAID 2007, Gold Goast, Australia, September 5-7, 2007. Proceedings

0
索取号：
作者：Kruegel、 Christopher.、Lippmann、 Richard.、Clark、 Andrew.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Image Analysis and Recognition [electronic resource] : 4th International Conference, ICIAR 2007, Montreal, Canada, August 22-24, 2007. Proceedings

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

Algorithmic Methods for Railway Optimization [electronic resource] : International Dagstuhl Workshop, Dagstuhl Castle, Germany, June 20-25, 2004, 4th International Workshop, ATMOS 2004, Bergen, Norway, September 16-17, 2004, Revised Selected Papers

0
索取号：
作者：Geraets、 Frank.、Kroon、 Leo.、Schoebel、 Anita.、Wagner、 Dorothea.、Zaroliagis、 Christos D.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Fundamentals of Computation Theory [electronic resource] : 16th International Symposium, FCT 2007, Budapest, Hungary, August 27-30, 2007. Proceedings

0
索取号：
作者：Csuhaj-Varj煤、 Erzs茅bet.、脡sik、 Zolt谩n.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Implementation and Application of Functional Languages [electronic resource] : 18th International Symposium, IFL 2006, Budapest, Hungary, September 4-6, 2006, Revised Selected Papers

0
索取号：
作者：Horv谩th、 Zolt谩n.、Zs贸k、 Vikt贸ria.、Butterfield、 Andrew.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Model Checking and Artificial Intelligence [electronic resource] : 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers

0
索取号：
作者：Edelkamp、 Stefan.、Lomuscio、 Alessio.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Logics of Specification Languages [electronic resource]

0
索取号：
作者：Bj酶rner、 Dines.、Henson、 Martin C.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Static Analysis [electronic resource] : 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007. Proceedings

0
索取号：
作者：Nielson、 Hanne Riis.、Fil茅、 Gilberto.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Inductive Logic Programming [electronic resource] : 16th International Conference, ILP 2006, Santiago de Compostela, Spain, August 24-27, 2006, Revised Selected Papers

0
索取号：
作者：Muggleton、 Stephen.、Otero、 Ramon.、Tamaddoni-Nezhad、 Alireza.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Recent Advances in Constraints [electronic resource] : 11th Annual ERCIM International Workshop on Constraint Solving and Contraint Logic Programming, CSCLP 2006, Caparica, Portugal, June 26-28, 2006, Revised Selected and Invited Papers

0
索取号：
作者：Azevedo、 Francisco.、Barahona、 Pedro.、Fages、 Fran莽ois.、Rossi、 Francesca.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Advances in Bioinformatics and Computational Biology [electronic resource] : Second Brazilian Symposium on Bioinformatics, BSB 2007, Angra dos Reis, Brazil, August 29-31, 2007. Proceedings

0
索取号：
作者：Sagot、 Marie-France.、Walter、 Maria Emilia M. T.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Modeling Decisions for Artificial Intelligence [electronic resource] : 4th International Conference, MDAI 2007, Kitakyushu, Japan, August 16-18, 2007. Proceedings

0
索取号：
作者：Torra、 Vicen莽.、Narukawa、 Yasuo.、Yoshida、 Yuji.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Linear Programming and its Applications [electronic resource]

0
索取号：
作者：Eiselt、 H. A.、Sandblom、 C. -L.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Detection of Intrusions and Malware, and Vulnerability Assessment [electronic resource] : 4th International Conference, DIMVA 2007 Lucerne, Switzerland, July 12-13, 2007 Proceedings

0
索取号：
作者：H盲mmerli、 Bernhard.、Sommer、 Robin.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

ECOOP 2007-Object-Oriented Programming [electronic resource] : 21st European Conference, Berlin, Germany, July 30 - August 3, 2007. Proceedings

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