Sortiert nach
Reliable Software Technologies - Ada-Europe 2011, p.214-218
Link zum Volltext
Reliable Software Technologies - Ada-Europe 2011, p.61-74
Link zum Volltext
Proceedings of the ACM SIGAda annual international conference on sigada, 2010, p.23-30
2010
Link zum Volltext
Proceedings of the ACM SIGAda annual international conference on ada and related technologies, 2009, p.127-132
2009
Link zum Volltext
Proceedings of the 2011 ACM annual international conference on special interest group on the ada programming language, 2011, p.13-14
2011
Link zum Volltext
Proceedings of the 2011 ACM annual international conference on special interest group on the ada programming language, 2011, p.35-36
2011
Link zum Volltext
Proceedings of the 2011 ACM annual international conference on special interest group on the ada programming language, 2011, p.61-68
2011
Link zum Volltext
Proceedings of the ACM SIGAda annual international conference on sigada, 2010, p.3-4
2010
Link zum Volltext
Proceedings of the 2011 ACM annual international conference on special interest group on the ada programming language, 2011, p.1-2
2011
Link zum Volltext
Proceedings of the 2011 ACM annual international conference on special interest group on the ada programming language, 2011, p.19-26
2011
Link zum Volltext
Proceedings of the 2011 ACM annual international conference on special interest group on the ada programming language, 2011, p.39-46
2011
Link zum Volltext
Proceedings of the 2011 ACM annual international conference on special interest group on the ada programming language, 2011, p.47-60
2011
Link zum Volltext
Proceedings of the 2011 ACM annual international conference on special interest group on the ada programming language, 2011, p.81-90
2011
Link zum Volltext
Proceedings of the 2011 ACM annual international conference on special interest group on the ada programming language, 2011, p.75-80
2011
Link zum Volltext
Proceedings of the 2011 ACM annual international conference on special interest group on the ada programming language, 2011, p.11-12
2011
Link zum Volltext
Proceedings of the 2011 ACM annual international conference on special interest group on the ada programming language, 2011, p.9-10
2011
Link zum Volltext
Proceedings of the 2011 ACM annual international conference on special interest group on the ada programming language, 2011, p.69-74
2011
Link zum Volltext
Proceedings of the 2011 ACM annual international conference on special interest group on the ada programming language, 2011, p.37-38
2011
Link zum Volltext
Proceedings of the 2011 ACM annual international conference on special interest group on the ada programming language, 2011, p.5-6
2011
Link zum Volltext
Proceedings of the 2011 ACM annual international conference on special interest group on the ada programming language, 2011, p.15-16
2011
Link zum Volltext
Proceedings of the 2011 ACM annual international conference on special interest group on the ada programming language, 2011, p.27-34
2011
Link zum Volltext
Proceedings of the 2011 ACM annual international conference on special interest group on the ada programming language, 2011, p.3-4
2011
Link zum Volltext
Proceedings of the 2011 ACM annual international conference on special interest group on the ada programming language, 2011, p.17-18
2011
Link zum Volltext
Proceedings of the 2011 ACM annual international conference on special interest group on the ada programming language, 2011, p.7-8
2011
Link zum Volltext
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Software Engineering
- Ada
- General And Reference -- Cross-Computing Tools And Techniques -- Reliability
- General And Reference -- Cross-Computing Tools And Techniques -- Validation
- Software And Its Engineering
- Computer Science, Theory & Methods
- Ada 2005
- Computing Methodologies -- Parallel Computing Methodologies -- Parallel Programming Languages
- General And Reference -- Document Types -- Computing Standards, Rfcs And Guidelines
- Reliability
- Safety
- Software And Its Engineering -- Software Notations And Tools -- General Programming Languages
- Software Engineering
- Spark
- Abstract Interpretation
- Code Verification
- Do178b
Kollektion
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- Springer Books
- ACM Digital Library Complete
- Ingenta
- HEAL-Link subscriptions: Springer Book Series
- Project MUSE All Journals
- Taylor & Francis Online
- JSTOR Complete Journals
- Brill Online Books
- Project MUSE
- ScienceDirect eBooks
- IngentaConnect Journals
- Elsevier ScienceDirect Journals Complete
- UTB Scholars
Zeitschrift / Serie