| Teaching formal methods : second international conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009 : proceedings ISBN 9783642049125 (electronic bk.) ; 9783642049118 (paper) | edited by Jeremy Gibbons, Jose Nuno Oliveira. | Springer-Verlag Berlin Heidelberg | 2009 | 館藏 | View |
| Processing foods : quality optimization and process assessment ISBN 0849379059 (alk. paper) | edited by Fernanda A.R. Oliveira, Jorge C. Oliveira, with Marc E. Hendrickx, Deitrich Knorr, Leon G.M. Gorris. | CRC Press | c1999. | 館藏 | View |
| Generic programming : IFIP TC2/WG2.1 Working Conference on Generic Programming, July 11-12, 2002, Dagstuhl, Germany ISBN 1402073747 (alk. paper) : | edited by Jeremy Gibbons, Johan Jeuring. | Kluwer Academic Publishers | c2003. | 館藏 | View |
| Biological and Medical Data Analysis : 6th International Symposium, ISBMDA 2005, Aveiro, Portugal, November 10-11, 2005, Proceedings ISBN 9783540316589 (electronic bk.) ; 9783540296744 (paper) | edited by Jose Luis Oliveira ... [et al.]. | Springer-Verlag GmbH. | 2005 | 館藏 | View |
| Human-computer interaction : the agency perspective ISBN 9783642256912 (electronic bk.) ; 9783642256905 (paper) | edited by Marielba Zacarias, Jose Valente de Oliveira. | Springer Berlin Heidelberg | 2012 | 館藏 | View |
| Computational processing of the Portuguese language ISBN 9783540404361 (paper) | edited by Nuno J. Mamede ... [et al.]. | Springer | c2003. | 館藏 | View |
| Evolving application domains of data warehousing and mining : trends and solutions ISBN 9781605668178 (electronic bk.) ; 9781605668161 (hardcover) ; 9781616924485 (softcover) | [edited by] Pedro Nuno San-Banto Furtado. | IGI Global | c2010. | 館藏 | View |
| Lagomorph Biology : Evolution, Ecology, and Conservation ISBN 9783540724469 (electronic bk.) ; 9783540724452 (paper) | edited by Paulo C. Alves, Nuno Ferrand, Klaus Hacklander. | Springer-Verlag Berlin Heidelberg | 2008 | 館藏 | View |
| Multi-agent-based simulation IX : international workshop, MABS 2008, Estoril, Portugal, May 12-13, 2008 ; revised selected papers ISBN 9783642019913 (electronic bk.) ; 9783642019906 (paper) | edited by Nuno David, Jaime Simao Sichman. | Springer Berlin Heidelberg | 2009 | 館藏 | View |
| Multinational undergraduate team work : excellence in international capstone projects ISBN 9781607509844 (electronic bk.) ; 9781607509837 | edited by Nuno Filipe Escudeiro and Paula Maria Escudeiro. | IOS Press | c2011. | 館藏 | View |
| Precision Spectroscopy in Astrophysics : Proceedings of the ESO/Lisbon/Aveiro Conference held in Aveiro, Portugal, 11-15 September 2006 ISBN 9783540754855 (electronic bk.) ; 9783540754848 (paper) | edited by Nuno C. Santos, Luca Pasquini, Alexandre C. M. Correia, Martino Romaniel | Springer-Verlag Berlin Heidelberg | 2008 | 館藏 | View |
| UML Modeling Languages and Applications : <<UML>> 2004 Satellite Activities Lisbon, Portugal, October 11-15, 2004, Revised Selected Papers ISBN 9783540317975 (electronic bk.) ; 9783540250814 (paper) | edited by Nuno Jardim Nunes ... [et al.]. | Springer-Verlag GmbH. | 2005 | 館藏 | View |
| Wittgenstein after his Nachlass ISBN 9780230274945 ; 0230274943 | edited by Nuno Venturinha. | Palgrave Macmillan | 2010 | 館藏 | View |
| Cell movement : the Dynoin ATPases ISBN 845140663 | edited by Frod D. Warner, Peter Satci, Ian R. Gibbons. | ARL | c1989. | 館藏 | View |
| Communicable crises : prevention, response, and recovery in the global arena ISBN 9786611412081 ; 1593116071 (paper) | edited by Deborah E. Gibbons. | Information Age Publishing | c2007. | 館藏 | View |
| eHealth Solutions for Healthcare Disparities ISBN 9780387728155 (electronic bk.) ; 9780387728148 (paper) | edited by Michael Christopher Gibbons. | Springer Science+Business Media, LLC | 2008 | 館藏 | View |
| Measure for measure ISBN 0521222273 (hardback) ; 0521294010 (paperback) | edited by Brian Gibbons. | Cambridge University Press | 1991 | 館藏 | View |
| Romeo and Juliet ISBN 0415027535 (pbk.) : | edited by Brian Gibbons. | Routledge | 1980 | 館藏 | View |
| Community and civil society ISBN 9.7866104291e+12 | Ferdinand T鋌nnies ; edited by Jose Harris ; translated by Jose Harris and Margaret Hollis. | Cambridge University Press | 2001 | 館藏 | View |
| Trends in Partial Differential Equations of Mathematical Physics ISBN 9783764373177 (electronic bk.) ; 9783764371654 (paper) | edited by Jose Francisco Rodrigues, Gregory Seregin, Jose Miguel Urbano. | Birkhauser Verlag | 2005 | 館藏 | View |
| Advances in fuzzy clustering and its applications ISBN 0470027606 (hbk.) : ; 9780470027608 (hbk.) | edited by J. Valente de Oliveira, W. Pedrycz. | Wiley | c2007. | 館藏 | View |
| Ageing, health, and productivity : the economics of increased life expectancy ISBN 9780191595370 (ebook) : ; 0191595373 (ebook) : | edited by Pietro Garibaldi, Joaquim Oliveira-Martins, Jan van Ours ; with Axel B鋌rsch-Supan ... [et al.]. | Oxford University Press | 2010 | 館藏 | View |
| Analysis and Design of Quadrature Oscillators ISBN 9781402085161 (electronic bk.) ; 9781402085154 (paper) | by Luis B. Oliveira ... [et al.]. ; edited by Mohammed Ismail. | Springer Science+Business Media B.V. | 2008 | 館藏 | View |
| Assessing and managing earthquake risk : geo-scientific and engineering knowledge for earthquake risk mitigation : developments, tools, techniques ISBN 1402035241 (hbk.) ; 1402036086 (e-book) ; 9781402035241 (hbk.) : ; 9781402036088 (e-book) | edited by Carlos Sousa Oliveira, Antoni Roca and Xavier Goula. | Springer | 2006 | 館藏 | View |
| Computational models, software engineering, and advanced technologies in air transportation : next generation applications ISBN 9781605668017 (ebook) ; 160566801X (ebook) ; 9781605668000 (hbk.) ; 1605668001 (hbk.) ; 9781616923846 (softcover) | [edited by] Li Weigang, Alexandre de Barros, 榧talo Romani de Oliveira. | IGI Global (701 E. Chocolate Avenue, Hershey, Pennsylvania, 17033, USA) | c2010. | 館藏 | View |
| Decolonising indigenous rights ISBN 0415339502 : ; 0203449207 (ebk.) ; 9780415339506 ; 9780203449202 (ebk.) | edited by Adolfo de Oliveira. | Routledge | c2009. | 館藏 | View |
| Decolonising indigenous rights ISBN 9780203449202 (e-book : PDF) ; 9780415339506 (hbk.) | edited by Adolfo de Oliveira. | Routledge | 2009 | 館藏 | View |
| Nanostructures ISBN 9780323497824 ; 0323497829 | edited by Alessandra L. Da Ro?z, Marystela Ferreira, Fa?bio de Lima Leite, Osvaldo N. Oliveira Jr. | | | 館藏 | View |
| One country, two systems, three legal orders - perspectives of evolution : essays on Macau's autonomy after the resumption of sovereignty by China ISBN 9783540685722 (electronic bk.) ; 9783540685715 (paper) | edited by Jorge Costa Oliveira, Paulo Cardinal. | Springer Berlin Heidelberg | 2009 | 館藏 | View |
| One country, two systems, three legal orders - perspectives of evolution : essays on Macau's autonomy after the resumption of sovereignty by China ISBN 9783540685722 (electronic bk.) ; 9783540685715 (paper) | edited by Jorge Costa Oliveira, Paulo Cardinal. | Springer Berlin Heidelberg | 2009 | 館藏 | View |