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

Logic Programming and Nonmonotonic Reasoning [electronic resource] : 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011. Proceedings

0
索取号:
作者:Delgrande、 James P.、Faber、 Wolfgang.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning [electronic resource] : Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday

0
索取号:
作者:Balduccini、 Marcello.、Son、 Tran Cao.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Integer Programming and Combinatoral Optimization [electronic resource] : 15th International Conference, IPCO 2011, New York, NY, USA, June 15-17, 2011. Proceedings

0
索取号:
作者:G眉nl眉k、 Oktay.、Woeginger、 Gerhard J.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Functional and Constraint Logic Programming [electronic resource] : 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers

0
索取号:
作者:Mari帽o、 Julio.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Agile Processes in Software Engineering and Extreme Programming [electronic resource] : 12th International Conference, XP 2011, Madrid, Spain, May 10-13, 2011. Proceedings

0
索取号:
作者:Sillitti、 Alberto.、Hazzan、 Orit.、Bache、 Emily.、Albaladejo、 Xavier.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Applications of Declarative Programming and Knowledge Management [electronic resource] : 18th International Conference, INAP 2009, 脡vora, Portugal, November 3-5, 2009, Revised Selected Papers

0
索取号:
作者:Abreu、 Salvador.、Seipel、 Dietmar.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Genetic Programming [electronic resource] : 14th European Conference, EuroGP 2011, Torino, Italy, April 27-29, 2011. Proceedings

0
索取号:
作者:Silva、 Sara.、Foster、 James A.、Nicolau、 Miguel.、Machado、 Penousal.、Giacobini、 Mario.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Programming Languages and Systems [electronic resource] : 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbr眉cken, Germany, March 26鈥揂pril 3, 2011. Proceedings

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

Recent Advances in Constraints [electronic resource] : 14th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2009, Barcelona, Spain, June 15-17, 2009, Revised Selected Papers

0
索取号:
作者:Larrosa、 Javier.、O鈥橲ullivan、 Barry.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Transactions on Pattern Languages of Programming II [electronic resource] : Special Issue on Applying Patterns

0
索取号:
作者:Noble、 James.、Johnson、 Ralph.、Avgeriou、 Paris.、Harrison、 Neil B.、Zdun、 Uwe.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

A Primer on Scientific Programming with Python [electronic resource]

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

DNA Computing and Molecular Programming [electronic resource] : 16th International Conference, DNA 16, Hong Kong, China, June 14-17, 2010, Revised Selected Papers

0
索取号:
作者:Sakakibara、 Yasubumi.、Mi、 Yongli.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Central European Functional Programming School [electronic resource] : Third Summer School, CEFP 2009, Budapest, Hungary, May 21-23, 2009 and Kom谩rno, Slovakia, May 25-30, 2009, Revised Selected Lectures

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

Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 16th International Conference, LPAR-16, Dakar, Senegal, April 25鈥揗ay 1, 2010, Revised Selected Papers

0
索取号:
作者:Clarke、 Edmund M.、Voronkov、 Andrei.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Multiparadigm Constraint Programming Languages [electronic resource]

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

Simulation, Modeling, and Programming for Autonomous Robots [electronic resource] : Second International Conference, SIMPAR 2010, Darmstadt, Germany, November 15-18, 2010. Proceedings

0
索取号:
作者:Ando、 Noriaki.、Balakirsky、 Stephen.、Hemker、 Thomas.、Reggiani、 Monica.、Stryk、 Oskar.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
最近添加的分类