Alexandra Silva

Alexandra Martins da Silva (* 11. Februar 1984) ist eine portugiesische Informatikerin und Mathematikerin. Sie erhielt 2017 den Presburger Award für ihre Arbeiten über Koalgebren als Werkzeuge zur Formalisierung von Koinduktionen in der funktionalen Programmierung und von Operationen auf verschiedenen Varianten endlicher Automaten, insbesondere probabilistischer Automaten. Veröffentlicht in Wikipedia
Treffer 1 – 20 von 24 für Suche 'Silva, Alexandra', Suchdauer: 0,10s Treffer filtern
Es werden neben Medien der THWS auch Medien von anderen bayerischen Bibliotheken angezeigt.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
  1. 1
    New trends towards Mediterranean tourism sustainability /

    New trends towards Mediterranean tourism sustainability /

    Veröffentlicht 2012
    Weitere Verfasser:
    Volltext öffnen
    Elektronisch E-Book


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

    New trends towards Mediterranean tourism sustainability /

    Veröffentlicht 2012
    Weitere Verfasser:
    Volltext öffnen
    Elektronisch E-Book


    Gespeichert in:
  3. 3
    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 von Boléo, Maria João Manso, Prata, Maria, Silva, Alexandra Fonseca da

    Veröffentlicht 2017
    Buch Fernleihe Bestellen


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

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

    Veröffentlicht 2017
    Buch Fernleihe Bestellen


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

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

    Veröffentlicht 2017
    Buch Fernleihe Bestellen


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

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

    Veröffentlicht 2018
    Inhaltsverzeichnis
    Inhaltsverzeichnis
    Buch Fernleihe Bestellen


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

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

    Veröffentlicht 2017
    Buch Fernleihe Bestellen


    Gespeichert in:
  8. 8
    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 von Boléo, Maria João Manso, Prata, Maria, Silva, Alexandra Fonseca da

    Veröffentlicht 2017
    Inhaltsverzeichnis
    Buch Fernleihe Bestellen


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

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

    Veröffentlicht 2017
    Buch Fernleihe Bestellen


    Gespeichert in:
  10. 10
    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...

    Veröffentlicht 2017
    Weitere Verfasser:

    Volltext öffnen Volltext öffnen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  11. 11
    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

    Veröffentlicht 2021
    Weitere Verfasser: “… Silva, Alexandra 1984- …”
    Volltext öffnen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  12. 12
    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

    Veröffentlicht 2021
    Weitere Verfasser: “… Silva, Alexandra 1984- …”
    Volltext öffnen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  13. 13
    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

    Veröffentlicht 2019
    Weitere Verfasser: “… Silva, Alexandra …”
    Volltext öffnen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  14. 14
    Foundations of probabilistic programming

    Foundations of probabilistic programming

    Veröffentlicht 2021
    Weitere Verfasser:
    Volltext öffnen
    Elektronisch E-Book


    Gespeichert in:
  15. 15
    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

    Veröffentlicht 2021
    Weitere Verfasser: “… Silva, Alexandra 1984- …”
    Volltext öffnen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  16. 16
    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

    Veröffentlicht 2019
    Weitere Verfasser: “… Silva, Alexandra …”
    Tagungsbericht Buch Fernleihe Bestellen


    Gespeichert in:
  17. 17
    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

    Veröffentlicht 2021
    Weitere Verfasser: “… Silva, Alexandra 1984- …”
    Tagungsbericht Buch Fernleihe Bestellen


    Gespeichert 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

    Veröffentlicht 2021
    Weitere Verfasser: “… Silva, Alexandra 1984- …”
    Tagungsbericht Buch Fernleihe Bestellen


    Gespeichert 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

    Veröffentlicht 2021
    Weitere Verfasser: “… Silva, Alexandra 1984- …”
    Tagungsbericht Buch Fernleihe Bestellen


    Gespeichert in:
  20. 20
    35th International Conference on Concurrency Theory CONCUR 2024, September 9–13, 2024, Calgary, Canada

    35th International Conference on Concurrency Theory CONCUR 2024, September 9–13, 2024, Calgary, Canada

    Veröffentlicht 2024
    Weitere Verfasser:
    Volltext öffnen
    Elektronisch Tagungsbericht E-Book Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: