Arama Sonuçları - Daraltılmış: English - Başkent Kütüphanesi - 1993 - COMPUTERS -- Computer Science.SirsiDynix Enterprisehttp://katalog.baskent.edu.tr/client/tr_TR/defaulttr/defaulttr/qf$003dLANGUAGE$002509Language$002509ENG$002509English$0026qf$003dLIBRARY$002509K$0025C3$0025BCt$0025C3$0025BCphane$0025091$00253ABASKENT$002509Ba$0025C5$00259Fkent$002bK$0025C3$0025BCt$0025C3$0025BCphanesi$0026qf$003dPUBDATE$002509Yay$0025C4$0025B1n$002bY$0025C4$0025B1l$0025C4$0025B1$0025091993$0025091993$0026qf$003dSUBJECT$002509Konu$002509COMPUTERS$002b--$002bComputer$002bScience.$002509COMPUTERS$002b--$002bComputer$002bScience.$0026ps$003d300?2024-06-22T13:31:20ZIndustrial applications of formal methods to model, design, and analyze computer systems : an international surveyent://SD_ILS/0/SD_ILS:11782422024-06-22T13:31:20Z2024-06-22T13:31:20Zby Craigen, Dan, 1953-<br/>ScienceDirect <a href="https://www.sciencedirect.com/science/book/9780815513629">https://www.sciencedirect.com/science/book/9780815513629</a><br/>Format: Elektronik Kaynak<br/>Parallel computing : an introductionent://SD_ILS/0/SD_ILS:11781422024-06-22T13:31:20Z2024-06-22T13:31:20Zby Lafferty, Edward L.<br/>ScienceDirect <a href="https://www.sciencedirect.com/science/book/9780815513292">https://www.sciencedirect.com/science/book/9780815513292</a><br/>Format: Elektronik Kaynak<br/>Parallel processing from applications to systemsent://SD_ILS/0/SD_ILS:11823672024-06-22T13:31:20Z2024-06-22T13:31:20Zby Moldovan, Dan I.<br/>ScienceDirect <a href="http://www.sciencedirect.com/science/book/9781558602540">http://www.sciencedirect.com/science/book/9781558602540</a>
ScienceDirect <a href="https://www.sciencedirect.com/science/book/9781558602540">https://www.sciencedirect.com/science/book/9781558602540</a><br/>Format: Elektronik Kaynak<br/>Higher order logic theorem proving and its applications : proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications--HOL '92ent://SD_ILS/0/SD_ILS:11832042024-06-22T13:31:20Z2024-06-22T13:31:20Zby IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications (1992 : Leuven, Belgium)<br/>ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444898807">http://www.sciencedirect.com/science/book/9780444898807</a><br/>Format: Elektronik Kaynak<br/>Advances in computers. Volume 37ent://SD_ILS/0/SD_ILS:11904832024-06-22T13:31:20Z2024-06-22T13:31:20Zby Yovits, M. C. (Marshall Clinton)<br/>ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780120121373">http://www.sciencedirect.com/science/book/9780120121373</a><br/>Format: Elektronik Kaynak<br/>Advances in computers. Volume 36ent://SD_ILS/0/SD_ILS:11905452024-06-22T13:31:20Z2024-06-22T13:31:20Zby Yovits, M. C. (Marshall Clinton)<br/>ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780120121366">http://www.sciencedirect.com/science/book/9780120121366</a><br/>Format: Elektronik Kaynak<br/>