Sortiert nach
Compiler Construction, p.179-197
Link zum Volltext
Architecture of Computing Systems - ARCS 2017, p.99-110
Link zum Volltext
Leveraging Applications of Formal Methods, Verification, and Validation, p.76-90
Link zum Volltext
2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2009, p.288-292
2009
- Link zum Volltext
Acta oncologica, 2004-03, Vol.43 (1), p.35-42
2004
Link zum Volltext
Langenbeck's archives of surgery, 2013-10, Vol.398 (7), p.989-996
2013
Link zum Volltext
OpenAccess Series in Informatics, 2013, Vol.30, p.53
2013
Link zum Volltext
Leveraging Applications of Formal Methods, Verification, and Validation, p.248-260
Link zum Volltext
Foundations of Software Science and Computation Structures, 1999, p.14-30
1999
Link zum Volltext
Compiler Construction, 1998, p.65-79
1998
Link zum Volltext
Software and systems modeling, 2011-07, Vol.10 (3), p.411-437
2011
Link zum Volltext
Architecture of Computing Systems - ARCS 2017, p.59-70
Link zum Volltext
Leveraging Applications of Formal Methods, Verification, and Validation, p.150-155
Link zum Volltext
Acta oncologica, 2002, Vol.41 (7-8), p.695
2002
Link zum Volltext
Acta oncologica, 2002, Vol.41 (7), p.695-703
2002
Link zum Volltext
Neoplasia (New York, N.Y.), 2014-06, Vol.16 (6), p.463-470
2014
Link zum Volltext
Neoplasia (New York, N.Y.), 2014-06, Vol.16 (6), p.463-470
2014
Link zum Volltext
Compiler Construction, p.144-163
Link zum Volltext
Lecture notes in computer science, 1998, p.154-169
1998
Link zum Volltext
Principles and Practice of Parallel Programming: Proceedings of the seventh ACM SIGPLAN symposium on Principles and practice of parallel programming : Atlanta, Georgia, United States; 04-06 May 1999, 1999, p.13-24
1999
Link zum Volltext
SIGPLAN notices, 1999-08, Vol.34 (8), p.13-24
1999
Link zum Volltext
Leveraging Applications of Formal Methods, Verification, and Validation, p.144-149
Link zum Volltext
International journal on software tools for technology transfer, 2013-02, Vol.15 (1), p.41-52
2013
Link zum Volltext
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Computer Science
- Technology
- Computer Science, Software Engineering
- Computer Science, Theory & Methods
- Computer Science, Information Systems
- Life Sciences & Biomedicine
- Software
- Applied Sciences
- Computer Science; Control Theory; Systems
- Exact Sciences And Technology
- Humans
- Software Engineering
- Female
- Programming Languages
- Program Point
- Algorithms
- Oncology
- Code Motion
- Compilers
Kollektion
- Ingenta
- Springer Book Series
- EZB Electronic Journals Library
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- ACM Digital Library
- Journals@Ovid Ovid Full Text
- MEDLINE
- Elsevier ScienceDirect Journals Complete
- IngentaConnect Journals
- SpringerLink (Online service)
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Wiley Online Library
- Taylor & Francis Journals Complete
- IEEE Xplore
- Publisher or Other Site
- Taylor & Francis
- Wiley Online Library
- Taylor & Francis Journals Auto-Holdings Collection
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
Zeitschrift / Serie
- Electronic Notes In Theoretical Computer Science
- Sigplan Notices
- Acta Oncologica
- Journal Of Clinical Oncology
- Acm Transactions On Programming Languages And Systems
- Acm Transactions On Embedded Computing Systems
- International Journal On Software Tools For Technology Transfer
- Neoplasia
- Physical Review. A, Atomic, Molecular, And Optical Physics
- Pulmonary Medicine