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

Implementation and Application of Automata [electronic resource] : 17th International Conference, CIAA 2012, Porto, Portugal, July 17-20, 2012. Proceedings

0
索取号：
作者：Moreira、 Nelma.、Reis、 Rog茅rio.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Advances in Intelligent Data Analysis X [electronic resource] : 10th International Symposium, IDA 2011, Porto, Portugal, October 29-31, 2011. Proceedings

0
索取号：
作者：Gama、 Jo茫o.、Bradley、 Elizabeth.、Hollm茅n、 Jaakko.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Ambient Media and Systems [electronic resource] : Second International ICST Conference, AMBI-SYS 2011, Porto, Portugal, March 24-25, 2011, Revised Selected Papers

0
索取号：
作者：Gabrielli、 Silvia.、Elias、 Dirk.、Kahol、 Kanav.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

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.

Agents and Artificial Intelligence [electronic resource] : International Conference, ICAART 2009, Porto, Portugal, January 19-21, 2009. Revised Selected Papers

0
索取号：
作者：Filipe、 Joaquim.、Fred、 Ana.、Sharp、 Bernadette.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Biomedical Engineering Systems and Technologies [electronic resource] : International Joint Conference, BIOSTEC 2009 Porto, Portugal, January 14-17, 2009, Revised Selected Papers

0
索取号：
作者：Fred、 Ana.、Filipe、 Joaquim.、Gamboa、 Hugo.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Software and Data Technologies [electronic resource] : Third International Conference, ICSOFT 2008, Porto, Portugal, July 22-24, 2008, Revised Selected Papers

0
索取号：
作者：Cordeiro、 Jos茅.、Shishkov、 Boris.、Ranchordas、 AlpeshKumar.、Helfert、 Markus.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

e-Business and Telecommunications [electronic resource] : International Conference, ICETE 2008, Porto, Portugal, July 26-29, 2008, Revised Selected Papers

0
索取号：
作者：Filipe、 Joaquim.、Obaidat、 Mohammad S.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Discovery Science [electronic resource] : 12th International Conference, DS 2009, Porto, Portugal, October 3-5, 2009

0
索取号：
作者：Gama、 Jo茫o.、Costa、 V铆tor Santos.、Jorge、 Al铆pio M谩rio.、Brazdil、 Pavel B.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Traffic Management and Traffic Engineering for the Future Internet [electronic resource] : First Euro-NF Workshop, FITraMEn 2008, Porto, Portugal, December 11-12, Revised Selected Papers

0
索取号：
作者：Valadas、 Rui.、Salvador、 Paulo.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Algorithmic Learning Theory [electronic resource] : 20th International Conference, ALT 2009, Porto, Portugal, October 3-5, 2009. Proceedings

0
索取号：
作者：Gavald脿、 Ricard.、Lugosi、 G谩bor.、Zeugmann、 Thomas.、Zilles、 Sandra.、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.

Computational Logic in Multi-Agent Systems [electronic resource] : 8th International Workshop, CLIMA VIII, Porto, Portugal, September 10-11, 2007. Revised Selected and Invited Papers

0
索取号：
作者：Sadri、 Fariba.、Satoh、 Ken.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Leveraging Applications of Formal Methods, Verification and Validation [electronic resource] : Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings

0
索取号：
作者：Margaria、 Tiziana.、Steffen、 Bernhard.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Artificial Neural Networks-ICANN 2007 [electronic resource] : 17th International Conference, Porto, Portugal, September 9-13, 2007, Proceedings, Part II

0
索取号：
作者：S谩、 Joaquim Marques.、Alexandre、 Lu铆s A.、Duch、 W艂odzis艂aw.、Mandic、 Danilo.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Artificial Neural Networks-ICANN 2007 [electronic resource] : 17th International Conference, Porto, Portugal, September 9-13, 2007, Proceedings, Part I

0
索取号：
作者：S谩、 Joaquim Marques.、Alexandre、 Lu铆s A.、Duch、 W艂odzis艂aw.、Mandic、 Danilo.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.