Search Results for Computer science. - Narrowed by: English - Information Systems Applications (incl. Internet). - Logic design. - Operating Systems. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dComputer$002bscience.$0026qf$003dLANGUAGE$002509Language$002509ENG$002509English$0026qf$003dSUBJECT$002509Subject$002509Information$002bSystems$002bApplications$002b$002528incl.$002bInternet$002529.$002509Information$002bSystems$002bApplications$002b$002528incl.$002bInternet$002529.$0026qf$003dSUBJECT$002509Subject$002509Logic$002bdesign.$002509Logic$002bdesign.$0026qf$003dSUBJECT$002509Subject$002509Operating$002bSystems.$002509Operating$002bSystems.$0026te$003dILS$0026ps$003d300? 2024-09-06T08:18:20Z 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-09-06T08:18:20Z 2024-09-06T08: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/> Software Engineering for Resilient Systems 5th International Workshop, SERENE 2013, Kiev, Ukraine, October 3-4, 2013. Proceedings ent://SD_ILS/0/SD_ILS:335024 2024-09-06T08:18:20Z 2024-09-06T08:18:20Z 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/>