Search Beta
Series and events of the confref identifiers. Look up an identifier (dblp key, Wikidata, GND, DOI of the proceedings) through the API.
36 results · clear filters Sort: newest oldest name
- Proceedings of the 2014 ACM SIGAda annual conference on High integrity language technology, HILT 2014, Portland, Oregon, USA, October 18-21, 2014 (SIGADA)Computer and information sciencese11sn0n
- SIGAda Conference on High Integrity Language Technology (SIGAda) (SIGAda)Computer and information sciencess10db5f
- Proceedings of the 2013 ACM SIGAda annual conference on High integrity language technology, HILT 2013, Pittsburgh, Pennsylvania, USA, November 10-14, 2013 (SIGADA)Computer and information sciencese11smzq
- Proceedings of the 2012 ACM Conference on High Integrity Language Technology, HILT '12, December 2-6, 2012, Boston, Massachusetts, USA (SIGADA)Computer and information sciencese11smys
- Proceedings of the 2011 Annual ACM SIGAda International Conference on Ada, Denver, Colorado, USA, November 6-10, 2011 (SIGADA)Computer and information sciencese11snes
- Proceedings of the 2010 Annual ACM SIGAda International Conference on Ada, Fairfax, Virginia, USA, October 24-28, 2010 (SIGADA)Computer and information sciencese11sndv
- Proceedings of the 2009 Annual ACM SIGAda International Conference on Ada, Saint Petersburg, Florida, USA, November 1-5, 2009 (SIGADA)Computer and information sciencese11sncx
- Proceedings of the 2008 Annual ACM SIGAda International Conference on Ada, Portland, OR, USA, October 26-30, 2008 (SIGADA)Computer and information sciencese11snbz
- Proceedings of the 2007 Annual ACM SIGAda International Conference on Ada, Fairfax, Virginia, USA, November 4-8, 2007 (SIGADA)Computer and information sciencese11sna1
- Proceedings of the 2006 Annual ACM SIGAda International Conference on Ada, Albuquerque, New Mexico, USA, November 12-16, 2006 (SIGADA)Computer and information sciencese11sn93
- 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 2005, Atlanta, GA, USA, November 13-17, 2005 (SIGADA)Computer and information sciencese11sn85
- 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 2004, Atlanta, GA, USA, November 14-14, 2004 (SIGADA)Computer and information sciencese11sn77
- Proceedings of the 2003 Annual ACM SIGAda International Conference on Ada: The Engineering of Correct and Reliable Software for Real-Time & Distributed Systems using Ada and Related Technologies 2003, San Diego, CA, USA, December 7-11, 2003 (SIGADA)Computer and information sciencese11sn69
- 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 2002, Houston, Texas, USA, December 8-12, 2002 (SIGADA)Computer and information sciencese11sn5b
- Proceedings ACM SIGAda Annual International Conference, SIGAda 2001, Twin Cities, Best Western The Thunderbird Hotel & Convention Center, Bloomington, MN, USA, September 30 - October 4, 2001. (SIGADA)Computer and information sciencese11sn4d
- Ada Conferences (SIGADA)Computer and information sciencese12nqa6
- Proceedings ACM SIGAda Annual International Conference, SIGAda 1999, The Engineering of Industrial Strength Real-Time Software & Distributed Systems: Using Ada and Related Technologie, Redondo Beach, CA, USA, October 17-21, 1999. (SIGADA)Computer and information sciencese11sn3f
- Proceedings of the ACM SIGAda Annual International Conference on Ada Technology, SIGAda 1998, Washington, DC, USA, November 8-12, 1998 (SIGADA)Computer and information sciencese11snfq
- Conference, The annual meeting of the Ada programming world, TRI-Ada 1997, November 9-13, 1997, St. Louis, Missouri, USA (SIGADA)Computer and information sciencese11snww
- The annual meeting of the Ada programming world, TRI-Ada 1996, December 3-7, 1996, Philadelphia, Pennsylvania, USA (SIGADA)Computer and information sciencese11snvy
- Tutorial Proceedings on Ada's Role in Global Markets: solutions for a changing complex world, TRI-Ada 1995, November 5-10, 1995, Anaheim, CA, USA. (SIGADA)Computer and information sciencese11snt0
- Proceedings of the 1994 Conference on TRI-Ada 1994, November 6-11, 1994, Baltimore, Maryland, USA. (SIGADA)Computer and information sciencese11sns2
- Conference Proceedings on TRI-Ada 1993, September 18-23, 1993, Seattle, Washington, USA. (SIGADA)Computer and information sciencese11snr4
- Ada Conferences (SIGADA)Computer and information sciencese12nq98
- Conference Proceedings on TRI-Ada 1992, Orlando, Florida USA, November 17-20, 1992.Computer and information sciencese11snna
As JSON: https://labs.confref.org/api/search?field=1&series=s10db5f