Search Results for Computer Systems. - Narrowed by: 1995SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dComputer$002bSystems.$0026qf$003dPUBDATE$002509Publication$002bDate$0025091995$0025091995$0026ps$003d300$0026isd$003dtrue?2025-12-12T19:48:22ZIndustrial applications of formal methods to model, design, and analyze computer systems : an international surveyent://SD_ILS/0/SD_ILS:2552502025-12-12T19:48:22Z2025-12-12T19:48:22ZAuthor 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/>Expert systems and computer simulation in energy engineering : selected papers from the second international forum, Erlangen, Germany, 17-20 March, 1992ent://SD_ILS/0/SD_ILS:444632025-12-12T19:48:22Z2025-12-12T19:48:22ZAuthor Kim, J. H.<br/>Preferred Shelf Number TJ 163.7 E97 1995<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Virtual environments and advanced interface designent://SD_ILS/0/SD_ILS:5123602025-12-12T19:48:22Z2025-12-12T19:48:22ZAuthor Barfield, Woodrow, editor. Furness, Thomas A., editor.<br/>Preferred Shelf Number QA76.9 .H85 V54 2020<br/>Electronic Access Oxford scholarship online <a href="https://dx.doi.org/10.1093/oso/9780195075557.001.0001">https://dx.doi.org/10.1093/oso/9780195075557.001.0001</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Human-computer interaction human and social aspects of human-computer interaction : proceedings of the sixth International Conference on Human-Computer Interaction, (HCI International '95), Tokyo, Japan, 9-14 July 1995, volume 2ent://SD_ILS/0/SD_ILS:2538072025-12-12T19:48:22Z2025-12-12T19:48:22ZAuthor International Conference on Human-Computer Interaction (6th : 1995 : Tokyo, Japan) Anzai, Yūichirō, 1946- Ogawa, Katsuhiko. Mori, Hirohiko.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444817952">http://www.sciencedirect.com/science/book/9780444817952</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Designing visual interfaces : communication oriented techniquesent://SD_ILS/0/SD_ILS:837632025-12-12T19:48:22Z2025-12-12T19:48:22ZAuthor Mullet, Kevin. Sano, Darrell.<br/>Preferred Shelf Number QA 76.9.U83 M85 1995<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Artificial life an overviewent://SD_ILS/0/SD_ILS:2198492025-12-12T19:48:22Z2025-12-12T19:48:22ZAuthor Langton, Christopher G.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6276842">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6276842</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>