Search Results for computing. - Narrowed by: 1993SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dcomputing.$0026qf$003dPUBDATE$002509Publication$002bDate$0025091993$0025091993$0026te$003dILS$0026ps$003d300?2026-02-19T03:50:02ZParallel computing : an introductionent://SD_ILS/0/SD_ILS:2552512026-02-19T03:50:02Z2026-02-19T03:50:02ZAuthor Lafferty, Edward L.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780815513292">http://www.sciencedirect.com/science/book/9780815513292</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Scientific computing with automatic result verificationent://SD_ILS/0/SD_ILS:2568662026-02-19T03:50:02Z2026-02-19T03:50:02ZAuthor Adams, Ernst. Kulisch, Ulrich.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780120442102">http://www.sciencedirect.com/science/book/9780120442102</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Numerical recipes : the art of scientific computing (Fortran version)ent://SD_ILS/0/SD_ILS:687822026-02-19T03:50:02Z2026-02-19T03:50:02ZAuthor Press, W. H., ort. yaz.<br/>Preferred Shelf Number QA 297 N866 1989<br/>Format: Books<br/>Availability Beytepe Library~1<br/>A small matter of programming perspectives on end user computingent://SD_ILS/0/SD_ILS:2198772026-02-19T03:50:02Z2026-02-19T03:50:02ZAuthor Nardi, Bonnie A.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267418">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267418</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The Digital word : text-based computing in the humanitiesent://SD_ILS/0/SD_ILS:315912026-02-19T03:50:02Z2026-02-19T03:50:02ZAuthor Landow, George P., ed. Delany, Paul, ed.<br/>Preferred Shelf Number PN 98.E4 D54 1993<br/>Format: Books<br/>Availability Beytepe Library~1<br/>ACM Communications.ent://SD_ILS/0/SD_ILS:2262162026-02-19T03:50:02Z2026-02-19T03:50:02ZAuthor Association for Computing Machinery.<br/>Preferred Shelf Number ALFABETİK V.35 PART.2 1992<br/>Electronic Access <a href="http://dl.acm.org/citation.cfm?id=J79&picked=prox">Elektronik eri?im</a><br/>Format: Continuing Resources Other<br/>Availability Beytepe Library~36 ~0<br/>ACM Transactions on database systems.ent://SD_ILS/0/SD_ILS:2262172026-02-19T03:50:02Z2026-02-19T03:50:02ZAuthor Association for Computing Machinery.<br/>Preferred Shelf Number ALFABETİK V.4 1979<br/>Electronic Access <a href="http://dl.acm.org/citation.cfm?id=J777&picked=prox">Elektronik eri?im</a><br/>Format: Continuing Resources Other<br/>Availability Beytepe Library~12 ~0<br/>The formal semantics of programming languages an introductionent://SD_ILS/0/SD_ILS:2201702026-02-19T03:50:02Z2026-02-19T03:50:02ZAuthor Winskel, G. (Glynn)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6276826">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6276826</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Industrial applications of formal methods to model, design, and analyze computer systems : an international surveyent://SD_ILS/0/SD_ILS:2552502026-02-19T03:50:02Z2026-02-19T03:50:02ZAuthor Craigen, Dan, 1953- Gerhart, Susan L. Ralston, Theodore L.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780815513629">http://www.sciencedirect.com/science/book/9780815513629</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>