Sortiert nach
Einfacher Volltextzugriff von (fast) überall
Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...1st ed. 2019., 2019
Volltextzugriff (PDF)
Human Aspects of Information Security, Privacy and Trust, p.464-480
Volltextzugriff (PDF)
PloS one, 2020-04, Vol.15 (4), p.e0232261-e0232261
2020
Volltextzugriff (PDF)
Graphical Models for Security, 2016, Vol.9390, p.82-96
2016
Volltextzugriff (PDF)
Science of computer programming, 2014-10, Vol.92, p.25-55
2014
Volltextzugriff (PDF)
Secure IT Systems, p.133-152
Volltextzugriff (PDF)
International journal on software tools for technology transfer, 2021-02, Vol.23 (1), p.89-104
2021
Volltextzugriff (PDF)
Science of computer programming, 2014-10, Vol.91, p.141-160
2014
Volltextzugriff (PDF)
Information systems frontiers, 2016-10, Vol.18 (5), p.909-925
2016
Volltextzugriff (PDF)
Semantics, Logics, and Calculi, 2016, Vol.9560, p.54-73
2016
Volltextzugriff (PDF)
Model Checking Software, 2022, Vol.13255, p.61-78
2022
Volltextzugriff (PDF)
Information Security Theory and Practice, p.249-259
Volltextzugriff (PDF)
Software, practice & experience, 2013-01, Vol.43 (1), p.67-92
2013
Volltextzugriff (PDF)
Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, p.208-222
Volltextzugriff (PDF)
Information and computation, 2010-05, Vol.208 (5), p.433-449
2010
Volltextzugriff (PDF)
Science of computer programming, 2010-06, Vol.75 (6), p.376-397
2010
Volltextzugriff (PDF)
Formal Modeling and Analysis of Timed Systems, 2015, Vol.9268, p.305-320
2015
Volltextzugriff (PDF)
Graphical Models for Security, 2018, Vol.10744, p.75-90
2018
Volltextzugriff (PDF)
Innovations in systems and software engineering, 2013-03, Vol.9 (1), p.17-28
2013
Volltextzugriff (PDF)
Formal Aspects in Security and Trust, p.127-142
Volltextzugriff (PDF)
2009 IEEE/IFIP International Conference on Dependable Systems & Networks, 2009, p.43-52
2009
Volltextzugriff (PDF)
Operating systems review, 2006-07, Vol.40 (3), p.90-92
2006
Volltextzugriff (PDF)
Protocols, Strands, and Logic, 2021, Vol.13066, p.312-331
2021
Volltextzugriff (PDF)
Semantics, Logics, and Calculi, 2016, Vol.9560, p.88-110
2016
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Theory & Methods
- Computer Science, Software Engineering
- Computer Science, Information Systems
- Software Engineering
- Computer Programming / Software Development
- Information Retrieval
- Security
- Static Analysis
- Applied Sciences
- Computer Science; Control Theory; Systems
- Exact Sciences And Technology
- Software
- Flow Logic
- Linux
- Model Check
- Bug Finding
- Computer Science, Hardware & Architecture
Kollektion
- Ingenta
- SpringerLink Series
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- ACM Digital Library
- EZB Electronic Journals Library
- IEEE Electronic Library Online
- Elsevier ScienceDirect Journals Complete
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Springer Journals
- Wiley Online Library All Journals
- IngentaConnect Journals
- Wiley Online Library Full Collection 2018
- Journals@Ovid Full Text
Zeitschrift / Serie
- Science Of Computer Programming
- Electronic Notes In Theoretical Computer Science
- Operating Systems Review
- Theoretical Computer Science
- Concurrency And Computation
- Ercim News
- Information And Computation
- Information Security Technical Report
- Information Systems Frontiers
- Innovations In Systems And Software Engineering
Neu hinzugefügt