Treffer
1 - 5
von
5
für Suche '
Árquez, Damián
'
Weiter zum Inhalt
VuFind
Zwischenablage:
0
in der Auswahl
(Voll)
Anmeldung über Ihre Einrichtung
Bootstrap
Reg_test
TUM
GatewayBayern
Rvk
reg_uni
Standard Theme
Mobile Theme
thws
Layout
Englisch
Deutsch
Sprache
OPAC
OPACplus
Stichwort
Titel
Verfasser
Schlagwort
Suchen
Erweitert
Suchergebnisse - Árquez, Damián
Treffer
1 - 5
von
5
für Suche '
Árquez, Damián
'
, Suchdauer: 0,44s
Treffer weiter einschränken
Sortieren
Relevanz
Nach Datum, absteigend
Verfasser
Titel
1
Contextual Linear Types for Differential Privacy
von
Toro, Matías
,
Darais, David
,
Abuah, Chike
,
Near, Joseph P.
,
Árquez, Damián
,
Olmedo, Federico
,
Tanter, Éric
Veröffentlicht in
ACM transactions on programming languages and systems
Volltext
Artikel
In die Zwischenablage
Aus der Zwischenablage entfernen
Zu den Favoriten
Gespeichert in:
2
Contextual Linear Types for Differential Privacy
von
Toro, Matías
,
Darais, David
,
Abuah, Chike
,
Near, Joe
,
Árquez, Damián
,
Olmedo, Federico
,
Tanter, Éric
Volltext bestellen
Artikel
In die Zwischenablage
Aus der Zwischenablage entfernen
Zu den Favoriten
Gespeichert in:
3
Contextual Linear Types for Differential Privacy
von
Toro, Matías
,
Darais, David
,
Abuah, Chike
,
Near, Joe
,
Árquez, Damián
,
Olmedo, Federico
,
Tanter, Éric
Veröffentlicht in
arXiv.org
Volltext
Artikel
In die Zwischenablage
Aus der Zwischenablage entfernen
Zu den Favoriten
Gespeichert in:
4
Gradual Sensitivity Typing
von
Arquez, Damian
,
Toro, Matías
,
Tanter, Éric
Volltext bestellen
Artikel
In die Zwischenablage
Aus der Zwischenablage entfernen
Zu den Favoriten
Gespeichert in:
5
Gradual Sensitivity Typing
von
Arquez, Damian
,
Toro, Matías
,
Tanter, Éric
Veröffentlicht in
arXiv.org
Volltext
Artikel
In die Zwischenablage
Aus der Zwischenablage entfernen
Zu den Favoriten
Gespeichert in:
Suchwerkzeuge:
RSS-Feed abonnieren
Diese Suche als E-Mail versenden
Suche speichern
Zurück
Treffer weiter einschränken
Seite wird neu geladen, wenn Filter aktiviert oder ausgeschlossen wird.
Eingrenzen
Peer Reviewed
1 Treffer
1
Online Resources
5 Treffer
5
Format
Articles
5 Treffer
5
Zeitschriftentitel
Arxiv
2 Treffer
2
Acm Transactions On Programming Languages And Systems
1 Treffer
1
Schlagworte
Computer Science - Programming Languages
2 Treffer
2
Privacy
2 Treffer
2
Computer Science
1 Treffer
1
Computer Science - Logic In Computer Science
1 Treffer
1
Computer Science, Software Engineering
1 Treffer
1
Differential Privacy
1 Treffer
1
Hardening
1 Treffer
1
Linear Logic
1 Treffer
1
Logic And Verification
1 Treffer
1
Program Semantics
1 Treffer
1
Programming
1 Treffer
1
Prototypes
1 Treffer
1
Reasoning
1 Treffer
1
Recursive Functions
1 Treffer
1
Science & Technology
1 Treffer
1
Security And Privacy
1 Treffer
1
Sensitivity
1 Treffer
1
Technology
1 Treffer
1
Theory Of Computation
1 Treffer
1
Type Structures
1 Treffer
1
Erscheinungsjahr
Von:
Bis:
Quelle
Proquest Central (Alumni)
2 Treffer
2
Proquest Central Uk/Ireland
2 Treffer
2
Proquest Central Essentials
2 Treffer
2
Proquest Central
2 Treffer
2
Proquest One Community College
2 Treffer
2
Proquest Central Korea
2 Treffer
2
Free E- Journals
2 Treffer
2
Arxiv.org
2 Treffer
2
Acm Digital Library Complete
1 Treffer
1
Ebscohost Business Source Complete
1 Treffer
1
Infotrac Custom
1 Treffer
1