Search Results for SpringerLink (Online service) - Narrowed by: Rumpe, Bernhard. editor. - 2015 - Computer logic. SirsiDynix Enterprise https://catalog.tedu.edu.tr/client/tr_TR/defaulttr/defaulttr/qu$003dSpringerLink$002b$002528Online$002bservice$002529$0026qf$003dAUTHOR$002509Yazar$002509Rumpe$00252C$002bBernhard.$002beditor.$002509Rumpe$00252C$002bBernhard.$002beditor.$0026qf$003dPUBDATE$002509Bas$0025C4$0025B1m$002bY$0025C4$0025B1l$0025C4$0025B1$0025092015$0025092015$0026qf$003dSUBJECT$002509Konu$002509Computer$002blogic.$002509Computer$002blogic.$0026ic$003dtrue$0026ps$003d300$0026isd$003dtrue? 2024-08-28T13:17:24Z Software Engineering and Formal Methods 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings ent://SD_ILS/0/SD_ILS:23251 2024-08-28T13:17:24Z 2024-08-28T13:17:24Z Yazar&#160;Calinescu, Radu. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-22969-0">http://dx.doi.org/10.1007/978-3-319-22969-0</a><br/>Format:&#160;Electronic Resources<br/> Globalizing Domain-Specific Languages International Dagstuhl Seminar, Dagstuhl Castle, Germany, October 5-10, 2014, Revised Papers ent://SD_ILS/0/SD_ILS:23512 2024-08-28T13:17:24Z 2024-08-28T13:17:24Z Yazar&#160;Combemale, Benoit. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-26172-0">http://dx.doi.org/10.1007/978-3-319-26172-0</a><br/>Format:&#160;Electronic Resources<br/>