Showing 1 - 20 results of 20 for search 'Oliveira, José', query time: 0.08s Refine Results
  1. 1
    FME 2001: Formal Methods for Increasing Software Productivity International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001, Proceedings /
    Published 2001
    Other Authors: “…Oliveira, Jose N.…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 2
    Mathematics of Program Construction 5th International Conference, MPC 2000 Ponte de Lima, Portugal, July 3-5, 2000 Proceedings /
    Published 2000
    Other Authors: “…Nuno Oliveira, Jose…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 3
    The Geology of Iberia: A Geodynamic Approach Volume 2: The Variscan Cycle /
    Published 2019
    Other Authors: “…Oliveira, José Tomás…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 4
    The Geology of Iberia: A Geodynamic Approach Volume 4: Cenozoic Basins /
    Published 2019
    Other Authors: “…Oliveira, José Tomás…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 5
    The Geology of Iberia: A Geodynamic Approach Volume 3: The Alpine Cycle /
    Published 2019
    Other Authors: “…Oliveira, José Tomás…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 6
    Teaching Formal Methods Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings /
    Published 2009
    Other Authors: “…Oliveira, José Nuno…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 7
    Relational and Algebraic Methods in Computer Science 15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015, Proceedings /
    Published 2015
    Other Authors: “…Oliveira, José…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 8
    Resilience and Risk Methods and Application in Environment, Cyber and Social Domains /
    Published 2017
    Other Authors: “…Palma-Oliveira, José Manuel…”
    Full Text via HEAL-Link
    Electronic eBook
  9. 9
    Human-Computer Interaction: The Agency Perspective
    Published 2012
    Other Authors: “…Oliveira, José Valente de…”
    Full Text via HEAL-Link
    Electronic eBook
  10. 10
    Mainstreaming Climate Co-Benefits in Indian Cities Post-Habitat III Innovations and Reforms /
    Published 2018
    Other Authors: “…Puppim de Oliveira, Jose A.…”
    Full Text via HEAL-Link
    Electronic eBook
  11. 11
    Advanced Functional Programming Third International School, AFP'98, Braga, Portugal, September 12-19, 1998, Revised Lectures /
    Published 1999
    Other Authors: “…Oliveira, Jose N.…”
    Full Text via HEAL-Link
    Electronic eBook
  12. 12
    Technological Innovation for Industry and Service Systems 10th IFIP WG 5.5/SOCOLNET Advanced Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2019, Costa de Caparica, Portugal, May 8-10, 2019, Proceedings /
    Published 2019
    Other Authors: “…Oliveira, José…”
    Full Text via HEAL-Link
    Electronic eBook
  13. 13
    Operational Research IO 2013 - XVI Congress of APDIO, Bragança, Portugal, June 3-5, 2013 /
    Published 2015
    Other Authors: “…Oliveira, José Fernando…”
    Full Text via HEAL-Link
    Electronic eBook
  14. 14
    Formal Methods - The Next 30 Years Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings /
    Published 2019
    Other Authors: “…Oliveira, José N.…”
    Full Text via HEAL-Link
    Electronic eBook
  15. 15
    Biological and Medical Data Analysis 6th International Symposium, ISBMDA 2005, Aveiro, Portugal, November 10-11, 2005. Proceedings /
    Published 2005
    Other Authors: “…Oliveira, José Luís…”
    Full Text via HEAL-Link
    Electronic eBook
  16. 16
    Service Orientation in Holonic and Multi-Agent Manufacturing Proceedings of SOHOMA 2016 /
    Published 2017
    Other Authors: “…Oliveira, José Barata…”
    Full Text via HEAL-Link
    Electronic eBook
  17. 17
    Operational Research IO 2018, Aveiro, Portugal, September 5-7 /
    Published 2019
    Other Authors: “…Oliveira, José Fernando…”
    Full Text via HEAL-Link
    Electronic eBook
  18. 18
    Operational Research IO2017, Valença, Portugal, June 28-30 /
    Published 2018
    Other Authors: “…Oliveira, José Fernando…”
    Full Text via HEAL-Link
    Electronic eBook
  19. 19
    Conceptual Modeling 38th International Conference, ER 2019, Salvador, Brazil, November 4-7, 2019, Proceedings /
    Published 2019
    Other Authors: “…de Oliveira, José Palazzo M.…”
    Full Text via HEAL-Link
    Electronic eBook
  20. 20
    Conceptual Modeling - ER 2009 28th International Conference on Conceptual Modeling, Gramado, Brazil, November 9-12, 2009. Proceedings /
    Published 2009
    Other Authors: “…Oliveira, José Palazzo M. de…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search