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-
1
-
2
-
3
Olá Portugal ! neu A1-A2 Portugiesisch für Anfänger : Kursbuch mit MP3-CD
Veröffentlicht 2017Inhaltsverzeichnis
Buch -
4
Olá Portugal! neu A1-A2 Portugiesisch für Anfänger
Veröffentlicht 2018Inhaltsverzeichnis
Inhaltsverzeichnis
Buch -
5
-
6
-
7
-
8
Olá Portugal ! neu A1-A2 Portugiesisch für Anfänger : Übungsbuch mit Audios
Veröffentlicht 2017Buch -
9
-
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 conferenc...
Veröffentlicht 2017Weitere Verfasser:
VolltextElektronisch Tagungsbericht E-Book -
11
Computer aided verification 33rd International Conference, CAV 2021, virtual event, July 20-23, 2021 : proceedings, part I
Veröffentlicht 2021Weitere Verfasser: “… Silva, Alexandra 1984- …”
kostenfrei
kostenfrei
Elektronisch Tagungsbericht E-Book -
12
Computer aided verification 33rd International Conference, CAV 2021, virtual event, July 20-23, 2021 : proceedings, part II
Veröffentlicht 2021Weitere Verfasser: “… Silva, Alexandra 1984- …”
kostenfrei
kostenfrei
Elektronisch Tagungsbericht E-Book -
13
Language, logic, and computation 12th International Tbilisi Symposium, TbiLLC 2017, Lagodekhi, Georgia, September 18-22, 2017 : revised selected papers
Veröffentlicht 2019Weitere Verfasser: “… Silva, Alexandra …”
DE-634
DE-Aug4
DE-573
DE-M347
DE-92
DE-898
DE-859
DE-860
DE-861
DE-863
DE-862
DE-523
DE-91
DE-473
DE-19
DE-355
DE-703
DE-20
DE-706
DE-29
DE-739
URL des Erstveröffentlichers
Buchcover
Elektronisch Tagungsbericht E-Book -
14
Foundations of probabilistic programming
Veröffentlicht 2021Weitere Verfasser: kostenfrei
kostenfrei
Elektronisch E-Book -
15
Logic, language, information, and computation 27th International Workshop, WoLLIC 2021, virtual event, October 5-8, 2021 : proceedings
Veröffentlicht 2021Weitere Verfasser: “… Silva, Alexandra 1984- …”
DE-634
DE-858
DE-Aug4
DE-1050
DE-573
DE-M347
DE-92
DE-898
DE-860
DE-861
DE-863
DE-862
DE-523
DE-91
DE-384
DE-473
DE-19
DE-355
DE-703
DE-20
DE-706
DE-29
DE-739
URL des Erstveröffentlichers
Elektronisch Tagungsbericht E-Book -
16
Language, logic, and computation 12th international Tbilisi symposium, TbiLLC 2017, Lagodekhi, Georgia, September 18-22, 2017 : revised selected papers
Veröffentlicht 2019Weitere Verfasser: “… Silva, Alexandra …”
Tagungsbericht Buch -
17
Computer aided verification 33rd international conference, CAV 2021, virtual event, July 20-23, 2021 : proceedings
Veröffentlicht 2021Weitere Verfasser: “… Silva, Alexandra 1984- …”
Tagungsbericht Buch -
18
Computer aided verification 33rd international conference, CAV 2021, virtual event, July 20-23, 2021 : proceedings
Veröffentlicht 2021Weitere Verfasser: “… Silva, Alexandra 1984- …”
Tagungsbericht Buch -
19
Computer aided verification 33rd international conference, CAV 2021, virtual event, July 20-23, 2021 : proceedings
Veröffentlicht 2021Weitere Verfasser: “… Silva, Alexandra 1984- …”
Tagungsbericht Buch -
20
35th International Conference on Concurrency Theory CONCUR 2024, September 9–13, 2024, Calgary, Canada
Veröffentlicht 2024Weitere Verfasser: kostenfrei
Volltext
kostenfrei
kostenfrei
Elektronisch Tagungsbericht E-Book