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...IEEE transactions on software engineering, 2020-03, Vol.46 (3), p.321-345
2020
Volltextzugriff (PDF)
2016
Volltextzugriff (PDF)
BMC bioinformatics, 2023-05, Vol.24 (Suppl 1), p.212-212, Article 212
2023
Volltextzugriff (PDF)
Computers & security, 2024-02, Vol.137, p.103602, Article 103602
2024
Volltextzugriff (PDF)
International journal on software tools for technology transfer, 2022-12, Vol.24 (6), p.973-976
2022
Volltextzugriff (PDF)
Computers & security, 2021-10, Vol.109, p.102381, Article 102381
2021
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2015-04, Vol.182 (Proc. FMSPLE 2015), p.56-70
2015
Volltextzugriff (PDF)
IEEE access, 2023-01, Vol.11, p.1-1
2023
Volltextzugriff (PDF)
Science of computer programming, 2018-12, Vol.168, p.118-141
2018
Volltextzugriff (PDF)
2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2023, p.1-14
2023
Volltextzugriff (PDF)
Logical methods in computer science, 2022-01, Vol.18, Issue 4
2022
Volltextzugriff (PDF)
Science of computer programming, 2015-03, Vol.99, p.75-94
2015
Volltextzugriff (PDF)
Logical methods in computer science, 2017-01, Vol.13, Issue 1
2017
Volltextzugriff (PDF)
Present and Ulterior Software Engineering, 2017, p.195-216
2017
Volltextzugriff (PDF)
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, p.114-133
Volltextzugriff (PDF)
Science of computer programming, 2015-01, Vol.97, p.23-30
2015
Volltextzugriff (PDF)
Coordination Models and Languages, p.159-177
Volltextzugriff (PDF)
Journal of logical and algebraic methods in programming, 2017-02, Vol.87, p.51
2017
Volltextzugriff (PDF)
Requirements Engineering: Foundation for Software Quality, p.39-56
Volltextzugriff (PDF)
Science of computer programming, 2015-10, Vol.109, p.1-1
2015
Volltextzugriff (PDF)
Software, Services, and Systems, p.552-581
Volltextzugriff (PDF)
Journal of logical and algebraic methods in programming, 2017-01, Vol.86 (1), p.1
2017
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
- Software Engineering
- Engineering
- Networking And Internet Architecture
- Computer Science, Interdisciplinary Applications
- Engineering, Industrial
- Logic
- Operational Semantic
- Science & Technology - Other Topics
- Graph Transformation
- Computer Science, Information Systems
- Mathematics
- Model Check
- Programming Languages
- Tuple Space
- Applied Sciences
Kollektion
- Ingenta
- SpringerLink Series
- eBooks on EBSCOhost
- Ebook Central Perpetual and DDA
- EZB Free E-Journals
- Elsevier ScienceDirect Journals Complete
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- SpringerLink Journals (MCLS)
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- ACM Digital Library
- IEEE/IET Electronic Library (IEL)
- IngentaConnect Journals
- Wiley Online Library Journals Frontfile Complete
- Wiley Online Library Full Collection 2018
Zeitschrift / Serie
- Electronic Notes In Theoretical Computer Science
- Electronic Proceedings In Theoretical Computer Science
- International Journal On Software Tools For Technology Transfer
- Science Of Computer Programming
- Computers & Security
- Journal Of Logical And Algebraic Methods In Programming
- Logical Methods In Computer Science
- Service Oriented Computing And Applications
- The Journal Of Systems And Software
- The journal Of Logical And Algebraic Methods In Programming/journal Of Logical And Algebraic Methods In Programming
Neu hinzugefügt