Search Results for Systems engineering. - Narrowed by: Programming Languages, Compilers, Interpreters. - Software engineering. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dSystems$002bengineering.$0026qf$003dSUBJECT$002509Subject$002509Programming$002bLanguages$00252C$002bCompilers$00252C$002bInterpreters.$002509Programming$002bLanguages$00252C$002bCompilers$00252C$002bInterpreters.$0026qf$003dSUBJECT$002509Subject$002509Software$002bengineering.$002509Software$002bengineering.$0026te$003dILS$0026ps$003d300$0026isd$003dtrue? 2024-08-25T00:18:20Z Software Engineering for Self-Adaptive Systems II International Seminar, Dagstuhl Castle, Germany, October 24-29, 2010 Revised Selected and Invited Papers ent://SD_ILS/0/SD_ILS:334055 2024-08-25T00:18:20Z 2024-08-25T00:18:20Z Author&#160;Lemos, Rog&eacute;rio. editor.&#160;Giese, Holger. editor.&#160;M&uuml;ller, Hausi A. editor.&#160;Shaw, Mary. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334055.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35813-5">http://dx.doi.org/10.1007/978-3-642-35813-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Model-Driven Engineering Languages and Systems 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 &ndash; October 4, 2013. Proceedings ent://SD_ILS/0/SD_ILS:335120 2024-08-25T00:18:20Z 2024-08-25T00:18:20Z Author&#160;Moreira, Ana. editor.&#160;Sch&auml;tz, Bernhard. editor.&#160;Gray, Jeff. editor.&#160;Vallecillo, Antonio. editor.&#160;Clarke, Peter. editor.<br/>Preferred Shelf Number&#160;ONLINE(335120.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-41533-3">http://dx.doi.org/10.1007/978-3-642-41533-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods for Components and Objects 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:334077 2024-08-25T00:18:20Z 2024-08-25T00:18:20Z Author&#160;Beckert, Bernhard. editor.&#160;Damiani, Ferruccio. editor.&#160;Boer, Frank S. editor.&#160;Bonsangue, Marcello M. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334077.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35887-6">http://dx.doi.org/10.1007/978-3-642-35887-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> NASA Formal Methods 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334533 2024-08-25T00:18:20Z 2024-08-25T00:18:20Z Author&#160;Brat, Guillaume. editor.&#160;Rungta, Neha. editor.&#160;Venet, Arnaud. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334533.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38088-4">http://dx.doi.org/10.1007/978-3-642-38088-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software and Data Technologies 5th International Conference, ICSOFT 2010, Athens, Greece, July 22-24, 2010. Revised Selected Papers ent://SD_ILS/0/SD_ILS:333246 2024-08-25T00:18:20Z 2024-08-25T00:18:20Z Author&#160;Cordeiro, Jos&eacute;. editor.&#160;Virvou, Maria. editor.&#160;Shishkov, Boris. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(333246.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-29578-2">http://dx.doi.org/10.1007/978-3-642-29578-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Generative and Transformational Techniques in Software Engineering IV International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011. Revised Papers ent://SD_ILS/0/SD_ILS:334096 2024-08-25T00:18:20Z 2024-08-25T00:18:20Z Author&#160;L&auml;mmel, Ralf. editor.&#160;Saraiva, Jo&atilde;o. editor.&#160;Visser, Joost. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334096.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35992-7">http://dx.doi.org/10.1007/978-3-642-35992-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Safe and Secure Software Reuse 13th International Conference on Software Reuse, ICSR 2013, Pisa, June 18-20. Proceedings ent://SD_ILS/0/SD_ILS:334706 2024-08-25T00:18:20Z 2024-08-25T00:18:20Z Author&#160;Favaro, John. editor.&#160;Morisio, Maurizio. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334706.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38977-1">http://dx.doi.org/10.1007/978-3-642-38977-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automated Technology for Verification and Analysis 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings ent://SD_ILS/0/SD_ILS:332921 2024-08-25T00:18:20Z 2024-08-25T00:18:20Z Author&#160;Hung, Dang. editor.&#160;Ogawa, Mizuhito. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332921.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-02444-8">http://dx.doi.org/10.1007/978-3-319-02444-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>