Sortiert nach
ACM transactions on programming languages and systems, 2007-11, Vol.30 (1), p.1
2007
Volltextzugriff (PDF)
Software, practice & experience, 2009-04, Vol.39 (6), p.611-639
2009
Volltextzugriff (PDF)
ACM transactions on programming languages and systems, 2008, Vol.30 (1)
2008
Volltextzugriff (PDF)
Tools and Algorithms for the Construction and Analysis of Systems, p.101-115
Volltextzugriff (PDF)
Lecture notes in computer science, 2005, Vol.3780, p.298-314
2005
Volltextzugriff (PDF)
Compiler Construction, p.85-106
Volltextzugriff (PDF)
Proceedings of the 2020 ACM SIGPLAN International Symposium on Memory Management, 2020, p.1-15
2020
Volltextzugriff (PDF)
SIGPLAN notices, 2018-07, Vol.51 (11), p.122-133
2018
Volltextzugriff (PDF)
Proceedings of the 28th International Conference on Compiler Construction, 2019, p.53-64
2019
Volltextzugriff (PDF)
Foundations of Software Technology and Theoretical Computer Science, 2005, p.347-358
2005
Volltextzugriff (PDF)
Electronic notes in theoretical computer science, 2007-07, Vol.176 (3), p.79-95
2007
Volltextzugriff (PDF)
Software, practice & experience, 1999-04, Vol.29 (4), p.359-377
1999
Volltextzugriff (PDF)
Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06), 2006, p.108-117
2006
Volltextzugriff (PDF)
Algorithms, Concurrency and Knowledge, 2005, p.103-110
2005
Volltextzugriff (PDF)
Proceedings of International Conference on Frontiers in Computing and Systems, p.881-892
Volltextzugriff (PDF)
Free radical biology & medicine, 2018-04, Vol.118, p.1-12
2018
Volltextzugriff (PDF)
Bone (New York, N.Y.), 2016-11, Vol.92, p.132-144
2016
Volltextzugriff (PDF)
Chemical physics letters, 2007-10, Vol.447 (4), p.268-273
2007
Volltextzugriff (PDF)
Microwave and optical technology letters, 2008-05, Vol.50 (5), p.1135-1137
2008
Volltextzugriff (PDF)
Microwave and optical technology letters, 2008-11, Vol.50 (11), p.2955-2957
2008
Volltextzugriff (PDF)
Emerging Technologies in Data Mining and Information Security, p.515-526
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Technology
- Computer Science
- Computer Science, Software Engineering
- Computer Science, Theory & Methods
- Physical Sciences
- Animals
- Data Flow Analysis
- Endocrinology & Metabolism
- Engineering
- Engineering, Electrical & Electronic
- Functional Programming
- Garbage Collection
- Life Sciences & Biomedicine
- Mice
- Optics
- Program Point
- Signal Transduction - Physiology
- Translation Validation
- Access Path
Kollektion
- Ingenta
- ACM Digital Library (Association for Computing Machinery)
- HEAL-Link subscriptions: Springer Book Series
- Wiley-Blackwell Journals
- Wiley Online Library
- Elsevier ScienceDirect Journals
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Ebook Central Perpetual and DDA
- Business Source Ultimate
- eBooks on EBSCOhost
- MEDLINE
- IngentaConnect Journals
- EZB Electronic Journals Library
- Lippincott E Journal Collection
- IEEE Xplore