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

Methods and Tools of Parallel Programming Multicomputers [electronic resource] : Second Russia-Taiwan Symposium, MTPP 2010, Vladivostok, Russia, May 16-19, 2010, Revised Selected Papers

0
索取号：
作者：Hsu、 Ching-Hsien.、Malyshkin、 Victor.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Computer Network Security [electronic resource] : 5th International Conference on Mathematical Methods, Models and Architectures for Computer Network Security, MMM-ACNS 2010, St. Petersburg, Russia, September 8-10, 2010. Proceedings

0
索取号：
作者：Kotenko、 Igor.、Skormin、 Victor.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Unifying Theories of Programming [electronic resource] : Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers

0
索取号：
作者：Butterfield、 Andrew.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

A 25-Year Perspective on Logic Programming [electronic resource] : Achievements of the Italian Association for Logic Programming, GULP

0
索取号：
作者：Dovier、 Agostino.、Pontelli、 Enrico.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Computer Aided Verification [electronic resource] : 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings

0
索取号：
作者：Touili、 Tayssir.、Cook、 Byron.、Jackson、 Paul.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Deontic Logic in Computer Science [electronic resource] : 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings

0
索取号：
作者：Governatori、 Guido.、Sartor、 Giovanni.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Automata, Languages and Programming [electronic resource] : 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I

0
索取号：
作者：Abramsky、 Samson.、Gavoille、 Cyril.、Kirchner、 Claude.、Meyer auf der Heide、 Friedhelm.、Spirakis、 Paul G.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Automata, Languages and Programming [electronic resource] : 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II

0
索取号：
作者：Abramsky、 Samson.、Gavoille、 Cyril.、Kirchner、 Claude.、Meyer auf der Heide、 Friedhelm.、Spirakis、 Paul G.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Intelligent Computer Mathematics [electronic resource] : 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010. Proceedings

0
索取号：
作者：Autexier、 Serge.、Calmet、 Jacques.、Delahaye、 David.、Ion、 Patrick D. F.、Rideau、 Laurence.、Rioboo、 Renaud.、Sexton、 Alan P.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

ECOOP 2010-Object-Oriented Programming [electronic resource] : 24th European Conference, Maribor, Slovenia, June 21-25, 2010. Proceedings

0
索取号：
作者：D鈥橦ondt、 Theo.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Soft Computing in XML Data Management [electronic resource] : Intelligent Systems from Decision Making to Data Mining, Web Intelligence and Computer Vision

0
索取号：
作者：Ma、 Zongmin.、Yan、 Li.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Computer Networks [electronic resource] : 17th Conference, CN 2010, Ustro艅, Poland, June 15-19, 2010. Proceedings

0
索取号：
作者：Kwiecie艅、 Andrzej.、Gaj、 Piotr.、Stera、 Piotr.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Inductive Logic Programming [electronic resource] : 19th International Conference, ILP 2009, Leuven, Belgium, July 02-04, 2009. Revised Papers

0
索取号：
作者：Raedt、 Luc.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Information Processing in Computer-Assisted Interventions [electronic resource] : First International Conference, IPCAI 2010, Geneva, Switzerland, June 23, 2010. Proceedings

0
索取号：
作者：Navab、 Nassir.、Jannin、 Pierre.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Formal Methods for Quantitative Aspects of Programming Languages [electronic resource] : 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures

0
索取号：
作者：Aldini、 Alessandro.、Bernardo、 Marco.、Pierro、 Alessandra.、Wiklicky、 Herbert.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Fete of Combinatorics and Computer Science [electronic resource]

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