Search Results for Computer Applications. - Narrowed by: 1993SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dComputer$002bApplications.$0026qf$003dPUBDATE$002509Publication$002bDate$0025091993$0025091993$0026ps$003d300?dt=list2026-06-15T22:20:36ZIndustrial applications of formal methods to model, design, and analyze computer systems : an international surveyent://SD_ILS/0/SD_ILS:2552502026-06-15T22:20:36Z2026-06-15T22:20:36ZAuthor 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/>Computer-aided design/engineering (CAD/CAE) techniques and their applications Part 1 of 2ent://SD_ILS/0/SD_ILS:2552032026-06-15T22:20:36Z2026-06-15T22:20:36ZAuthor Leondes, Cornelius T.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780120127580">http://www.sciencedirect.com/science/book/9780120127580</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computer-aided design/engineering (CAD/CAE) techniques and their applications Part 2 of 2ent://SD_ILS/0/SD_ILS:2552042026-06-15T22:20:36Z2026-06-15T22:20:36ZAuthor Leondes, Cornelius T.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780120127597">http://www.sciencedirect.com/science/book/9780120127597</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>