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.$0026ic$003dtrue$0026te$003dILS$0026ps$003d300?2026-02-12T13:07:05ZIndustrial applications of formal methods to model, design, and analyze computer systems : an international surveyent://SD_ILS/0/SD_ILS:2552502026-02-12T13:07:05Z2026-02-12T13:07:05ZAuthor 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/>E-CARGO and role-based collaboration : modeling and solving problems in the complex worldent://SD_ILS/0/SD_ILS:5966502026-02-12T13:07:05Z2026-02-12T13:07:05ZAuthor Zhu, Haibin, author.<br/>Preferred Shelf Number HD30.29 .Z48 2021<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119693123">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119693123</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Optimal estimation of dynamic systemsent://SD_ILS/0/SD_ILS:5467602026-02-12T13:07:05Z2026-02-12T13:07:05ZAuthor Crassidis, John L., author. Junkins, John L.<br/>Preferred Shelf Number QA402 .C73 2012<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781439839867">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>Optimal estimation of dynamic systemsent://SD_ILS/0/SD_ILS:5442612026-02-12T13:07:05Z2026-02-12T13:07:05ZAuthor Crassidis, John L., author. Junkins, John L.<br/>Preferred Shelf Number QA402 .C73 2004<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781135439279">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>Power system analysis : short-circuit load flow and harmonicsent://SD_ILS/0/SD_ILS:5478232026-02-12T13:07:05Z2026-02-12T13:07:05ZAuthor Das, J. C., 1934- author.<br/>Preferred Shelf Number TK1005 .D374 2002 EB<br/>Electronic Access Taylor & Francis <a href="https://www.taylorfrancis.com/books/9780429221477">https://www.taylorfrancis.com/books/9780429221477</a>
OCLC metadata license agreement <a href="http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf">http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>