Search Results for Analysis. - Narrowed by: SpringerLink (Online service) - Online Library - Information systems. - Software engineering. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dAnalysis.$0026qf$003dAUTHOR$002509Author$002509SpringerLink$002b$002528Online$002bservice$002529$002509SpringerLink$002b$002528Online$002bservice$002529$0026qf$003dLIBRARY$002509Library$0025091$00253AONLINE$002509Online$002bLibrary$0026qf$003dSUBJECT$002509Subject$002509Information$002bsystems.$002509Information$002bsystems.$0026qf$003dSUBJECT$002509Subject$002509Software$002bengineering.$002509Software$002bengineering.$0026ic$003dtrue$0026te$003dILS$0026ps$003d300$0026isd$003dtrue? 2024-09-05T23:35:57Z Analysis and Design of Advice ent://SD_ILS/0/SD_ILS:193791 2024-09-05T23:35:57Z 2024-09-05T23:35:57Z Author&#160;Jureta, Ivan. author.&#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-18059-0">http://dx.doi.org/10.1007/978-3-642-18059-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Test and Analysis of Web Services ent://SD_ILS/0/SD_ILS:186686 2024-09-05T23:35:57Z 2024-09-05T23:35:57Z Author&#160;Baresi, Luciano. editor.&#160;Nitto, Elisabetta Di. 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-72912-9">http://dx.doi.org/10.1007/978-3-540-72912-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Anti-Spam Measures Analysis and Design ent://SD_ILS/0/SD_ILS:186358 2024-09-05T23:35:57Z 2024-09-05T23:35:57Z Author&#160;Schryen, Guido. author.&#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-71750-8">http://dx.doi.org/10.1007/978-3-540-71750-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Secure Transaction Protocol Analysis Models and Applications ent://SD_ILS/0/SD_ILS:188580 2024-09-05T23:35:57Z 2024-09-05T23:35:57Z Author&#160;Chen, Qingfeng. author.&#160;Zhang, Chengqi. author.&#160;Zhang, Shichao. author.&#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-85074-8">http://dx.doi.org/10.1007/978-3-540-85074-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> OR 2.0 Context-Aware Operating Theaters, Computer Assisted Robotic Endoscopy, Clinical Image-Based Procedures, and Skin Image Analysis First International Workshop, OR 2.0 2018, 5th International Workshop, CARE 2018, 7th International Workshop, CLIP 2018, Third International Workshop, ISIC 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 16 and 20, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400542 2024-09-05T23:35:57Z 2024-09-05T23:35:57Z Author&#160;Stoyanov, Danail. editor.&#160;Taylor, Zeike. editor.&#160;Sarikaya, Duygu. editor.&#160;McLeod, Jonathan. editor.&#160;Gonz&aacute;lez Ballester, Miguel Angel. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-01201-4">https://doi.org/10.1007/978-3-030-01201-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Failure Investigation A Near-Miss Analysis Approach ent://SD_ILS/0/SD_ILS:402680 2024-09-05T23:35:57Z 2024-09-05T23:35:57Z Author&#160;Eloff, Jan. author.&#160;Bihina Bella, Madeleine. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-61334-5">https://doi.org/10.1007/978-3-319-61334-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Enterprise Architecture at Work Modelling, Communication and Analysis ent://SD_ILS/0/SD_ILS:333251 2024-09-05T23:35:57Z 2024-09-05T23:35:57Z Author&#160;Lankhorst, Marc. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(333251.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-29651-2">http://dx.doi.org/10.1007/978-3-642-29651-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> System Analysis and Modeling: About Models 6th International Workshop, SAM 2010, Oslo, Norway, October 4-5, 2010, Revised Selected Papers ent://SD_ILS/0/SD_ILS:194771 2024-09-05T23:35:57Z 2024-09-05T23:35:57Z Author&#160;Kraemer, Frank Alexander. editor.&#160;Herrmann, Peter. 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-21652-7">http://dx.doi.org/10.1007/978-3-642-21652-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Research in Systems Analysis and Design: Models and Methods 4th SIGSAND/PLAIS EuroSymposium 2011, Gda&#324;sk, Poland, September 29, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:196012 2024-09-05T23:35:57Z 2024-09-05T23:35:57Z Author&#160;Wrycza, Stanis&#322;aw. 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-25676-9">http://dx.doi.org/10.1007/978-3-642-25676-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Verification, Induction, Termination Analysis Festschrift for Christoph Walther on the Occasion of His 60th Birthday ent://SD_ILS/0/SD_ILS:193514 2024-09-05T23:35:57Z 2024-09-05T23:35:57Z Author&#160;Siegler, Simon. editor.&#160;Wasser, Nathan. 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-17172-7">http://dx.doi.org/10.1007/978-3-642-17172-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Agent-Mediated Electronic Commerce and Trading Agent Design and Analysis AAMAS 2007 Workshop, AMEC 2007, Honolulu, Hawaii, May 14, 2007, and AAAI 2007 Workshop, TADA 2007, Vancouver, Canada, July 23, 2007, Selected and Revised Papers ent://SD_ILS/0/SD_ILS:189109 2024-09-05T23:35:57Z 2024-09-05T23:35:57Z Author&#160;Collins, John. editor.&#160;Faratin, Peyman. editor.&#160;Parsons, Simon. editor.&#160;Rodriguez-Aguilar, Juan A. editor.&#160;Sadeh, Norman M. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-88713-3">http://dx.doi.org/10.1007/978-3-540-88713-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Enterprise Architecture at Work Modelling, Communication and Analysis ent://SD_ILS/0/SD_ILS:189950 2024-09-05T23:35:57Z 2024-09-05T23:35:57Z Author&#160;Lankhorst, Marc. author.&#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-01310-2">http://dx.doi.org/10.1007/978-3-642-01310-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Analysis and Design of Information Systems Third Edition ent://SD_ILS/0/SD_ILS:175496 2024-09-05T23:35:57Z 2024-09-05T23:35:57Z Author&#160;Langer, Arthur M. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-84628-655-1">http://dx.doi.org/10.1007/978-1-84628-655-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automated Technology for Verification and Analysis 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings ent://SD_ILS/0/SD_ILS:189042 2024-09-05T23:35:57Z 2024-09-05T23:35:57Z Author&#160;Cha, Sungdeok (Steve). editor.&#160;Choi, Jin-Young. editor.&#160;Kim, Moonzoo. editor.&#160;Lee, Insup. editor.&#160;Viswanathan, Mahesh. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-88387-6">http://dx.doi.org/10.1007/978-3-540-88387-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automated Technology for Verification and Analysis 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22&ndash;25, 2007 Proceedings ent://SD_ILS/0/SD_ILS:187457 2024-09-05T23:35:57Z 2024-09-05T23:35:57Z Author&#160;Namjoshi, Kedar S. editor.&#160;Yoneda, Tomohiro. editor.&#160;Higashino, Teruo. editor.&#160;Okamura, Yoshio. 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-75596-8">http://dx.doi.org/10.1007/978-3-540-75596-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automated Technology for Verification and Analysis 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006. Proceedings ent://SD_ILS/0/SD_ILS:185008 2024-09-05T23:35:57Z 2024-09-05T23:35:57Z Author&#160;Graf, Susanne. editor.&#160;Zhang, Wenhui. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11901914">http://dx.doi.org/10.1007/11901914</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> System Analysis and Modeling: Language Profiles 5th International Workshop, SAM 2006, Kaiserslautern, Germany, May 31 - June 2, 2006, Revised Selected Papers ent://SD_ILS/0/SD_ILS:185459 2024-09-05T23:35:57Z 2024-09-05T23:35:57Z Author&#160;Gotzhein, Reinhard. editor.&#160;Reed, Rick. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11951148">http://dx.doi.org/10.1007/11951148</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Enterprise Architecture at Work Modelling, Communication, and Analysis ent://SD_ILS/0/SD_ILS:181447 2024-09-05T23:35:57Z 2024-09-05T23:35:57Z Author&#160;Lankhorst, Marc. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/3-540-27505-3">http://dx.doi.org/10.1007/3-540-27505-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Form-Oriented Analysis A New Methodology to Model Form-Based Applications ent://SD_ILS/0/SD_ILS:181068 2024-09-05T23:35:57Z 2024-09-05T23:35:57Z Author&#160;Draheim, Dirk. author.&#160;Weber, Gerald. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b138252">http://dx.doi.org/10.1007/b138252</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-05T23:35:57Z 2024-09-05T23:35:57Z 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/> Computational Logistics 4th International Conference, ICCL 2013, Copenhagen, Denmark, September 25-27, 2013. Proceedings ent://SD_ILS/0/SD_ILS:335043 2024-09-05T23:35:57Z 2024-09-05T23:35:57Z Author&#160;Pacino, Dario. editor.&#160;Vo&szlig;, Stefan. editor.&#160;Jensen, Rune M&oslash;ller. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335043.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-41019-2">http://dx.doi.org/10.1007/978-3-642-41019-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>