Arama Sonuçları Computer software -- Verification.SirsiDynix Enterprisehttp://katalog.baskent.edu.tr/client/tr_TR/defaulttr/defaulttr/qu$003dComputer$002bsoftware$002b--$002bVerification.$0026ps$003d300?dt=list2026-01-06T23:59:47ZVerification and validation for quality of UML 2.0 modelsent://SD_ILS/0/SD_ILS:1398592026-01-06T23:59:47Z2026-01-06T23:59:47Zby Unhelkar, Bhuvan<br/>Format: Kitap<br/>Robot framework test automationent://SD_ILS/0/SD_ILS:10223082026-01-06T23:59:47Z2026-01-06T23:59:47Zby Bisht, Sumit.<br/><a href="https://ebookcentral.proquest.com/lib/baskent-ebooks/detail.action?docID=1532018">Click to View</a><br/>Format: Elektronik Kaynak<br/>Dependable software systems engineeringent://SD_ILS/0/SD_ILS:11008982026-01-06T23:59:47Z2026-01-06T23:59:47Zby Irlbeck, Maximilian, editor.<br/><a href="https://ebookcentral.proquest.com/lib/baskent-ebooks/detail.action?docID=3563924">Click to View</a><br/>Format: Elektronik Kaynak<br/>Engineering dependable software systemsent://SD_ILS/0/SD_ILS:10212532026-01-06T23:59:47Z2026-01-06T23:59:47Zby NATO Advanced Study Institute on Engineering Dependable Software Systems (2012 : Marktoberdorf, Germany)<br/><a href="https://ebookcentral.proquest.com/lib/baskent-ebooks/detail.action?docID=1477301">Click to View</a><br/>Format: Elektronik Kaynak<br/>Software safety and security tools for analysis and verificationent://SD_ILS/0/SD_ILS:9967432026-01-06T23:59:47Z2026-01-06T23:59:47Zby NATO Advanced Study Institute on Tools for Analysis and Verification of Software Safety and Security (2011 : Bayrischzell, Germany)<br/><a href="https://ebookcentral.proquest.com/lib/baskent-ebooks/detail.action?docID=948331">Click to View</a><br/>Format: Elektronik Kaynak<br/>The software audit guideent://SD_ILS/0/SD_ILS:10552802026-01-06T23:59:47Z2026-01-06T23:59:47Zby Helgeson, John W., 1945- author.<br/><a href="https://ebookcentral.proquest.com/lib/baskent-ebooks/detail.action?docID=3002613">Click to View</a><br/>Format: Elektronik Kaynak<br/>Principles of model checkingent://SD_ILS/0/SD_ILS:10814202026-01-06T23:59:47Z2026-01-06T23:59:47Zby Baier, Christel.<br/><a href="https://ebookcentral.proquest.com/lib/baskent-ebooks/detail.action?docID=3338793">Click to View</a><br/>Format: Elektronik Kaynak<br/>Metamodeling-driven IP reuse for SoC integration and microprocessor designent://SD_ILS/0/SD_ILS:9965492026-01-06T23:59:47Z2026-01-06T23:59:47Zby Mathaikutty, Deepak A.<br/><a href="https://ebookcentral.proquest.com/lib/baskent-ebooks/detail.action?docID=946534">Click to View</a><br/>Format: Elektronik Kaynak<br/>Verification of systems and circuits using LOTOS, Petri Nets, and CCSent://SD_ILS/0/SD_ILS:9450522026-01-06T23:59:47Z2026-01-06T23:59:47Zby Yoeli, Michael, 1917-<br/><a href="https://ebookcentral.proquest.com/lib/baskent-ebooks/detail.action?docID=335732">Click to View</a><br/>Format: Elektronik Kaynak<br/>Verification of infinite-state systems with applications to securityent://SD_ILS/0/SD_ILS:9347182026-01-06T23:59:47Z2026-01-06T23:59:47Zby NATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security (2005 March 17-22 : Timaşoara, Romania)<br/><a href="https://ebookcentral.proquest.com/lib/baskent-ebooks/detail.action?docID=265966">Click to View</a><br/>Format: Elektronik Kaynak<br/>Co-verification of hardware and software for ARM SoC designent://SD_ILS/0/SD_ILS:11879372026-01-06T23:59:47Z2026-01-06T23:59:47Zby Andrews, Jason R.<br/>ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780750677301">http://www.sciencedirect.com/science/book/9780750677301</a><br/>Format: Elektronik Kaynak<br/>Advances in computers. Volume 36ent://SD_ILS/0/SD_ILS:11905452026-01-06T23:59:47Z2026-01-06T23:59:47Zby 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/>Advances in computers. Vol. 65.ent://SD_ILS/0/SD_ILS:11885572026-01-06T23:59:47Z2026-01-06T23:59:47Zby Zelkowitz, Marvin V., 1945-<br/><a href="http://www.sciencedirect.com/science/bookseries/00652458/65">to access electronic resource</a>
ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780120121656">http://www.sciencedirect.com/science/book/9780120121656</a><br/>Format: Elektronik Kaynak<br/>Knowledge-based systems : techniques and applicationsent://SD_ILS/0/SD_ILS:11870992026-01-06T23:59:47Z2026-01-06T23:59:47Zby Leondes, Cornelius T.<br/>ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780124438750">http://www.sciencedirect.com/science/book/9780124438750</a>
<a href="https://www.sciencedirect.com/science/book/9780124438750">Fulltext</a><br/>Format: Elektronik Kaynak<br/>Stability of structures : principles and applicationsent://SD_ILS/0/SD_ILS:11836852026-01-06T23:59:47Z2026-01-06T23:59:47Zby Yoo, Chai Hong.<br/>ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780123851222">http://www.sciencedirect.com/science/book/9780123851222</a><br/>Format: Elektronik Kaynak<br/>Reliability in computing : the role of interval methods in scientific computingent://SD_ILS/0/SD_ILS:11759752026-01-06T23:59:47Z2026-01-06T23:59:47Zby Moore, Ramon E.<br/>ScienceDirect <a href="https://www.sciencedirect.com/science/book/9780125056304">https://www.sciencedirect.com/science/book/9780125056304</a><br/>Format: Elektronik Kaynak<br/>Digital forensics for legal professionals understanding digital evidence from the warrant to the courtrooment://SD_ILS/0/SD_ILS:1372112026-01-06T23:59:47Z2026-01-06T23:59:47Zby Daniel, Larry (Larry E.)<br/>ScienceDirect <a href="http://www.sciencedirect.com/science/book/9781597496438">An electronic book accessible through the World Wide Web; click for information</a><br/>Format: Elektronik Kaynak<br/>Stability of structures principles and applicationsent://SD_ILS/0/SD_ILS:1372322026-01-06T23:59:47Z2026-01-06T23:59:47Zby Yoo, Chai Hong.<br/>ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780123851222">http://www.sciencedirect.com/science/book/9780123851222</a><br/>Format: Elektronik Kaynak<br/>