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

Formal Verification of Object-Oriented Software [electronic resource] : International Conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers

0
索取号：
作者：Beckert、 Bernhard.、Damiani、 Ferruccio.、Gurov、 Dilian.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

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

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

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.

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.

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.

Service-Oriented Computing [electronic resource] : 9th International Conference, ICSOC 2011, Paphos, Cyprus, December 5-8, 2011 Proceedings

0
索取号：
作者：Kappel、 Gerti.、Maamar、 Zakaria.、Motahari-Nezhad、 Hamid R.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.