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

Testing Techniques in Software Engineering [electronic resource] : Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures

0
索取号：
作者：Borba、 Paulo.、Cavalcanti、 Ana.、Sampaio、 Augusto.、Woodcook、 Jim.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Logic, Language, Information and Computation [electronic resource] : 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010. Proceedings

0
索取号：
作者：Dawar、 Anuj.、Queiroz、 Ruy.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Mangrove Dynamics and Management in North Brazil [electronic resource]

0
索取号：
作者：Saint-Paul、 Ulrich.、Schneider、 Horacio.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010.

Computational Processing of the Portuguese Language [electronic resource] : 9th International Conference, PROPOR 2010, Porto Alegre, RS, Brazil, April 27-30, 2010. Proceedings

0
索取号：
作者：Pardo、 Thiago Alexandre Salgueiro.、Branco、 Ant贸nio.、Klautau、 Aldebaro.、Vieira、 Renata.、Lima、 Vera L煤cia Strube.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Functional and Constraint Logic Programming [electronic resource] : 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers

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

Formal Methods: Foundations and Applications [electronic resource] : 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers

0
索取号：
作者：Oliveira、 Marcel Vin铆cius Medeiros.、Woodcock、 Jim.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Formal Methods and Software Engineering [electronic resource] : 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedings

0
索取号：
作者：Breitman、 Karin.、Cavalcanti、 Ana.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Advances in Conceptual Modeling - Challenging Perspectives [electronic resource] : ER 2009 Workshops CoMoL, ETheCoM, FP-UML, MOST-ONISW, QoIS, RIGiM, SeCoGIS, Gramado, Brazil, November 9-12, 2009. Proceedings

0
索取号：
作者：Heuser、 Carlos Alberto.、Pernul、 G眉nther.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Conceptual Modeling - ER 2009 [electronic resource] : 28th International Conference on Conceptual Modeling, Gramado, Brazil, November 9-12, 2009. Proceedings

0
索取号：
作者：Laender、 Alberto H. F.、Castano、 Silvana.、Dayal、 Umeshwar.、Casati、 Fabio.、Oliveira、 Jos茅 Palazzo M.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Advances in Bioinformatics and Computational Biology [electronic resource] : 4th Brazilian Symposium on Bioinformatics, BSB 2009, Porto Alegre, Brazil, July 29-31, 2009. Proceedings

0
索取号：
作者：Guimar茫es、 Katia S.、Panchenko、 Anna.、Przytycka、 Teresa M.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Education and Technology for a Better World [electronic resource] : 9th IFIP TC 3 World Conference on Computers in Education, WCCE 2009, Bento Gon莽alves, Brazil, July 27-31, 2009. Proceedings

0
索取号：
作者：Tatnall、 Arthur.、Jones、 Anthony.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Rewriting Techniques and Applications [electronic resource] : 20th International Conference, RTA 2009 Bras铆lia, Brazil, June 29 - July 1, 2009 Proceedings

0
索取号：
作者：Treinen、 Ralf.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Typed Lambda Calculi and Applications [electronic resource] : 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009. Proceedings

0
索取号：
作者：Curien、 Pierre-Louis.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Independent Component Analysis and Signal Separation [electronic resource] : 8th International Conference, ICA 2009, Paraty, Brazil, March 15-18, 2009. Proceedings

0
索取号：
作者：Adali、 T眉lay.、Jutten、 Christian.、Romano、 Jo茫o Marcos Travassos.、Barros、 Allan Kardec.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Advances in Artificial Intelligence - SBIA 2008 [electronic resource] : 19th Brazilian Symposium on Artificial Intelligence Savador, Brazil, October 26-30, 2008. Proceedings

0
索取号：
作者：Zaverucha、 Gerson.、Costa、 Augusto Loureiro.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Graphics Recognition. Recent Advances and New Opportunities [electronic resource] : 7th International Workshop, GREC 2007, Curitiba, Brazil, September 20-21, 2007. Selected Papers

0
索取号：
作者：Liu、 Wenyin.、Llad贸s、 Josep.、Ogier、 Jean-Marc.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.
最近添加的分类
对外联络处体育学院经济学院南校区管理委员会数字校园南校区管委会暨南大学校报下载中心规章制度信息公示创新论坛教务动态创新人才课程中心核心团队通知电气信息学院四海书院国际商学院人文学院