Arama Sonu&ccedil;lar&#305; Computer programs -- Testing. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dComputer$002bprograms$002b--$002bTesting.$0026te$003dILS$0026ps$003d300$0026isd$003dtrue?dt=list 2026-03-15T11:46:58Z Balancing Software Innovation and Regulatory Compliance 17th International Conference on Software Quality, SWQD 2025, Munich, Germany, May 20-22, 2025, Proceedings ent://SD_ILS/0/SD_ILS:608171 2026-03-15T11:46:58Z 2026-03-15T11:46:58Z Yazar&#160;Fischbach, Jannik. editor. (orcid)0000-0002-4361-6118&#160;Ramler, Rudolf. editor. (orcid)0000-0001-9903-6107&#160;Winkler, Dietmar. editor. (orcid)0000-0002-4743-3124&#160;Bergsmann, Johannes. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-031-89277-6">https://doi.org/10.1007/978-3-031-89277-6</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Proceedings of the 4th International Conference on Sustainable Development in Civil, Urban and Transportation Engineering CUTE 2024, 14-17 October, Wroc&#322;aw, Poland ent://SD_ILS/0/SD_ILS:607928 2026-03-15T11:46:58Z 2026-03-15T11:46:58Z Yazar&#160;R&oacute;&#380;a&#324;ski, Adrian. editor. (orcid)0000-0003-3150-6429&#160;Bui, Quoc-Bao. editor. (orcid)0000-0002-9675-0038&#160;Sadowski, &#321;ukasz. editor. (orcid)0000-0001-9382-7709&#160;Tran, Minh Tung. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-981-97-9400-3">https://doi.org/10.1007/978-981-97-9400-3</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Software Fault Prevention, Verification, and Validation First International Symposium, SFPVV 2024, Hiroshima, Japan, December 2-3, 2024, Proceedings ent://SD_ILS/0/SD_ILS:607363 2026-03-15T11:46:58Z 2026-03-15T11:46:58Z Yazar&#160;Liu, Shaoying. editor. (orcid)0000-0002-6748-5052&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-981-96-1621-3">https://doi.org/10.1007/978-981-96-1621-3</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Learning Java A Test-Driven Approach ent://SD_ILS/0/SD_ILS:604840 2026-03-15T11:46:58Z 2026-03-15T11:46:58Z Yazar&#160;Crotts, Joshua. author. (orcid)0000-0002-7513-5618&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-031-66638-4">https://doi.org/10.1007/978-3-031-66638-4</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> The French School of Programming ent://SD_ILS/0/SD_ILS:603390 2026-03-15T11:46:58Z 2026-03-15T11:46:58Z Yazar&#160;Meyer, Bertrand. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-031-34518-0">https://doi.org/10.1007/978-3-031-34518-0</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> ISTQB&reg; Certified Tester Foundation Level A Self-Study Guide Syllabus v4.0 ent://SD_ILS/0/SD_ILS:601998 2026-03-15T11:46:58Z 2026-03-15T11:46:58Z Yazar&#160;Stapp, Lucjan. author.&#160;Roman, Adam. author. (orcid)0000-0002-1020-5128&#160;Pilaeten, Micha&euml;l. author.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-031-42767-1">https://doi.org/10.1007/978-3-031-42767-1</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Guide to Software Verification with Frama-C Core Components, Usages, and Applications ent://SD_ILS/0/SD_ILS:604237 2026-03-15T11:46:58Z 2026-03-15T11:46:58Z Yazar&#160;Kosmatov, Nikolai. editor. (orcid)0000-0003-1557-2813&#160;Prevosto, Virgile. editor.&#160;Signoles, Julien. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-031-55608-1">https://doi.org/10.1007/978-3-031-55608-1</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Development and Testing of Vehicle Software and its Influence on Sustainable Transport ent://SD_ILS/0/SD_ILS:602333 2026-03-15T11:46:58Z 2026-03-15T11:46:58Z Yazar&#160;Colmenar-Santos, Antonio. editor.&#160;Borge-Diez, David. editor.&#160;Ortega-Cabezas, Pedro-Miguel. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-031-47630-3">https://doi.org/10.1007/978-3-031-47630-3</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Cloud-Native Application Architecture Microservice Development Best Practice ent://SD_ILS/0/SD_ILS:602276 2026-03-15T11:46:58Z 2026-03-15T11:46:58Z Yazar&#160;Team, FreeWheel Biz-UI. author.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-981-19-9782-2">https://doi.org/10.1007/978-981-19-9782-2</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> CyberSecurity in a DevOps Environment From Requirements to Monitoring ent://SD_ILS/0/SD_ILS:602151 2026-03-15T11:46:58Z 2026-03-15T11:46:58Z Yazar&#160;Sadovykh, Andrey. editor.&#160;Truscan, Dragos. editor.&#160;Mallouli, Wissam. editor.&#160;Cavalli, Ana Rosa. editor.&#160;Seceleanu, Cristina. editor.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-031-42212-6">https://doi.org/10.1007/978-3-031-42212-6</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Code generation, analysis tools, and testing for quality ent://SD_ILS/0/SD_ILS:481998 2026-03-15T11:46:58Z 2026-03-15T11:46:58Z Yazar&#160;Queiros, Ricardo Alexandre Peixoto de, 1975- editor.&#160;Simoes, Alberto, 1978- editor.&#160;Pinto, Mario Teixeira, 1967- editor.&#160;IGI Global, publisher.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;Chapter PDFs via platform: <a href="http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-5225-7455-2">http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-5225-7455-2</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Very Soft Organic Clay Applied for Road Embankment : Modelling and Optimisation Approach, UNESCO-IHE PhD, Delft, the Netherlands. ent://SD_ILS/0/SD_ILS:542698 2026-03-15T11:46:58Z 2026-03-15T11:46:58Z Yazar&#160;Limsiri, C., author.&#160;CRC Press LLC.<br/>Yer Numaras&#305;&#160;TE210.8<br/>Elektronik Eri&#351;im&#160;Taylor & Francis <a href="https://www.taylorfrancis.com/books/9780429094125">https://www.taylorfrancis.com/books/9780429094125</a> OCLC metadata license agreement <a href="http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf">http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Computer technology and computer programming : new research and strategies ent://SD_ILS/0/SD_ILS:540718 2026-03-15T11:46:58Z 2026-03-15T11:46:58Z Yazar&#160;Antonakos, James L.<br/>Yer Numaras&#305;&#160;QA76.6 .C66 2011<br/>Elektronik Eri&#351;im&#160;<a href="https://www.taylorfrancis.com/books/9781466562592">Click here to view.</a><br/>Format:&#160;Kitap<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Automated defect prevention best practices in software management ent://SD_ILS/0/SD_ILS:249514 2026-03-15T11:46:58Z 2026-03-15T11:46:58Z Yazar&#160;Huizinga, Dorota.&#160;Kolawa, Adam.&#160;Wiley InterScience (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;IEEE Xplore <a href="http://ieeexplore.ieee.org/servlet/opac?bknumber=5201515">http://ieeexplore.ieee.org/servlet/opac?bknumber=5201515</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Pragmatic unit testing in Java with JUnit ent://SD_ILS/0/SD_ILS:101969 2026-03-15T11:46:58Z 2026-03-15T11:46:58Z Yazar&#160;Hunt, Andrew.&#160;Thomas, David.<br/>Yer Numaras&#305;&#160;QA76.6 .H8575 2004<br/>Format:&#160;Kitap<br/>Durum&#160;Beytepe K&uuml;t&uuml;phanesi~3<br/> The spin model checker : primer and reference manual ent://SD_ILS/0/SD_ILS:312840 2026-03-15T11:46:58Z 2026-03-15T11:46:58Z Yazar&#160;Holzmann, Gerard J.<br/>Yer Numaras&#305;&#160;TA168 H65 2004<br/>Format:&#160;Kitap<br/>Durum&#160;Beytepe K&uuml;t&uuml;phanesi~1<br/>