Search Results for Computer Applications. - Narrowed by: System analysis.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dComputer$002bApplications.$0026qf$003dSUBJECT$002509Subject$002509System$002banalysis.$002509System$002banalysis.$0026pe$003dd$00253A$0026ps$003d300?dt=list2025-01-01T01:23:36ZIndustrial applications of formal methods to model, design, and analyze computer systems : an international surveyent://SD_ILS/0/SD_ILS:2552502025-01-01T01:23:36Z2025-01-01T01:23: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/>Optimal estimation of dynamic systemsent://SD_ILS/0/SD_ILS:2899122025-01-01T01:23:36Z2025-01-01T01:23:36ZAuthor Crassidis, John L. Junkins, John L.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781439839867">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>