Search Results for Barbosa, Lu&iacute;s Soares. - Narrowed by: Electronic Library SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dBarbosa$00252C$002bLu$0025C3$0025ADs$002bSoares.$0026qf$003dLOCATION$002509Shelf$002bLocation$0025091$00253AELEKKUTUPH$002509Electronic$002bLibrary$0026te$003dILS$0026ps$003d300? 2024-09-18T08:31:28Z Formal Aspects of Component Software 7th International Workshop, FACS 2010, Guimar&atilde;es, Portugal, October 14-16, 2010, Revised Selected Papers ent://SD_ILS/0/SD_ILS:196145 2024-09-18T08:31:28Z 2024-09-18T08:31:28Z Author&#160;Barbosa, Lu&iacute;s Soares. editor.&#160;Lumpe, Markus. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-27269-1">http://dx.doi.org/10.1007/978-3-642-27269-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Programming Languages 16th Brazilian Symposium, SBLP 2012, Natal, Brazil, September 23-28, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197332 2024-09-18T08:31:28Z 2024-09-18T08:31:28Z Author&#160;Carvalho Junior, Francisco Heron. editor.&#160;Barbosa, Luis Soares. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33182-4">http://dx.doi.org/10.1007/978-3-642-33182-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Language Engineering and Rigorous Software Development International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised Tutorial Lectures ent://SD_ILS/0/SD_ILS:190535 2024-09-18T08:31:28Z 2024-09-18T08:31:28Z Author&#160;Bove, Ana. editor.&#160;Barbosa, Lu&iacute;s Soares. editor.&#160;Pardo, Alberto. editor.&#160;Pinto, Jorge Sousa. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-03153-3">http://dx.doi.org/10.1007/978-3-642-03153-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>