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

Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007. Proceedings

0
索取号：
作者：Grumberg、 Orna.、Huth、 Michael.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

New Frontiers in Banking Services [electronic resource] : Emerging Needs and Tailored Products for Untapped Markets

0
索取号：
作者：Anderloni、 Luisa.、Braga、 Maria Debora.、Carluccio、 Emanuele Maria.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Generative and Transformational Techniques in Software Engineering [electronic resource] : International Summer School, GTTSE 2005, Braga, Portugal, July 4-8, 2005. Revised Papers

0
索取号：
作者：L盲mmel、 Ralf.、Saraiva、 Jo茫o.、Visser、 Joost.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Water Quality Management in the Americas [electronic resource]

0
索取号：
作者：Biswas、 Asit K.、Braga、 Benedito.、Tortajada、 Cecilia.、Rodriguez、 Diego J.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Engineering of Crystalline Materials Properties [electronic resource] : State of the Art in Modeling, Design and Applications

0
索取号：
作者：Novoa、 Juan J.、Braga、 Dario.、Addadi、 Lia.、SpringerLink (Online service)、
出版社：Dordrecht : Springer Netherlands, 2008.

From Model-Driven Design to Resource Management for Distributed Embedded Systems [electronic resource] : IFIP TC 10 Working Conference on Distributed and Parallel Embedded Systems (DIPES 2006), October 11鈥ᳬ 2006, Braga, Portugal

0
索取号：
作者：Kleinjohann、 Bernd.、Kleinjohann、 Lisa.、Machado、 Ricardo J.、Pereira、 Carlos E.、Thiagarajan、 P. S.、SpringerLink (Online service)、
出版社：Boston, MA : Springer US, 2006.