Sortiert nach
Computer (Long Beach, Calif.), 2016-06, Vol.49 (6), p.22-30
2016
- Link zum Volltext
Journal of the ACM, 2002-07, Vol.49 (4), p.538-576
2002
Link zum Volltext
IEEE software, 2000-05, Vol.17 (3), p.37-43
2000
- Link zum Volltext
ACM transactions on software engineering and methodology, 2000-01, Vol.9 (1), p.94-131
2000
Link zum Volltext
Conference on Computer and Communications Security: Proceedings of the 2007 ACM workshop on Computer security architecture; 02-02 Nov. 2007, 2007, p.54-62
2007
Link zum Volltext
Formal Methods for Open Object-Based Distributed Systems, Vol.5051, p.39-58
Link zum Volltext
IEEE transactions on software engineering, 2002-02, Vol.28 (2), p.129-145
2002
- Link zum Volltext
Software, practice & experience, 2000-12, Vol.30 (15), p.1609-1640
2000
Link zum Volltext
Proceedings 13th IEEE Computer Security Foundations Workshop. CSFW-13, 2000, p.118-129
2000
- Link zum Volltext
IEEE security & privacy, 2011-09, Vol.9 (5), p.48-55
2011
- Link zum Volltext
Proceedings of the 14th ACM symposium on Access control models and technologies, 2009, p.3-12
2009
Link zum Volltext
IEEE security & privacy, 2013-11, Vol.11 (6), p.25-33
2013
- Link zum Volltext
2007 Joint Workshop on High Confidence Medical Devices, Software, and Systems and Medical Device Plug-and-Play Interoperability (HCMDSS-MDPnP 2007), 2007, p.64-75
2007
- Link zum Volltext
SIGPLAN notices, 2001-03, Vol.36 (3), p.206-219
2001
Link zum Volltext
SIGPLAN notices, 1999, Vol.34 (1), p.86-93
1999
Link zum Volltext
IEEE security & privacy, 2024-05, p.2-11
2024
Link zum Volltext
Research in Attacks, Intrusions, and Defenses, p.287-310
Link zum Volltext
Communications of the ACM, 2015-08, Vol.58 (8), p.21
2015
Link zum Volltext
Journal of network and computer applications, 2000-07, Vol.23 (3), p.187-200
2000
Link zum Volltext
Proceedings of ACM on programming languages, 2020-11, Vol.4 (OOPSLA), p.1-30, Article 126
2020
Link zum Volltext
ACM transactions on programming languages and systems, 2023-12, Vol.45 (4), p.1-62, Article 22
2023
Link zum Volltext
IEEE transactions on dependable and secure computing, 2012-05, Vol.9 (3), p.332-344
2012
- Link zum Volltext
Proceedings of ACM on programming languages, 2020-01, Vol.4 (POPL), p.1-31
2020
Link zum Volltext
Proceedings of ACM on programming languages, 2023-06, Vol.7 (PLDI), p.1-24, Article 106
2023
Link zum Volltext
Proceedings of ACM on programming languages, 2020-11, Vol.4 (OOPSLA), p.1-30, Article 162
2020
Link zum Volltext
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Technology
- Software
- Computer Science, Information Systems
- Computer Science, Theory & Methods
- Privacy
- Software Engineering
- Computer Science, Hardware & Architecture
- Security
- Software And Its Engineering
- Theory Of Computation
- Type Theory
- Access Control
- Algebraic Effects
- Applied Sciences
- Artificial Intelligence
- Computer Science; Control Theory; Systems
- Exact Sciences And Technology
Kollektion
- Association for Computing Machinery
- EZB Free E-Journals
- IngentaConnect
- IEEE Xplore
- EBSCOhost Business Source Ultimate
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- SpringerNature Journals
- Springer Book Series
- Elsevier ScienceDirect Journals Complete
- Wiley Online Library
- Cambridge Journals Online (DEFF)
- Wiley Online Library Full Collection 2018
- WK Lippincott Williams & Wilkins–Connect here FIRST to enable access
- Taylor & Francis Online
Zeitschrift / Serie
- Proceedings Of Acm On Programming Languages
- Sigplan Notices
- Proceedings Of The Acm On Programming Languages
- Ieee Security & Privacy
- Acm Sigplan Notices
- Acm Transactions On Programming Languages And Systems
- Communications Of The Acm
- Journal Of The Acm
- Software And Systems Modeling
- Acm Transactions On Applied Perception
Neu hinzugefügt