1 resultado para Formal methods
em RCAAP - Reposit
Filtro por publicador
- AMS Tesi di Dottorato - Alm@DL - Università di Bologna (2)
- Aston University Research Archive (11)
- Biblioteca Digital da Produção Intelectual da Universidade de São Paulo (1)
- Biblioteca Digital da Produção Intelectual da Universidade de São Paulo (BDPI/USP) (88)
- Biblioteca Virtual del Sistema Sanitario Público de Andalucía (BV-SSPA), Junta de Andalucía. Consejería de Salud y Bienestar Social, Spain (12)
- Biodiversity Heritage Library, United States (19)
- Bioline International (1)
- BORIS: Bern Open Repository and Information System - Berna - Suiça (1)
- Brock University, Canada (2)
- Bucknell University Digital Commons - Pensilvania - USA (1)
- Bulgarian Digital Mathematics Library at IMI-BAS (1)
- CentAUR: Central Archive University of Reading - UK (3)
- Central European University - Research Support Scheme (1)
- CiencIPCA - Instituto Politécnico do Cávado e do Ave, Portugal (3)
- Cochin University of Science & Technology (CUSAT), India (2)
- Consorci de Serveis Universitaris de Catalunya (CSUC), Spain (91)
- Cor-Ciencia - Acuerdo de Bibliotecas Universitarias de Córdoba (ABUC), Argentina (4)
- Department of Computer Science E-Repository - King's College London, Strand, London (9)
- Digital Commons at Florida International University (9)
- Digital Peer Publishing (2)
- Digital Repository at Iowa State University (1)
- DigitalCommons@University of Nebraska - Lincoln (1)
- Doria (National Library of Finland DSpace Services) - National Library of Finland, Finland (29)
- FUNDAJ - Fundação Joaquim Nabuco (1)
- Illinois Digital Environment for Access to Learning and Scholarship Repository (1)
- Institute of Public Health in Ireland, Ireland (3)
- Instituto Politécnico do Porto, Portugal (42)
- Iowa Publications Online (IPO) - State Library, State of Iowa (Iowa), United States (30)
- Martin Luther Universitat Halle Wittenberg, Germany (18)
- Massachusetts Institute of Technology (1)
- Memoria Académica - FaHCE, UNLP - Argentina (3)
- Nottingham eTheses (1)
- Portal do Conhecimento - Ministerio do Ensino Superior Ciencia e Inovacao, Cape Verde (1)
- RCAAP - Repositório Científico de Acesso Aberto de Portugal (1)
- ReCiL - Repositório Científico Lusófona - Grupo Lusófona, Portugal (2)
- Repositório Científico do Instituto Politécnico de Lisboa - Portugal (20)
- Repositório da Produção Científica e Intelectual da Unicamp (14)
- Repositório de Administração Pública (REPAP) - Direção-Geral da Qualificação dos Trabalhadores em Funções Públicas (INA), Portugal (1)
- Repositório digital da Fundação Getúlio Vargas - FGV (1)
- Repositório Digital da UNIVERSIDADE DA MADEIRA - Portugal (2)
- Repositório do Centro Hospitalar de Lisboa Central, EPE - Centro Hospitalar de Lisboa Central, EPE, Portugal (5)
- Repositório do ISCTE - Instituto Universitário de Lisboa (1)
- Repositório Institucional da Universidade Tecnológica Federal do Paraná (RIUT) (1)
- Repositório Institucional UNESP - Universidade Estadual Paulista "Julio de Mesquita Filho" (4)
- Repositorio Institucional Universidad de Medellín (1)
- Research Open Access Repository of the University of East London. (1)
- RUN (Repositório da Universidade Nova de Lisboa) - FCT (Faculdade de Cienecias e Technologia), Universidade Nova de Lisboa (UNL), Portugal (51)
- Scielo Saúde Pública - SP (124)
- Scottish Institute for Research in Economics (SIRE) (SIRE), United Kingdom (2)
- Universidad del Rosario, Colombia (2)
- Universidad Politécnica de Madrid (6)
- Universidade do Minho (29)
- Universidade dos Açores - Portugal (2)
- Universidade Federal do Rio Grande do Norte (UFRN) (11)
- Universitat de Girona, Spain (1)
- Universitätsbibliothek Kassel, Universität Kassel, Germany (2)
- Université de Lausanne, Switzerland (184)
- Université de Montréal, Canada (1)
- University of Michigan (2)
- University of Queensland eSpace - Australia (119)
Relevância:
Resumo:
This paper is concerned with the physical construction of the University of Aveiro Santiago Campus, based on the direct relation of the construction of its facilities to the master plan conceived in the Centre of Studies of the University of Oporto Faculty of Architecture by a team coordinated by Nuno Portas (CEFA: The Revision of the Masterplan of the University of Aveiro, 1987/89).