Search Results for Communication systems, Computer - Narrowed by: Information systems.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dCommunication$002bsystems$00252C$002bComputer$0026qf$003dSUBJECT$002509Subject$002509Information$002bsystems.$002509Information$002bsystems.$0026ps$003d300?2026-02-23T14:23:55ZFormal Methods for Eternal Networked Software Systems 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lecturesent://SD_ILS/0/SD_ILS:1947062026-02-23T14:23:55Z2026-02-23T14:23:55ZAuthor Bernardo, Marco. editor. Issarny, Valérie. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-21455-4">http://dx.doi.org/10.1007/978-3-642-21455-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Methods for Quantitative Aspects of Programming Languages 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lecturesent://SD_ILS/0/SD_ILS:1924132026-02-23T14:23:55Z2026-02-23T14:23:55ZAuthor Aldini, Alessandro. editor. Bernardo, Marco. editor. Pierro, Alessandra. editor. Wiklicky, Herbert. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-13678-8">http://dx.doi.org/10.1007/978-3-642-13678-8</a><br/>Format: Electronic Resources<br/>Availability 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 Lecturesent://SD_ILS/0/SD_ILS:1901632026-02-23T14:23:55Z2026-02-23T14:23:55ZAuthor Bernardo, Marco. editor. Padovani, Luca. editor. Zavattaro, Gianluigi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>NETWORKING 2006. Networking Technologies, Services, and Protocols; Performance of Computer and Communication Networks; Mobile and Wireless Communications Systems 5th International IFIP-TC6 Networking Conference, Coimbra, Portugal, May 15-19, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1839632026-02-23T14:23:55Z2026-02-23T14:23:55ZAuthor Boavida, Fernando. editor. Plagemann, Thomas. editor. Stiller, Burkhard. editor. Westphal, Cedric. editor. Monteiro, Edmundo. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11753810">http://dx.doi.org/10.1007/11753810</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>NETWORKING 2005. Networking Technologies, Services, and Protocols; Performance of Computer and Communication Networks; Mobile and Wireless Communications Systems 4th International IFIP-TC6 Networking Conference, Waterloo, Canada, May 2-6, 2005. Proceedingsent://SD_ILS/0/SD_ILS:1830842026-02-23T14:23:55Z2026-02-23T14:23:55ZAuthor Boutaba, Raouf. editor. Almeroth, Kevin. editor. Puigjaner, Ramon. editor. Shen, Sherman. editor. Black, James P. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b136094">http://dx.doi.org/10.1007/b136094</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Broadband Satellite Comunication Systems and the Challenges of Mobility IFIP TC6 Workshops on Broadband Satellite Communication Systems and Challenges of Mobility, World Computer Congress, August 22–27, 2004, Toulouse, Franceent://SD_ILS/0/SD_ILS:1650032026-02-23T14:23:55Z2026-02-23T14:23:55ZAuthor Gayraud, Thierry. editor. Mazzella, Michel. editor. Boavida, Fernando. editor. Monteiro, Edmundo. editor. Orvalho, João. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b104225">http://dx.doi.org/10.1007/b104225</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Botnetsent://SD_ILS/0/SD_ILS:3311752026-02-23T14:23:55Z2026-02-23T14:23:55ZAuthor Tiirmaa-Klaar, Heli. author. Gassen, Jan. author. Gerhards-Padilla, Elmar. author. Martini, Peter. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331175.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-5216-3">http://dx.doi.org/10.1007/978-1-4471-5216-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Semantic Web-based Intelligent Geospatial Web Servicesent://SD_ILS/0/SD_ILS:3321242026-02-23T14:23:55Z2026-02-23T14:23:55ZAuthor Yue, Peng. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332124.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-6809-7">http://dx.doi.org/10.1007/978-1-4614-6809-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Language Processing and Intelligent Information Systems 20th International Conference, IIS 2013, Warsaw, Poland, June 17-18, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3346392026-02-23T14:23:55Z2026-02-23T14:23:55ZAuthor Kłopotek, Mieczysław A. editor. Koronacki, Jacek. editor. Marciniak, Małgorzata. editor. Mykowiecka, Agnieszka. editor. Wierzchoń, Sławomir T. editor.<br/>Preferred Shelf Number ONLINE(334639.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38634-3">http://dx.doi.org/10.1007/978-3-642-38634-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Agreement Technologies Second International Conference, AT 2013, Beijing, China, August 1-2, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3348572026-02-23T14:23:55Z2026-02-23T14:23:55ZAuthor Chesñevar, Carlos Iván. editor. Onaindia, Eva. editor. Ossowski, Sascha. editor. Vouros, George. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334857.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39860-5">http://dx.doi.org/10.1007/978-3-642-39860-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Information Technology Convergence Security, Robotics, Automations and Communicationent://SD_ILS/0/SD_ILS:3363452026-02-23T14:23:55Z2026-02-23T14:23:55ZAuthor Park, James J. (Jong Hyuk). editor. Barolli, Leonard. editor. Xhafa, Fatos. editor. Jeong, Hwa-Young. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(336345.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-94-007-6996-0">http://dx.doi.org/10.1007/978-94-007-6996-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>A Real-Time In-Memory Discovery Service Leveraging Hierarchical Packaging Information in a Unique Identifier Network to Retrieve Track and Trace Informationent://SD_ILS/0/SD_ILS:3343662026-02-23T14:23:55Z2026-02-23T14:23:55ZAuthor Müller, Jürgen. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334366.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-37128-8">http://dx.doi.org/10.1007/978-3-642-37128-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Scalable Multicasting over Next-Generation Internet Design, Analysis and Applicationsent://SD_ILS/0/SD_ILS:3312342026-02-23T14:23:55Z2026-02-23T14:23:55ZAuthor Tian, Xiaohua. author. Cheng, Yu. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331234.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-0152-0">http://dx.doi.org/10.1007/978-1-4614-0152-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The Era of Interactive Mediaent://SD_ILS/0/SD_ILS:3313452026-02-23T14:23:55Z2026-02-23T14:23:55ZAuthor Jin, Jesse S. author. Xu, Changsheng. author. Xu, Min. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331345.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-3501-3">http://dx.doi.org/10.1007/978-1-4614-3501-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Stochastic Networked Control Systems Stabilization and Optimization under Information Constraintsent://SD_ILS/0/SD_ILS:3322022026-02-23T14:23:55Z2026-02-23T14:23:55ZAuthor Yüksel, Serdar. author. Başar, Tamer. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332202.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-7085-4">http://dx.doi.org/10.1007/978-1-4614-7085-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Internetworking Technological Foundations and Applicationsent://SD_ILS/0/SD_ILS:3339712026-02-23T14:23:55Z2026-02-23T14:23:55ZAuthor Meinel, Christoph. author. Sack, Harald. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(333971.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35392-5">http://dx.doi.org/10.1007/978-3-642-35392-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>