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?2025-12-11T13:16:34ZIndustrial applications of formal methods to model, design, and analyze computer systems : an international surveyent://SD_ILS/0/SD_ILS:2552502025-12-11T13:16:34Z2025-12-11T13:16:34ZAuthor 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:2552032025-12-11T13:16:34Z2025-12-11T13:16:34ZAuthor 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:2552042025-12-11T13:16:34Z2025-12-11T13:16:34ZAuthor 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/>