Search Results for Computer science. - Narrowed by: 1978SirsiDynix Enterprisehttp://katalog.baskent.edu.tr/client/en_US/default/default/qu$003dComputer$002bscience.$0026qf$003dPUBDATE$002509Publication$002bDate$0025091978$0025091978$0026ps$003d300?dt=list2026-03-16T16:16:14ZAutomated theorem proving : a logical basisent://SD_ILS/0/SD_ILS:11814112026-03-16T16:16:14Z2026-03-16T16:16:14Zby Loveland, Donald W.<br/>ScienceDirect <a href="https://www.sciencedirect.com/science/book/9780720404999">https://www.sciencedirect.com/science/book/9780720404999</a><br/>Format: Electronic Resources<br/>Combinatorial algorithms for computers and calculatorsent://SD_ILS/0/SD_ILS:11815692026-03-16T16:16:14Z2026-03-16T16:16:14Zby Nijenhuis, Albert.<br/>ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780125192606">http://www.sciencedirect.com/science/book/9780125192606</a><br/>Format: Electronic Resources<br/>Advances in computers. Volume 17ent://SD_ILS/0/SD_ILS:11902782026-03-16T16:16:14Z2026-03-16T16:16:14Zby Yovits, M. C. (Marshall Clinton)<br/>ScienceDirect <a href="https://www.sciencedirect.com/science/book/9780120121175">https://www.sciencedirect.com/science/book/9780120121175</a>
ScienceDirect <a href="https://www.sciencedirect.com/science/bookseries/00652458/17">https://www.sciencedirect.com/science/bookseries/00652458/17</a><br/>Format: Electronic Resources<br/>The development and application of a method for producing software tools for computer systems designent://SD_ILS/0/SD_ILS:6848522026-03-16T16:16:14Z2026-03-16T16:16:14Zby Cavouras, John Constantine, author.<br/><a href="http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10868276">http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10868276</a><br/>Format: Books<br/>C / C++ ve nesneye yönelik programlamaent://SD_ILS/0/SD_ILS:526052026-03-16T16:16:14Z2026-03-16T16:16:14Zby Banger, Gürcan<br/>Format: Books<br/>Hacettepe Üniversitesi psikoloji bölümü bilgi işlem ders notlaeıent://SD_ILS/0/SD_ILS:2915022026-03-16T16:16:14Z2026-03-16T16:16:14Zby Aksoy, Erol, prepared<br/>Format: Books<br/>Discrete mathematics and its applications.ent://SD_ILS/0/SD_ILS:6775242026-03-16T16:16:14Z2026-03-16T16:16:14ZFormat: Books<br/>Matematik ve uygulamaları ile bulanık mantık ve nöral ağlarent://SD_ILS/0/SD_ILS:309862026-03-16T16:16:14Z2026-03-16T16:16:14Zby Çiftçibaşı, Turhan.<br/>Format: Books<br/>Flow, mixing, and heat transfer in furnacesent://SD_ILS/0/SD_ILS:11773802026-03-16T16:16:14Z2026-03-16T16:16:14Zby Conference on Mechanical Power Engineering (1st : 1977 : Cairo University)<br/>ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780080226958">http://www.sciencedirect.com/science/book/9780080226958</a><br/>Format: Electronic Resources<br/>