Sortiert nach
2023 IEEE 36th Computer Security Foundations Symposium (CSF), 2023, p.308-323
2023
Volltextzugriff (PDF)
Companion Proceedings of the 2023 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity, 2023, p.53-55
2023
Volltextzugriff (PDF)
Financial Cryptography and Data Security. FC 2021 International Workshops, p.431-450
- Blackshear, Sam
- Chalkias, Konstantinos
- Chatzigiannis, Panagiotis
- Faizullabhoy, Riyaz
- Khaburzaniya, Irakliy
- Kogias, Eleftherios Kokoris
- Lind, Joshua
- Wong, David
- Zakian, Tim
- Perez, Daniel
- Bracciali, Andrea
- Bernhard, Matthew
- Klages-Mundt, Ariah
- Matsuo, Shin'ichiro
- Sala, Massimiliano
- Werner, Sam
- Haines, Thomas
- Gudgeon, Lewis
Volltextzugriff (PDF)
SIGPLAN notices, 2013-06, Vol.48 (6), p.209-218
2013
Volltextzugriff (PDF)
SIGPLAN notices, 2013-06, Vol.48 (6), p.275-286
2013
Volltextzugriff (PDF)
Proceedings of the 4th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis, 2015, p.19-25
2015
Volltextzugriff (PDF)
Static Analysis, p.60-76
Volltextzugriff (PDF)
Proceedings of the 34th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2013, p.209-218
2013
Volltextzugriff (PDF)
SIGPLAN notices, 2015-12, Vol.50 (10), p.163-182
2015
Volltextzugriff (PDF)
Proceedings of the 2010 ACM Symposium on Applied Computing, 2010, p.1985-1992
2010
Volltextzugriff (PDF)
Proceedings of the 34th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2013, p.275-286
2013
Volltextzugriff (PDF)
The New England journal of medicine, 2010-07, Vol.363 (1), p.11-23
- Brott, Thomas G
- Hobson, Robert W
- Howard, George
- Howard, Virginia J
- Roubin, Gary S
- Clark, Wayne M
- Brooks, William
- Mackey, Ariane
- Hill, Michael D
- Leimgruber, Pierre P
- Sheffet, Alice J
- Moore, Wesley S
- Voeks, Jenifer H
- Hopkins, L. Nelson
- Cutlip, Donald E
- Cohen, Stanley N
- Cohen, David J
- Popma, Jeffrey J
- Ferguson, Robert D
- Blackshear, Joseph L
- Silver, Frank L
- Mohr, J.P
- Lal, Brajesh K
- Meschia, James F
2010
Volltextzugriff (PDF)
Journal of diversity in higher education, 2024-02
2024
Volltextzugriff (PDF)
The Journal of heart valve disease, 2012-05, Vol.21 (3), p.320
2012
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Computer Science
- Technology
- Computer Science, Software Engineering
- Computer Science, Theory & Methods
- Aged
- Aged, 80 And Over
- Blockchain
- Computer Science, Information Systems
- Female
- General And Reference -- Cross-Computing Tools And Techniques -- Reliability
- General And Reference -- Cross-Computing Tools And Techniques -- Verification
- Humans
- Life Sciences & Biomedicine
- Male
- Middle Aged
- Smart Contracts
- Social Sciences
- Theory Of Computation -- Semantics And Reasoning -- Program Reasoning -- Program Verification
- Ableism
Kollektion