Search Results for Systems software. - Narrowed by: Operating systems (Computers). SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dSystems$002bsoftware.$0026qf$003dSUBJECT$002509Subject$002509Operating$002bsystems$002b$002528Computers$002529.$002509Operating$002bsystems$002b$002528Computers$002529.$0026ps$003d300$0026isd$003dtrue? 2025-12-12T07:32:05Z Software Engineering for Resilient Systems 5th International Workshop, SERENE 2013, Kiev, Ukraine, October 3-4, 2013. Proceedings ent://SD_ILS/0/SD_ILS:335024 2025-12-12T07:32:05Z 2025-12-12T07:32:05Z Author&#160;Gorbenko, Anatoliy. editor.&#160;Romanovsky, Alexander. editor.&#160;Kharchenko, Vyacheslav. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335024.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40894-6">http://dx.doi.org/10.1007/978-3-642-40894-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering for Resilient Systems 4th International Workshop, SERENE 2012, Pisa, Italy, September 27-28, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197330 2025-12-12T07:32:05Z 2025-12-12T07:32:05Z Author&#160;Avgeriou, Paris. 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-33176-3">http://dx.doi.org/10.1007/978-3-642-33176-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Sensor Systems and Software Second International ICST Conference, S-Cube 2010, Miami, FL, USA, December 13-15, 2010, Revised Selected Papers ent://SD_ILS/0/SD_ILS:195385 2025-12-12T07:32:05Z 2025-12-12T07:32:05Z Author&#160;Par, Gerard. editor.&#160;Morrow, Philip. 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-23583-2">http://dx.doi.org/10.1007/978-3-642-23583-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Engineering Secure Software and Systems First International Symposium ESSoS 2009, Leuven, Belgium, February 4-6, 2009. Proceedings ent://SD_ILS/0/SD_ILS:189610 2025-12-12T07:32:05Z 2025-12-12T07:32:05Z Author&#160;Massacci, Fabio. editor.&#160;Redwine, Samuel T. editor.&#160;Zannone, Nicola. 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-00199-4">http://dx.doi.org/10.1007/978-3-642-00199-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Embedded Software and Systems Third International Conference, ICESS 2007, Daegu, Korea, May 14-16, 2007. Proceedings ent://SD_ILS/0/SD_ILS:186619 2025-12-12T07:32:05Z 2025-12-12T07:32:05Z Author&#160;Lee, Yann-Hang. editor.&#160;Kim, Heung-Nam. editor.&#160;Kim, Jong. editor.&#160;Park, Yongwan. editor.&#160;Yang, Laurence T. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-72685-2">http://dx.doi.org/10.1007/978-3-540-72685-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Open Source Systems IFIP Working Group 2.13 Foundation on Open Source Software, June 8&ndash;10, 2006, Como, Italy ent://SD_ILS/0/SD_ILS:166014 2025-12-12T07:32:05Z 2025-12-12T07:32:05Z Author&#160;Damiani, Ernesto. editor.&#160;Fitzgerald, Brian. editor.&#160;Scacchi, Walt. editor.&#160;Scotto, Marco. editor.&#160;Succi, Giancarlo. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/0-387-34226-5">http://dx.doi.org/10.1007/0-387-34226-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Dependable Systems: Software, Computing, Networks Research Results of the DICS Program ent://SD_ILS/0/SD_ILS:184443 2025-12-12T07:32:05Z 2025-12-12T07:32:05Z Author&#160;Kohlas, J&uuml;rg. editor.&#160;Meyer, Bertrand. editor.&#160;Schiper, Andr&eacute;. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11808107">http://dx.doi.org/10.1007/11808107</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Embedded Software and Systems Second International Conference, ICESS 2005, Xi&rsquo;an, China, December 16-18, 2005. Proceedings ent://SD_ILS/0/SD_ILS:183282 2025-12-12T07:32:05Z 2025-12-12T07:32:05Z Author&#160;Yang, Laurence T. editor.&#160;Zhou, Xingshe. editor.&#160;Zhao, Wei. editor.&#160;Wu, Zhaohui. editor.&#160;Zhu, Yian. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11599555">http://dx.doi.org/10.1007/11599555</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Component-Based Software Development for Embedded Systems An Overview of Current Research Trends ent://SD_ILS/0/SD_ILS:182781 2025-12-12T07:32:05Z 2025-12-12T07:32:05Z Author&#160;Atkinson, Colin. editor.&#160;Bunse, Christian. editor.&#160;Gross, Hans-Gerhard. editor.&#160;Peper, Christian. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11591962">http://dx.doi.org/10.1007/11591962</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Embedded Software and Systems First International Conference, ICESS 2004, Hangzhou, China, December 9-10, 2004, Revised Selected Papers ent://SD_ILS/0/SD_ILS:182909 2025-12-12T07:32:05Z 2025-12-12T07:32:05Z Author&#160;Wu, Zhaohui. editor.&#160;Chen, Chun. editor.&#160;Guo, Minyi. editor.&#160;Bu, Jiajun. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11535409">http://dx.doi.org/10.1007/11535409</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 2025-12-12T07:32:05Z 2025-12-12T07:32:05Z 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 2025-12-12T07:32:05Z 2025-12-12T07:32:05Z 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/> Web Dynpro ABAP for Practitioners ent://SD_ILS/0/SD_ILS:334566 2025-12-12T07:32:05Z 2025-12-12T07:32:05Z Author&#160;Gellert, Ulrich. author.&#160;Cristea, Ana Daniela. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334566.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38247-5">http://dx.doi.org/10.1007/978-3-642-38247-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Parallel Computing Technologies 12th International Conference, PaCT 2013, St. Petersburg, Russia, September 30 - October 4, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334871 2025-12-12T07:32:05Z 2025-12-12T07:32:05Z Author&#160;Malyshkin, Victor. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334871.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39958-9">http://dx.doi.org/10.1007/978-3-642-39958-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Innovative Technologies for Dependable OTS-Based Critical Systems Challenges and Achievements of the CRITICAL STEP Project ent://SD_ILS/0/SD_ILS:335577 2025-12-12T07:32:05Z 2025-12-12T07:32:05Z Author&#160;Cotroneo, Domenico. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335577.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-88-470-2772-5">http://dx.doi.org/10.1007/978-88-470-2772-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Job Scheduling Strategies for Parallel Processing 16th International Workshop, JSSPP 2012, Shanghai, China, May 25, 2012. Revised Selected Papers ent://SD_ILS/0/SD_ILS:334071 2025-12-12T07:32:05Z 2025-12-12T07:32:05Z Author&#160;Cirne, Walfredo. editor.&#160;Desai, Narayan. editor.&#160;Frachtenberg, Eitan. editor.&#160;Schwiegelshohn, Uwe. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334071.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35867-8">http://dx.doi.org/10.1007/978-3-642-35867-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>