Search Results for Software Testing.

Software testing

2026-03-22T08:34:54Z

Author Patton, Ron.
Preferred Shelf Number QA76.76.T48 P38 2006
Format: Books
Availability Beytepe Library~1

Testing computer software

2026-03-22T08:34:54Z

Author Kaner, Cem. Falk, Jack L., ort. yaz. Nguyen, Hung Quoc, ort. yaz.
Preferred Shelf Number QA 76.76.T48 K36 1999
Format: Books
Availability Beytepe Library~2

Manage software testing

2026-03-22T08:34:54Z

Author Farrell-Vinay, Peter., author.
Preferred Shelf Number QA76.76 .T48 F37 2008
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Systematic software testing

2026-03-22T08:34:54Z

Author Craig, Rick D. (Rick David), 1955- Jaskiel, Stefan P., ort. yaz.
Preferred Shelf Number QA 76.76.T48 C73 2002
Format: Books
Availability Beytepe Library~1

Fundamentals of software testing

2026-03-22T08:34:54Z

Author Homès, Bernard, author.
Preferred Shelf Number QA76.76 .T48 F86 2024
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781394298976
Format: Electronic Resources
Availability Online Library~1

Trends in Software Testing

2026-03-22T08:34:54Z

Author Mohanty, Hrushikesha. editor. Mohanty, J. R. editor. Balakrishnan, Arunkumar. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-1415-4
Format: Electronic Resources
Availability Online Library~1

Automated Software Testing with Cypress

2026-03-22T08:34:54Z

Author Palani, Narayanan.
Preferred Shelf Number QA76.76 .T48
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003145110 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Concise Guide to Software Testing

2026-03-22T08:34:54Z

Author O'Regan, Gerard. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-28494-7
Format: Electronic Resources
Availability Online Library~1

Software testing as a service

2026-03-22T08:34:54Z

Author Ahmed, Ashfaque., author.
Preferred Shelf Number QA76.76 .T48 A53 2010
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Software testing and continuous quality improvement

2026-03-22T08:34:54Z

Author Lewis, William E., author.
Preferred Shelf Number QA76.76 .T48 L495 2008
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Component-Based Software Testing with UML

2026-03-22T08:34:54Z

Author Gross, Hans-Gerhard. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b138012
Format: Electronic Resources
Availability Online Library~1

Software testing and continuous quality improvement

2026-03-22T08:34:54Z

Author Lewis, William E., author. Veerapillai, Gunasekaran.
Preferred Shelf Number QA76.76 .T48 L495 2005
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

The art of software testing

2026-03-22T08:34:54Z

Author Myers, Glenford J., 1946- Badgett, Tom. Thomas, Todd M. Sandler, Corey, 1950-
Preferred Shelf Number ONLINE
Electronic Access EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=114566
Format: Electronic Resources
Availability Online Library~1

Software testing fundamentals : methods and metrics

2026-03-22T08:34:54Z

Author Hutcheson, Marnie L., 1951-
Preferred Shelf Number QA 76.76.T48 H88 2003
Format: Books
Availability Beytepe Library~1

Software testing : a craftsman's approach

2026-03-22T08:34:54Z

Author Jorgensen, Paul.
Preferred Shelf Number QA 76.76.T48 J67 2002
Format: Books
Availability Beytepe Library~1

Software testing and continuous quality improvement

2026-03-22T08:34:54Z

Author Lewis, William E., author.
Preferred Shelf Number QA76.76 .T48 L495 2000
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Flight simulation software : design, development and testing

2026-03-22T08:34:54Z

Author Allerton, David, author.
Preferred Shelf Number TL712.5 .A398 2023
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119738251
Format: Electronic Resources
Availability Online Library~1

Analytic methods in systems and software testing

2026-03-22T08:34:54Z

Author Kenett, Ron, editor. Ruggeri, Fabrizio, editor. Faltin, Frederick W., editor.
Preferred Shelf Number QA76.76 .T48 A52 2018 EB
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119357056
Format: Electronic Resources
Availability Online Library~1

ESSENTIAL SOFTWARE TESTING : a use-case approach.

2026-03-22T08:34:54Z

Author FOURNIER, GREG.
Preferred Shelf Number QA76.76 .T48
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/e/9780429114854 Taylor & Francis https://www.taylorfrancis.com/books/9780429114854 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Improving Software Testing Technical and Organizational Developments

2026-03-22T08:34:54Z

Author Majchrzak, Tim A. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-27464-0
Format: Electronic Resources
Availability Online Library~1

Composing Software Components A Software-testing Perspective

2026-03-22T08:34:54Z

Author Hamlet, Dick. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4419-7148-7
Format: Electronic Resources
Availability Online Library~1

Software error detection through testing and analysis

2026-03-22T08:34:54Z

Author Huang, J. C., 1935-
Preferred Shelf Number ONLINE
Electronic Access Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=456102 John Wiley http://dx.doi.org/10.1002/9780470464076 MyiLibrary, Table of contents http://www.myilibrary.com?id=227967&ref=toc http://site.ebrary.com/lib/alltitles/Doc?id=10332960 http://swb.eblib.com/patron/FullRecord.aspx?p=456102
Format: Electronic Resources
Availability Online Library~1

Automated software testing : introduction, management, and performance

2026-03-22T08:34:54Z

Author Dustin, Elfriede. Rashka, Jeff. Paul, John.
Preferred Shelf Number QA76.76.T48 D87 1999
Format: Books
Availability Beytepe Library~2

Leveraging the wisdom of the crowd in software testing

2026-03-22T08:34:54Z

Author Sharma, Mukesh (Software testing engineer), author. Padmanaban, Rajini, author.
Preferred Shelf Number QA76.76 .T48 S53 2015
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Microprocessor. 5, Software and hardware aspects of development, debugging and testing -- the microcomputer

2026-03-22T08:34:54Z

Author Darche, Philippe.
Preferred Shelf Number QA76.5
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119801740
Format: Electronic Resources
Availability Online Library~1

Taking testing seriously : the rapid software testing approach

2026-03-22T08:34:54Z

Author Bach, James, author. Bolton, Michael, author.
Preferred Shelf Number QA76.76 .T48 B33 2026
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781394319749
Format: Electronic Resources
Availability Online Library~1

Testing Software and Systems 36th IFIP WG 6.1 International Conference, ICTSS 2024, London, UK, October 30 - November 1, 2024, Proceedings

2026-03-22T08:34:54Z

Author Menéndez, Héctor D. editor. (orcid)0000-0002-6314-3725 Bello-Orgaz, Gema. editor. (orcid)0000-0003-2826-3286 Barnard, Pepita. editor. (orcid)0000-0003-4518-1207 Bautista, John Robert. editor. (orcid)0000-0002-4892-9543 Farahi, Arya. editor. (orcid)0000-0003-0777-4618
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-80889-0
Format: Electronic Resources
Availability Online Library~1

Embedded software system testing : automatic testing solution based on formal method

2026-03-22T08:34:54Z

Author Yin, Yongfeng, 1978- author. Jiang, Bo, 1981- author. Su, Qingran, translator. Qiu, Ruinan, translator. Guo, Yang (Translator), translator.
Preferred Shelf Number TK7895 .E42
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003390923 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Development and Testing of Vehicle Software and its Influence on Sustainable Transport

2026-03-22T08:34:54Z

Author Colmenar-Santos, Antonio. editor. Borge-Diez, David. editor. Ortega-Cabezas, Pedro-Miguel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-47630-3
Format: Electronic Resources
Availability Online Library~1

Software Testing Automation Testability Evaluation, Refactoring, Test Data Generation and Fault Localization

2026-03-22T08:34:54Z

Author Parsa, Saeed. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-22057-9
Format: Electronic Resources
Availability Online Library~1

Testing Software and Systems 35th IFIP WG 6.1 International Conference, ICTSS 2023, Bergamo, Italy, September 18-20, 2023, Proceedings

2026-03-22T08:34:54Z

Author Bonfanti, Silvia. editor. Gargantini, Angelo. editor. Salvaneschi, Paolo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-43240-8
Format: Electronic Resources
Availability Online Library~1

Beginning Azure DevOps : planning, building, testing, and releasing software applications on Azure

2026-03-22T08:34:54Z

Author Nwodo, Adora.
Preferred Shelf Number QA76.58 .N86 2023
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781394320639
Format: Electronic Resources
Availability Online Library~1

Testing Software and Systems 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15–17, 2019, Proceedings

2026-03-22T08:34:54Z

Author Gaston, Christophe. editor. (orcid)0000-0001-6865-5108 Kosmatov, Nikolai. editor. (orcid)0000-0003-1557-2813 Le Gall, Pascale. editor. (orcid)0000-0002-8955-6835 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-31280-0
Format: Electronic Resources
Availability Online Library~1

Software Analysis, Testing, and Evolution 8th International Conference, SATE 2018, Shenzhen, Guangdong, China, November 23–24, 2018, Proceedings

2026-03-22T08:34:54Z

Author Bu, Lei. editor. (orcid)0000-0003-0517-7801 Xiong, Yingfei. editor. (orcid)0000-0001-8991-747X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-04272-1
Format: Electronic Resources
Availability Online Library~1

Testing Software and Systems 30th IFIP WG 6.1 International Conference, ICTSS 2018, Cádiz, Spain, October 1-3, 2018, Proceedings

2026-03-22T08:34:54Z

Author Medina-Bulo, Inmaculada. editor. Merayo, Mercedes G. editor. Hierons, Robert. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-99927-2
Format: Electronic Resources
Availability Online Library~1

How to Reduce the Cost of Software Testing

2026-03-22T08:34:54Z

Author Heusser, Matthew, editor. Kulkarni, Govind, editor. Taylor and Francis.
Preferred Shelf Number QA76.76 .T48
Electronic Access Click here to view
Format: Electronic Resources
Availability Online Library~1

Hardware and Software: Verification and Testing 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings

2026-03-22T08:34:54Z

Author Strichman, Ofer. editor. Tzoref-Brill, Rachel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-70389-3
Format: Electronic Resources
Availability Online Library~1

Testing Software and Systems 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings

2026-03-22T08:34:54Z

Author Yevtushenko, Nina. editor. Cavalli, Ana Rosa. editor. Yenigün, Hüsnü. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-67549-7
Format: Electronic Resources
Availability Online Library~1

Hardware and Software: Verification and Testing 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings

2026-03-22T08:34:54Z

Author Bloem, Roderick. editor. Arbel, Eli. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-49052-6
Format: Electronic Resources
Availability Online Library~1

Testing Software and Systems 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings

2026-03-22T08:34:54Z

Author Wotawa, Franz. editor. Nica, Mihai. editor. Kushik, Natalia. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-47443-4
Format: Electronic Resources
Availability Online Library~1

Hardware and Software: Verification and Testing 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings

2026-03-22T08:34:54Z

Author Piterman, Nir. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-26287-1
Format: Electronic Resources
Availability Online Library~1

Testing Software and Systems 27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015, Proceedings

2026-03-22T08:34:54Z

Author El-Fakih, Khaled. editor. Barlas, Gerassimos. editor. Yevtushenko, Nina. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-25945-1
Format: Electronic Resources
Availability Online Library~1

Foundations of software and system performance engineering: process, performance modeling, requirements, testing, scalability, and practice

2026-03-22T08:34:54Z

Author Bondi, André B., author.
Preferred Shelf Number QA76.9.E94 B66 2015
Format: Books
Availability Beytepe Library~1

Hardware and Software: Verification and Testing 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, Proceedings

2026-03-22T08:34:54Z

Author Yahav, Eran. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-13338-6
Format: Electronic Resources
Availability Online Library~1

Testing Software and Systems 26th IFIP WG 6.1 International Conference, ICTSS 2014, Madrid, Spain, September 23-25, 2014. Proceedings

2026-03-22T08:34:54Z

Author Merayo, Mercedes G. editor. Montes de Oca, Edgardo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-44857-1
Format: Electronic Resources
Availability Online Library~1

Hardware and Software: Verification and Testing 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers

2026-03-22T08:34:54Z

Author Biere, Armin. editor. Nahir, Amir. editor. Vos, Tanja. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334820.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39611-3
Format: Electronic Resources
Availability Online Library~1

Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings

2026-03-22T08:34:54Z

Author Bertacco, Valeria. editor. Legay, Axel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332962.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-03077-7
Format: Electronic Resources
Availability Online Library~1

Testing Software and Systems 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings

2026-03-22T08:34:54Z

Author Yenigün, Hüsnü. editor. Yilmaz, Cemal. editor. Ulrich, Andreas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335141.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41707-8
Format: Electronic Resources
Availability Online Library~1

Software Testing in the Cloud Migration and Execution

2026-03-22T08:34:54Z

Author Tilley, Scott. author. Parveen, Tauhida. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-32122-1
Format: Electronic Resources
Availability Online Library~1

Hardware and Software: Verification and Testing 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers

2026-03-22T08:34:54Z

Author Eder, Kerstin. editor. Lourenço, João. editor. Shehory, Onn. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-34188-5
Format: Electronic Resources
Availability Online Library~1

Testing Software and Systems 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012. Proceedings

2026-03-22T08:34:54Z

Author Nielsen, Brian. editor. Weise, Carsten. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-34691-0
Format: Electronic Resources
Availability Online Library~1

Sonar code quality testing essentials achieve higher levels of software quality with sonar

2026-03-22T08:34:54Z

Author Arapidis, Charalampos S.
Preferred Shelf Number ONLINE
Electronic Access EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=481277
Format: Electronic Resources
Availability Online Library~1

Secure and resilient software : requirements, test cases, and testing methods

2026-03-22T08:34:54Z

Author Merkow, Mark S., author. Raghavan, Lakshmikanth.
Preferred Shelf Number QA76.76 .T48 M47 2012
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Hardware and Software: Verification and Testing 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers

2026-03-22T08:34:54Z

Author Barner, Sharon. editor. Harris, Ian. editor. Kroening, Daniel. editor. Raz, Orna. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-19583-9
Format: Electronic Resources
Availability Online Library~1

Hardware and Software: Verification and Testing 5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers

2026-03-22T08:34:54Z

Author Namjoshi, Kedar. editor. Zeller, Andreas. editor. Ziv, Avi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-19237-1
Format: Electronic Resources
Availability Online Library~1

Testing Software and Systems 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011. Proceedings

2026-03-22T08:34:54Z

Author Wolff, Burkhart. editor. Zaïdi, Fatiha. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-24580-0
Format: Electronic Resources
Availability Online Library~1

Testing Software and Systems 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010. Proceedings

2026-03-22T08:34:54Z

Author Petrenko, Alexandre. editor. Simão, Adenilso. editor. Maldonado, José Carlos. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-16573-3
Format: Electronic Resources
Availability Online Library~1

Testing Techniques in Software Engineering Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures

2026-03-22T08:34:54Z

Author Borba, Paulo. editor. Cavalcanti, Ana. editor. Sampaio, Augusto. editor. Woodcook, Jim. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-14335-9
Format: Electronic Resources
Availability Online Library~1

Hardware and Software: Verification and Testing 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008. Proceedings

2026-03-22T08:34:54Z

Author Chockler, Hana. editor. Hu, Alan J. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-01702-5
Format: Electronic Resources
Availability Online Library~1

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. Proceedings

2026-03-22T08:34:54Z

Author Núñez, Manuel. editor. Baker, Paul. editor. Merayo, Mercedes G. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-05031-2
Format: Electronic Resources
Availability Online Library~1

The Testing Network An Integral Approach to Test Activities in Large Software Projects

2026-03-22T08:34:54Z

Author Henry, Pierre. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-78504-0
Format: Electronic Resources
Availability Online Library~1

Foundations of software testing : fundamental algorithms and techniques : an undergraduate and graduate text, a reference for the practicing software engineer

2026-03-22T08:34:54Z

Author Mathur, Aditya P.
Preferred Shelf Number QA76.76.T48 M38 2008
Format: Books
Availability Beytepe Library~1

Testing of Software and Communicating Systems 20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008 8th International Workshop, FATES 2008 Tokyo, Japan, June 10-13, 2008 Proceedings

2026-03-22T08:34:54Z

Author Suzuki, Kenji. editor. Higashino, Teruo. editor. Ulrich, Andreas. editor. Hasegawa, Toru. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-68524-1
Format: Electronic Resources
Availability Online Library~1

Hardware and Software: Verification and Testing Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007. Proceedings

2026-03-22T08:34:54Z

Author Yorav, Karen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-77966-7
Format: Electronic Resources
Availability Online Library~1

Software testing and quality assurance theory and practice

2026-03-22T08:34:54Z

Author Naik, Kshirasagar, 1959- Tripathy, Priyadarshi, 1958- Wiley InterScience (Online service)
Preferred Shelf Number ONLINE
Electronic Access John Wiley http://dx.doi.org/10.1002/9780470382844
Format: Electronic Resources
Availability Online Library~1

Patterns for performance and operability : building and testing enterprise software

2026-03-22T08:34:54Z

Author Ford, Chris (Christopher B.)
Preferred Shelf Number QA76.76 .D47 P3768 2008
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Hardware and Software, Verification and Testing Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006. Revised Selected Papers

2026-03-22T08:34:54Z

Author Bin, Eyal. editor. Ziv, Avi. editor. Ur, Shmuel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-70889-6
Format: Electronic Resources
Availability Online Library~1

Testing of Software and Communicating Systems 19th IFIP TC6/WG6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Tallinn, Estonia, June 26-29, 2007. Proceedings

2026-03-22T08:34:54Z

Author Petrenko, Alexandre. editor. Veanes, Margus. editor. Tretmans, Jan. editor. Grieskamp, Wolfgang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73066-8
Format: Electronic Resources
Availability Online Library~1

Software testing testing across the entire software development life cycle

2026-03-22T08:34:54Z

Author Everett, Gerald D., 1943- McLeod, Raymond. Wiley InterScience (Online service)
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/servlet/opac?bknumber=5201507
Format: Electronic Resources
Availability Online Library~1

Formal Approaches to Software Testing 5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers

2026-03-22T08:34:54Z

Author Grieskamp, Wolfgang. editor. Weise, Carsten. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11759744
Format: Electronic Resources
Availability Online Library~1

Formal Approaches to Software Testing and Runtime Verification First Combined International Workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers

2026-03-22T08:34:54Z

Author Havelund, Klaus. editor. Núñez, Manuel. editor. Roşu, Grigore. editor. Wolff, Burkhart. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11940197
Format: Electronic Resources
Availability Online Library~1

Hardware and Software, Verification and Testing First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers

2026-03-22T08:34:54Z

Author Ur, Shmuel. editor. Bin, Eyal. editor. Wolfsthal, Yaron. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11678779
Format: Electronic Resources
Availability Online Library~1

Formal Approaches to Software Testing 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers

2026-03-22T08:34:54Z

Author Grabowski, Jens. editor. Nielsen, Brian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b106767
Format: Electronic Resources
Availability Online Library~1

Software quality engineering Testing, quality assurance, and quantifiable improvement

2026-03-22T08:34:54Z

Author Tian, Jeff. John Wiley & Sons.
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/servlet/opac?bknumber=5988897
Format: Electronic Resources
Availability Online Library~1

How to break software : a practical guide to testing : an example-rich explanation of how to effectively test software that anyone can understand and use immediately

2026-03-22T08:34:54Z

Author Whittaker, James A., 1965-
Preferred Shelf Number QA 76.76.T48 W47 2002
Format: Books
Availability Beytepe Library~2

Yüksek düzeyli mimari için bir yazılım izleme ve sınama aracı = A software monitoring and testing tool for the high level architecture

2026-03-22T08:34:54Z

Author Sütbaş, Rukiye.
Preferred Shelf Number TEZ/7138 S7939 2005
Format: Books
Availability Beytepe Library~1

How to break software security : effective technigues for security testing

2026-03-22T08:34:54Z

Author Whittaker, James A., 1965- Thomson, Herbert H., ort. yaz.
Preferred Shelf Number QA 76.9.A25 W48 2004
Format: Books
Availability Beytepe Library~2

Effective software test automation : developing an automated software testing tool

2026-03-22T08:34:54Z

Author Li, Kanglin, 1963- Wu, Mengqi, ort. yaz.
Preferred Shelf Number QA 76.76.T48 L532 2004
Format: Books
Availability Beytepe Library~1

Testing and quality assurance for component-based software

2026-03-22T08:34:54Z

Author Gao, Jerry Zeyu. Tsao, H.-S. Jacob. Wu, Ye.
Preferred Shelf Number QA76.76.Q35 G38 2003
Format: Books
Availability Beytepe Library~1

Lessons learned in software testing : a context-driven approach

2026-03-22T08:34:54Z

Author Kaner, Cem. Bach, James. ort. yaz. Pettichord, Bret. ort. yaz.
Preferred Shelf Number QA 76.76.T48 K34 2002
Format: Books
Availability Beytepe Library~2

Managing the testing process : practical tools and techniques for managing hardware and software testing

2026-03-22T08:34:54Z

Author Black, Rex.
Preferred Shelf Number QA 76.76.T48 B553 2002
Format: Books
Availability Beytepe Library~1

Effective software testing : 50 specific ways to improve your testing

2026-03-22T08:34:54Z

Author Dustin, Elfriede.
Preferred Shelf Number QA 76.76.T48 D873 2002
Format: Books
Availability Beytepe Library~1

Testing IT : an off-the-shelf software testing process

2026-03-22T08:34:54Z

Author Watkins, John (John Edward)
Preferred Shelf Number QA 76.76.T48 W38 2001
Format: Books
Availability Beytepe Library~1

PDCA/Test : a quality tool framework for software testing

2026-03-22T08:34:54Z

Author Lewis, William E.
Preferred Shelf Number QA76.76 .T48 L49 1999
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9780429131769 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Information security management handbook

2026-03-22T08:34:54Z

Author Tipton, Harold F. Nozaki, Micki Krause.
Preferred Shelf Number QA76.9 .A25 I54165 2007
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Quantum computing models for cybersecurity and wireless communications

2026-03-22T08:34:54Z

Author Kumar, Budati Anil, edited. Kumar, Singamaneni Kranthi, edited. Li, Xingwang (Computer scientist), edited.
Preferred Shelf Number QA76.9 .A25 Q36 2025
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781394271429
Format: Electronic Resources
Availability Online Library~1

Model based system engineering : theoretical foundations

2026-03-22T08:34:54Z

Author Koudri, Ali, author.
Preferred Shelf Number TA168
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781394345106
Format: Electronic Resources
Availability Online Library~1

Method validation in pharmaceutical analysis : a guide to best practice

2026-03-22T08:34:54Z

Author Ermer, Joachim, editor. Nethercote, Phil, editor.
Preferred Shelf Number RS187
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9783527831708
Format: Electronic Resources
Availability Online Library~1

Boosting Software Development Using Machine Learning

2026-03-22T08:34:54Z

Author Benala, Tirimula Rao. editor. Dehuri, Satchidananda. editor. Mall, Rajib. editor. Favorskaya, Margarita N. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-88188-6
Format: Electronic Resources
Availability Online Library~1

Research Perspectives on Software Engineering and Systems Design Proceedings of 8th Computational Methods in Systems and Software 2024, Volume 5

2026-03-22T08:34:54Z

Author Silhavy, Radek. editor. Silhavy, Petr. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-96775-7
Format: Electronic Resources
Availability Online Library~1

Artificial Intelligence for System Oriented Design Proceedings of 8th Computational Methods in Systems and Software 2024, Volume 1

2026-03-22T08:34:54Z

Author Silhavy, Radek. editor. Silhavy, Petr. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-96798-6
Format: Electronic Resources
Availability Online Library~1

Alternating Current Field Measurement Technique for Detection and Measurement of Cracks in Structures

2026-03-22T08:34:54Z

Author Li, Wei. author. Yuan, Xin'an. author. Zhao, Jianming. author. Yin, Xiaokang. author. Li, Xiao. author.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-97-7255-1
Format: Electronic Resources
Availability Online Library~1

A Concise Introduction to Software Engineering With Open Source and GenAI

2026-03-22T08:34:54Z

Author Jalote, Pankaj. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-74318-4
Format: Electronic Resources
Availability Online Library~1

Software Fault Prevention, Verification, and Validation First International Symposium, SFPVV 2024, Hiroshima, Japan, December 2-3, 2024, Proceedings

2026-03-22T08:34:54Z

Author Liu, Shaoying. editor. (orcid)0000-0002-6748-5052 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-1621-3
Format: Electronic Resources
Availability Online Library~1

Engineering Trustworthy Software Systems 6th International School, SETSS 2024, Chongqing, China, April 14-21, 2024, Tutorial Lectures

2026-03-22T08:34:54Z

Author Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140 Gomes, Cláudio. editor. (orcid)0000-0003-2692-9742 Liu, Zhiming. editor. (orcid)0000-0001-9771-3071 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-4656-2
Format: Electronic Resources
Availability Online Library~1

Balancing Software Innovation and Regulatory Compliance 17th International Conference on Software Quality, SWQD 2025, Munich, Germany, May 20-22, 2025, Proceedings

2026-03-22T08:34:54Z

Author Fischbach, Jannik. editor. (orcid)0000-0002-4361-6118 Ramler, Rudolf. editor. (orcid)0000-0001-9903-6107 Winkler, Dietmar. editor. (orcid)0000-0002-4743-3124 Bergsmann, Johannes. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-89277-6
Format: Electronic Resources
Availability Online Library~1

Fundamental Approaches to Software Engineering 28th International Conference, FASE 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings

2026-03-22T08:34:54Z

Author Boronat, Artur. editor. (orcid)0000-0003-2024-1736 Fraser, Gordon. editor. (orcid)0000-0002-4364-6595 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-90900-9
Format: Electronic Resources
Availability Online Library~1

Microsoft 365 Copilot at work : using AI to get the most from your business data and favorite apps

2026-03-22T08:34:54Z

Author Van Laan, Sandar, author. Matfess, Jared, author. Flock, Thomas, author. Reid, Ann, author.
Preferred Shelf Number QA76.76 .C52 V36 2025
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781394319756
Format: Electronic Resources
Availability Online Library~1

Open RAN : technology and ecosystem

2026-03-22T08:34:54Z

Author Yanover, Vladimir, author.
Preferred Shelf Number TK5103.2 .Y36 2025
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781394241170
Format: Electronic Resources
Availability Online Library~1

Alice and Bob learn secure coding

2026-03-22T08:34:54Z

Author Janca, Tanya. author.
Preferred Shelf Number QA76.76 .D47
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781394277179
Format: Electronic Resources
Availability Online Library~1

Microsoft Copilot Studio quick start : learn to create and deploy personalized AI solutions

2026-03-22T08:34:54Z

Author Matfess, Jared, author.
Preferred Shelf Number Q335 .M38 2025
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781394352418
Format: Electronic Resources
Availability Online Library~1

Controller design for industrial applications

2026-03-22T08:34:54Z

Author Mondal, Arindam, editor. Ganguli, Souvik, editor.
Preferred Shelf Number TJ223 .M53 C66 2025
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781394287109
Format: Electronic Resources
Availability Online Library~1

Machine and deep learning using MATLAB : algorithms and tools for scientists and engineers

2026-03-22T08:34:54Z

Author Al-Malah, Kamal I. M., author.
Preferred Shelf Number TA345.5 .M42 A46 2024
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781394209118
Format: Electronic Resources
Availability Online Library~1

Infrastructure robotics : methodologies, robotic systems and applications

2026-03-22T08:34:54Z

Author Liu, Dikai, editor.
Preferred Shelf Number TJ211 .I48144 2024
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781394162871
Format: Electronic Resources
Availability Online Library~1

Professional C++

2026-03-22T08:34:54Z

Author Gregoire, Marc (Software engineer), author.
Preferred Shelf Number QA76.73 .C153 G733 2024
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781394193202
Format: Electronic Resources
Availability Online Library~1

Digital convergence in antenna designs : applications for real-time solutions

2026-03-22T08:34:54Z

Author Srividya, P., editor.
Preferred Shelf Number TK7871.6 .D54 2024
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119879923
Format: Electronic Resources
Availability Online Library~1

Paleontological data analysis

2026-03-22T08:34:54Z

Author Hammer, Øyvind, 1968- author. Harper, D. A. T., author.
Preferred Shelf Number QE721.2 .D37
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119933960
Format: Electronic Resources
Availability Online Library~1

Biomedical devices and sensors

2026-03-22T08:34:54Z

Author Molimard, Jérôme, author.
Preferred Shelf Number R856 .M65 2024
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781394317172
Format: Electronic Resources
Availability Online Library~1

Quantification, validation and uncertainty in analytical sciences : an analyst's companion

2026-03-22T08:34:54Z

Author Feinberg, Max, author. Rudaz, Serge, author.
Preferred Shelf Number Q180.55 .Q36
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9783527845279
Format: Electronic Resources
Availability Online Library~1

Information Security, Privacy and Digital Forensics Select Proceedings of the International Conference, ICISPD 2022

2026-03-22T08:34:54Z

Author Patel, Sankita J. editor. Chaudhary, Naveen Kumar. editor. Gohil, Bhavesh N. editor. Iyengar, S. S. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-5091-1
Format: Electronic Resources
Availability Online Library~1

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 III

2026-03-22T08:34:54Z

Author Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-57256-2
Format: Electronic Resources
Availability Online Library~1

Metrics for Test Reporting Analysis and Reporting for Effective Test Management

2026-03-22T08:34:54Z

Author Witte, Frank. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-658-44006-0
Format: Electronic Resources
Availability Online Library~1

Product-Focused Software Process Improvement 24th International Conference, PROFES 2023, Dornbirn, Austria, December 10-13, 2023, Proceedings, Part I

2026-03-22T08:34:54Z

Author Kadgien, Regine. editor. Jedlitschka, Andreas. editor. Janes, Andrea. editor. Lenarduzzi, Valentina. editor. (orcid)0000-0003-0511-5133 Li, Xiaozhou. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-49266-2
Format: Electronic Resources
Availability Online Library~1

Product-Focused Software Process Improvement 24th International Conference, PROFES 2023, Dornbirn, Austria, December 10-13, 2023, Proceedings, Part II

2026-03-22T08:34:54Z

Author Kadgien, Regine. editor. Jedlitschka, Andreas. editor. Janes, Andrea. editor. Lenarduzzi, Valentina. editor. (orcid)0000-0003-0511-5133 Li, Xiaozhou. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-49269-3
Format: Electronic Resources
Availability Online Library~1

Accelerating Network Functions Using Reconfigurable Hardware Design and Validation of High Throughput and Low Latency Network Functions at the Access Edge

2026-03-22T08:34:54Z

Author Kundel, Ralf. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-52872-9
Format: Electronic Resources
Availability Online Library~1

Attacks, Defenses and Testing for Deep Learning

2026-03-22T08:34:54Z

Author Chen, Jinyin. author. (orcid)0000-0002-7153-2755 Zhang, Ximin. author. Zheng, Haibin. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-97-0425-5
Format: Electronic Resources
Availability Online Library~1

Agile-SOFL Agile Formal Engineering Method

2026-03-22T08:34:54Z

Author Liu, Shaoying. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-97-2285-3
Format: Electronic Resources
Availability Online Library~1

Guide to Software Verification with Frama-C Core Components, Usages, and Applications

2026-03-22T08:34:54Z

Author Kosmatov, Nikolai. editor. (orcid)0000-0003-1557-2813 Prevosto, Virgile. editor. Signoles, Julien. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-55608-1
Format: Electronic Resources
Availability Online Library~1

CyberSecurity in a DevOps Environment From Requirements to Monitoring

2026-03-22T08:34:54Z

Author Sadovykh, Andrey. editor. Truscan, Dragos. editor. Mallouli, Wissam. editor. Cavalli, Ana Rosa. editor. Seceleanu, Cristina. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-42212-6
Format: Electronic Resources
Availability Online Library~1

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 II

2026-03-22T08:34:54Z

Author Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-57249-4
Format: Electronic Resources
Availability Online Library~1

The French School of Programming

2026-03-22T08:34:54Z

Author Meyer, Bertrand. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-34518-0
Format: Electronic Resources
Availability Online Library~1

Learning Java A Test-Driven Approach

2026-03-22T08:34:54Z

Author Crotts, Joshua. author. (orcid)0000-0002-7513-5618 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-66638-4
Format: Electronic Resources
Availability Online Library~1

Experimentation in Software Engineering

2026-03-22T08:34:54Z

Author Wohlin, Claes. author. Runeson, Per. author. Höst, Martin. author. Ohlsson, Magnus C. author. Regnell, Björn. author.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-69306-3
Format: Electronic Resources
Availability Online Library~1

Formal Aspects of Component Software 20th International Conference, FACS 2024, Milan, Italy, September 9-10, 2024, Proceedings

2026-03-22T08:34:54Z

Author Marmsoler, Diego. editor. (orcid)0000-0003-2859-7673 Sun, Meng. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-71261-6
Format: Electronic Resources
Availability Online Library~1

Cybernetical intelligence : engineering cybernetics with machine intelligence

2026-03-22T08:34:54Z

Author Wong, Kelvin K. L., author.
Preferred Shelf Number Q325.5 .W637 2023
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781394217519
Format: Electronic Resources
Availability Online Library~1

ISTQB® Certified Tester Foundation Level A Self-Study Guide Syllabus v4.0

2026-03-22T08:34:54Z

Author Stapp, Lucjan. author. Roman, Adam. author. (orcid)0000-0002-1020-5128 Pilaeten, Michaël. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-42767-1
Format: Electronic Resources
Availability Online Library~1

Cloud-Native Application Architecture Microservice Development Best Practice

2026-03-22T08:34:54Z

Author Team, FreeWheel Biz-UI. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-19-9782-2
Format: Electronic Resources
Availability Online Library~1

Innovations in VLSI, Signal Processing and Computational Technologies Select Proceedings of the 2nd International Conference, WREC 2023

2026-03-22T08:34:54Z

Author Mehta, Gayatri. editor. Wickramasinghe, Nilmini. editor. Kakkar, Deepti. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-7077-3
Format: Electronic Resources
Availability Online Library~1

Reliability Engineering Technology of Digital Diagnosis and Treatment Equipment

2026-03-22T08:34:54Z

Author Li, Xiuqing. author. Gao, Jun. author. Li, Wen. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-5522-0
Format: Electronic Resources
Availability Online Library~1

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 I

2026-03-22T08:34:54Z

Author Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-57246-3
Format: Electronic Resources
Availability Online Library~1

Optimising the Software Development Process with Artificial Intelligence

2026-03-22T08:34:54Z

Author Romero, José Raúl. editor. Medina-Bulo, Inmaculada. editor. Chicano, Francisco. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-19-9948-2
Format: Electronic Resources
Availability Online Library~1

Software Engineering for Games in Serious Contexts Theories, Methods, Tools, and Experiences

2026-03-22T08:34:54Z

Author Cooper, Kendra M. L. editor. Bucchiarone, Antonio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-33338-5
Format: Electronic Resources
Availability Online Library~1

Fundamental Approaches to Software Engineering 26th International Conference, FASE 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings

2026-03-22T08:34:54Z

Author Lambers, Leen. editor. Uchitel, Sebastián. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-30826-0
Format: Electronic Resources
Availability Online Library~1

NASA Formal Methods 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings

2026-03-22T08:34:54Z

Author Rozier, Kristin Yvonne. editor. Chaudhuri, Swarat. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-33170-1
Format: Electronic Resources
Availability Online Library~1

Applicable Formal Methods for Safe Industrial Products Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday

2026-03-22T08:34:54Z

Author Haxthausen, Anne E. editor. Huang, Wen-ling. editor. Roggenbach, Markus. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-40132-9
Format: Electronic Resources
Availability Online Library~1

Software Architecture. ECSA 2022 Tracks and Workshops Prague, Czech Republic, September 19-23, 2022, Revised Selected Papers

2026-03-22T08:34:54Z

Author Batista, Thais. editor. Bureš, Tomáš. editor. Raibulet, Claudia. editor. Muccini, Henry. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-36889-9
Format: Electronic Resources
Availability Online Library~1

Computer Safety, Reliability, and Security 42nd International Conference, SAFECOMP 2023, Toulouse, France, September 20-22, 2023, Proceedings

2026-03-22T08:34:54Z

Author Guiochet, Jérémie. editor. Tonetta, Stefano. editor. Bitsch, Friedemann. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-40923-3
Format: Electronic Resources
Availability Online Library~1

High Performance Computing ISC High Performance 2023 International Workshops, Hamburg, Germany, May 21-25, 2023, Revised Selected Papers

2026-03-22T08:34:54Z

Author Bienz, Amanda. editor. Weiland, Michèle. editor. Baboulin, Marc. editor. Kruse, Carola. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-40843-4
Format: Electronic Resources
Availability Online Library~1

Teaching Biostatistics in Medicine and Allied Health Sciences

2026-03-22T08:34:54Z

Author Farnell, Damian J. J. editor. Medeiros Mirra, Renata. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-26010-0
Format: Electronic Resources
Availability Online Library~1

Global Surgery How to Work and Teach in Low- and Middle-Income Countries

2026-03-22T08:34:54Z

Author Hardy, Mark A. editor. Hochman, Beth R. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-28127-3
Format: Electronic Resources
Availability Online Library~1

Agile Methods 11th Brazilian Workshop, WBMA 2021, Virtual Event, October 8-10, 2021, Revised Selected Papers

2026-03-22T08:34:54Z

Author Rocha, Carla. editor. Santana Júnior, Celio. editor. De Sá, Fernando. editor. Silva da Silva, Tiago. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-25648-6
Format: Electronic Resources
Availability Online Library~1

Mobile Wireless Middleware, Operating Systems and Applications 11th EAI International Conference, MOBILWARE 2022, Virtual Event, December 28-29, 2022, Proceedings

2026-03-22T08:34:54Z

Author Li, Ruidong. editor. Jia, Min. editor. Taleb, Tarik. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-34497-8
Format: Electronic Resources
Availability Online Library~1

Artificial Intelligence in Education. Posters and Late Breaking Results, Workshops and Tutorials, Industry and Innovation Tracks, Practitioners, Doctoral Consortium and Blue Sky 24th International Conference, AIED 2023, Tokyo, Japan, July 3-7, 2023, Proceedings

2026-03-22T08:34:54Z

Author Wang, Ning. editor. Rebolledo-Mendez, Genaro. editor. Dimitrova, Vania. editor. Matsuda, Noboru. editor. Santos, Olga C. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-36336-8
Format: Electronic Resources
Availability Online Library~1

Software Quality: Higher Software Quality through Zero Waste Development 15th International Conference, SWQD 2023, Munich, Germany, May 23-25, 2023, Proceedings

2026-03-22T08:34:54Z

Author Mendez, Daniel. editor. Winkler, Dietmar. editor. Kross, Johannes. editor. Biffl, Stefan. editor. Bergsmann, Johannes. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-31488-9
Format: Electronic Resources
Availability Online Library~1

Embracing Machines and Humanity Through Cognitive Computing and IoT

2026-03-22T08:34:54Z

Author Usman, Mohammed. editor. Gao, Xiao-Zhi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-19-4522-9
Format: Electronic Resources
Availability Online Library~1

Developments and Advances in Defense and Security Proceedings of MICRADS 2022

2026-03-22T08:34:54Z

Author Rocha, Álvaro. editor. Fajardo-Toro, Carlos Hernan. editor. Riola, José María. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-19-7689-6
Format: Electronic Resources
Availability Online Library~1

Proceedings of 2nd International Conference on Artificial Intelligence, Robotics, and Communication ICAIRC 2022

2026-03-22T08:34:54Z

Author Yadav, Sanjay. editor. Kumar, Harish. editor. Kankar, Pavan Kumar. editor. Dai, Wanyang. editor. Huang, Fenghua. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-4554-2
Format: Electronic Resources
Availability Online Library~1

Computer Science and Education 17th International Conference, ICCSE 2022, Ningbo, China, August 18-21, 2022, Revised Selected Papers, Part III

2026-03-22T08:34:54Z

Author Hong, Wenxing. editor. Weng, Yang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-2449-3
Format: Electronic Resources
Availability Online Library~1

Application of Big Data, Blockchain, and Internet of Things for Education Informatization Second EAI International Conference, BigIoT-EDU 2022, Virtual Event, July 29-31, 2022, Proceedings, Part II

2026-03-22T08:34:54Z

Author Jan, Mian Ahmad. editor. Khan, Fazlullah. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-23947-2
Format: Electronic Resources
Availability Online Library~1

Research Challenges in Information Science: Information Science and the Connected World 17th International Conference, RCIS 2023, Corfu, Greece, May 23-26, 2023, Proceedings

2026-03-22T08:34:54Z

Author Nurcan, Selmin. editor. Opdahl, Andreas L. editor. Mouratidis, Haralambos. editor. Tsohou, Aggeliki. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-33080-3
Format: Electronic Resources
Availability Online Library~1

Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part II

2026-03-22T08:34:54Z

Author Sankaranarayanan, Sriram. editor. Sharygina, Natasha. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-30820-8
Format: Electronic Resources
Availability Online Library~1

The 2021 International Conference on Smart Technologies and Systems for Internet of Things STSIoT2021

2026-03-22T08:34:54Z

Author Ahmad, Ishfaq. editor. Ye, Jun. editor. Liu, Weidong. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-19-3632-6
Format: Electronic Resources
Availability Online Library~1

Uncertainty, Constraints, and Decision Making

2026-03-22T08:34:54Z

Author Ceberio, Martine. editor. Kreinovich, Vladik. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-36394-8
Format: Electronic Resources
Availability Online Library~1

Beginning software engineering

2026-03-22T08:34:54Z

Author Stephens, Rod, author.
Preferred Shelf Number QA76.758 .S74 2023
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781394320592
Format: Electronic Resources
Availability Online Library~1

Software Engineering and Formal Methods 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings

2026-03-22T08:34:54Z

Author Ferreira, Carla. editor. Willemse, Tim A. C. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-47115-5
Format: Electronic Resources
Availability Online Library~1

Concept Building in Fisheries Data Analysis

2026-03-22T08:34:54Z

Author Das, Basant Kumar. author. Jha, Dharm Nath. author. Sahu, Sanjeev Kumar. author. Yadav, Anil Kumar. author. Raman, Rohan Kumar. author.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-19-4411-6
Format: Electronic Resources
Availability Online Library~1

Platform Based Design and Immersive Technologies for Manufacturing and Assembly in Offsite Construction Applying Extended Reality and Game Applications to PDfMA

2026-03-22T08:34:54Z

Author Potseluyko, Lilia. author. Pour Rahimian, Farzad. author. Dawood, Nashwan. author. (orcid)0000-0002-4873-7576 Elghaish, Faris. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-32993-7
Format: Electronic Resources
Availability Online Library~1

Agile Software Development : trends, challenges and applications

2026-03-22T08:34:54Z

Author Hooda, Susheela, editor. Sood, Vandana Mohindru, editor. Singh, Yashwant, editor. Dalal, Sandeep, editor. Sood, Manu, editor.
Preferred Shelf Number QA76.76 .D47 A55 2023
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119896838
Format: Electronic Resources
Availability Online Library~1

Practical partial discharge measurement on electrical equipment

2026-03-22T08:34:54Z

Author Stone, Greg C., author. Cavallini, Andrea, 1963- author. Behrmann, Glenn, author. Serafino, Claudio, author.
Preferred Shelf Number QC701 .S76 2023
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119833345
Format: Electronic Resources
Availability Online Library~1

Open RAN : the definitive guide

2026-03-22T08:34:54Z

Author Wong, Ian Chan, 1978- editor. Chopra, Aditya (Communication systems engineer), editor. Rajagopal, Sridhar, editor. Jana, Rittwik, editor.
Preferred Shelf Number TK5103.2 .O625 2023
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119886020
Format: Electronic Resources
Availability Online Library~1

Yazılım test rehberi

2026-03-22T08:34:54Z

Author Bozkurt, Asiye Çüçen, Adem, author Adıgüzel, Ahmet, author
Preferred Shelf Number QA76.76.T48 B69 2022
Format: Books
Availability Beytepe Library~1

Pharmaceutical dissolution testing, bioavailability, and bioequivalence : science, applications and beyond

2026-03-22T08:34:54Z

Author Banakar, Umesh V., 1956- author.
Preferred Shelf Number RS189
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119634645
Format: Electronic Resources
Availability Online Library~1

Advanced Testing of Systems-Of-Systems 1.

2026-03-22T08:34:54Z

Author Homes, Bernard.
Preferred Shelf Number QA76.76 .T48 H6729 2022
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781394188451
Format: Electronic Resources
Availability Online Library~1

Cyberphysical smart cities infrastructures : optimal operation and intelligent decision making

2026-03-22T08:34:54Z

Author Amini, M. Hadi, editor. Shafie-khah, Miadreza, editor.
Preferred Shelf Number TD159.4 .C93 2022
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119748342
Format: Electronic Resources
Availability Online Library~1

Design of experiments for reliability achievement

2026-03-22T08:34:54Z

Author Rigdon, Steven E., 1955- author. Pan, Rong (Professor of reliability engineering), author. Montgomery, Douglas C., author. Freeman, Laura June, author.
Preferred Shelf Number TS173 .R54 2022
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119237754
Format: Electronic Resources
Availability Online Library~1

Advanced testing of systems-of-systems. 2, Practical aspects

2026-03-22T08:34:54Z

Author Homès, Bernard, author.
Preferred Shelf Number QA76.76 .T48
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781394188482
Format: Electronic Resources
Availability Online Library~1

Building secure cars : assuring the automotive software development lifecycle

2026-03-22T08:34:54Z

Author Oka, Dennis Kengo, author.
Preferred Shelf Number TL272.53 .O42 2021
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119710783
Format: Electronic Resources
Availability Online Library~1

Digital transformation of the laboratory : a practical guide to the connected lab

2026-03-22T08:34:54Z

Author Zupancic, Klemen, editor. Pavlek, Tea, editor. Erjavec, Jana, editor.
Preferred Shelf Number QD76 .D54 2021
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9783527825042
Format: Electronic Resources
Availability Online Library~1

Wireless communication signals : a laboratory-based approach

2026-03-22T08:34:54Z

Author Arslan, Hüseyin, 1968- author.
Preferred Shelf Number TK5105 .A76 2021
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119764441
Format: Electronic Resources
Availability Online Library~1

Supercharge, invasion and mudcake growth in downhole applications

2026-03-22T08:34:54Z

Author Lu, Tao, author. Qin, Xiaofei, author. Feng, Yongren, author. Zhou, Yanmin, author. Chin, Wilson C., author.
Preferred Shelf Number TN871.35
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119283409
Format: Electronic Resources
Availability Online Library~1

Systems engineering in the fourth industrial revolution : big data, novel technologies, and modern systems engineering

2026-03-22T08:34:54Z

Author Kenett, Ron, editor. Swarz, Robert S., editor. Zonnenshain, Avigdor, editor.
Preferred Shelf Number TA168 .S8727 2020
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119513957
Format: Electronic Resources
Availability Online Library~1

Hands on hacking

2026-03-22T08:34:54Z

Author Hickey, Matthew (Computer security expert), author. Arcuri, Jennifer, author.
Preferred Shelf Number QA76.9 .A25 H53 2020 EB
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119561507
Format: Electronic Resources
Availability Online Library~1

Hacking connected cars : tactics, techniques, and procedures

2026-03-22T08:34:54Z

Author Knight, Alissa, author.
Preferred Shelf Number TL152.8 .K65 2020
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119491774
Format: Electronic Resources
Availability Online Library~1

The official (ISC)² CISSP CBK reference

2026-03-22T08:34:54Z

Author Warsinske, John, author. Graff, Mark, contributor. Henry, Kevin, contributor. Hoover, Christopher, contributor. Malisow, Ben, contributor.
Preferred Shelf Number TK5105.59
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119423300
Format: Electronic Resources
Availability Online Library~1

The Electrical Engineering Handbook - Six Volume Set

2026-03-22T08:34:54Z

Author Dorf, Richard C., editor. Taylor and Francis.
Preferred Shelf Number R857 .B54
Electronic Access Click here to view.
Format: Electronic Resources
Availability Online Library~1

Improving product reliability and software quality : strategies, tools, process and implementation

2026-03-22T08:34:54Z

Author Levin, Mark, 1959- author. Kalal, Ted T., author. Rodin, Jonathan, 1957- author.
Preferred Shelf Number TS173 .L48 2019
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119179429
Format: Electronic Resources
Availability Online Library~1

Testing statistical assumptions in research

2026-03-22T08:34:54Z

Author Verma, J. P., author. Abdel-Salam, Abdel-Salam G., author.
Preferred Shelf Number QA276 .A2
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119528388
Format: Electronic Resources
Availability Online Library~1

Testing Complex and Embedded Systems

2026-03-22T08:34:54Z

Author Pries, Kim H., author. Quigley, Jon M., author. Taylor and Francis.
Preferred Shelf Number TK7895 .E42
Electronic Access Click here to view
Format: Electronic Resources
Availability Online Library~1

Software technology : 10 years of innovation in IEEE Computer

2026-03-22T08:34:54Z

Author Hinchey, Michael G. (Michael Gerard), 1969- editor.
Preferred Shelf Number QA76.758
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119174240
Format: Electronic Resources
Availability Online Library~1

Design for safety

2026-03-22T08:34:54Z

Author Gullo, Louis J., editor. Dixon, Jack, 1948- editor.
Preferred Shelf Number TA169.7
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781118974339
Format: Electronic Resources
Availability Online Library~1

(ISC)² CISSP certified information systems security professional official study guide

2026-03-22T08:34:54Z

Author Chapple, Mike, author. Stewart, James Michael, author. Gibson, Darril, author.
Preferred Shelf Number QA76.3 .C4255 2018
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119549567
Format: Electronic Resources
Availability Online Library~1

The Wiley handbook of psychometric testing : a multidisciplinary reference on survey, scale and test development

2026-03-22T08:34:54Z

Author Irwing, Paul, editor.
Preferred Shelf Number BF39 .W55 2018
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781118489772
Format: Electronic Resources
Availability Online Library~1

Cloud computing and virtualization

2026-03-22T08:34:54Z

Author Le, Dac-Nhuong, 1983- editor. Kumar, Raghvendra, 1987- editor. Nguyen, Nhu Gia, editor. Chatterjee, Jyotir Moy, editor.
Preferred Shelf Number QA76.9 .V5
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119488149
Format: Electronic Resources
Availability Online Library~1

Professional C++

2026-03-22T08:34:54Z

Author Gregoire, Marc (Software engineer), author.
Preferred Shelf Number QA76.73 .C153 G733 2018
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119421276
Format: Electronic Resources
Availability Online Library~1

Software quality : concepts and practice

2026-03-22T08:34:54Z

Author Galin, Daniel, author.
Preferred Shelf Number QA76.76 .Q35 G35 2018 EB
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119134527
Format: Electronic Resources
Availability Online Library~1

Software Test Attacks to Break Mobile and Embedded Devices.

2026-03-22T08:34:54Z

Author Hagar, Jon Duncan, author. CRC Press LLC.
Preferred Shelf Number QA76.9 .A25 H343 2017
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9780429071911 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Computer vision and imaging in intelligent transportation systems

2026-03-22T08:34:54Z

Author Loce, Robert P., editor. Bala, Raja, editor. Trivedi, Mohan M., editor.
Preferred Shelf Number TE228.3
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781118971666
Format: Electronic Resources
Availability Online Library~1

Hacking the hacker : learn from the experts who take down hackers

2026-03-22T08:34:54Z

Author Grimes, Roger A., author.
Preferred Shelf Number QA76.9 .A25
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119396260
Format: Electronic Resources
Availability Online Library~1

Artificial neural network for software reliability prediction

2026-03-22T08:34:54Z

Author Bisi, Manjubala, author. Goyal, Neeraj Kumar, author.
Preferred Shelf Number QA76.87
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119223931
Format: Electronic Resources
Availability Online Library~1

Formal Aspects of Component Software 13th International Conference, FACS 2016, Besançon, France, October 19-21, 2016, Revised Selected Papers

2026-03-22T08:34:54Z

Author Kouchnarenko, Olga. editor. Khosravi, Ramtin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-57666-4
Format: Electronic Resources
Availability Online Library~1

Software Project Management for Distributed Computing Life-Cycle Methods for Developing Scalable and Reliable Tools

2026-03-22T08:34:54Z

Author Mahmood, Zaigham. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-54325-3
Format: Electronic Resources
Availability Online Library~1

Unraveling Software Maintenance and Evolution Thinking Outside the Box

2026-03-22T08:34:54Z

Author Varga, Ervin. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-71303-8
Format: Electronic Resources
Availability Online Library~1

Nanometer CMOS ICs From Basics to ASICs

2026-03-22T08:34:54Z

Author J.M. Veendrick, Harry. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-47597-4
Format: Electronic Resources
Availability Online Library~1

Guide to Modeling and Simulation of Systems of Systems

2026-03-22T08:34:54Z

Author P. Zeigler, Bernard. author. Sarjoughian, Hessam S. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-64134-8
Format: Electronic Resources
Availability Online Library~1

Embedded and Real-Time Operating Systems

2026-03-22T08:34:54Z

Author Wang, K.C. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-51517-5
Format: Electronic Resources
Availability Online Library~1

Tests and Proofs 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings

2026-03-22T08:34:54Z

Author Gabmeyer, Sebastian. editor. Johnsen, Einar Broch. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-61467-0
Format: Electronic Resources
Availability Online Library~1

Applications of Evolutionary Computation 20th European Conference, EvoApplications 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedings, Part I

2026-03-22T08:34:54Z

Author Squillero, Giovanni. editor. Sim, Kevin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-55849-3
Format: Electronic Resources
Availability Online Library~1

Software Engineering and Formal Methods 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings

2026-03-22T08:34:54Z

Author Cimatti, Alessandro. editor. (orcid)0000-0002-1315-6990 Sirjani, Marjan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-66197-1
Format: Electronic Resources
Availability Online Library~1

Runtime Verification 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings

2026-03-22T08:34:54Z

Author Lahiri, Shuvendu. editor. Reger, Giles. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-67531-2
Format: Electronic Resources
Availability Online Library~1

Concise Guide to Software Engineering From Fundamentals to Application Methods

2026-03-22T08:34:54Z

Author O'Regan, Gerard. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-57750-0
Format: Electronic Resources
Availability Online Library~1

Engineering Trustworthy Software Systems Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures

2026-03-22T08:34:54Z

Author Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140 Liu, Zhiming. editor. (orcid)0000-0001-9771-3071 Zhang, Zili. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-56841-6
Format: Electronic Resources
Availability Online Library~1

Plate and shell structures : selected analytical and finite element solutions

2026-03-22T08:34:54Z

Author Radwańska, Maria, author. Stankiewicz, Anna, 1973- author. Wosatko, Adam, 1974- author. Pamin, Jerzy, author.
Preferred Shelf Number TA660 .P6
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781118934531
Format: Electronic Resources
Availability Online Library~1

Product-Focused Software Process Improvement 18th International Conference, PROFES 2017, Innsbruck, Austria, November 29-December 1, 2017, Proceedings

2026-03-22T08:34:54Z

Author Felderer, Michael. editor. (orcid)0000-0003-3818-4442 Méndez Fernández, Daniel. editor. Turhan, Burak. editor. Kalinowski, Marcos. editor. (orcid)0000-0003-1445-3425 Sarro, Federica. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-69926-4
Format: Electronic Resources
Availability Online Library~1

ACS Without an Attitude

2026-03-22T08:34:54Z

Author Hallock, Harold L. author. Welter, Gary. author. Simpson, David G. author. Rouff, Christopher. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4471-7325-0
Format: Electronic Resources
Availability Online Library~1

Formal Aspects of Component Software 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings

2026-03-22T08:34:54Z

Author Proença, José. editor. Lumpe, Markus. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-68034-7
Format: Electronic Resources
Availability Online Library~1

Software Technologies 11th International Joint Conference, ICSOFT 2016, Lisbon, Portugal, July 24-26, 2016, Revised Selected Papers

2026-03-22T08:34:54Z

Author Cabello, Enrique. editor. Cardoso, Jorge. editor. Ludwig, André. editor. Maciaszek, Leszek A. editor. (orcid)0000-0001-6561-0545 van Sinderen, Marten. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-62569-0
Format: Electronic Resources
Availability Online Library~1

Applications of Evolutionary Computation 20th European Conference, EvoApplications 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedings, Part II

2026-03-22T08:34:54Z

Author Squillero, Giovanni. editor. Sim, Kevin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-55792-2
Format: Electronic Resources
Availability Online Library~1

Agile Modeling with UML Code Generation, Testing, Refactoring

2026-03-22T08:34:54Z

Author Rumpe, Bernhard. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-58862-9
Format: Electronic Resources
Availability Online Library~1

Software Quality. Complexity and Challenges of Software Engineering in Emerging Technologies 9th International Conference, SWQD 2017, Vienna, Austria, January 17-20, 2017, Proceedings

2026-03-22T08:34:54Z

Author Winkler, Dietmar. editor. Biffl, Stefan. editor. (orcid)0000-0002-3413-7780 Bergsmann, Johannes. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-49421-0
Format: Electronic Resources
Availability Online Library~1

Failure-Modes-Based Software Reading

2026-03-22T08:34:54Z

Author Zhu, Yang-Ming. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-65103-3
Format: Electronic Resources
Availability Online Library~1

Advances in Computational Intelligence 14th International Work-Conference on Artificial Neural Networks, IWANN 2017, Cadiz, Spain, June 14-16, 2017, Proceedings, Part II

2026-03-22T08:34:54Z

Author Rojas, Ignacio. editor. Joya, Gonzalo. editor. Catala, Andreu. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-59147-6
Format: Electronic Resources
Availability Online Library~1

Advances in Computational Intelligence 14th International Work-Conference on Artificial Neural Networks, IWANN 2017, Cadiz, Spain, June 14-16, 2017, Proceedings, Part I

2026-03-22T08:34:54Z

Author Rojas, Ignacio. editor. Joya, Gonzalo. editor. Catala, Andreu. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-59153-7
Format: Electronic Resources
Availability Online Library~1

Guide to Scientific Computing in C++

2026-03-22T08:34:54Z

Author Pitt-Francis, Joe. author. Whiteley, Jonathan. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-73132-2
Format: Electronic Resources
Availability Online Library~1

Logic-Based Program Synthesis and Transformation 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised Selected Papers

2026-03-22T08:34:54Z

Author Hermenegildo, Manuel V. editor. (orcid)0000-0002-7583-323X Lopez-Garcia, Pedro. editor. (orcid)0000-0002-1092-2071 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-63139-4
Format: Electronic Resources
Availability Online Library~1

Understanding Clinical Data Analysis Learning Statistical Principles from Published Clinical Research

2026-03-22T08:34:54Z

Author Cleophas, Ton J. author. Zwinderman, Aeilko H. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-39586-9
Format: Electronic Resources
Availability Online Library~1

Yazılım test rehberi

2026-03-22T08:34:54Z

Author Bozkurt, Asiye Çüçen, Adem, author Adıgüzel, Ahmet, author
Preferred Shelf Number QA76.76.T48 B69 2016
Format: Books
Availability Beytepe Library~1

Functional Safety for Road Vehicles New Challenges and Solutions for E-mobility and Automated Driving

2026-03-22T08:34:54Z

Author Ross, Hans-Leo. author. (orcid)0009-0009-0125-8824 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-33361-8
Format: Electronic Resources
Availability Online Library~1

Distributed Simulation A Model Driven Engineering Approach

2026-03-22T08:34:54Z

Author Topçu, Okan. author. Durak, Umut. author. Oğuztüzün, Halit. author. Yilmaz, Levent. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-03050-0
Format: Electronic Resources
Availability Online Library~1

Software Technologies: Applications and Foundations STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna Austria, July 4-8, 2016, Revised Selected Papers

2026-03-22T08:34:54Z

Author Milazzo, Paolo. editor. (orcid)0000-0002-7309-6424 Varró, Dániel. editor. Wimmer, Manuel. editor. (orcid)0000-0002-1124-7098 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-50230-4
Format: Electronic Resources
Availability Online Library~1

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

2026-03-22T08:34:54Z

Author Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-47169-3
Format: Electronic Resources
Availability Online Library~1

Wireless Sensor Networks for Structural Health Monitoring

2026-03-22T08:34:54Z

Author Cao, Jiannong. author. Liu, Xuefeng. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-29034-8
Format: Electronic Resources
Availability Online Library~1

Simulation and Testing for Vehicle Technology 7th Conference, Berlin, May 12-13, 2016

2026-03-22T08:34:54Z

Author Gühmann, Clemens. editor. Riese, Jens. editor. von Rüden, Klaus. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-32345-9
Format: Electronic Resources
Availability Online Library~1

Opportunistic Mobile Networks Advances and Applications

2026-03-22T08:34:54Z

Author Misra, Sudip. author. Saha, Barun Kumar. author. Pal, Sujata. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-29031-7
Format: Electronic Resources
Availability Online Library~1

Clinical Data Analysis on a Pocket Calculator Understanding the Scientific Methods of Statistical Reasoning and Hypothesis Testing

2026-03-22T08:34:54Z

Author Cleophas, Ton J. author. Zwinderman, Aeilko H. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-27104-0
Format: Electronic Resources
Availability Online Library~1

Software Engineering and Methodology for Emerging Domains 15th National Software Application Conference, NASAC 2016, Kunming, Yunnan, November 3-5, 2016, Proceedings

2026-03-22T08:34:54Z

Author Zhang, Lu. editor. Xu, Chang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-3482-4
Format: Electronic Resources
Availability Online Library~1

Search Based Software Engineering 8th International Symposium, SSBSE 2016, Raleigh, NC, USA, October 8-10, 2016, Proceedings

2026-03-22T08:34:54Z

Author Sarro, Federica. editor. Deb, Kalyanmoy. editor. (orcid)0000-0001-7402-9939 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-47106-8
Format: Electronic Resources
Availability Online Library~1

Transactions on Modularity and Composition I

2026-03-22T08:34:54Z

Author Chiba, Shigeru. editor. Südholt, Mario. editor. Eugster, Patrick. editor. Ziarek, Lukasz. editor. Leavens, Gary T. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-46969-0
Format: Electronic Resources
Availability Online Library~1

Computational Intelligence and Quantitative Software Engineering

2026-03-22T08:34:54Z

Author Pedrycz, Witold. editor. Succi, Giancarlo. editor. Sillitti, Alberto. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-25964-2
Format: Electronic Resources
Availability Online Library~1

Tests and Proofs 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings

2026-03-22T08:34:54Z

Author Aichernig, Bernhard K. editor. Furia, Carlo A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-41135-4
Format: Electronic Resources
Availability Online Library~1

Formal Aspects of Component Software 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers

2026-03-22T08:34:54Z

Author Braga, Christiano. editor. Ölveczky, Peter Csaba. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-28934-2
Format: Electronic Resources
Availability Online Library~1

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

2026-03-22T08:34:54Z

Author Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-47166-2
Format: Electronic Resources
Availability Online Library~1

Runtime Verification 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings

2026-03-22T08:34:54Z

Author Falcone, Yliès. editor. Sánchez, César. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-46982-9
Format: Electronic Resources
Availability Online Library~1

Encyclopedia of Algorithms

2026-03-22T08:34:54Z

Author Kao, Ming-Yang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4939-2864-4
Format: Electronic Resources
Availability Online Library~1

Guide to Discrete Mathematics An Accessible Introduction to the History, Theory, Logic and Applications

2026-03-22T08:34:54Z

Author O'Regan, Gerard. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-44561-8
Format: Electronic Resources
Availability Online Library~1

Databases and Information Systems 12th International Baltic Conference, DB&IS 2016, Riga, Latvia, July 4-6, 2016, Proceedings

2026-03-22T08:34:54Z

Author Arnicans, Guntis. editor. Arnicane, Vineta. editor. Borzovs, Juris. editor. Niedrite, Laila. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-40180-5
Format: Electronic Resources
Availability Online Library~1

Reliable Software Technologies - Ada-Europe 2016 21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016, Proceedings

2026-03-22T08:34:54Z

Author Bertogna, Marko. editor. Pinho, Luís Miguel. editor. Quiñones, Eduardo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-39083-3
Format: Electronic Resources
Availability Online Library~1

Engineering Safe and Secure Cyber-Physical Systems The Specification PEARL Approach

2026-03-22T08:34:54Z

Author Gumzej, Roman. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-28905-2
Format: Electronic Resources
Availability Online Library~1

Handbook of Genetic Programming Applications

2026-03-22T08:34:54Z

Author Gandomi, Amir H. editor. Alavi, Amir H. editor. Ryan, Conor. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-20883-1
Format: Electronic Resources
Availability Online Library~1

Intelligent Software Methodologies, Tools and Techniques 14th International Conference, SoMet 2015, Naples, Italy, September 15-17, 2015. Proceedings

2026-03-22T08:34:54Z

Author Fujita, Hamido. editor. (orcid) Guizzi, Guido. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-22689-7
Format: Electronic Resources
Availability Online Library~1

Evaluation of Novel Approaches to Software Engineering 9th International Conference, ENASE 2014, Lisbon, Portugal, April 28-30, 2014. Revised Selected Papers

2026-03-22T08:34:54Z

Author Maciaszek, Leszek A. editor. Filipe, Joaquim. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-27218-4
Format: Electronic Resources
Availability Online Library~1

Agile Processes in Software Engineering and Extreme Programming 16th International Conference, XP 2015, Helsinki, Finland, May 25-29, 2015, Proceedings

2026-03-22T08:34:54Z

Author Lassenius, Casper. editor. Dingsøyr, Torgeir. editor. Paasivaara, Maria. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-18612-2
Format: Electronic Resources
Availability Online Library~1

Tests and Proofs 9th International Conference, TAP 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 22-24, 2015. Proceedings

2026-03-22T08:34:54Z

Author Blanchette, Jasmin Christian. editor. Kosmatov, Nikolai. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-21215-9
Format: Electronic Resources
Availability Online Library~1

Green in Software Engineering

2026-03-22T08:34:54Z

Author Calero, Coral. editor. Piattini, Mario. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-08581-4
Format: Electronic Resources
Availability Online Library~1

Software Quality. Software and Systems Quality in Distributed and Mobile Environments 7th International Conference, SWQD 2015, Vienna, Austria, January 20-23, 2015, Proceedings

2026-03-22T08:34:54Z

Author Winkler, Dietmar. editor. Biffl, Stefan. editor. Bergsmann, Johannes. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-13251-8
Format: Electronic Resources
Availability Online Library~1

Structured Object-Oriented Formal Language and Method 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers

2026-03-22T08:34:54Z

Author Liu, Shaoying. editor. Duan, Zhenhua. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-17404-4
Format: Electronic Resources
Availability Online Library~1

Product-Focused Software Process Improvement 16th International Conference, PROFES 2015, Bolzano, Italy, December 2-4, 2015, Proceedings

2026-03-22T08:34:54Z

Author Abrahamsson, Pekka. editor. Corral, Luis. editor. Oivo, Markku. editor. Russo, Barbara. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-26844-6
Format: Electronic Resources
Availability Online Library~1

Software Engineering and Formal Methods 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings

2026-03-22T08:34:54Z

Author Calinescu, Radu. editor. Rumpe, Bernhard. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-22969-0
Format: Electronic Resources
Availability Online Library~1

Fundamental Approaches to Software Engineering 18th International Conference, FASE 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

2026-03-22T08:34:54Z

Author Egyed, Alexander. editor. Schaefer, Ina. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-46675-9
Format: Electronic Resources
Availability Online Library~1

Software and System Development using Virtual Platforms Full-System Simulation with Wind River Simics.

2026-03-22T08:34:54Z

Author Aarno, Daniel. Engblom, Jakob.
Preferred Shelf Number ONLINE(355554.1)
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780128007259
Format: Electronic Resources
Availability Online Library~1

Innovations and Advances in Computing, Informatics, Systems Sciences, Networking and Engineering

2026-03-22T08:34:54Z

Author Sobh, Tarek. editor. Elleithy, Khaled. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-06773-5
Format: Electronic Resources
Availability Online Library~1

Vibration analysis, instruments, and signal processing

2026-03-22T08:34:54Z

Author Sinha, Jyoti Kumar, author.
Preferred Shelf Number TA355 .S525 2015
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Transactions on Engineering Technologies World Congress on Engineering and Computer Science 2014

2026-03-22T08:34:54Z

Author Kim, Haeng Kon. editor. Amouzegar, Mahyar A. editor. Ao, Sio-long. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-94-017-7236-5
Format: Electronic Resources
Availability Online Library~1

Information Systems Design and Intelligent Applications Proceedings of Second International Conference INDIA 2015, Volume 2

2026-03-22T08:34:54Z

Author Mandal, J. K. editor. Satapathy, Suresh Chandra. editor. Kumar Sanyal, Manas. editor. Sarkar, Partha Pratim. editor. Mukhopadhyay, Anirban. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-81-322-2247-7
Format: Electronic Resources
Availability Online Library~1

Software Engineering in Intelligent Systems Proceedings of the 4th Computer Science On-line Conference 2015 (CSOC2015), Vol 3: Software Engineering in Intelligent Systems

2026-03-22T08:34:54Z

Author Silhavy, Radek. editor. Senkerik, Roman. editor. Oplatkova, Zuzana Kominkova. editor. Prokopova, Zdenka. editor. Silhavy, Petr. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-18473-9
Format: Electronic Resources
Availability Online Library~1

Handbook of bioequivalence testing

2026-03-22T08:34:54Z

Author Niazi, Sarfaraz, 1949, author.
Preferred Shelf Number RM301.45 .N53 2015
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Digital communications with emphasis on data modems : theory, analysis, design, simulation, testing, and applications

2026-03-22T08:34:54Z

Author Middlestead, Richard W.
Preferred Shelf Number TK5103.7
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119011866
Format: Electronic Resources
Availability Online Library~1

New Trends in Networking, Computing, E-learning, Systems Sciences, and Engineering

2026-03-22T08:34:54Z

Author Elleithy, Khaled. editor. Sobh, Tarek. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-06764-3
Format: Electronic Resources
Availability Online Library~1

Software architecture. 1

2026-03-22T08:34:54Z

Author Oussalah, Mourad, editor of compilation.
Preferred Shelf Number ONLINE(342044.1)
Electronic Access John Wiley http://dx.doi.org/10.1002/9781118930960 Books24x7 http://www.books24x7.com/marc.asp?bookid=63727
Format: Electronic Resources
Availability Online Library~1

Conducting network penetration and espionage in a global environment

2026-03-22T08:34:54Z

Author Middleton, Bruce, 1953, author.
Preferred Shelf Number TK5105.59 .M53 2014
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

PCI compliance : the definitive guide

2026-03-22T08:34:54Z

Author Bhargav, Abhay, author.
Preferred Shelf Number HG3755.7 .B43 2014
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Machine learning : hands-on for developers and technical professionals

2026-03-22T08:34:54Z

Author Bell, Jason (Computer scientist)
Preferred Shelf Number Q325.5
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119183464 https://onlinelibrary.wiley.com/doi/book/10.1002/9781119642183
Format: Electronic Resources
Availability Online Library~1

Beginning Haskell A Project-Based Approach

2026-03-22T08:34:54Z

Author Serrano Mena, Alejandro. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4302-6251-0
Format: Electronic Resources
Availability Online Library~1

Generalized estimating equations

2026-03-22T08:34:54Z

Author Hardin, James W. (James William), author. Hilbe, Joseph.
Preferred Shelf Number QA278.2 .H378 2013
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Science and technology for the conservation of cultural heritage : proceedings of the International Congress on Science and Technology for the Conservation of Cultural Heritage, Santiago de Compostela, Spain, 2-5 October 2012

2026-03-22T08:34:54Z

Author International Congress on Science and Technology for the Conservation of Cultural Heritage (2012 : Spain). Sponsor. Rogerio-Candelera, M. A., editor. Lazzari, M., editor. Cano, E., editor.
Preferred Shelf Number CC135 .I58 2012
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Netcentric system of systems engineering with DEVS unified process

2026-03-22T08:34:54Z

Author Mittal, Saurabh., author. Cetinkaya, Deniz. Risco-Martin, Jose Luis, 1975- Seck, Mamadou D. Verbraeck, Alexander.
Preferred Shelf Number TA168 .M58 2013
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Social media, crisis communication, and emergency management : leveraging Web 2.0 technologies

2026-03-22T08:34:54Z

Author White, Connie M., author.
Preferred Shelf Number HM742 .W45 2012
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Software maintenance success recipes

2026-03-22T08:34:54Z

Author Reifer, Donald J., author.
Preferred Shelf Number QA76.6 .R435 2012
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Field hydrogeology : a guide for site investigations and report preparation

2026-03-22T08:34:54Z

Author Moore, John E. (John Ezra), 1931, author.
Preferred Shelf Number GB102.3 .M66 2012
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Data structure and software engineering : challenges and improvements

2026-03-22T08:34:54Z

Author Antonakos, James L.
Preferred Shelf Number QA76.9 .D35 D38 2011
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Handbook of human factors in medical device design

2026-03-22T08:34:54Z

Author Weinger, Matthew Bret. Gardner-Bonneau, Daryle. Wiklund, Michael E. Kelly, Lori M.
Preferred Shelf Number R856 .H38 2011
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Bayesian adaptive methods for clinical trials

2026-03-22T08:34:54Z

Author Berry, Scott M.
Preferred Shelf Number R853 .C55 B385 2011
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Official (ISC)2 guide to the CSSLP

2026-03-22T08:34:54Z

Author Paul, Mano., author.
Preferred Shelf Number QA76.76 .D47 P3775 2011
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

The basics of hacking and penetration testing ethical hacking and penetration testing made easy

2026-03-22T08:34:54Z

Author Engebretson, Pat (Patrick Henry), 1974-
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9781597496551
Format: Electronic Resources
Availability Online Library~1

Software metrics and software metrology

2026-03-22T08:34:54Z

Author Abran, Alain, 1949-
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6381791
Format: Electronic Resources
Availability Online Library~1

Building an enterprise-wide business continuity program

2026-03-22T08:34:54Z

Author Okolita, Kelley., author.
Preferred Shelf Number HD49 .O46 2010
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Model-based design for embedded systems

2026-03-22T08:34:54Z

Author Mosterman, Pieter J. Nicolescu, G. (Gabriela)
Preferred Shelf Number TK7895 .E42 M62 2010
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Secure and resilient software development

2026-03-22T08:34:54Z

Author Merkow, Mark S., author. Raghavan, Lakshmikanth.
Preferred Shelf Number QA76.76 .D47 M466 2010
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Human-computer interaction. Development process

2026-03-22T08:34:54Z

Author Sears, Andrew. Jacko, Julie A.
Preferred Shelf Number QA76.9 .H85 H85653 2009
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Automotive embedded systems handbook

2026-03-22T08:34:54Z

Author Navet, Nicolas. Simonot-Lion, Francoise.
Preferred Shelf Number TL272.53 .A9868 2009
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Modern missile guidance

2026-03-22T08:34:54Z

Author Yanushevsky, Rafael., author.
Preferred Shelf Number UG630 .Y35 2008
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Building software : a practitioner's guide

2026-03-22T08:34:54Z

Author Krishnamurthy, Nikhilesh., author. Saran, Amitabh.
Preferred Shelf Number QA76.76 .D47 K734 2008
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Practical model-based testing a tools approach

2026-03-22T08:34:54Z

Author Utting, Mark. Legeard, Bruno.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780123725011
Format: Electronic Resources
Availability Online Library~1

Validation and qualification in analytical laboratories

2026-03-22T08:34:54Z

Author Huber, Ludwig, 1948-
Preferred Shelf Number QV 744 H877 2007
Format: Books
Availability Health Sciences Library~1

Handbook of bioequivalence testing

2026-03-22T08:34:54Z

Author Niazi, Sarfaraz, 1949- author.
Preferred Shelf Number RM301.45 .N53 2007
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Validation and qualification in analytical laboratories

2026-03-22T08:34:54Z

Author Huber, Ludwig, 1948- author.
Preferred Shelf Number QD75.4 .Q34 H83 2007
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Testing code security

2026-03-22T08:34:54Z

Author Van der Linden, Maura A., author.
Preferred Shelf Number QA76.9 .A25 V359 2007
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

The human-computer interaction handbook : fundamentals, evolving technologies, and emerging applications

2026-03-22T08:34:54Z

Author Sears, Andrew. Jacko, Julie A.
Preferred Shelf Number QA76.9 .H85 H8568 2007
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Practical model-based testing a tools approach

2026-03-22T08:34:54Z

Author Utting, Mark. Legeard, Bruno. ScienceDirect (Online service)
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect An electronic book accessible through the World Wide Web; click for information
Format: Electronic Resources
Availability Online Library~1

Software measurement and estimation a practical approach

2026-03-22T08:34:54Z

Author Laird, Linda M., 1952- Brennan, M. Carol, 1954- IEEE Computer Society. John Wiley & Sons.
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/servlet/opac?bknumber=5988896
Format: Electronic Resources
Availability Online Library~1

Embedded systems handbook

2026-03-22T08:34:54Z

Author Zurawski, Richard.
Preferred Shelf Number TK7895 .E42 E64 2006
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Microelectronics

2026-03-22T08:34:54Z

Author Whitaker, Jerry C.
Preferred Shelf Number TK7874 .M4587 2006
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Numerical Modelling of Construction Processes in Geotechnical Engineering for Urban Environment : proceedings of the International Conference on Numerical Simulation of Construction Processes in Geotechnical Engineering for Urban Environment, 23-24 March 2006, Bochum, Germany

2026-03-22T08:34:54Z

Author International Conference on Numerical Simulation of Construction Processes in Geotechnical Engineering for Urban Environment (2006 : Bochum, Germany) Triantafyllidis, Theodoros, editor.
Preferred Shelf Number TA703.5 .I58 2006 EB
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9780367803421 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Maximizing ROI on software development

2026-03-22T08:34:54Z

Author Sikka, Vijay., author.
Preferred Shelf Number QA76.76 .D47 S55 2005
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Designing usability into medical products

2026-03-22T08:34:54Z

Author Wiklund, Michael E., author. Wilcox, Stephen B.
Preferred Shelf Number R856 .D473 2005
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Flexible Software Design : Systems Development for Changing Requirements.

2026-03-22T08:34:54Z

Author Johnson, Bruce (Bruce M.), author. Woolfolk, Walter W., author. Miller, Robert, author. Johnson, Cindy, author.
Preferred Shelf Number QA76.9 .S88
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9780429117053 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Computers, Software Engineering, and Digital Devices

2026-03-22T08:34:54Z

Author Dorf, Richard C., author. Taylor and Francis.
Preferred Shelf Number TK7885
Electronic Access Click here to view.
Format: Electronic Resources
Availability Online Library~1

Vibration and shock handbook

2026-03-22T08:34:54Z

Author De Silva, Clarence W.
Preferred Shelf Number TA355 .V5197 2005
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Reliability, quality, and safety for engineers

2026-03-22T08:34:54Z

Author Dhillon, B. S. (Balbir S.), 1947, author.
Preferred Shelf Number TS173 .D495 2005
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Statistics and experimental design for toxicologists and pharmacologists

2026-03-22T08:34:54Z

Author Gad, Shayne C., 1948-
Preferred Shelf Number RA1199.4 .S73 G33 2005
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781420058048 Taylor & Francis https://www.taylorfrancis.com/books/9780367802752 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Computer science handbook

2026-03-22T08:34:54Z

Author Tucker, Allen B.
Preferred Shelf Number QA76 .C54755 2004
Electronic Access Click here to view.
Format: Books
Availability Online Library~1