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

Automata, Languages, and Programming [electronic resource] : 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part II

0
索取号：
作者：Czumaj、 Artur.、Mehlhorn、 Kurt.、Pitts、 Andrew.、Wattenhofer、 Roger.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Applied Cryptography and Network Security [electronic resource] : 10th International Conference, ACNS 2012, Singapore, June 26-29, 2012. Proceedings

0
索取号：
作者：Bao、 Feng.、Samarati、 Pierangela.、Zhou、 Jianying.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

ECOOP 2012-Object-Oriented Programming [electronic resource] : 26th European Conference, Beijing, China, June 11-16, 2012. Proceedings

0
索取号：
作者：Noble、 James.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Scientific Workflows [electronic resource] : Programming, Optimization, and Synthesis with ASKALON and AWDL

0
索取号：
作者：Qin、 Jun.、Fahringer、 Thomas.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Agile Processes in Software Engineering and Extreme Programming [electronic resource] : 13th International Conference, XP 2012, Malm枚, Sweden, May 21-25, 2012. Proceedings

0
索取号：
作者：Wohlin、 Claes.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

A Primer on Scientific Programming with Python [electronic resource]

0
索取号：
作者：Langtangen、 Hans Petter.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Integration of AI and OR Techniques in Contraint Programming for Combinatorial Optimzation Problems [electronic resource] : 9th International Conference, CPAIOR 2012, Nantes, France, May 28 鈥ʵne1, 2012. Proceedings

0
索取号：
作者：Beldiceanu、 Nicolas.、Jussien、 Narendra.、Pinson、 脡ric.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Functional and Logic Programming [electronic resource] : 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012. Proceedings

0
索取号：
作者：Schrijvers、 Tom.、Thiemann、 Peter.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Genetic Programming [electronic resource] : 15th European Conference, EuroGP 2012, M谩laga, Spain, April 11-13, 2012. Proceedings

0
索取号：
作者：Moraglio、 Alberto.、Silva、 Sara.、Krawiec、 Krzysztof.、Machado、 Penousal.、Cotta、 Carlos.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Programming Multi-Agent Systems [electronic resource] : 8th International Workshop, ProMAS 2010, Toronto, ON, Canada, May 11, 2010. Revised Selected Papers

0
索取号：
作者：Collier、 Rem.、Dix、 J眉rgen.、Nov谩k、 Peter.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Programming Languages and Systems [electronic resource] : 21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings

0
索取号：
作者：Seidl、 Helmut.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

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.

Software and Network Engineering [electronic resource]

0
索取号：
作者：Lee、 Roger.、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.

Modeling for Decision Support in Network-Based Services [electronic resource] : The Application of Quantitative Modeling to Service Science

0
索取号：
作者：Dolk、 Daniel.、Granat、 Janusz.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Open Problems in Network Security [electronic resource] : IFIP WG 11.4 International Workshop, iNetSec 2011, Lucerne, Switzerland, June 9, 2011, Revised Selected Papers

0
索取号：
作者：Camenisch、 Jan.、Kesdogan、 Dogan.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.