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

Declarative Agent Languages and Technologies VIII [electronic resource] : 8th International Workshop, DALT 2010, Toronto, Canada, May 10, 2010, Revised, Selected and Invited Papers

0
索取号：
作者：Omicini、 Andrea.、Sardina、 Sebastian.、Vasconcelos、 Wamberto.、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.

Languages and Compilers for Parallel Computing [electronic resource] : 23rd International Workshop, LCPC 2010, Houston, TX, USA, October 7-9, 2010. Revised Selected Papers

0
索取号：
作者：Cooper、 Keith.、Mellor-Crummey、 John.、Sarkar、 Vivek.、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.

Information Systems for Indian Languages [electronic resource] : International Conference, ICISIL 2011, Patiala, India, March 9-11, 2011. Proceedings

0
索取号：
作者：Singh、 Chandan.、Singh Lehal、 Gurpreet.、Sengupta、 Jyotsna.、Sharma、 Dharam Veer.、Goyal、 Vishal.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Practical Aspects of Declarative Languages [electronic resource] : 13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011. Proceedings

0
索取号：
作者：Rocha、 Ricardo.、Launchbury、 John.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Multiparadigm Constraint Programming Languages [electronic resource]

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

Programming Languages and Systems [electronic resource] : 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010. Proceedings

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

Implementation and Application of Functional Languages [electronic resource] : 21st International Symposium, IFL 2009, South Orange, NJ, USA, September 23-25, 2009, Revised Selected Papers

0
索取号：
作者：Moraz谩n、 Marco T.、Scholz、 Sven-Bodo.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Model Driven Engineering Languages and Systems [electronic resource] : 13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010, Proceedings, Part I

0
索取号：
作者：Petriu、 Dorina C.、Rouquette、 Nicolas.、Haugen、 脴ystein.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Model Driven Engineering Languages and Systems [electronic resource] : 13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010, Proceedings, Part II

0
索取号：
作者：Petriu、 Dorina C.、Rouquette、 Nicolas.、Haugen、 脴ystein.、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.

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.

Coordination Models and Languages [electronic resource] : 12th International Conference, COORDINATION 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings

0
索取号：
作者：Clarke、 Dave.、Agha、 Gul.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Languages and Compilers for Parallel Computing [electronic resource] : 22nd International Workshop, LCPC 2009, Newark, DE, USA, October 8-10, 2009, Revised Selected Papers

0
索取号：
作者：Gao、 Guang R.、Pollock、 Lori L.、Cavazos、 John.、Li、 Xiaoming.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.