Search Results for Testing. - Narrowed by: Computer simulation.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dTesting.$0026qf$003dSUBJECT$002509Subject$002509Computer$002bsimulation.$002509Computer$002bsimulation.$0026ic$003dtrue$0026ps$003d300$0026isd$003dtrue?dt=list2026-03-29T18:13:23ZCombinatorial Testing in Cloud Computingent://SD_ILS/0/SD_ILS:6118442026-03-29T18:13:23Z2026-03-29T18:13:23ZAuthor Tsai, Wei-Tek. author. Qi, Guanqiu. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Nondestructive Testing of Materials and Structuresent://SD_ILS/0/SD_ILS:3356982026-03-29T18:13:23Z2026-03-29T18:13:23ZAuthor Büyüköztürk, Oral. author. Taşdemir, Mehmet Ali. author. Güneş, Oğuz. editor. Akkaya, Yılmaz. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335698.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-94-007-0723-8">http://dx.doi.org/10.1007/978-94-007-0723-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tunnel Fire Testing and Modeling The Morgex North Tunnel Experimentent://SD_ILS/0/SD_ILS:6169452026-03-29T18:13:23Z2026-03-29T18:13:23ZAuthor Borghetti, Fabio. author. Derudi, Marco. author. Gandini, Paolo. author. Frassoldati, Alessio. author. Tavelli, Silvia. author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Proceedings of the FISITA 2012 World Automotive Congress Volume 8: Vehicle Design and Testing (II).ent://SD_ILS/0/SD_ILS:3337442026-03-29T18:13:23Z2026-03-29T18:13:23ZAuthor SAE-China. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(333744.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33738-3">http://dx.doi.org/10.1007/978-3-642-33738-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Testing of Software and Communication Systems 21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Eindhoven, The Netherlands, November 2-4, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1911342026-03-29T18:13:23Z2026-03-29T18:13:23ZAuthor Núñez, Manuel. editor. Baker, Paul. editor. Merayo, Mercedes G. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-05031-2">http://dx.doi.org/10.1007/978-3-642-05031-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>New Methods of Concurrent Checkingent://SD_ILS/0/SD_ILS:1701622026-03-29T18:13:23Z2026-03-29T18:13:23ZAuthor Göessel, Michael. author. Ocheretny, Vitaly. author. Sogomonyan, Egor. author. Marienfeld, Daniel. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-8420-1">http://dx.doi.org/10.1007/978-1-4020-8420-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~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-29T18:13:23Z2026-03-29T18:13:23ZAuthor Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-29T18:13:23Z2026-03-29T18:13:23ZAuthor Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-29T18:13:23Z2026-03-29T18:13:23ZAuthor Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>3rd International Conference on Thermal Issues in Machine Tools (ICTIMT2023)ent://SD_ILS/0/SD_ILS:5277992026-03-29T18:13:23Z2026-03-29T18:13:23ZAuthor Ihlenfeldt, Steffen. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-29T18:13:23Z2026-03-29T18:13:23ZAuthor James, Phillip. editor. Roggenbach, Markus. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Fire Safety of Historical Buildings Traditional Versus Innovative "Behavioural Design" Solutions by Using Wayfinding Systemsent://SD_ILS/0/SD_ILS:6133952026-03-29T18:13:23Z2026-03-29T18:13:23ZAuthor Bernardini, Gabriele. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Guide to Modeling and Simulation of Systems of Systemsent://SD_ILS/0/SD_ILS:6135272026-03-29T18:13:23Z2026-03-29T18:13:23ZAuthor P. Zeigler, Bernard. author. Sarjoughian, Hessam S. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-29T18:13:23Z2026-03-29T18:13:23ZAuthor Aceto, Luca. editor. Bacci, Giorgio. editor. Bacci, Giovanni. editor. Ingólfsdóttir, Anna. editor. Legay, Axel. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>ModelEd, TestEd, TrustEd Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthdayent://SD_ILS/0/SD_ILS:6178562026-03-29T18:13:23Z2026-03-29T18:13:23ZAuthor Katoen, Joost-Pieter. editor. (orcid)0000-0002-6143-1926 Langerak, Rom. editor. Rensink, Arend. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-29T18:13:23Z2026-03-29T18:13:23ZAuthor Cabello, Enrique. editor. Cardoso, Jorge. editor. Ludwig, André. editor. Maciaszek, Leszek A. editor. (orcid)0000-0001-6561-0545 van Sinderen, Marten. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Guide to Scientific Computing in C++ent://SD_ILS/0/SD_ILS:6175612026-03-29T18:13:23Z2026-03-29T18:13:23ZAuthor Pitt-Francis, Joe. author. Whiteley, Jonathan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Distributed Simulation A Model Driven Engineering Approachent://SD_ILS/0/SD_ILS:6111892026-03-29T18:13:23Z2026-03-29T18:13:23ZAuthor Topçu, Okan. author. Durak, Umut. author. Oğuztüzün, Halit. author. Yilmaz, Levent. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-29T18:13:23Z2026-03-29T18:13:23ZAuthor Aichernig, Bernhard K. editor. Furia, Carlo A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Transactions on Modularity and Composition Ient://SD_ILS/0/SD_ILS:6178182026-03-29T18:13:23Z2026-03-29T18:13:23ZAuthor Chiba, Shigeru. editor. Südholt, Mario. editor. Eugster, Patrick. editor. Ziarek, Lukasz. editor. Leavens, Gary T. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Opportunistic Mobile Networks Advances and Applicationsent://SD_ILS/0/SD_ILS:6150922026-03-29T18:13:23Z2026-03-29T18:13:23ZAuthor Misra, Sudip. author. Saha, Barun Kumar. author. Pal, Sujata. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Industrial used of formal method formal verificationent://SD_ILS/0/SD_ILS:3053912026-03-29T18:13:23Z2026-03-29T18:13:23ZAuthor Boulanger, Jean-Louis.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access Wiley <a href="http://dx.doi.org/10.1002/9781118561829">http://dx.doi.org/10.1002/9781118561829</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>