Arama Sonuçları Testing. - Daraltılmış: Computer Modelling.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dTesting.$0026qf$003dSUBJECT$002509Konu$002509Computer$002bModelling.$002509Computer$002bModelling.$0026ps$003d300$0026isd$003dtrue?dt=list2026-03-14T23:19:59ZCombinatorial Testing in Cloud Computingent://SD_ILS/0/SD_ILS:6118442026-03-14T23:19:59Z2026-03-14T23:19:59ZYazar Tsai, Wei-Tek. author. Qi, Guanqiu. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Tunnel Fire Testing and Modeling The Morgex North Tunnel Experimentent://SD_ILS/0/SD_ILS:6169452026-03-14T23:19:59Z2026-03-14T23:19:59ZYazar Borghetti, Fabio. author. Derudi, Marco. author. Gandini, Paolo. author. Frassoldati, Alessio. author. Tavelli, Silvia. author.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-49517-0">https://doi.org/10.1007/978-3-319-49517-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 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, Part Ient://SD_ILS/0/SD_ILS:6031452026-03-14T23:19:59Z2026-03-14T23:19:59ZYazar Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-57246-3">https://doi.org/10.1007/978-3-031-57246-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 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, Part IIent://SD_ILS/0/SD_ILS:6031512026-03-14T23:19:59Z2026-03-14T23:19:59ZYazar Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-57249-4">https://doi.org/10.1007/978-3-031-57249-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 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, Part IIIent://SD_ILS/0/SD_ILS:6031522026-03-14T23:19:59Z2026-03-14T23:19:59ZYazar Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-57256-2">https://doi.org/10.1007/978-3-031-57256-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>3rd International Conference on Thermal Issues in Machine Tools (ICTIMT2023)ent://SD_ILS/0/SD_ILS:5277992026-03-14T23:19:59Z2026-03-14T23:19:59ZYazar Ihlenfeldt, Steffen. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-34486-2">https://doi.org/10.1007/978-3-031-34486-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Guide to Scientific Computing in C++ent://SD_ILS/0/SD_ILS:6175612026-03-14T23:19:59Z2026-03-14T23:19:59ZYazar Pitt-Francis, Joe. author. Whiteley, Jonathan. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-73132-2">https://doi.org/10.1007/978-3-319-73132-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>ModelEd, TestEd, TrustEd Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthdayent://SD_ILS/0/SD_ILS:6178562026-03-14T23:19:59Z2026-03-14T23:19:59ZYazar Katoen, Joost-Pieter. editor. (orcid)0000-0002-6143-1926 Langerak, Rom. editor. Rensink, Arend. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-68270-9">https://doi.org/10.1007/978-3-319-68270-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Recent Trends in Algebraic Development Techniques 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016, Revised Selected Papersent://SD_ILS/0/SD_ILS:6122532026-03-14T23:19:59Z2026-03-14T23:19:59ZYazar James, Phillip. editor. Roggenbach, Markus. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-72044-9">https://doi.org/10.1007/978-3-319-72044-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Fire Safety of Historical Buildings Traditional Versus Innovative "Behavioural Design" Solutions by Using Wayfinding Systemsent://SD_ILS/0/SD_ILS:6133952026-03-14T23:19:59Z2026-03-14T23:19:59ZYazar Bernardini, Gabriele. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-55744-1">https://doi.org/10.1007/978-3-319-55744-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Models, Algorithms, Logics and Tools Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthdayent://SD_ILS/0/SD_ILS:6178122026-03-14T23:19:59Z2026-03-14T23:19:59ZYazar Aceto, Luca. editor. Bacci, Giorgio. editor. Bacci, Giovanni. editor. Ingólfsdóttir, Anna. editor. Legay, Axel. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-63121-9">https://doi.org/10.1007/978-3-319-63121-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Guide to Modeling and Simulation of Systems of Systemsent://SD_ILS/0/SD_ILS:6135272026-03-14T23:19:59Z2026-03-14T23:19:59ZYazar P. Zeigler, Bernard. author. Sarjoughian, Hessam S. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-64134-8">https://doi.org/10.1007/978-3-319-64134-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Software Technologies 11th International Joint Conference, ICSOFT 2016, Lisbon, Portugal, July 24-26, 2016, Revised Selected Papersent://SD_ILS/0/SD_ILS:6159062026-03-14T23:19:59Z2026-03-14T23:19:59ZYazar Cabello, Enrique. editor. Cardoso, Jorge. editor. Ludwig, André. editor. Maciaszek, Leszek A. editor. (orcid)0000-0001-6561-0545 van Sinderen, Marten. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-62569-0">https://doi.org/10.1007/978-3-319-62569-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-14T23:19:59Z2026-03-14T23:19:59ZYazar 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/>Opportunistic Mobile Networks Advances and Applicationsent://SD_ILS/0/SD_ILS:6150922026-03-14T23:19:59Z2026-03-14T23:19:59ZYazar Misra, Sudip. author. Saha, Barun Kumar. author. Pal, Sujata. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-29031-7">https://doi.org/10.1007/978-3-319-29031-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Transactions on Modularity and Composition Ient://SD_ILS/0/SD_ILS:6178182026-03-14T23:19:59Z2026-03-14T23:19:59ZYazar Chiba, Shigeru. editor. Südholt, Mario. editor. Eugster, Patrick. editor. Ziarek, Lukasz. editor. Leavens, Gary T. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-46969-0">https://doi.org/10.1007/978-3-319-46969-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Distributed Simulation A Model Driven Engineering Approachent://SD_ILS/0/SD_ILS:6111892026-03-14T23:19:59Z2026-03-14T23:19:59ZYazar Topçu, Okan. author. Durak, Umut. author. Oğuztüzün, Halit. author. Yilmaz, Levent. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-03050-0">https://doi.org/10.1007/978-3-319-03050-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>