Search Results for Information Systems. - Narrowed by: Online Library - 2005 - Computer science. - Logic design. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dInformation$002bSystems.$0026qf$003dLIBRARY$002509Library$0025091$00253AONLINE$002509Online$002bLibrary$0026qf$003dPUBDATE$002509Publication$002bDate$0025092005$0025092005$0026qf$003dSUBJECT$002509Subject$002509Computer$002bscience.$002509Computer$002bscience.$0026qf$003dSUBJECT$002509Subject$002509Logic$002bdesign.$002509Logic$002bdesign.$0026te$003dILS$0026ps$003d300$0026isd$003dtrue? 2024-09-10T17:32:21Z Natural Language Processing and Information Systems 10th International Conference on Applications of Natural Language to Information Systems, NLDB 2005, Alicante, Spain, June 15-17, 2005. Proceedings ent://SD_ILS/0/SD_ILS:183172 2024-09-10T17:32:21Z 2024-09-10T17:32:21Z Author&#160;Montoyo, Andr&eacute;s. editor.&#160;Mu&#324;oz, Rafael. editor.&#160;M&eacute;tais, Elisabeth. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b136569">http://dx.doi.org/10.1007/b136569</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Extreme Programming and Agile Processes in Software Engineering 6th International Conference, XP 2005, Sheffield, UK, June 18-23, 2005. Proceedings ent://SD_ILS/0/SD_ILS:182671 2024-09-10T17:32:21Z 2024-09-10T17:32:21Z Author&#160;Baumeister, Hubert. editor.&#160;Marchesi, Michele. editor.&#160;Holcombe, Mike. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b137278">http://dx.doi.org/10.1007/b137278</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reasoning Web First International Summer School 2005, Msida, Malta, July 25-29, 2005, Revised Lectures ent://SD_ILS/0/SD_ILS:182822 2024-09-10T17:32:21Z 2024-09-10T17:32:21Z Author&#160;Eisinger, Norbert. editor.&#160;Ma&#322;uszy&#324;ski, Jan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11526988">http://dx.doi.org/10.1007/11526988</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> FM 2005: Formal Methods International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005. Proceedings ent://SD_ILS/0/SD_ILS:182846 2024-09-10T17:32:21Z 2024-09-10T17:32:21Z Author&#160;Fitzgerald, John. editor.&#160;Hayes, Ian J. editor.&#160;Tarlecki, Andrzej. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b27882">http://dx.doi.org/10.1007/b27882</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> ECOOP 2005 - Object-Oriented Programming 19th European Conference, Glasgow, UK, July 25-29, 2005. Proceedings ent://SD_ILS/0/SD_ILS:182853 2024-09-10T17:32:21Z 2024-09-10T17:32:21Z Author&#160;Black, Andrew P. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11531142">http://dx.doi.org/10.1007/11531142</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Approaches to Software Testing 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers ent://SD_ILS/0/SD_ILS:182934 2024-09-10T17:32:21Z 2024-09-10T17:32:21Z Author&#160;Grabowski, Jens. editor.&#160;Nielsen, Brian. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b106767">http://dx.doi.org/10.1007/b106767</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Foundations of Security Analysis and Design III FOSAD 2004/2005 Tutorial Lectures ent://SD_ILS/0/SD_ILS:183009 2024-09-10T17:32:21Z 2024-09-10T17:32:21Z Author&#160;Aldini, Alessandro. editor.&#160;Gorrieri, Roberto. editor.&#160;Martinelli, Fabio. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11554578">http://dx.doi.org/10.1007/11554578</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Cryptographic Hardware and Embedded Systems &ndash; CHES 2005 7th International Workshop, Edinburgh, UK, August 29 &ndash; September 1, 2005. Proceedings ent://SD_ILS/0/SD_ILS:183013 2024-09-10T17:32:21Z 2024-09-10T17:32:21Z Author&#160;Rao, Josyula R. editor.&#160;Sunar, Berk. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11545262">http://dx.doi.org/10.1007/11545262</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automated Technology for Verification and Analysis Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005. Proceedings ent://SD_ILS/0/SD_ILS:183041 2024-09-10T17:32:21Z 2024-09-10T17:32:21Z Author&#160;Peled, Doron A. editor.&#160;Tsay, Yih-Kuen. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11562948">http://dx.doi.org/10.1007/11562948</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Principles and Practice of Constraint Programming - CP 2005 11th International Conference, CP 2005, Sitges, Spain, October 1-5, 2005. Proceedings ent://SD_ILS/0/SD_ILS:183115 2024-09-10T17:32:21Z 2024-09-10T17:32:21Z Author&#160;Beek, Peter. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11564751">http://dx.doi.org/10.1007/11564751</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The Semantic Web &ndash; ISWC 2005 4th International Semantic Web Conference, ISWC 2005, Galway, Ireland, November 6-10, 2005. Proceedings ent://SD_ILS/0/SD_ILS:183145 2024-09-10T17:32:21Z 2024-09-10T17:32:21Z Author&#160;Gil, Yolanda. editor.&#160;Motta, Enrico. editor.&#160;Benjamins, V. Richard. editor.&#160;Musen, Mark A. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11574620">http://dx.doi.org/10.1007/11574620</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Model Driven Architecture &ndash; Foundations and Applications First European Conference, ECMDA-FA 2005, Nuremberg, Germany, November 7-10, 2005. Proceedings ent://SD_ILS/0/SD_ILS:183156 2024-09-10T17:32:21Z 2024-09-10T17:32:21Z Author&#160;Hartman, Alan. editor.&#160;Kreische, David. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11581741">http://dx.doi.org/10.1007/11581741</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Approaches to Agent-Based Systems Third International Workshop, FAABS 2004, Greenbelt, MD, April 26-27, 2004, Revised Selected Papers ent://SD_ILS/0/SD_ILS:182479 2024-09-10T17:32:21Z 2024-09-10T17:32:21Z Author&#160;Hinchey, Michael G. editor.&#160;Rash, James L. editor.&#160;Truszkowski, Walter F. editor.&#160;Rouff, Christopher A. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b105317">http://dx.doi.org/10.1007/b105317</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> SDL 2005: Model Driven 12th International SDL Forum, Grimstad, Norway, June 20-23, 2005. Proceedings ent://SD_ILS/0/SD_ILS:182718 2024-09-10T17:32:21Z 2024-09-10T17:32:21Z Author&#160;Prinz, Andreas. editor.&#160;Reed, Rick. editor.&#160;Reed, Jeanne. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b137793">http://dx.doi.org/10.1007/b137793</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Model Driven Architecture European MDA Workshops: Foundations and Applications, MDAFA 2003 and MDAFA 2004, Twente, The Netherlands, June 26-27, 2003 and Link&ouml;ping, Sweden, June 10-11, 2004. Revised Selected Papers ent://SD_ILS/0/SD_ILS:182906 2024-09-10T17:32:21Z 2024-09-10T17:32:21Z Author&#160;A&szlig;mann, Uwe. editor.&#160;Aksit, Mehmet. editor.&#160;Rensink, Arend. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11538097">http://dx.doi.org/10.1007/11538097</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Scenarios: Models, Transformations and Tools International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected Papers ent://SD_ILS/0/SD_ILS:183097 2024-09-10T17:32:21Z 2024-09-10T17:32:21Z Author&#160;Leue, Stefan. editor.&#160;Syst&auml;, Tarja Johanna. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b137052">http://dx.doi.org/10.1007/b137052</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Rapid Integration of Software Engineering Techniques First International Workshop, RISE 2004, Luxembourg-Kirchberg, Luxembourg, November 26, 2004. Revised Selected Papers ent://SD_ILS/0/SD_ILS:183104 2024-09-10T17:32:21Z 2024-09-10T17:32:21Z Author&#160;Guelfi, Nicolas. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b136153">http://dx.doi.org/10.1007/b136153</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Safety, Reliability, and Security 24th International Conference, SAFECOMP 2005, Fredrikstad, Norway, September 28-30, 2005. Proceedings ent://SD_ILS/0/SD_ILS:183068 2024-09-10T17:32:21Z 2024-09-10T17:32:21Z Author&#160;Winther, Rune. editor.&#160;Gran, Bj&oslash;rn Axel. editor.&#160;Dahll, Gustav. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11563228">http://dx.doi.org/10.1007/11563228</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Rules and Rule Markup Languages for the Semantic Web First International Conference, RuleML 2005, Galway, Ireland, November 10-12, 2005. Proceedings ent://SD_ILS/0/SD_ILS:183257 2024-09-10T17:32:21Z 2024-09-10T17:32:21Z Author&#160;Adi, Asaf. editor.&#160;Stoutenburg, Suzette. editor.&#160;Tabet, Said. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11580072">http://dx.doi.org/10.1007/11580072</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Object-Oriented Technology. ECOOP 2004 Workshop Reader ECOOP 2004 Workshops, Oslo, Norway, June 14-18, 2004, Final Reports ent://SD_ILS/0/SD_ILS:182354 2024-09-10T17:32:21Z 2024-09-10T17:32:21Z Author&#160;Malenfant, Jacques. editor.&#160;&Oslash;stvold, Bjarte M. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b104146">http://dx.doi.org/10.1007/b104146</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>