大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 programming 的图书(共1817本)

Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 18th International Conference, LPAR-18, M茅rida, Venezuela, March 11-15, 2012. Proceedings

0
索取号：
作者：Bj酶rner、 Nikolaj.、Voronkov、 Andrei.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

The Correctness-by-Construction Approach to Programming [electronic resource]

0
索取号：
作者：Kourie、 Derrick G.、Watson、 Bruce W.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Programming with Multiple Precision [electronic resource]

0
索取号：
作者：Nikolaevskaya、 Elena.、Khimich、 Alexandr.、Chistyakova、 Tamara.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Programming Languages and Systems [electronic resource] : 9th Asian Symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011. Proceedings

0
索取号：
作者：Yang、 Hongseok.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Principles and Practice of Constraint Programming-CP 2011 [electronic resource] : 17th International Conference, CP 2011, Perugia, Italy, September 12-16, 2011. Proceedings

0
索取号：
作者：Lee、 Jimmy.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

DNA Computing and Molecular Programming [electronic resource] : 17th International Conference, DNA 17, Pasadena, CA, USA, September 19-23, 2011. Proceedings

0
索取号：
作者：Cardelli、 Luca.、Shih、 William.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Programming for Engineers [electronic resource] : A Foundational Approach to Learning C and Matlab

0
索取号：
作者：Bradley、 Aaron R.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Trends in Functional Programming [electronic resource] : 11th International Symposium, TFP 2010, Norman, OK, USA, May 17-19, 2010. Revised Selected Papers

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

ECOOP 2011-Object-Oriented Programming [electronic resource] : 25th European Conference, Lancaster, Uk, July 25-29, 2011 Proceedings

0
索取号：
作者：Mezini、 Mira.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Rule-Based Reasoning, Programming, and Applications [electronic resource] : 5th International Symposium, RuleML 2011 鈥ŵrope, Barcelona, Spain, July 19-21, 2011. Proceedings

0
索取号：
作者：Bassiliades、 Nick.、Governatori、 Guido.、Paschke、 Adrian.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Functional and Constraint Logic Programming [electronic resource] : 20th International Workshop, WFLP 2011, Odense, Denmark, July 19th, Proceedings

0
索取号：
作者：Kuchen、 Herbert.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Approximation Algorithms and Semidefinite Programming [electronic resource]

0
索取号：
作者：G盲rtner、 Bernd.、Matousek、 Jiri.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Automata, Languages and Programming [electronic resource] : 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part II

0
索取号：
作者：Aceto、 Luca.、Henzinger、 Monika.、Sgall、 Ji艡铆.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Automata, Languages and Programming [electronic resource] : 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part I

0
索取号：
作者：Aceto、 Luca.、Henzinger、 Monika.、Sgall、 Ji艡铆.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems [electronic resource] : 8th International Conference, CPAIOR 2011, Berlin, Germany, May 23-27, 2011. Proceedings

0
索取号：
作者：Achterberg、 Tobias.、Beck、 J. Christopher.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Inductive Logic Programming [electronic resource] : 20th International Conference, ILP 2010, Florence, Italy, June 27-30, 2010. Revised Papers

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