Sortiert nach
Lecture notes in computer science, 2004, p.65-77
2004
Link zum Volltext
Lecture notes in computer science, 2005, p.105-114
2005
Link zum Volltext
Annual International Conference on Ada: Proceedings of the 2006 annual ACM SIGAda international conference on Ada : Albuquerque, New Mexico, USA; 12-16 Nov. 2006, 2006, p.45-50
2006
Link zum Volltext
ACM SIGAda Ada Letters, 2006-12, Vol.XXVI (3), p.45-50
2006
Link zum Volltext
ACM SIGAda Ada Letters, 2013-11, Vol.33 (3), p.11-12
2013
Link zum Volltext
Annual International Conference on Ada: Proceedings of the 2004 annual ACM SIGAda international conference on Ada: The engineering of correct and reliable software for real-time & distributed systems using Ada and related technologies : Atlanta, Georgia, USA; 14-18 Nov. 2004, 2004, p.29-34
2004
Link zum Volltext
Annual International Conference on Ada: Proceedings of the 2005 annual ACM SIGAda international conference on Ada: The Engineering of Correct and Reliable Software for Real-Time & Distributed Systems using Ada and Related Technologies : Atlanta, GA, USA; 13-17 Nov. 2005, 2005, p.17-22
2005
Link zum Volltext
Proceedings of the ACM SIGAda annual international conference on sigada, 2010, p.71-74
2010
Link zum Volltext
Proceedings of the 2012 ACM conference on high integrity language technology, 2012, p.11-12
2012
Link zum Volltext
ACM SIGAda Ada Letters, 2005-12, Vol.XXV (4), p.17-22
2005
Link zum Volltext
ACM SIGAda Ada Letters, 2012-11, Vol.32 (3), p.11-12
2012
Link zum Volltext
Proceedings of the ACM SIGAda annual international conference on ada and related technologies, 2009, p.15-16
2009
Link zum Volltext
Proceedings of the ACM SIGAda annual international conference on ada and related technologies, 2009, p.121-126
2009
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
ACM SIGAda Ada Letters, 2010-11, Vol.30 (3), p.71-74
2010
Link zum Volltext
ACM SIGAda Ada Letters, 2011, Vol.31 (3), p.3-4
2011
Link zum Volltext
ACM SIGAda Ada Letters, 2004-12, Vol.XXIV (4), p.29-34
2004
Link zum Volltext
ACM SIGAda Ada Letters, 2002-09, Vol.XXII (3), p.42-47
2002
Link zum Volltext
Proceedings of the 2008 ACM annual international conference on sigada annual international conference, 2008, p.3-4
2008
Link zum Volltext
Annual International Conference on Ada: Proceedings of the 2002 annual ACM SIGAda international conference on Ada: The engineering of correct and reliable software for real-time & distributed systems using Ada and related technologies : Houston, Texas, USA; 08-12 Dec. 2002, 2002, p.22-26
2002
Link zum Volltext
ACM SIGAda Ada Letters, 2009-11, Vol.29 (3), p.121-126
2009
Link zum Volltext
ACM SIGAda Ada Letters, 2009-11, Vol.29 (3), p.15-16
2009
Link zum Volltext
ACM SIGAda Ada Letters, 2008-12, Vol.28 (3), p.3-4
2008
Link zum Volltext
Annual International Conference on Ada: Proceedings of the 2007 ACM international conference on SIGAda annual international conference; 04-08 Nov. 2007, 2007, p.4-4
2007
Link zum Volltext
Annual International Conference on Ada: Proceedings of the 2007 ACM international conference on SIGAda annual international conference; 04-08 Nov. 2007, 2007, p.63-68
2007
Link zum Volltext
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Technology
- Computer Science
- Computer Science, Software Engineering
- Software And Its Engineering
- Software And Its Engineering -- Software Notations And Tools -- General Programming Languages
- Ada
- Asis
- Computer Science, Theory & Methods
- Enterprise Service Bus
- Software
- Software Engineering
- Computer Science, Hardware & Architecture
- Formal Methods
- High Integrity
- Program Slicing
- Service-Oriented Architecture
- Soa
- Ada 95
- Ada Programming Language
Kollektion