Search Results for Computer logic. - Narrowed by: 2012SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dComputer$002blogic.$0026qf$003dPUBDATE$002509Publication$002bDate$0025092012$0025092012$0026ic$003dtrue$0026ps$003d300?2025-12-13T10:50:30ZMathematical Logic for Computer Scienceent://SD_ILS/0/SD_ILS:1735402025-12-13T10:50:30Z2025-12-13T10:50:30ZAuthor Ben-Ari, Mordechai. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-4129-7">http://dx.doi.org/10.1007/978-1-4471-4129-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Deontic Logic in Computer Science 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1971062025-12-13T10:50:30Z2025-12-13T10:50:30ZAuthor Ågotnes, Thomas. editor. Broersen, Jan. editor. Elgesem, Dag. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-31570-1">http://dx.doi.org/10.1007/978-3-642-31570-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Making claims knowledge design, capture, and sharing in HCIent://SD_ILS/0/SD_ILS:2798972025-12-13T10:50:30Z2025-12-13T10:50:30ZAuthor McCrickard, D. Scott, 1970-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access EBSCOhost <a href="http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=466361">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=466361</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Logic : the laws of truthent://SD_ILS/0/SD_ILS:3762482025-12-13T10:50:30Z2025-12-13T10:50:30ZAuthor Smith, Nicholas J. J. (Nicholas Jeremy Josef), 1972-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://www.jstor.org/stable/10.2307/j.ctt7sr96">http://www.jstor.org/stable/10.2307/j.ctt7sr96</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The logician and the engineer : how George Boole and Claude Shannon created the information ageent://SD_ILS/0/SD_ILS:3767782025-12-13T10:50:30Z2025-12-13T10:50:30ZAuthor Nahin, Paul J.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://www.jstor.org/stable/10.2307/j.cttq957s">http://www.jstor.org/stable/10.2307/j.cttq957s</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Godel's way : exploits into an undecidable worldent://SD_ILS/0/SD_ILS:5405362025-12-13T10:50:30Z2025-12-13T10:50:30ZAuthor Chaitin, Gregory J., author. Doria, Francisco Antonio. Costa, Newton C. A. da.<br/>Preferred Shelf Number QA9.65 .C428 2012<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781136587641">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>Multiple-base number system : theory and applicationsent://SD_ILS/0/SD_ILS:5434692025-12-13T10:50:30Z2025-12-13T10:50:30ZAuthor Dimitrov, Vassil., author. Jullien, Graham. Muscedere, Roberto.<br/>Preferred Shelf Number QA76.9 .C62 D56 2012<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781315217772">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>Energy-aware memory management for embedded multimedia systems : a computer-aided design approachent://SD_ILS/0/SD_ILS:5400422025-12-13T10:50:30Z2025-12-13T10:50:30ZAuthor Balasa, Florin. Pradhan, Dhiraj K.<br/>Preferred Shelf Number TK7895 .E42 E69 2012<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781439814017">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>