Search Results for Orejas, Fernando. - Narrowed by: Computer science. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dOrejas$00252C$002bFernando.$0026qf$003dSUBJECT$002509Subject$002509Computer$002bscience.$002509Computer$002bscience.$0026ps$003d300? 2024-11-05T16:44:28Z Fundamental Approaches to Software Engineering 14th International Conference, FASE 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbr&uuml;cken, Germany, March 26&ndash;April 3, 2011. Proceedings ent://SD_ILS/0/SD_ILS:194164 2024-11-05T16:44:28Z 2024-11-05T16:44:28Z Author&#160;Giannakopoulou, Dimitra. editor.&#160;Orejas, Fernando. 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-19811-3">http://dx.doi.org/10.1007/978-3-642-19811-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Recent Trends in Algebraic Development Techniques 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004. Revised Selected Papers ent://SD_ILS/0/SD_ILS:183031 2024-11-05T16:44:28Z 2024-11-05T16:44:28Z Author&#160;Fiadeiro, Jos&eacute; Luiz. editor.&#160;Mosses, Peter D. editor.&#160;Orejas, Fernando. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b107129">http://dx.doi.org/10.1007/b107129</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods in Software and Systems Modeling Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday ent://SD_ILS/0/SD_ILS:182933 2024-11-05T16:44:28Z 2024-11-05T16:44:28Z Author&#160;Kreowski, Hans-J&ouml;rg. editor.&#160;Montanari, Ugo. editor.&#160;Orejas, Fernando. editor.&#160;Rozenberg, Grzegorz. editor.&#160;Taentzer, Gabriele. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b106390">http://dx.doi.org/10.1007/b106390</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>