Search Results for - Narrowed by: English - Electronic Library - 2007 - Artificial intelligence. - Operating systems (Computers). SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qf$003dLANGUAGE$002509Language$002509ENG$002509English$0026qf$003dLOCATION$002509Shelf$002bLocation$0025091$00253AELEKKUTUPH$002509Electronic$002bLibrary$0026qf$003dPUBDATE$002509Publication$002bDate$0025092007$0025092007$0026qf$003dSUBJECT$002509Subject$002509Artificial$002bintelligence.$002509Artificial$002bintelligence.$0026qf$003dSUBJECT$002509Subject$002509Operating$002bsystems$002b$002528Computers$002529.$002509Operating$002bsystems$002b$002528Computers$002529.$0026ic$003dtrue$0026ps$003d300$0026isd$003dtrue? 2024-08-27T14:30:49Z Engineering Self-Organising Systems 4th International Workshop, ESOA 2006, Hakodate, Japan, May 9, 2006, Revised and Invited Papers ent://SD_ILS/0/SD_ILS:185918 2024-08-27T14:30:49Z 2024-08-27T14:30:49Z Author&#160;Brueckner, Sven A. editor.&#160;Hassas, Salima. editor.&#160;Jelasity, M&aacute;rk. editor.&#160;Yamins, Daniel. 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-69868-5">http://dx.doi.org/10.1007/978-3-540-69868-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Ambient Intelligence European Conference, AmI 2007, Darmstadt, Germany, November 7-10, 2007. Proceedings ent://SD_ILS/0/SD_ILS:187646 2024-08-27T14:30:49Z 2024-08-27T14:30:49Z Author&#160;Schiele, Bernt. editor.&#160;Dey, Anind K. editor.&#160;Gellersen, Hans. editor.&#160;Ruyter, Boris. editor.&#160;Tscheligi, Manfred. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-76652-0">http://dx.doi.org/10.1007/978-3-540-76652-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Verification and Validation An Engineering and Scientific Approach ent://SD_ILS/0/SD_ILS:166391 2024-08-27T14:30:49Z 2024-08-27T14:30:49Z Author&#160;Fisher, Marcus S. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-0-387-47939-2">http://dx.doi.org/10.1007/978-0-387-47939-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory and Applications of Satisfiability Testing &ndash; SAT 2007 10th International Conference, Lisbon, Portugal, May 28-31, 2007. Proceedings ent://SD_ILS/0/SD_ILS:186652 2024-08-27T14:30:49Z 2024-08-27T14:30:49Z Author&#160;Marques-Silva, Jo&atilde;o. editor.&#160;Sakallah, Karem 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-540-72788-0">http://dx.doi.org/10.1007/978-3-540-72788-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>