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...IET software, 2008, Vol.2 (6), p.500-514
2008
Volltextzugriff (PDF)
Concurrency and computation, 2017-11, Vol.29 (22), p.n/a
2017
Volltextzugriff (PDF)
Deductive Software Verification - the KeY Book, 2016, Vol.10001, p.193-241
2016
Volltextzugriff (PDF)
The Journal of systems and software, 2024-05, Vol.211, p.112009, Article 112009
2024
Volltextzugriff (PDF)
Logic for Programming, Artificial Intelligence, and Reasoning, p.348-370
Volltextzugriff (PDF)
Journal of computing science and engineering : JCSE, 2013, Vol.7 (4), p.251-262
2013
Volltextzugriff (PDF)
Theory and Application of Graph Transformations, p.296-309
Volltextzugriff (PDF)
Journal of computing science and engineering : JCSE, 2013, Vol.7 (4), p.251-262
2013
Volltextzugriff (PDF)
Journal of automated reasoning, 2010-02, Vol.44 (1-2), p.145-174
2010
Volltextzugriff (PDF)
Lecture notes in computer science, 2005, p.365-381
2005
Volltextzugriff (PDF)
Proceedings of the 15th International Software Product Line Conference, Volume 2, 2011, p.1-8
2011
Volltextzugriff (PDF)
2011 33rd International Conference on Software Engineering (ICSE), 2011, p.786-795
2011
Volltextzugriff (PDF)
International journal on software tools for technology transfer, 2022-10, Vol.24 (5), p.783-802
2022
Volltextzugriff (PDF)
ECOOP 2006 – Object-Oriented Programming, 2006, p.380-403
2006
Volltextzugriff (PDF)
Proceedings of the 2004 ACM symposium on Applied computing, 2004, p.1531-1535
2004
Volltextzugriff (PDF)
Formal aspects of computing, 2023-09, Vol.35 (3), p.1-26, Article 18
2023
Volltextzugriff (PDF)
Proceedings of the 24th ACM International Workshop on Formal Techniques for Java-like Programs, 2022, p.26-28
2022
Volltextzugriff (PDF)
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, 2005, p.49-69
2005
Volltextzugriff (PDF)
VerCors, 2016, p.124-141
2016
Volltextzugriff (PDF)
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, 2005, p.108-128
2005
Volltextzugriff (PDF)
Lecture notes in computer science, 2016, Vol.9800, p.238-267
2016
Volltextzugriff (PDF)
Concurrency and computation, 2003-02, Vol.15 (2), p.117-154
2003
Volltextzugriff (PDF)
Deductive Software Verification – The KeY Book, 2016-12, p.243-287
2016
Volltextzugriff (PDF)
Deductive Software Verification – The KeY Book, 2016-12, p.541-570
2016
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Computer Science
- Technology
- Software
- Computer Science, Software Engineering
- Engineering
- Computer Science, Theory & Methods
- Computer Science, Information Systems
- Algorithms
- Artificial Intelligence
- Life Sciences & Biomedicine
- Software Engineering
- Physical Sciences
- Java
- Computer Science, Artificial Intelligence
- Social Sciences
- Programming Languages
- Engineering, Electrical & Electronic
- Computer Science, Interdisciplinary Applications
- Studies
Kollektion
- Ingenta
- EZB Free E-Journals
- ACM Digital Library Complete
- ProQuest Dissertations & Theses A&I
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- IngentaConnect Journals
- Springer Nature - Complete Springer Journals
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- IEEE Electronic Library (IEL)
- Springer Book Series
- Journals@Ovid Complete
- MEDLINE
- Wiley-Blackwell Full Collection
- EBSCOhost Business Source Ultimate
- Wiley Online Library Full Collection 2018
- Taylor & Francis Current Content Access
- Taylor & Francis:Master (3349 titles)
- Taylor & Francis Journals
- Taylor & Francis eBooks A-Z
Zeitschrift / Serie
- Plos One
- Journal Of Physics. Conference Series
- Software And Systems Modeling
- Applied Sciences
- Journal Of Physics: Conference Series
- International Journal Of Advanced Computer Science & Applications
- International Journal Of Advanced Computer Science And Applications/international Journal Of Advanced Computer Science & Applications
- Sensors
- International Journal Of Computer Applications
- Empirical Software Engineering : An International Journal
Neu hinzugefügt