Search Results for Operating systems (Computers). - Narrowed by: SpringerLink (Online service) - Online Library - 2009 - Logic design. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dOperating$002bsystems$002b$002528Computers$002529.$0026qf$003dAUTHOR$002509Author$002509SpringerLink$002b$002528Online$002bservice$002529$002509SpringerLink$002b$002528Online$002bservice$002529$0026qf$003dLIBRARY$002509Library$0025091$00253AONLINE$002509Online$002bLibrary$0026qf$003dPUBDATE$002509Publication$002bDate$0025092009$0025092009$0026qf$003dSUBJECT$002509Subject$002509Logic$002bdesign.$002509Logic$002bdesign.$0026te$003dILS$0026ps$003d300$0026isd$003dtrue? 2024-08-25T02:30:30Z Experimental Algorithms 8th International Symposium, SEA 2009, Dortmund, Germany, June 4-6, 2009. Proceedings ent://SD_ILS/0/SD_ILS:190188 2024-08-25T02:30:30Z 2024-08-25T02:30:30Z Author&#160;Vahrenhold, Jan. 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-02011-7">http://dx.doi.org/10.1007/978-3-642-02011-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Object-Oriented Technology. ECOOP 2008 Workshop Reader ECOOP 2008 Workshops Paphos, Cyprus, July 7-11, 2008 Final Reports ent://SD_ILS/0/SD_ILS:190199 2024-08-25T02:30:30Z 2024-08-25T02:30:30Z Author&#160;Eugster, Patrick. 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-02047-6">http://dx.doi.org/10.1007/978-3-642-02047-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Component-Based Software Engineering 12th International Symposium, CBSE 2009 East Stroudsburg, PA, USA, June 24-26, 2009 Proceedings ent://SD_ILS/0/SD_ILS:190314 2024-08-25T02:30:30Z 2024-08-25T02:30:30Z Author&#160;Lewis, Grace A. editor.&#160;Poernomo, Iman. editor.&#160;Hofmeister, Christine. 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-02414-6">http://dx.doi.org/10.1007/978-3-642-02414-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods for Components and Objects 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, Revised Lectures ent://SD_ILS/0/SD_ILS:190858 2024-08-25T02:30:30Z 2024-08-25T02:30:30Z Author&#160;Boer, Frank S. editor.&#160;Bonsangue, Marcello M. editor.&#160;Madelaine, Eric. 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-04167-9">http://dx.doi.org/10.1007/978-3-642-04167-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Runtime Verification 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers ent://SD_ILS/0/SD_ILS:191028 2024-08-25T02:30:30Z 2024-08-25T02:30:30Z Author&#160;Bensalem, Saddek. editor.&#160;Peled, Doron A. 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-04694-0">http://dx.doi.org/10.1007/978-3-642-04694-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Job Scheduling Strategies for Parallel Processing 14th International Workshop, JSSPP 2009, Rome, Italy, May 29, 2009. Revised Papers ent://SD_ILS/0/SD_ILS:191009 2024-08-25T02:30:30Z 2024-08-25T02:30:30Z Author&#160;Frachtenberg, Eitan. editor.&#160;Schwiegelshohn, Uwe. 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-04633-9">http://dx.doi.org/10.1007/978-3-642-04633-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>