Search Results for Information Systems. - Narrowed by: E-Book - 2005 - Computer science. - Logic design.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dInformation$002bSystems.$0026qf$003dITYPE$002509Material$002bType$0025091$00253AE-KITAP$002509E-Book$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:21:25Z
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:21:25Z
2024-09-10T17:21:25Z
Author Montoyo, Andrés. editor. Muńoz, Rafael. editor. Métais, Elisabeth. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b136569">http://dx.doi.org/10.1007/b136569</a><br/>Format: Electronic Resources<br/>Availability 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:21:25Z
2024-09-10T17:21:25Z
Author Baumeister, Hubert. editor. Marchesi, Michele. editor. Holcombe, Mike. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b137278">http://dx.doi.org/10.1007/b137278</a><br/>Format: Electronic Resources<br/>Availability 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:21:25Z
2024-09-10T17:21:25Z
Author Eisinger, Norbert. editor. Małuszyński, Jan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11526988">http://dx.doi.org/10.1007/11526988</a><br/>Format: Electronic Resources<br/>Availability 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:21:25Z
2024-09-10T17:21:25Z
Author Fitzgerald, John. editor. Hayes, Ian J. editor. Tarlecki, Andrzej. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b27882">http://dx.doi.org/10.1007/b27882</a><br/>Format: Electronic Resources<br/>Availability 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:21:25Z
2024-09-10T17:21:25Z
Author Black, Andrew P. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11531142">http://dx.doi.org/10.1007/11531142</a><br/>Format: Electronic Resources<br/>Availability 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:21:25Z
2024-09-10T17:21:25Z
Author Grabowski, Jens. editor. Nielsen, Brian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b106767">http://dx.doi.org/10.1007/b106767</a><br/>Format: Electronic Resources<br/>Availability 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:21:25Z
2024-09-10T17:21:25Z
Author Aldini, Alessandro. editor. Gorrieri, Roberto. editor. Martinelli, Fabio. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11554578">http://dx.doi.org/10.1007/11554578</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Cryptographic Hardware and Embedded Systems – CHES 2005 7th International Workshop, Edinburgh, UK, August 29 – September 1, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183013
2024-09-10T17:21:25Z
2024-09-10T17:21:25Z
Author Rao, Josyula R. editor. Sunar, Berk. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11545262">http://dx.doi.org/10.1007/11545262</a><br/>Format: Electronic Resources<br/>Availability 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:21:25Z
2024-09-10T17:21:25Z
Author Peled, Doron A. editor. Tsay, Yih-Kuen. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11562948">http://dx.doi.org/10.1007/11562948</a><br/>Format: Electronic Resources<br/>Availability 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:21:25Z
2024-09-10T17:21:25Z
Author Beek, Peter. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11564751">http://dx.doi.org/10.1007/11564751</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Semantic Web – 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:21:25Z
2024-09-10T17:21:25Z
Author Gil, Yolanda. editor. Motta, Enrico. editor. Benjamins, V. Richard. editor. Musen, Mark A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11574620">http://dx.doi.org/10.1007/11574620</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Model Driven Architecture – 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:21:25Z
2024-09-10T17:21:25Z
Author Hartman, Alan. editor. Kreische, David. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11581741">http://dx.doi.org/10.1007/11581741</a><br/>Format: Electronic Resources<br/>Availability 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:21:25Z
2024-09-10T17:21:25Z
Author Hinchey, Michael G. editor. Rash, James L. editor. Truszkowski, Walter F. editor. Rouff, Christopher A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b105317">http://dx.doi.org/10.1007/b105317</a><br/>Format: Electronic Resources<br/>Availability 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:21:25Z
2024-09-10T17:21:25Z
Author Prinz, Andreas. editor. Reed, Rick. editor. Reed, Jeanne. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b137793">http://dx.doi.org/10.1007/b137793</a><br/>Format: Electronic Resources<br/>Availability 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öping, Sweden, June 10-11, 2004. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:182906
2024-09-10T17:21:25Z
2024-09-10T17:21:25Z
Author Aßmann, Uwe. editor. Aksit, Mehmet. editor. Rensink, Arend. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11538097">http://dx.doi.org/10.1007/11538097</a><br/>Format: Electronic Resources<br/>Availability 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:21:25Z
2024-09-10T17:21:25Z
Author Leue, Stefan. editor. Systä, Tarja Johanna. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b137052">http://dx.doi.org/10.1007/b137052</a><br/>Format: Electronic Resources<br/>Availability 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:21:25Z
2024-09-10T17:21:25Z
Author Guelfi, Nicolas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b136153">http://dx.doi.org/10.1007/b136153</a><br/>Format: Electronic Resources<br/>Availability 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:21:25Z
2024-09-10T17:21:25Z
Author Winther, Rune. editor. Gran, Bjørn Axel. editor. Dahll, Gustav. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11563228">http://dx.doi.org/10.1007/11563228</a><br/>Format: Electronic Resources<br/>Availability 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:21:25Z
2024-09-10T17:21:25Z
Author Adi, Asaf. editor. Stoutenburg, Suzette. editor. Tabet, Said. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11580072">http://dx.doi.org/10.1007/11580072</a><br/>Format: Electronic Resources<br/>Availability 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:21:25Z
2024-09-10T17:21:25Z
Author Malenfant, Jacques. editor. Østvold, Bjarte M. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b104146">http://dx.doi.org/10.1007/b104146</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>