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
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
Logic, Rewriting, and Concurrency, 2015, Vol.9200, p.404-426
2015
Link zum Volltext
Software, practice & experience, 2000-12, Vol.30 (15), p.1609-1640
2000
Link zum Volltext
IEEE security & privacy, 2011-09, Vol.9 (5), p.48-55
2011
- Link zum Volltext
IEEE security & privacy, 2013-11, Vol.11 (6), p.25-33
2013
- Link zum Volltext
Internet Programming Languages, 1999, Vol.1686, p.127-143
1999
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
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
Proceedings of ACM on programming languages, 2020-08, Vol.4 (ICFP), p.1-29
2020
Link zum Volltext
Journal of functional programming, 2009-03, Vol.19 (2), p.157-172
2009
Link zum Volltext
Proceedings of ACM on programming languages, 2022-04, Vol.6 (OOPSLA1), p.1-30
2022
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
- Software Engineering
- Computer Science, Hardware & Architecture
- Software And Its Engineering
- Theory Of Computation
- Computer Science, Theory & Methods
- Privacy
- Applied Sciences
- Computer Science; Control Theory; Systems
- Exact Sciences And Technology
- Security
- Type Theory
- Algebraic Effects
- Artificial Intelligence
- Programming Languages
Kollektion
- ACM Digital Library Complete
- Free E-Journal (出版社公開部分のみ）
- IngentaConnect
- IEEE Electronic Library (IEL)
- EBSCOhost Business Source Ultimate
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- SpringerLink (Online service)
- Springer Book Series
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- Elsevier ScienceDirect Journals Complete
- Wiley HSS Collection
- Cambridge Journals Online (DEFF)
- IngentaConnect Journals
- Wiley Online Library
- 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