Sortiert nach
Philosophical transactions of the Royal Society of London. Series A: Mathematical, physical, and engineering sciences, 2008-10, Vol.366 (1881), p.3717-3725
2008
Link zum Volltext
IEEE transactions on software engineering, 2011-05, Vol.37 (3), p.371-386
2011
- Link zum Volltext
Revista brasileira de ensino de ciência e tecnologia, 2016-11, Vol.9 (2)
2016
Link zum Volltext
International journal of information security, 2005-02, Vol.4 (1-2), p.71-86
2005
Link zum Volltext
Public health reviews, 2021-04, Vol.42, p.1604023-1604023
2021
Link zum Volltext
ACM transactions on software engineering and methodology, 1997-10, Vol.6 (4), p.333-369
1997
Link zum Volltext
ACM transactions on programming languages and systems, 1994-11, Vol.16 (6), p.1811-1841
1994
Link zum Volltext
ACM computing surveys, 1996-12, Vol.28 (4), p.626-643
1996
Link zum Volltext
Proceedings - IEEE Computer Society Symposium on Research in Security and Privacy, 2002, p.273-284
2002
- Link zum Volltext
Proceedings / International Conference on Software Engineering, 2001, p.307-317
2001
- Link zum Volltext
ACM transactions on programming languages and systems, 1990-07, Vol.12 (3), p.463-492
1990
Link zum Volltext
Lecture notes in computer science, 2005, p.17-25
2005
Link zum Volltext
2014 IEEE Symposium on Security and Privacy, 2014, p.327-342
2014
Link zum Volltext
Lecture notes in computer science, 2006, Vol.4219, p.127-144
2006
Link zum Volltext
Proceedings of the 2013 ACM SIGAda annual conference on high integrity language technology, 2013, p.85-86
2013
Link zum Volltext
ACM SIGAda Ada Letters, 2013-11, Vol.33 (3), p.85-86
2013
Link zum Volltext
Proceedings of the 38th SIGCSE technical symposium on computer science education, 2007, p.195-196
2007
Link zum Volltext
Proceedings of the National Academy of Sciences - PNAS, 2024-05, Vol.121 (22), p.e2407886121
- Blau, Wolfgang
- Cerf, Vinton G
- Enriquez, Juan
- Francisco, Joseph S
- Gasser, Urs
- Gray, Mary L
- Greaves, Mark
- Grosz, Barbara J
- Jamieson, Kathleen Hall
- Haug, Gerald H
- Hennessy, John L
- Horvitz, Eric
- Kaiser, David I
- London, Alex John
- Lovell-Badge, Robin
- McNutt, Marcia K
- Minow, Martha
- Mitchell, Tom M
- Ness, Susan
- Parthasarathy, Shobita
- Perlmutter, Saul
- Press, William H
- Wing, Jeannette M
- Witherell, Michael
2024
Link zum Volltext
IEEE transactions on software engineering, 2000-07, Vol.26 (7), p.579-593
2000
- Link zum Volltext
ACM computing surveys, 1996-12, Vol.28 (4es), p.116-es
1996
Link zum Volltext
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Software Engineering
- Computer Science, Theory & Methods
- Software Engineering
- Applied Sciences
- Computer Science; Control Theory; Systems
- Exact Sciences And Technology
- Software
- Computer Science, Hardware & Architecture
- Engineering
- Security
- Computer Languages
- Engineering, Electrical & Electronic
- Formal Method
- Formal Methods
- Formal Specifications
- Model Checking
- Distributed Systems
Kollektion
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- Springer Books
- Ingenta
- ACM Digital Library
- HEAL-Link subscriptions: Springer Book Series
- IEEE/IET Electronic Library (IEL)
- EBSCOhost Business Source Ultimate
- EZB Electronic Journals Library
- Cambridge University Press online books
- Cambridge Core All Books
- MEDLINE
- Elsevier ScienceDirect Journals Complete
- SpringerLink_现刊
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- NUS Single-Journal Subscriptions
- IngentaConnect Journals
- JSTOR All Journals
- WK Lippincott Williams & Wilkins–Connect here FIRST to enable access
Zeitschrift / Serie
- Communications Of The Acm
- Software Engineering Notes
- Ieee Transactions On Software Engineering
- Acm Computing Surveys
- Acm Transactions On Programming Languages And Systems
- Formal Aspects Of Computing
- Vaccine
- Acm Sigsoft Software Engineering Notes
- Acm Transactions On Software Engineering And Methodology
- Computer
Neu hinzugefügt