Physical and digital books, media, journals, archives, and databases.
Results include
  1. Reliable software technologies-Ada-Europe 2009 : 14th Ada-Europe International Conference on Reliable Software Technologies, Brest, France, June 8-12, 2009 : proceedings

    Berlin ; New York : Springer, 2009.

    This book constitutes the proceedings of the 14th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2009, held in Brest, France, on June 8-12, 2009. The 19 papers presented were carefully reviewed and selected from numerous submissions. Topics of interest to the conference are methods and techniques for software development and maintenance; software architecture; enabling technology; software quality; theory and practice of high-integrity systems; embedded systems; mainstream and emerging applications; ada language and technology; ada and education.The 14th International Conference on Reliable Software Technologies - Ada- Europe 2009 - was part of a series of annual international conferences devoted tothepromotionandadvancementofallaspectsofreliablesoftwaretechno logies. The objective of this series of conferences, which is run and sponsored by Ada- Europe, the Europeanfederation of national Ada societies, is to providea forum to promote the development of reliable software both as an industrial technique and an academic discipline. This edition marked a return to France by selecting the splendid venue of Brittany, a region marked by its history with a strong Celtic tradition and a remotesituationatthewesterntipofthecontinentthatwastheinitiatoro fmany explorers of new worlds...and information and communication technologies. Previouseditions ofthe Reliable SoftwareTechnologiesconferenceswereheld in: Venice (Italy) in 2008, Geneva (Switzerland) in 2007, Porto (Portugal) in 2006, York (UK) in 2005, Palma de Mallorca (Spain) in 2004, Toulouse (France) in 2003, Vienna (Austria) in 2002, Leuven (Belgium) in 2001, Potsdam (G- many) in 2000, Santander (Spain) in 1999, Uppsala (Sweden) in 1998, London (United Kingdom) in 1997 and Montreux (Switzerland) in 1996. The conference series chooses its yearly venue following two driving criteria: to celebrate the activity of one of its national member societies in a particular country and/or to facilitate the formation, or the growth, of a national com- nity around all aspects of reliable software technologies.

    Online SpringerLink


Course- and topic-based guides to collections, tools, and services.
No guide results found... Try a different search

Library website

Library info; guides & content by subject specialists
No website results found... Try a different search


Digital showcases for research and teaching.
No exhibits results found... Try a different search


Geospatial content, including GIS datasets, digitized maps, and census data.
No earthworks results found... Try a different search

More search tools

Tools to help you discover resources at Stanford and beyond.