Search Results for Software Testing. - Narrowed by: 2016
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dSoftware$002bTesting.$0026qf$003dPUBDATE$002509Publication$002bDate$0025092016$0025092016$0026ps$003d300?dt=list
2026-03-30T09:28:34Z
Hardware and Software: Verification and Testing 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:611230
2026-03-30T09:28:34Z
2026-03-30T09:28:34Z
Author Bloem, Roderick. editor. Arbel, Eli. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-49052-6">https://doi.org/10.1007/978-3-319-49052-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Testing Software and Systems 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:616986
2026-03-30T09:28:34Z
2026-03-30T09:28:34Z
Author Wotawa, Franz. editor. Nica, Mihai. editor. Kushik, Natalia. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-47443-4">https://doi.org/10.1007/978-3-319-47443-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Information security management handbook
ent://SD_ILS/0/SD_ILS:539793
2026-03-30T09:28:34Z
2026-03-30T09:28:34Z
Author Tipton, Harold F. Nozaki, Micki Krause.<br/>Preferred Shelf Number QA76.9 .A25 I54165 2007<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781439893159">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>
Software Engineering and Methodology for Emerging Domains 15th National Software Application Conference, NASAC 2016, Kunming, Yunnan, November 3-5, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:615723
2026-03-30T09:28:34Z
2026-03-30T09:28:34Z
Author Zhang, Lu. editor. Xu, Chang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-3482-4">https://doi.org/10.1007/978-981-10-3482-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Runtime Verification 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:616886
2026-03-30T09:28:34Z
2026-03-30T09:28:34Z
Author Falcone, Yliès. editor. Sánchez, César. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-46982-9">https://doi.org/10.1007/978-3-319-46982-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Databases and Information Systems 12th International Baltic Conference, DB&IS 2016, Riga, Latvia, July 4-6, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:617013
2026-03-30T09:28:34Z
2026-03-30T09:28:34Z
Author Arnicans, Guntis. editor. Arnicane, Vineta. editor. Borzovs, Juris. editor. Niedrite, Laila. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-40180-5">https://doi.org/10.1007/978-3-319-40180-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Encyclopedia of Algorithms
ent://SD_ILS/0/SD_ILS:617569
2026-03-30T09:28:34Z
2026-03-30T09:28:34Z
Author Kao, Ming-Yang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4939-2864-4">https://doi.org/10.1007/978-1-4939-2864-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Distributed Simulation A Model Driven Engineering Approach
ent://SD_ILS/0/SD_ILS:611189
2026-03-30T09:28:34Z
2026-03-30T09:28:34Z
Author 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/>
Formal Aspects of Component Software 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:612298
2026-03-30T09:28:34Z
2026-03-30T09:28:34Z
Author Braga, Christiano. editor. Ölveczky, Peter Csaba. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-28934-2">https://doi.org/10.1007/978-3-319-28934-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:613592
2026-03-30T09:28:34Z
2026-03-30T09:28:34Z
Author Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-47169-3">https://doi.org/10.1007/978-3-319-47169-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Wireless Sensor Networks for Structural Health Monitoring
ent://SD_ILS/0/SD_ILS:613596
2026-03-30T09:28:34Z
2026-03-30T09:28:34Z
Author Cao, Jiannong. author. Liu, Xuefeng. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-29034-8">https://doi.org/10.1007/978-3-319-29034-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Simulation and Testing for Vehicle Technology 7th Conference, Berlin, May 12-13, 2016
ent://SD_ILS/0/SD_ILS:615031
2026-03-30T09:28:34Z
2026-03-30T09:28:34Z
Author Gühmann, Clemens. editor. Riese, Jens. editor. von Rüden, Klaus. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-32345-9">https://doi.org/10.1007/978-3-319-32345-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Yazılım test rehberi
ent://SD_ILS/0/SD_ILS:379345
2026-03-30T09:28:34Z
2026-03-30T09:28:34Z
Author Bozkurt, Asiye Çüçen, Adem, author Adıgüzel, Ahmet, author<br/>Preferred Shelf Number QA76.76.T48 B69 2016<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Computational Intelligence and Quantitative Software Engineering
ent://SD_ILS/0/SD_ILS:611266
2026-03-30T09:28:34Z
2026-03-30T09:28:34Z
Author Pedrycz, Witold. editor. Succi, Giancarlo. editor. Sillitti, Alberto. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-25964-2">https://doi.org/10.1007/978-3-319-25964-2</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, Proceedings
ent://SD_ILS/0/SD_ILS:611436
2026-03-30T09:28:34Z
2026-03-30T09:28:34Z
Author 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/>
Software Technologies: Applications and Foundations STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna Austria, July 4-8, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:611537
2026-03-30T09:28:34Z
2026-03-30T09:28:34Z
Author Milazzo, Paolo. editor. (orcid)0000-0002-7309-6424 Varró, Dániel. editor. Wimmer, Manuel. editor. (orcid)0000-0002-1124-7098 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-50230-4">https://doi.org/10.1007/978-3-319-50230-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Guide to Discrete Mathematics An Accessible Introduction to the History, Theory, Logic and Applications
ent://SD_ILS/0/SD_ILS:617503
2026-03-30T09:28:34Z
2026-03-30T09:28:34Z
Author O'Regan, Gerard. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-44561-8">https://doi.org/10.1007/978-3-319-44561-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Transactions on Modularity and Composition I
ent://SD_ILS/0/SD_ILS:617818
2026-03-30T09:28:34Z
2026-03-30T09:28:34Z
Author 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/>
Engineering Safe and Secure Cyber-Physical Systems The Specification PEARL Approach
ent://SD_ILS/0/SD_ILS:618478
2026-03-30T09:28:34Z
2026-03-30T09:28:34Z
Author Gumzej, Roman. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-28905-2">https://doi.org/10.1007/978-3-319-28905-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Clinical Data Analysis on a Pocket Calculator Understanding the Scientific Methods of Statistical Reasoning and Hypothesis Testing
ent://SD_ILS/0/SD_ILS:615548
2026-03-30T09:28:34Z
2026-03-30T09:28:34Z
Author Cleophas, Ton J. author. Zwinderman, Aeilko H. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-27104-0">https://doi.org/10.1007/978-3-319-27104-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Search Based Software Engineering 8th International Symposium, SSBSE 2016, Raleigh, NC, USA, October 8-10, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:615967
2026-03-30T09:28:34Z
2026-03-30T09:28:34Z
Author Sarro, Federica. editor. Deb, Kalyanmoy. editor. (orcid)0000-0001-7402-9939 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-47106-8">https://doi.org/10.1007/978-3-319-47106-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:616739
2026-03-30T09:28:34Z
2026-03-30T09:28:34Z
Author Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-47166-2">https://doi.org/10.1007/978-3-319-47166-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Opportunistic Mobile Networks Advances and Applications
ent://SD_ILS/0/SD_ILS:615092
2026-03-30T09:28:34Z
2026-03-30T09:28:34Z
Author 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/>
Functional Safety for Road Vehicles New Challenges and Solutions for E-mobility and Automated Driving
ent://SD_ILS/0/SD_ILS:615793
2026-03-30T09:28:34Z
2026-03-30T09:28:34Z
Author Ross, Hans-Leo. author. (orcid)0009-0009-0125-8824 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-33361-8">https://doi.org/10.1007/978-3-319-33361-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Reliable Software Technologies - Ada-Europe 2016 21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:618305
2026-03-30T09:28:34Z
2026-03-30T09:28:34Z
Author Bertogna, Marko. editor. Pinho, Luís Miguel. editor. Quiñones, Eduardo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-39083-3">https://doi.org/10.1007/978-3-319-39083-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>