Arama Sonuçları Tests. - Daraltılmış: Software engineering.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dTests.$0026qf$003dSUBJECT$002509Konu$002509Software$002bengineering.$002509Software$002bengineering.$0026te$003dILS$0026ps$003d300?dt=list2026-03-23T23:00:54ZTests and Proofs 13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9–11, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4828592026-03-23T23:00:54Z2026-03-23T23:00:54ZYazar Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Keller, Chantal. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-31157-5">https://doi.org/10.1007/978-3-030-31157-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Understanding Modern Dive Computers and Operation Protocols, Models, Tests, Data, Risk and Applicationsent://SD_ILS/0/SD_ILS:4003952026-03-23T23:00:54Z2026-03-23T23:00:54ZYazar Wienke, B. R. author. O'Leary, T. R. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-94054-0">https://doi.org/10.1007/978-3-319-94054-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Tests and Proofs 12th International Conference, TAP 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4016982026-03-23T23:00:54Z2026-03-23T23:00:54ZYazar Dubois, Catherine. editor. Wolff, Burkhart. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-92994-1">https://doi.org/10.1007/978-3-319-92994-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Tests and Proofs 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6159812026-03-23T23:00:54Z2026-03-23T23:00:54ZYazar Gabmeyer, Sebastian. editor. Johnsen, Einar Broch. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-61467-0">https://doi.org/10.1007/978-3-319-61467-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Tests and Proofs 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6114362026-03-23T23:00:54Z2026-03-23T23:00:54ZYazar Aichernig, Bernhard K. editor. Furia, Carlo A. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-41135-4">https://doi.org/10.1007/978-3-319-41135-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Tests and Proofs 8th International Conference, TAP 2014, Held as Part of STAF 2014, York, UK, July 24-25, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4856242026-03-23T23:00:54Z2026-03-23T23:00:54ZYazar Seidl, Martina. editor. Tillmann, Nikolai. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-09099-3">https://doi.org/10.1007/978-3-319-09099-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Tests and Proofs 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3346982026-03-23T23:00:54Z2026-03-23T23:00:54ZYazar Veanes, Margus. editor. Viganò, Luca. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334698.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-38916-0">http://dx.doi.org/10.1007/978-3-642-38916-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Tests and Proofs 6th International Conference, TAP 2012, Prague, Czech Republic, May 31 – June 1, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1968962026-03-23T23:00:54Z2026-03-23T23:00:54ZYazar Brucker, Achim D. editor. Julliand, Jacques. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-30473-6">http://dx.doi.org/10.1007/978-3-642-30473-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Tests and Proofs 5th International Conference, TAP 2011, Zurich, Switzerland, June 30 – July 1, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1948112026-03-23T23:00:54Z2026-03-23T23:00:54ZYazar Gogolla, Martin. editor. Wolff, Burkhart. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-21768-5">http://dx.doi.org/10.1007/978-3-642-21768-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Tests and Proofs 4th International Conference, TAP 2010, Málaga, Spain, July 1-2, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1925102026-03-23T23:00:54Z2026-03-23T23:00:54ZYazar Fraser, Gordon. editor. Gargantini, Angelo. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-13977-2">http://dx.doi.org/10.1007/978-3-642-13977-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Tests and Proofs Third International Conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1904692026-03-23T23:00:54Z2026-03-23T23:00:54ZYazar Dubois, Catherine. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-02949-3">http://dx.doi.org/10.1007/978-3-642-02949-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Tests and Proofs Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedingsent://SD_ILS/0/SD_ILS:1883422026-03-23T23:00:54Z2026-03-23T23:00:54ZYazar Beckert, Bernhard. editor. Hähnle, Reiner. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-79124-9">http://dx.doi.org/10.1007/978-3-540-79124-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Tests and Proofs First International Conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007. Revised Papersent://SD_ILS/0/SD_ILS:1869602026-03-23T23:00:54Z2026-03-23T23:00:54ZYazar Gurevich, Yuri. editor. Meyer, Bertrand. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-73770-4">http://dx.doi.org/10.1007/978-3-540-73770-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>CyberSecurity in a DevOps Environment From Requirements to Monitoringent://SD_ILS/0/SD_ILS:6021512026-03-23T23:00:54Z2026-03-23T23:00:54ZYazar Sadovykh, Andrey. editor. Truscan, Dragos. editor. Mallouli, Wissam. editor. Cavalli, Ana Rosa. editor. Seceleanu, Cristina. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Official Google Cloud Certified Professional Data Engineer study guideent://SD_ILS/0/SD_ILS:5960212026-03-23T23:00:54Z2026-03-23T23:00:54ZYazar Sullivan, Dan, 1962-<br/>Yer Numarası QA76.3<br/>Elektronik Erişim <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119618461">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119618461</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Unraveling Software Maintenance and Evolution Thinking Outside the Boxent://SD_ILS/0/SD_ILS:6131572026-03-23T23:00:54Z2026-03-23T23:00:54ZYazar Varga, Ervin. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-71303-8">https://doi.org/10.1007/978-3-319-71303-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Agile Modeling with UML Code Generation, Testing, Refactoringent://SD_ILS/0/SD_ILS:6171662026-03-23T23:00:54Z2026-03-23T23:00:54ZYazar Rumpe, Bernhard. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Behavioral Program Synthesis with Genetic Programmingent://SD_ILS/0/SD_ILS:6147632026-03-23T23:00:54Z2026-03-23T23:00:54ZYazar Krawiec, Krzysztof. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Using R for Statisticsent://SD_ILS/0/SD_ILS:6186022026-03-23T23:00:54Z2026-03-23T23:00:54ZYazar Baldock, Sarah. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-1-4842-0139-8">https://doi.org/10.1007/978-1-4842-0139-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>