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 33 für Suche 'Silva, Alexandra', Suchdauer: 0,30s Treffer weiter einschränken
  1. 1
    Presidentes : entre o público e o privado (1910 - 1926)
    Veröffentlicht 2011
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  2. 2
    von Silva, Alexandra
    Veröffentlicht 1992
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Olá Portugal : Portugiesisch für Anfänger; [A1 + A2]
    Veröffentlicht 2011
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Memórias vivas do jornalismo
    von Correia, Fernando
    Veröffentlicht 2010
    Cover
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  5. 5
    A Complete Inference System for Skip-free Guarded Kleene Algebra with Tests
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  6. 6
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  7. 7
    ˜Leœ théâtre face aux dictatures : luttes, traces, mémoires : (Argentine, Brésil, Chili)
    Veröffentlicht 2022
    Inhaltsverzeichnis
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Learning Automata with Side-Effects
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  9. 9
    Foundations of probabilistic programming
    Veröffentlicht 2021
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  10. 10
    von Silva, Alexandra M.
    Veröffentlicht 2007
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  11. 11
    von Silva, Alexandra M.
    Veröffentlicht 2007
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  12. 12
    von Rosa, Renato
    Veröffentlicht in Environmental & resource economics (2018)
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  13. 13
    Learning Pomset Automata
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  14. 14
    Olá Portugal : Portugiesisch für Anfänger; [A1 + A2]
    Veröffentlicht 2011
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  15. 15
    Computer aided verification : 33rd international conference, CAV 2021, virtual event, July 20-23, 2021 : proceedings
    Veröffentlicht 2021
    Inhaltsverzeichnis
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  16. 16
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  17. 17
    Computer aided verification : 33rd international conference, CAV 2021, virtual event, July 20-23, 2021 : proceedings
    Veröffentlicht 2021
    Inhaltsverzeichnis
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  18. 18
    Olá Portugal : Portugiesisch für Anfänger; [A1 + A2]
    Veröffentlicht 2011
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  19. 19
    Olá Portugal! neu A1-A2
    von Manso Boléo, Maria-João
    Veröffentlicht 2017
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  20. 20
    Olá Portugal! neu A1-A2
    von Manso Boléo, Maria-João
    Veröffentlicht 2017
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: