Arama Sonu&ccedil;lar&#305; - Daralt&#305;lm&#305;&#351;: English - 1993 - COMPUTERS -- Data Processing. SirsiDynix Enterprise http://katalog.baskent.edu.tr/client/tr_TR/defaulttr/defaulttr/qf$003dLANGUAGE$002509Language$002509ENG$002509English$0026qf$003dPUBDATE$002509Yay$0025C4$0025B1n$002bY$0025C4$0025B1l$0025C4$0025B1$0025091993$0025091993$0026qf$003dSUBJECT$002509Konu$002509COMPUTERS$002b--$002bData$002bProcessing.$002509COMPUTERS$002b--$002bData$002bProcessing.$0026ps$003d300? 2024-05-24T16:51:51Z Industrial applications of formal methods to model, design, and analyze computer systems : an international survey ent://SD_ILS/0/SD_ILS:1178242 2024-05-24T16:51:51Z 2024-05-24T16:51:51Z by&#160;Craigen, Dan, 1953-<br/>ScienceDirect <a href="https://www.sciencedirect.com/science/book/9780815513629">https://www.sciencedirect.com/science/book/9780815513629</a><br/>Format:&#160;Elektronik Kaynak<br/> Parallel computing : an introduction ent://SD_ILS/0/SD_ILS:1178142 2024-05-24T16:51:51Z 2024-05-24T16:51:51Z by&#160;Lafferty, Edward L.<br/>ScienceDirect <a href="https://www.sciencedirect.com/science/book/9780815513292">https://www.sciencedirect.com/science/book/9780815513292</a><br/>Format:&#160;Elektronik Kaynak<br/> The Digital technical documentation handbook ent://SD_ILS/0/SD_ILS:1181946 2024-05-24T16:51:51Z 2024-05-24T16:51:51Z by&#160;Schultz, Susan I.<br/>ScienceDirect <a href="https://www.sciencedirect.com/science/book/9781555581039">https://www.sciencedirect.com/science/book/9781555581039</a><br/>Format:&#160;Elektronik Kaynak<br/> Parallel processing from applications to systems ent://SD_ILS/0/SD_ILS:1182367 2024-05-24T16:51:51Z 2024-05-24T16:51:51Z by&#160;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:&#160;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 '92 ent://SD_ILS/0/SD_ILS:1183204 2024-05-24T16:51:51Z 2024-05-24T16:51:51Z by&#160;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:&#160;Elektronik Kaynak<br/> Advances in computers. Volume 37 ent://SD_ILS/0/SD_ILS:1190483 2024-05-24T16:51:51Z 2024-05-24T16:51:51Z by&#160;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:&#160;Elektronik Kaynak<br/> Advances in computers. Volume 36 ent://SD_ILS/0/SD_ILS:1190545 2024-05-24T16:51:51Z 2024-05-24T16:51:51Z by&#160;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:&#160;Elektronik Kaynak<br/>