Search Results for Computer science. - Narrowed by: 1978 SirsiDynix Enterprise http://katalog.baskent.edu.tr/client/en_US/default/default/qu$003dComputer$002bscience.$0026qf$003dPUBDATE$002509Publication$002bDate$0025091978$0025091978$0026ps$003d300?dt=list 2026-03-16T16:16:14Z Automated theorem proving : a logical basis ent://SD_ILS/0/SD_ILS:1181411 2026-03-16T16:16:14Z 2026-03-16T16:16:14Z by&#160;Loveland, Donald W.<br/>ScienceDirect <a href="https://www.sciencedirect.com/science/book/9780720404999">https://www.sciencedirect.com/science/book/9780720404999</a><br/>Format:&#160;Electronic Resources<br/> Combinatorial algorithms for computers and calculators ent://SD_ILS/0/SD_ILS:1181569 2026-03-16T16:16:14Z 2026-03-16T16:16:14Z by&#160;Nijenhuis, Albert.<br/>ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780125192606">http://www.sciencedirect.com/science/book/9780125192606</a><br/>Format:&#160;Electronic Resources<br/> Advances in computers. Volume 17 ent://SD_ILS/0/SD_ILS:1190278 2026-03-16T16:16:14Z 2026-03-16T16:16:14Z by&#160;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:&#160;Electronic Resources<br/> The development and application of a method for producing software tools for computer systems design ent://SD_ILS/0/SD_ILS:684852 2026-03-16T16:16:14Z 2026-03-16T16:16:14Z by&#160;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:&#160;Books<br/> C / C++ ve nesneye y&ouml;nelik programlama ent://SD_ILS/0/SD_ILS:52605 2026-03-16T16:16:14Z 2026-03-16T16:16:14Z by&#160;Banger, G&uuml;rcan<br/>Format:&#160;Books<br/> Hacettepe &Uuml;niversitesi psikoloji b&ouml;l&uuml;m&uuml; bilgi i&#351;lem ders notlae&#305; ent://SD_ILS/0/SD_ILS:291502 2026-03-16T16:16:14Z 2026-03-16T16:16:14Z by&#160;Aksoy, Erol, prepared<br/>Format:&#160;Books<br/> Discrete mathematics and its applications. ent://SD_ILS/0/SD_ILS:677524 2026-03-16T16:16:14Z 2026-03-16T16:16:14Z Format:&#160;Books<br/> Matematik ve uygulamalar&#305; ile bulan&#305;k mant&#305;k ve n&ouml;ral a&#287;lar ent://SD_ILS/0/SD_ILS:30986 2026-03-16T16:16:14Z 2026-03-16T16:16:14Z by&#160;&Ccedil;ift&ccedil;iba&#351;&#305;, Turhan.<br/>Format:&#160;Books<br/> Flow, mixing, and heat transfer in furnaces ent://SD_ILS/0/SD_ILS:1177380 2026-03-16T16:16:14Z 2026-03-16T16:16:14Z by&#160;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:&#160;Electronic Resources<br/>