Arama Sonu&ccedil;lar&#305; - Daralt&#305;lm&#305;&#351;: English - Ba&#351;kent K&uuml;t&uuml;phanesi - 1993 - COMPUTERS -- Computer Science. SirsiDynix Enterprise http://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:20Z Industrial applications of formal methods to model, design, and analyze computer systems : an international survey ent://SD_ILS/0/SD_ILS:1178242 2024-06-22T13:31:20Z 2024-06-22T13:31:20Z 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-06-22T13:31:20Z 2024-06-22T13:31:20Z 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/> Parallel processing from applications to systems ent://SD_ILS/0/SD_ILS:1182367 2024-06-22T13:31:20Z 2024-06-22T13:31:20Z 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-06-22T13:31:20Z 2024-06-22T13:31:20Z 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-06-22T13:31:20Z 2024-06-22T13:31:20Z 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-06-22T13:31:20Z 2024-06-22T13:31:20Z 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/>