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

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.

Approximation and Online Algorithms [electronic resource] : 9th International Workshop, WAOA 2011, Saarbr眉cken, Germany, September 8-9, 2011, Revised Selected Papers

0
索取号:
作者:Solis-Oba、 Roberto.、Persiano、 Giuseppe.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Declarative Agent Languages and Technologies IX [electronic resource] : 9th International Workshop, DALT 2011, Taipei, Taiwan, May 3, 2011, Revised Selected and Invited Papers

0
索取号:
作者:Sakama、 Chiaki.、Sardina、 Sebastian.、Vasconcelos、 Wamberto.、Winikoff、 Michael.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Theory of Cryptography [electronic resource] : 9th Theory of Cryptography Conference, TCC 2012, Taormina, Sicily, Italy, March 19-21, 2012. Proceedings

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

Information Processign in Cells and Tissues [electronic resource] : 9th International Conference, IPCAT 2012, Cambridge, UK, March 31 鈥pril 2, 2012. Proceedings

0
索取号:
作者:Lones、 Michael A.、Smith、 Stephen L.、Teichmann、 Sarah.、Naef、 Felix.、Walker、 James A.、Trefzer、 Martin A.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Distributed Computing and Artificial Intelligence [electronic resource] : 9th International Conference

0
索取号:
作者:Omatu、 Sigeru.、De Paz Santana、 Juan F.、Gonz谩lez、 Sara Rodr铆guez.、Molina、 Jose M.、Bernardos、 Ana M.、Rodr铆guez、 Juan M. Corchado.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Wireless Sensor Networks [electronic resource] : 9th European Conference, EWSN 2012, Trento, Italy, February 15-17, 2012. Proceedings

0
索取号:
作者:Picco、 Gian Pietro.、Heinzelman、 Wendi.、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.

Programming Languages and Systems [electronic resource] : 9th Asian Symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011. Proceedings

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

Formal Methods for Components and Objects [electronic resource] : 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers

0
索取号:
作者:Aichernig、 Bernhard K.、Boer、 Frank S.、Bonsangue、 Marcello M.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Computational Geometry, Graphs and Applications [electronic resource] : 9th International Conference, CGGA 2010, Dalian, China, November 3-6, 2010, Revised Selected Papers

0
索取号:
作者:Akiyama、 Jin.、Bo、 Jiang.、Kano、 Mikio.、Tan、 Xuehou.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Flexible Query Answering Systems [electronic resource] : 9th International Conference, FQAS 2011, Ghent, Belgium, October 26-28, 2011 Proceedings

0
索取号:
作者:Christiansen、 Henning.、Tr茅、 Guy.、Yazici、 Adnan.、Zadrozny、 Slawomir.、Andreasen、 Troels.、Larsen、 Henrik Legind.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Software Engineering and Formal Methods [electronic resource] : 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings

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

Multiagent System Technologies [electronic resource] : 9th German Conference, MATES 2011, Berlin, Germany, October 6-7, 2011. Proceedings

0
索取号:
作者:Kl眉gl、 Franziska.、Ossowski、 Sascha.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Automated Technology for Verification and Analysis [electronic resource] : 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings

0
索取号:
作者:Bultan、 Tevfik.、Hsiung、 Pao-Ann.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Formal Modeling and Analysis of Timed Systems [electronic resource] : 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011. Proceedings

0
索取号:
作者:Fahrenberg、 Uli.、Tripakis、 Stavros.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
最近添加的分类