Search Results for Art. - Narrowed by: Software engineering. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dArt.$0026qf$003dSUBJECT$002509Subject$002509Software$002bengineering.$002509Software$002bengineering.$0026te$003dILS$0026ps$003d300? 2024-11-13T13:11:30Z The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday ent://SD_ILS/0/SD_ILS:486859 2024-11-13T13:11:30Z 2024-11-13T13:11:30Z Author&#160;Alvim, M&aacute;rio S. editor.&#160;Chatzikokolakis, Kostas. editor.&#160;Olarte, Carlos. editor.&#160;Valencia, Frank. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-31175-9">https://doi.org/10.1007/978-3-030-31175-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automotive Systems and Software Engineering State of the Art and Future Trends ent://SD_ILS/0/SD_ILS:486378 2024-11-13T13:11:30Z 2024-11-13T13:11:30Z Author&#160;Dajsuren, Yanja. editor.&#160;van den Brand, Mark. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-12157-0">https://doi.org/10.1007/978-3-030-12157-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computing and Software Science State of the Art and Perspectives ent://SD_ILS/0/SD_ILS:486069 2024-11-13T13:11:30Z 2024-11-13T13:11:30Z Author&#160;Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558&#160;Woeginger, Gerhard. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-91908-9">https://doi.org/10.1007/978-3-319-91908-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Programming with Actors State-of-the-Art and Research Perspectives ent://SD_ILS/0/SD_ILS:399671 2024-11-13T13:11:30Z 2024-11-13T13:11:30Z Author&#160;Ricci, Alessandro. editor.&#160;Haller, Philipp. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-00302-9">https://doi.org/10.1007/978-3-030-00302-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering Education for a Global E-Service Economy State of the Art, Trends and Developments ent://SD_ILS/0/SD_ILS:485441 2024-11-13T13:11:30Z 2024-11-13T13:11:30Z Author&#160;Motta, Gianmario. editor.&#160;Wu, Bing. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-04217-6">https://doi.org/10.1007/978-3-319-04217-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The Art of Software Innovation Eight Practice Areas to Inspire your Business ent://SD_ILS/0/SD_ILS:194574 2024-11-13T13:11:30Z 2024-11-13T13:11:30Z Author&#160;Pikkarainen, Minna. editor.&#160;Codenie, Wim. editor.&#160;Boucart, Nick. editor.&#160;Heredia Alvaro, Jos&eacute; Antonio. 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-21049-5">http://dx.doi.org/10.1007/978-3-642-21049-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods: State of the Art and New Directions ent://SD_ILS/0/SD_ILS:176054 2024-11-13T13:11:30Z 2024-11-13T13:11:30Z Author&#160;Boca, Paul. editor.&#160;Bowen, Jonathan P. editor.&#160;Siddiqi, Jawed. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-84882-736-3">http://dx.doi.org/10.1007/978-1-84882-736-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Applied Parallel Computing. State of the Art in Scientific Computing 8th International Workshop, PARA 2006, Ume&aring;, Sweden, June 18-21, 2006, Revised Selected Papers ent://SD_ILS/0/SD_ILS:187493 2024-11-13T13:11:30Z 2024-11-13T13:11:30Z Author&#160;K&aring;gstr&ouml;m, Bo. editor.&#160;Elmroth, Erik. editor.&#160;Dongarra, Jack. editor.&#160;Wa&#347;niewski, Jerzy. 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-540-75755-9">http://dx.doi.org/10.1007/978-3-540-75755-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Applied Parallel Computing. State of the Art in Scientific Computing 7th International Workshop, PARA 2004, Lyngby, Denmark, June 20-23, 2004. Revised Selected Papers ent://SD_ILS/0/SD_ILS:183762 2024-11-13T13:11:30Z 2024-11-13T13:11:30Z Author&#160;Dongarra, Jack. editor.&#160;Madsen, Kaj. editor.&#160;Wa&#347;niewski, Jerzy. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11558958">http://dx.doi.org/10.1007/11558958</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>