Alexandra Silva

Alexandra Silva (born 1984) is a Portuguese computer scientist and Professor at Cornell University. She was previously Professor of Algebra, Semantics, and Computation at University College London. Provided by Wikipedia
Showing 1 - 20 results of 25 for search 'Silva, Alexandra', query time: 0.07s Refine Results
In addition to media from the THWS, media from other Bavarian libraries are also displayed.
These are marked with the "Interlibrary loan" label and can be ordered by clicking on them.
  1. 1
    New trends towards Mediterranean tourism sustainability /

    New trends towards Mediterranean tourism sustainability /

    Published 2012
    Other Authors:
    Get full text
    Electronic eBook


    Saved in:
  2. 2
    New trends towards Mediterranean tourism sustainability /

    New trends towards Mediterranean tourism sustainability /

    Published 2012
    Other Authors:
    Get full text
    Electronic eBook


    Saved in:
  3. 3
    Olá Portugal! neu A1-A2 Portugiesisch für Anfänger

    Olá Portugal! neu A1-A2 Portugiesisch für Anfänger by Manso Boléo, Maria-João 1964-, Prata, Maria, Fonseca da Silva, Alexandra

    Published 2024
    Book Interlibrary loan Place Request


    Saved in:
  4. 4
    Olá Portugal ! neu A1-A2 Portugiesisch für Anfänger : Übungsbuch mit Audios

    Olá Portugal ! neu A1-A2 Portugiesisch für Anfänger : Übungsbuch mit Audios by Boléo, Maria João Manso, Prata, Maria, Silva, Alexandra Fonseca da

    Published 2017
    Book Interlibrary loan Place Request


    Saved in:
  5. 5
    Olá Portugal! neu A1-A2 Portugiesisch für Anfänger

    Olá Portugal! neu A1-A2 Portugiesisch für Anfänger by Manso Boléo, Maria-João 1964-, Prata, Maria, Fonseca da Silva, Alexandra

    Published 2017
    Book Interlibrary loan Place Request


    Saved in:
  6. 6
    Olá Portugal! neu A1-A2 Portugiesisch für Anfänger

    Olá Portugal! neu A1-A2 Portugiesisch für Anfänger by Manso Boléo, Maria-João 1964-, Prata, Maria, Fonseca da Silva, Alexandra

    Published 2017
    Book Interlibrary loan Place Request


    Saved in:
  7. 7
    Olá Portugal! neu A1-A2 Portugiesisch für Anfänger

    Olá Portugal! neu A1-A2 Portugiesisch für Anfänger by Manso Boléo, Maria-João 1964-, Prata, Maria, Fonseca da Silva, Alexandra

    Published 2018
    Indexes
    Indexes
    Book Interlibrary loan Place Request


    Saved in:
  8. 8
    Olá Portugal! neu A1-A2 Portugiesisch für Anfänger

    Olá Portugal! neu A1-A2 Portugiesisch für Anfänger by Manso Boléo, Maria-João 1964-, Prata, Maria, Fonseca da Silva, Alexandra

    Published 2017
    Book Interlibrary loan Place Request


    Saved in:
  9. 9
    Olá Portugal ! neu A1-A2 Portugiesisch für Anfänger : Kursbuch mit MP3-CD

    Olá Portugal ! neu A1-A2 Portugiesisch für Anfänger : Kursbuch mit MP3-CD by Boléo, Maria João Manso, Prata, Maria, Silva, Alexandra Fonseca da

    Published 2017
    Indexes
    Book Interlibrary loan Place Request


    Saved in:
  10. 10
    Olá Portugal! neu A1-A2 Portugiesisch für Anfänger

    Olá Portugal! neu A1-A2 Portugiesisch für Anfänger by Manso Boléo, Maria-João 1964-, Prata, Maria, Fonseca da Silva, Alexandra

    Published 2017
    Book Interlibrary loan Place Request


    Saved in:
  11. 11
    Formal Techniques for Distributed Objects, Components, and Systems 37th IFIP WG 6.1 International conference, FORTE 2017, held as part of the 12th International federated conference on distributed computing techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017 : proceedings

    Formal Techniques for Distributed Objects, Components, and Systems 37th IFIP WG 6.1 International conference, FORTE 2017, held as part of the 12th International federated conferenc...

    Published 2017
    Other Authors:

    Get full text Get full text
    Electronic Conference Proceeding eBook


    Saved in:
  12. 12
    Computer aided verification 33rd International Conference, CAV 2021, virtual event, July 20-23, 2021 : proceedings, part I

    Computer aided verification 33rd International Conference, CAV 2021, virtual event, July 20-23, 2021 : proceedings, part I

    Published 2021
    Other Authors: “…Silva, Alexandra 1984-…”
    Get full text
    Electronic Conference Proceeding eBook


    Saved in:
  13. 13
    Computer aided verification 33rd International Conference, CAV 2021, virtual event, July 20-23, 2021 : proceedings, part II

    Computer aided verification 33rd International Conference, CAV 2021, virtual event, July 20-23, 2021 : proceedings, part II

    Published 2021
    Other Authors: “…Silva, Alexandra 1984-…”
    Get full text
    Electronic Conference Proceeding eBook


    Saved in:
  14. 14
    Language, logic, and computation 12th International Tbilisi Symposium, TbiLLC 2017, Lagodekhi, Georgia, September 18-22, 2017 : revised selected papers

    Language, logic, and computation 12th International Tbilisi Symposium, TbiLLC 2017, Lagodekhi, Georgia, September 18-22, 2017 : revised selected papers

    Published 2019
    Other Authors: “…Silva, Alexandra…”
    Get full text
    Electronic Conference Proceeding eBook


    Saved in:
  15. 15
    Foundations of probabilistic programming

    Foundations of probabilistic programming

    Published 2021
    Other Authors:
    Get full text
    Electronic eBook


    Saved in:
  16. 16
    Logic, language, information, and computation 27th International Workshop, WoLLIC 2021, virtual event, October 5-8, 2021 : proceedings

    Logic, language, information, and computation 27th International Workshop, WoLLIC 2021, virtual event, October 5-8, 2021 : proceedings

    Published 2021
    Other Authors: “…Silva, Alexandra 1984-…”
    Get full text
    Electronic Conference Proceeding eBook


    Saved in:
  17. 17
    Language, logic, and computation 12th international Tbilisi symposium, TbiLLC 2017, Lagodekhi, Georgia, September 18-22, 2017 : revised selected papers

    Language, logic, and computation 12th international Tbilisi symposium, TbiLLC 2017, Lagodekhi, Georgia, September 18-22, 2017 : revised selected papers

    Published 2019
    Other Authors: “…Silva, Alexandra…”
    Conference Proceeding Book Interlibrary loan Place Request


    Saved in:
  18. 18
    Computer aided verification 33rd international conference, CAV 2021, virtual event, July 20-23, 2021 : proceedings

    Computer aided verification 33rd international conference, CAV 2021, virtual event, July 20-23, 2021 : proceedings

    Published 2021
    Other Authors: “…Silva, Alexandra 1984-…”
    Conference Proceeding Book Interlibrary loan Place Request


    Saved in:
  19. 19
    Computer aided verification 33rd international conference, CAV 2021, virtual event, July 20-23, 2021 : proceedings

    Computer aided verification 33rd international conference, CAV 2021, virtual event, July 20-23, 2021 : proceedings

    Published 2021
    Other Authors: “…Silva, Alexandra 1984-…”
    Conference Proceeding Book Interlibrary loan Place Request


    Saved in:
  20. 20
    Computer aided verification 33rd international conference, CAV 2021, virtual event, July 20-23, 2021 : proceedings

    Computer aided verification 33rd international conference, CAV 2021, virtual event, July 20-23, 2021 : proceedings

    Published 2021
    Other Authors: “…Silva, Alexandra 1984-…”
    Conference Proceeding Book Interlibrary loan Place Request


    Saved in:

Search Tools: