Arama Sonu&ccedil;lar&#305; Test. - Daralt&#305;lm&#305;&#351;: Software engineering. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dTest.$0026qf$003dSUBJECT$002509Konu$002509Software$002bengineering.$002509Software$002bengineering.$0026ic$003dtrue$0026ps$003d300$0026isd$003dtrue?dt=list 2026-04-11T13:36:47Z Yaz&#305;l&#305;m test m&uuml;hendisinin el kitab&#305; ent://SD_ILS/0/SD_ILS:514350 2026-04-11T13:36:47Z 2026-04-11T13:36:47Z Yazar&#160;G&uuml;rb&uuml;z, Ali.<br/>Yer Numaras&#305;&#160;QA76.758 G87 2022<br/>Format:&#160;Kitap<br/>Durum&#160;Beytepe K&uuml;t&uuml;phanesi~1<br/> Yaz&#305;l&#305;m test m&uuml;hendisinin el kitab&#305; ent://SD_ILS/0/SD_ILS:479539 2026-04-11T13:36:47Z 2026-04-11T13:36:47Z Yazar&#160;G&uuml;rb&uuml;z, Ali.<br/>Yer Numaras&#305;&#160;QA76.758 G87 2020<br/>Format:&#160;Kitap<br/>Durum&#160;Beytepe K&uuml;t&uuml;phanesi~1<br/> Automatic Generation of Combinatorial Test Data ent://SD_ILS/0/SD_ILS:489313 2026-04-11T13:36:47Z 2026-04-11T13:36:47Z Yazar&#160;Zhang, Jian. author.&#160;Zhang, Zhiqiang. author.&#160;Ma, Feifei. 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-662-43429-1">https://doi.org/10.1007/978-3-662-43429-1</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Test and Analysis of Web Services ent://SD_ILS/0/SD_ILS:186686 2026-04-11T13:36:47Z 2026-04-11T13:36:47Z Yazar&#160;Baresi, Luciano. editor.&#160;Nitto, Elisabetta Di. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-540-72912-9">http://dx.doi.org/10.1007/978-3-540-72912-9</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Metrics for Test Reporting Analysis and Reporting for Effective Test Management ent://SD_ILS/0/SD_ILS:604096 2026-04-11T13:36:47Z 2026-04-11T13:36:47Z Yazar&#160;Witte, Frank. 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-658-44006-0">https://doi.org/10.1007/978-3-658-44006-0</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> A Study Guide to the ISTQB&reg; Foundation Level 2018 Syllabus Test Techniques and Sample Mock Exams ent://SD_ILS/0/SD_ILS:399773 2026-04-11T13:36:47Z 2026-04-11T13:36:47Z Yazar&#160;Roman, Adam. 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-319-98740-8">https://doi.org/10.1007/978-3-319-98740-8</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> SAP ABAP Hands-On Test Projects with Business Scenarios ent://SD_ILS/0/SD_ILS:618511 2026-04-11T13:36:47Z 2026-04-11T13:36:47Z Yazar&#160;Markandeya, Sushil. author.&#160;Roy, Kaushik. 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-1-4302-4804-0">https://doi.org/10.1007/978-1-4302-4804-0</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Qualit&auml;tssicherung durch Softwaretests Vorgehensweisen und Werkzeuge zum Test von Java-Programmen ent://SD_ILS/0/SD_ILS:338309 2026-04-11T13:36:47Z 2026-04-11T13:36:47Z Yazar&#160;Kleuker, Stephan. author.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE(338309.1)<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-8348-2068-6">http://dx.doi.org/10.1007/978-3-8348-2068-6</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Progress in VLSI Design and Test 16th International Symposium, VDAT 2012, Shibpur, India, July 1-4, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197090 2026-04-11T13:36:47Z 2026-04-11T13:36:47Z Yazar&#160;Rahaman, Hafizur. editor.&#160;Chattopadhyay, Sanatan. editor.&#160;Chattopadhyay, Santanu. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-31494-0">http://dx.doi.org/10.1007/978-3-642-31494-0</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Accelerating Test, Validation and Debug of High Speed Serial Interfaces ent://SD_ILS/0/SD_ILS:205484 2026-04-11T13:36:47Z 2026-04-11T13:36:47Z Yazar&#160;Fan, Yongquan. author.&#160;Zilic, Zeljko. author.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-90-481-9398-1">http://dx.doi.org/10.1007/978-90-481-9398-1</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Test-Driven Development An Empirical Evaluation of Agile Practice ent://SD_ILS/0/SD_ILS:190899 2026-04-11T13:36:47Z 2026-04-11T13:36:47Z Yazar&#160;Madeyski, Lech. author.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-04288-1">http://dx.doi.org/10.1007/978-3-642-04288-1</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> The Testing Network An Integral Approach to Test Activities in Large Software Projects ent://SD_ILS/0/SD_ILS:188154 2026-04-11T13:36:47Z 2026-04-11T13:36:47Z Yazar&#160;Henry, Pierre. author.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-540-78504-0">http://dx.doi.org/10.1007/978-3-540-78504-0</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Systems Benchmarking For Scientists and Engineers ent://SD_ILS/0/SD_ILS:607716 2026-04-11T13:36:47Z 2026-04-11T13:36:47Z Yazar&#160;Kounev, Samuel. author.&#160;Lange, Klaus-Dieter. author.&#160;von Kistowski, J&oacute;akim. author. (orcid)0000-0002-3046-5373&#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-85634-1">https://doi.org/10.1007/978-3-031-85634-1</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part IV ent://SD_ILS/0/SD_ILS:605717 2026-04-11T13:36:47Z 2026-04-11T13:36:47Z Yazar&#160;Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739&#160;Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558&#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-75387-9">https://doi.org/10.1007/978-3-031-75387-9</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II ent://SD_ILS/0/SD_ILS:605987 2026-04-11T13:36:47Z 2026-04-11T13:36:47Z Yazar&#160;Jansen, Nils. editor. (orcid)0000-0003-1318-8973&#160;Junges, Sebastian. editor. (orcid)0000-0003-0978-8466&#160;Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324&#160;Matheja, Christoph. editor. (orcid)0000-0001-9151-0441&#160;Noll, Thomas. editor. (orcid)0000-0002-1865-1798<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-031-75775-4">https://doi.org/10.1007/978-3-031-75775-4</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I ent://SD_ILS/0/SD_ILS:605988 2026-04-11T13:36:47Z 2026-04-11T13:36:47Z Yazar&#160;Jansen, Nils. editor. (orcid)0000-0003-1318-8973&#160;Junges, Sebastian. editor. (orcid)0000-0003-0978-8466&#160;Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324&#160;Matheja, Christoph. editor. (orcid)0000-0001-9151-0441&#160;Noll, Thomas. editor. (orcid)0000-0002-1865-1798<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-031-75783-9">https://doi.org/10.1007/978-3-031-75783-9</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part I ent://SD_ILS/0/SD_ILS:605472 2026-04-11T13:36:47Z 2026-04-11T13:36:47Z Yazar&#160;Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739&#160;Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558&#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-73709-1">https://doi.org/10.1007/978-3-031-73709-1</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part III ent://SD_ILS/0/SD_ILS:605783 2026-04-11T13:36:47Z 2026-04-11T13:36:47Z Yazar&#160;Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739&#160;Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558&#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-75380-0">https://doi.org/10.1007/978-3-031-75380-0</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part II ent://SD_ILS/0/SD_ILS:605736 2026-04-11T13:36:47Z 2026-04-11T13:36:47Z Yazar&#160;Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739&#160;Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558&#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-75107-3">https://doi.org/10.1007/978-3-031-75107-3</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Leveraging Applications of Formal Methods, Verification and Validation. Application Areas 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part V ent://SD_ILS/0/SD_ILS:605738 2026-04-11T13:36:47Z 2026-04-11T13:36:47Z Yazar&#160;Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739&#160;Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558&#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-75390-9">https://doi.org/10.1007/978-3-031-75390-9</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> TOOLympics Challenge 2023 Updates, Results, Successes of the Formal-Methods Competitions ent://SD_ILS/0/SD_ILS:605837 2026-04-11T13:36:47Z 2026-04-11T13:36:47Z Yazar&#160;Beyer, Dirk. editor. (orcid)0000-0003-4832-7662&#160;Hartmanns, Arnd. editor. (orcid)0000-0003-3268-8674&#160;Kordon, Fabrice. editor. (orcid)0000-0002-5626-828X&#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-67695-6">https://doi.org/10.1007/978-3-031-67695-6</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III ent://SD_ILS/0/SD_ILS:609023 2026-04-11T13:36:47Z 2026-04-11T13:36:47Z Yazar&#160;Jansen, Nils. editor. (orcid)0000-0003-1318-8973&#160;Junges, Sebastian. editor. (orcid)0000-0003-0978-8466&#160;Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324&#160;Matheja, Christoph. editor. (orcid)0000-0001-9151-0441&#160;Noll, Thomas. editor. (orcid)0000-0002-1865-1798<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-031-75778-5">https://doi.org/10.1007/978-3-031-75778-5</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Fundamental Approaches to Software Engineering 27th International Conference, FASE 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings ent://SD_ILS/0/SD_ILS:603161 2026-04-11T13:36:47Z 2026-04-11T13:36:47Z Yazar&#160;Beyer, Dirk. editor. (orcid)0000-0003-4832-7662&#160;Cavalcanti, Ana. editor. (orcid)0000-0002-0831-1976&#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-57259-3">https://doi.org/10.1007/978-3-031-57259-3</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-04-11T13:36:47Z 2026-04-11T13:36:47Z 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/> Official Google Cloud Certified Professional Data Engineer study guide ent://SD_ILS/0/SD_ILS:596021 2026-04-11T13:36:47Z 2026-04-11T13:36:47Z Yazar&#160;Sullivan, Dan, 1962-<br/>Yer Numaras&#305;&#160;QA76.3<br/>Elektronik Eri&#351;im&#160;<a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119618461">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119618461</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Combinatorial Testing in Cloud Computing ent://SD_ILS/0/SD_ILS:611844 2026-04-11T13:36:47Z 2026-04-11T13:36:47Z Yazar&#160;Tsai, Wei-Tek. author.&#160;Qi, Guanqiu. 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-10-4481-6">https://doi.org/10.1007/978-981-10-4481-6</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Testing Software and Systems 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings ent://SD_ILS/0/SD_ILS:613532 2026-04-11T13:36:47Z 2026-04-11T13:36:47Z Yazar&#160;Yevtushenko, Nina. editor.&#160;Cavalli, Ana Rosa. editor.&#160;Yenig&uuml;n, H&uuml;sn&uuml;. 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-319-67549-7">https://doi.org/10.1007/978-3-319-67549-7</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Agile Modeling with UML Code Generation, Testing, Refactoring ent://SD_ILS/0/SD_ILS:617166 2026-04-11T13:36:47Z 2026-04-11T13:36:47Z Yazar&#160;Rumpe, Bernhard. 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-319-58862-9">https://doi.org/10.1007/978-3-319-58862-9</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Trends in Software Testing ent://SD_ILS/0/SD_ILS:614531 2026-04-11T13:36:47Z 2026-04-11T13:36:47Z Yazar&#160;Mohanty, Hrushikesha. editor.&#160;Mohanty, J. R. editor.&#160;Balakrishnan, Arunkumar. 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-10-1415-4">https://doi.org/10.1007/978-981-10-1415-4</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Fundamental Approaches to Software Engineering 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings ent://SD_ILS/0/SD_ILS:615993 2026-04-11T13:36:47Z 2026-04-11T13:36:47Z Yazar&#160;Huisman, Marieke. editor. (orcid)0000-0003-4467-072X&#160;Rubin, Julia. 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-662-54494-5">https://doi.org/10.1007/978-3-662-54494-5</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Behavioral Program Synthesis with Genetic Programming ent://SD_ILS/0/SD_ILS:614763 2026-04-11T13:36:47Z 2026-04-11T13:36:47Z Yazar&#160;Krawiec, Krzysztof. 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-319-27565-9">https://doi.org/10.1007/978-3-319-27565-9</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Deductive Software Verification - The KeY Book From Theory to Practice ent://SD_ILS/0/SD_ILS:616009 2026-04-11T13:36:47Z 2026-04-11T13:36:47Z Yazar&#160;Ahrendt, Wolfgang. editor.&#160;Beckert, Bernhard. editor. (orcid)0000-0002-9672-3291&#160;Bubel, Richard. editor.&#160;H&auml;hnle, Reiner. editor.&#160;Schmitt, Peter H. editor.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-319-49812-6">https://doi.org/10.1007/978-3-319-49812-6</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Pro ASP.NET SignalR Real-Time Communication in .NET with SignalR 2.1 ent://SD_ILS/0/SD_ILS:618548 2026-04-11T13:36:47Z 2026-04-11T13:36:47Z Yazar&#160;Nayyeri, Keyvan. author.&#160;White, Darren. 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-1-4302-6320-3">https://doi.org/10.1007/978-1-4302-6320-3</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> The Definitive Guide to SUSE Linux Enterprise Server 12 ent://SD_ILS/0/SD_ILS:618598 2026-04-11T13:36:47Z 2026-04-11T13:36:47Z Yazar&#160;van Vugt, Sander. 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-1-4302-6820-8">https://doi.org/10.1007/978-1-4302-6820-8</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Beginning C++ ent://SD_ILS/0/SD_ILS:618641 2026-04-11T13:36:47Z 2026-04-11T13:36:47Z Yazar&#160;Horton, Ivor. 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-1-4842-0007-0">https://doi.org/10.1007/978-1-4842-0007-0</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Beginning Node.js ent://SD_ILS/0/SD_ILS:618650 2026-04-11T13:36:47Z 2026-04-11T13:36:47Z Yazar&#160;Syed, Basarat. 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-1-4842-0187-9">https://doi.org/10.1007/978-1-4842-0187-9</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Introducing Maven ent://SD_ILS/0/SD_ILS:618685 2026-04-11T13:36:47Z 2026-04-11T13:36:47Z Yazar&#160;Varanasi, Balaji. author.&#160;Belida, Sudha. 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-1-4842-0841-0">https://doi.org/10.1007/978-1-4842-0841-0</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Data structure and software engineering : challenges and improvements ent://SD_ILS/0/SD_ILS:539709 2026-04-11T13:36:47Z 2026-04-11T13:36:47Z Yazar&#160;Antonakos, James L.<br/>Yer Numaras&#305;&#160;QA76.9 .D35 D38 2011<br/>Elektronik Eri&#351;im&#160;<a href="https://www.taylorfrancis.com/books/9781466562608">Click here to view.</a><br/>Format:&#160;Kitap<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Computers, Software Engineering, and Digital Devices ent://SD_ILS/0/SD_ILS:542493 2026-04-11T13:36:47Z 2026-04-11T13:36:47Z Yazar&#160;Dorf, Richard C., author.&#160;Taylor and Francis.<br/>Yer Numaras&#305;&#160;TK7885<br/>Elektronik Eri&#351;im&#160;<a href="https://www.taylorfrancis.com/books/9781420037050">Click here to view.</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/>