Sangre : Hemodynamical flows : modeling, analysis and simulation / Giovanni P. Galdi [and others]
2008
1
Sangre de Cristo Grant (Colo. and N.M.) : Colorado : its resources, parks, and prospects as a new field for emigration; with an account of the Trenchara and Costilla estates, in the San Luis Park / by William Blackmore
Programmanalyse -- Formale Methode -- Sani <2008>. : Leveraging applications of formal methods, verification and validation. Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings / Tiziana Margaria, Bernhard Steffen (Eds.)
2008
1
Programmverifikation -- Formale Methode -- Sani <2008>. : Leveraging applications of formal methods, verification and validation. Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings / Tiziana Margaria, Bernhard Steffen (Eds.)
2008
1
Softwareentwicklung -- Formale Methode -- Sani <2008>. : Leveraging applications of formal methods, verification and validation. Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings / Tiziana Margaria, Bernhard Steffen (Eds.)
Sanierung : Repair and renewal of buildings : proceedings of a conference / organized by the Institution of Civil Engineers and held in London on 17 November 1982
Sanitäranlage -- Geschichte. : The nature and function of water, baths, bathing, and hygiene from antiquity through the Renaissance / edited by Cynthia Kosso and Anne Scott