Search Results for Computer Applications. - Narrowed by: Logic design.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dComputer$002bApplications.$0026qf$003dSUBJECT$002509Subject$002509Logic$002bdesign.$002509Logic$002bdesign.$0026ps$003d300$0026isd$003dtrue?2024-12-01T19:33:40ZApplied Computer Sciences in Engineering 6th Workshop on Engineering Applications, WEA 2019, Santa Marta, Colombia, October 16–18, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4828952024-12-01T19:33:40Z2024-12-01T19:33:40ZAuthor Figueroa-García, Juan Carlos. editor. (orcid)0000-0001-5544-5937 Duarte-González, Mario. editor. Jaramillo-Isaza, Sebastián. editor. (orcid)0000-0002-2134-772X Orjuela-Cañon, Alvaro David. editor. (orcid)0000-0002-2057-7603 Díaz-Gutierrez, Yesid. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-31019-6">https://doi.org/10.1007/978-3-030-31019-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computer Science – Theory and Applications 13th International Computer Science Symposium in Russia, CSR 2018, Moscow, Russia, June 6–10, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4011952024-12-01T19:33:40Z2024-12-01T19:33:40ZAuthor Fomin, Fedor V. editor. Podolskii, Vladimir V. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-90530-3">https://doi.org/10.1007/978-3-319-90530-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computer Science – Theory and Applications 8th International Computer Science Symposium in Russia, CSR 2013, Ekaterinburg, Russia, June 25-29, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3346172024-12-01T19:33:40Z2024-12-01T19:33:40ZAuthor Bulatov, Andrei A. editor. Shur, Arseny M. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334617.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38536-0">http://dx.doi.org/10.1007/978-3-642-38536-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computer Science – Theory and Applications 7th International Computer Science Symposium in Russia, CSR 2012, Nizhny Novgorod, Russia, July 3-7, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1969342024-12-01T19:33:40Z2024-12-01T19:33:40ZAuthor Hirsch, Edward A. editor. Karhumäki, Juhani. editor. Lepistö, Arto. editor. Prilutskii, Michail. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-30642-6">http://dx.doi.org/10.1007/978-3-642-30642-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computer Applications for Software Engineering, Disaster Recovery, and Business Continuity International Conferences, ASEA and DRBC 2012, Held in Conjunction with GST 2012, Jeju Island, Korea, November 28-December 2, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1975872024-12-01T19:33:40Z2024-12-01T19:33:40ZAuthor Kim, Tai-hoon. editor. Ramos, Carlos. editor. Kim, Haeng-kon. editor. Kiumi, Akingbehin. editor. Mohammed, Sabah. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35267-6">http://dx.doi.org/10.1007/978-3-642-35267-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computer Science – Theory and Applications 6th International Computer Science Symposium in Russia, CSR 2011, St. Petersburg, Russia, June 14-18, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1944622024-12-01T19:33:40Z2024-12-01T19:33:40ZAuthor Kulikov, Alexander. editor. Vereshchagin, Nikolay. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-20712-9">http://dx.doi.org/10.1007/978-3-642-20712-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computer Science – Theory and Applications 5th International Computer Science Symposium in Russia, CSR 2010, Kazan, Russia, June 16-20, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1922532024-12-01T19:33:40Z2024-12-01T19:33:40ZAuthor Ablayev, Farid. editor. Mayr, Ernst W. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-13182-0">http://dx.doi.org/10.1007/978-3-642-13182-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computer Science - Theory and Applications Fourth International Computer Science Symposium in Russia, CSR 2009, Novosibirsk, Russia, August 18-23, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1905982024-12-01T19:33:40Z2024-12-01T19:33:40ZAuthor Frid, Anna. editor. Morozov, Andrey. editor. Rybalchenko, Andrey. editor. Wagner, Klaus W. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-03351-3">http://dx.doi.org/10.1007/978-3-642-03351-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Relations and Kleene Algebra in Computer Science 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009, Doha, Qatar, November 1-5, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1910112024-12-01T19:33:40Z2024-12-01T19:33:40ZAuthor Berghammer, Rudolf. editor. Jaoua, Ali Mohamed. editor. Möller, Bernhard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-04639-1">http://dx.doi.org/10.1007/978-3-642-04639-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Universal Access in Human-Computer Interaction. Applications and Services 4th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2007 Held as Part of HCI International 2007 Beijing, China, July 22-27, 2007 Proceedings, Part IIIent://SD_ILS/0/SD_ILS:1868022024-12-01T19:33:40Z2024-12-01T19:33:40ZAuthor Stephanidis, Constantine. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-73283-9">http://dx.doi.org/10.1007/978-3-540-73283-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Human-Computer Interaction. HCI Applications and Services 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part IVent://SD_ILS/0/SD_ILS:1867462024-12-01T19:33:40Z2024-12-01T19:33:40ZAuthor Jacko, Julie A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-73111-5">http://dx.doi.org/10.1007/978-3-540-73111-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Relational Methods in Computer Science 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, and Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005, Selected Revised Papersent://SD_ILS/0/SD_ILS:1837072024-12-01T19:33:40Z2024-12-01T19:33:40ZAuthor MacCaull, Wendy. editor. Winter, Michael. editor. Düntsch, Ivo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11734673">http://dx.doi.org/10.1007/11734673</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Automated Reasoning and Mathematics Essays in Memory of William W. McCuneent://SD_ILS/0/SD_ILS:3342642024-12-01T19:33:40Z2024-12-01T19:33:40ZAuthor Bonacina, Maria Paola. editor. Stickel, Mark E. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334264.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-36675-8">http://dx.doi.org/10.1007/978-3-642-36675-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The Nature of Computation. Logic, Algorithms, Applications 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3347182024-12-01T19:33:40Z2024-12-01T19:33:40ZAuthor Bonizzoni, Paola. editor. Brattka, Vasco. editor. Löwe, Benedikt. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334718.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39053-1">http://dx.doi.org/10.1007/978-3-642-39053-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Modelling Computing Systems Mathematics for Computer Scienceent://SD_ILS/0/SD_ILS:3325742024-12-01T19:33:40Z2024-12-01T19:33:40ZAuthor Moller, Faron. author. Struth, Georg. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332574.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84800-322-4">http://dx.doi.org/10.1007/978-1-84800-322-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Mathematics in Computing An Accessible Guide to Historical, Foundational and Application Contextsent://SD_ILS/0/SD_ILS:3310022024-12-01T19:33:40Z2024-12-01T19:33:40ZAuthor O’Regan, Gerard. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331002.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-4534-9">http://dx.doi.org/10.1007/978-1-4471-4534-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>