Search Results for Industrial applications. - Narrowed by: 1993 SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dIndustrial$002bapplications.$0026qf$003dPUBDATE$002509Publication$002bDate$0025091993$0025091993$0026te$003dILS$0026ps$003d300? 2024-11-18T20:14:23Z Industrial applications of formal methods to model, design, and analyze computer systems : an international survey ent://SD_ILS/0/SD_ILS:255250 2024-11-18T20:14:23Z 2024-11-18T20:14:23Z Author&#160;Craigen, Dan, 1953-&#160;Gerhart, Susan L.&#160;Ralston, Theodore L.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780815513629">http://www.sciencedirect.com/science/book/9780815513629</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Enzymes in food processing ent://SD_ILS/0/SD_ILS:77999 2024-11-18T20:14:23Z 2024-11-18T20:14:23Z Author&#160;Nagodawithana, Tilak W., ed.&#160;Reed, Gerald, 1913- ed.<br/>Preferred Shelf Number&#160;TP 456.E58 E6 1993<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/>