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...International Journal of Networking and Computing, 2015/07/10, Vol.5(2), pp.373-402
2015
Volltextzugriff (PDF)
International Journal of Networking and Computing, 2015/07/10, Vol.5(2), pp.347-372
2015
Volltextzugriff (PDF)
Journal of computer science and technology, 2006-05, Vol.21 (3), p.418-429
2006
Volltextzugriff (PDF)
Data & knowledge engineering, 2009-03, Vol.68 (3), p.292-317
2009
Volltextzugriff (PDF)
2014 Second International Symposium on Computing and Networking, 2014, p.96-105
2014
Volltextzugriff (PDF)
Journal of symbolic computation, 2011-02, Vol.46 (2), p.183-206
2011
Volltextzugriff (PDF)
Dependable Software Engineering: Theories, Tools, and Applications, 2015, p.120-134
2015
Volltextzugriff (PDF)
Information technology (Munich, Germany), 2010-09, Vol.52 (5), p.295-297
2010
Volltextzugriff (PDF)
Conceptual Modeling for Advanced Application Domains, 2004, p.198-209
2004
Volltextzugriff (PDF)
2014 Second International Symposium on Computing and Networking, 2014, p.144-150
2014
Volltextzugriff (PDF)
2013 28th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2013, p.169-179
2013
Volltextzugriff (PDF)
2010 8th IEEE International Conference on Software Engineering and Formal Methods, 2010, p.232-243
2010
Volltextzugriff (PDF)
Proceedings of the 9th ACM symposium on Document engineering, 2009, p.251-252
2009
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Information Systems
- Model Checking
- Computer Science, Software Engineering
- Software Model Checking
- Document Verification
- Engineering
- Engineering, Electrical & Electronic
- Software
- Temporal Description Logics
- User Datagram Protocol
- Checkpointing
- Computer Science, Artificial Intelligence
- Computer Science, Theory & Methods
- Ctl
- Fault Injection
- Java
- Libraries
Kollektion
- IEEE Xplore
- Ingenta.com
- EZB Electronic Journals Library
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- ACM Digital Library Complete
- SpringerLink Series
- Elsevier ScienceDirect Journals Complete
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- ERIC
- Ebook Central Perpetual and DDA
- De Gruyter journals
- eBooks on EBSCOhost
- Springer Nature - Complete Springer Journals