Search Results for Web services. - Narrowed by: Software engineering. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dWeb$002bservices.$0026qf$003dSUBJECT$002509Subject$002509Software$002bengineering.$002509Software$002bengineering.$0026ps$003d300?dt=list 2024-10-09T13:32:28Z Semantic Web Services ent://SD_ILS/0/SD_ILS:193964 2024-10-09T13:32:28Z 2024-10-09T13:32:28Z Author&#160;Fensel, Dieter. author.&#160;Facca, Federico Michele. author.&#160;Simperl, Elena. author.&#160;Toma, Ioan. 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-19193-0">http://dx.doi.org/10.1007/978-3-642-19193-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> QoS Management of Web Services ent://SD_ILS/0/SD_ILS:333814 2024-10-09T13:32:28Z 2024-10-09T13:32:28Z Author&#160;Zheng, Zibin. author.&#160;Lyu, Michael R. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(333814.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-34207-3">http://dx.doi.org/10.1007/978-3-642-34207-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Semantic Web Services Advancement through Evaluation ent://SD_ILS/0/SD_ILS:196521 2024-10-09T13:32:28Z 2024-10-09T13:32:28Z Author&#160;Blake, Brian. editor.&#160;Cabral, Liliana. editor.&#160;K&ouml;nig-Ries, Birgitta. editor.&#160;K&uuml;ster, Ulrich. editor.&#160;Martin, David. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-28735-0">http://dx.doi.org/10.1007/978-3-642-28735-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-10-09T13:32:28Z 2024-10-09T13:32:28Z 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/> Cloud Computing Web-Based Dynamic IT Services ent://SD_ILS/0/SD_ILS:194530 2024-10-09T13:32:28Z 2024-10-09T13:32:28Z Author&#160;Baun, Christian. author.&#160;Kunze, Marcel. author.&#160;Nimis, Jens. author.&#160;Tai, Stefan. 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-20917-8">http://dx.doi.org/10.1007/978-3-642-20917-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Web Services and Formal Methods 10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers ent://SD_ILS/0/SD_ILS:489400 2024-10-09T13:32:28Z 2024-10-09T13:32:28Z Author&#160;Tuosto, Emilio. editor. (orcid)0000-0002-7032-3281&#160;Ouyang, Chun. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-08260-8">https://doi.org/10.1007/978-3-319-08260-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Web Services and Formal Methods 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:334562 2024-10-09T13:32:28Z 2024-10-09T13:32:28Z Author&#160;Beek, Maurice H. editor.&#160;Lohmann, Niels. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334562.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38230-7">http://dx.doi.org/10.1007/978-3-642-38230-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Web Services and Formal Methods 8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:196777 2024-10-09T13:32:28Z 2024-10-09T13:32:28Z Author&#160;Carbone, Marco. editor.&#160;Petit, Jean-Marc. 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-29834-9">http://dx.doi.org/10.1007/978-3-642-29834-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Web Services and Formal Methods 7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers ent://SD_ILS/0/SD_ILS:194092 2024-10-09T13:32:28Z 2024-10-09T13:32:28Z Author&#160;Bravetti, Mario. editor.&#160;Bultan, Tevfik. 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-19589-1">http://dx.doi.org/10.1007/978-3-642-19589-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Security for Web Services and Service-Oriented Architectures ent://SD_ILS/0/SD_ILS:188902 2024-10-09T13:32:28Z 2024-10-09T13:32:28Z Author&#160;Bertino, Elisa. author.&#160;Martino, Lorenzo. author.&#160;Paci, Federica. author.&#160;Squicciarini, Anna. 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-87742-4">http://dx.doi.org/10.1007/978-3-540-87742-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Web Services and Formal Methods 6th International Workshop, WS-FM 2009, Bologna, Italy, September 4-5, 2009, Revised Selected Papers ent://SD_ILS/0/SD_ILS:192661 2024-10-09T13:32:28Z 2024-10-09T13:32:28Z Author&#160;Laneve, Cosimo. editor.&#160;Su, Jianwen. 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-14458-5">http://dx.doi.org/10.1007/978-3-642-14458-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Service-orientierte Architekturen mit Web Services Konzepte &ndash; Standards &ndash; Praxis ent://SD_ILS/0/SD_ILS:198770 2024-10-09T13:32:28Z 2024-10-09T13:32:28Z Author&#160;Melzer, Ingo. 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-8274-2550-8">http://dx.doi.org/10.1007/978-3-8274-2550-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Semantic Web Services Challenge Results from the First Year ent://SD_ILS/0/SD_ILS:166951 2024-10-09T13:32:28Z 2024-10-09T13:32:28Z Author&#160;Petrie, Charles. editor.&#160;Margaria, Tiziana. editor.&#160;Lausen, Holger. editor.&#160;Zaremba, Michal. editor.&#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-72496-6">http://dx.doi.org/10.1007/978-0-387-72496-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Web Services and Formal Methods 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Revised Selected Papers ent://SD_ILS/0/SD_ILS:189970 2024-10-09T13:32:28Z 2024-10-09T13:32:28Z Author&#160;Bruni, Roberto. editor.&#160;Wolf, Karsten. 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-01364-5">http://dx.doi.org/10.1007/978-3-642-01364-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods for Web Services 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures ent://SD_ILS/0/SD_ILS:190163 2024-10-09T13:32:28Z 2024-10-09T13:32:28Z Author&#160;Bernardo, Marco. editor.&#160;Padovani, Luca. editor.&#160;Zavattaro, Gianluigi. 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-01918-0">http://dx.doi.org/10.1007/978-3-642-01918-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Modeling Semantic Web Services The Web Service Modeling Language ent://SD_ILS/0/SD_ILS:185384 2024-10-09T13:32:28Z 2024-10-09T13:32:28Z Author&#160;Bruijn, Jos. author.&#160;Fensel, Dieter. author.&#160;Kerrigan, Mick. author.&#160;Keller, Uwe. author.&#160;Lausen, Holger. author.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-68172-4">http://dx.doi.org/10.1007/978-3-540-68172-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Web Services and Formal Methods 4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007. Proceedings ent://SD_ILS/0/SD_ILS:188368 2024-10-09T13:32:28Z 2024-10-09T13:32:28Z Author&#160;Dumas, Marlon. editor.&#160;Heckel, Reiko. 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-79230-7">http://dx.doi.org/10.1007/978-3-540-79230-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Enabling Semantic Web Services The Web Service Modeling Ontology ent://SD_ILS/0/SD_ILS:184092 2024-10-09T13:32:28Z 2024-10-09T13:32:28Z Author&#160;Fensel, Dieter. author.&#160;Lausen, Holger. author.&#160;Bruijn, Jos. author.&#160;Stollberg, Michael. author.&#160;Roman, Dumitru. author.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-34520-6">http://dx.doi.org/10.1007/978-3-540-34520-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Web Services and Formal Methods Third International Workshop, WS-FM 2006 Vienna, Austria, September 8-9, 2006 Proceedings ent://SD_ILS/0/SD_ILS:184696 2024-10-09T13:32:28Z 2024-10-09T13:32:28Z Author&#160;Bravetti, Mario. editor.&#160;N&uacute;&ntilde;ez, Manuel. editor.&#160;Zavattaro, Gianluigi. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11841197">http://dx.doi.org/10.1007/11841197</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Techniques for Computer Systems and Business Processes European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005. Proceedings ent://SD_ILS/0/SD_ILS:182989 2024-10-09T13:32:28Z 2024-10-09T13:32:28Z Author&#160;Bravetti, Mario. editor.&#160;Kloul, Le&iuml;la. editor.&#160;Zavattaro, Gianluigi. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11549970">http://dx.doi.org/10.1007/11549970</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>