Arama Sonuçları Software Testing.

Software testing

2026-03-21T22:17:47Z

Yazar Patton, Ron.
Yer Numarası QA76.76.T48 P38 2006
Format: Kitap
Durum Beytepe Kütüphanesi~1

Testing computer software

2026-03-21T22:17:47Z

Yazar Kaner, Cem. Falk, Jack L., ort. yaz. Nguyen, Hung Quoc, ort. yaz.
Yer Numarası QA 76.76.T48 K36 1999
Format: Kitap
Durum Beytepe Kütüphanesi~2

Manage software testing

2026-03-21T22:17:47Z

Yazar Farrell-Vinay, Peter., author.
Yer Numarası QA76.76 .T48 F37 2008
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

Systematic software testing

2026-03-21T22:17:47Z

Yazar Craig, Rick D. (Rick David), 1955- Jaskiel, Stefan P., ort. yaz.
Yer Numarası QA 76.76.T48 C73 2002
Format: Kitap
Durum Beytepe Kütüphanesi~1

Fundamentals of software testing

2026-03-21T22:17:47Z

Yazar Homès, Bernard, author.
Yer Numarası QA76.76 .T48 F86 2024
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781394298976
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Trends in Software Testing

2026-03-21T22:17:47Z

Yazar Mohanty, Hrushikesha. editor. Mohanty, J. R. editor. Balakrishnan, Arunkumar. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-10-1415-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Automated Software Testing with Cypress

2026-03-21T22:17:47Z

Yazar Palani, Narayanan.
Yer Numarası QA76.76 .T48
Elektronik Erişim 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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Concise Guide to Software Testing

2026-03-21T22:17:47Z

Yazar O'Regan, Gerard. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-28494-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software testing as a service

2026-03-21T22:17:47Z

Yazar Ahmed, Ashfaque., author.
Yer Numarası QA76.76 .T48 A53 2010
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

Software testing and continuous quality improvement

2026-03-21T22:17:47Z

Yazar Lewis, William E., author.
Yer Numarası QA76.76 .T48 L495 2008
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

Component-Based Software Testing with UML

2026-03-21T22:17:47Z

Yazar Gross, Hans-Gerhard. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b138012
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software testing and continuous quality improvement

2026-03-21T22:17:47Z

Yazar Lewis, William E., author. Veerapillai, Gunasekaran.
Yer Numarası QA76.76 .T48 L495 2005
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

The art of software testing

2026-03-21T22:17:47Z

Yazar Myers, Glenford J., 1946- Badgett, Tom. Thomas, Todd M. Sandler, Corey, 1950-
Yer Numarası ONLINE
Elektronik Erişim EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=114566
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software testing fundamentals : methods and metrics

2026-03-21T22:17:47Z

Yazar Hutcheson, Marnie L., 1951-
Yer Numarası QA 76.76.T48 H88 2003
Format: Kitap
Durum Beytepe Kütüphanesi~1

Software testing : a craftsman's approach

2026-03-21T22:17:47Z

Yazar Jorgensen, Paul.
Yer Numarası QA 76.76.T48 J67 2002
Format: Kitap
Durum Beytepe Kütüphanesi~1

Software testing and continuous quality improvement

2026-03-21T22:17:47Z

Yazar Lewis, William E., author.
Yer Numarası QA76.76 .T48 L495 2000
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

Flight simulation software : design, development and testing

2026-03-21T22:17:47Z

Yazar Allerton, David, author.
Yer Numarası TL712.5 .A398 2023
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119738251
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Analytic methods in systems and software testing

2026-03-21T22:17:47Z

Yazar Kenett, Ron, editor. Ruggeri, Fabrizio, editor. Faltin, Frederick W., editor.
Yer Numarası QA76.76 .T48 A52 2018 EB
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119357056
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

ESSENTIAL SOFTWARE TESTING : a use-case approach.

2026-03-21T22:17:47Z

Yazar FOURNIER, GREG.
Yer Numarası QA76.76 .T48
Elektronik Erişim 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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Improving Software Testing Technical and Organizational Developments

2026-03-21T22:17:47Z

Yazar Majchrzak, Tim A. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-27464-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Composing Software Components A Software-testing Perspective

2026-03-21T22:17:47Z

Yazar Hamlet, Dick. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4419-7148-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software error detection through testing and analysis

2026-03-21T22:17:47Z

Yazar Huang, J. C., 1935-
Yer Numarası ONLINE
Elektronik Erişim 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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Automated software testing : introduction, management, and performance

2026-03-21T22:17:47Z

Yazar Dustin, Elfriede. Rashka, Jeff. Paul, John.
Yer Numarası QA76.76.T48 D87 1999
Format: Kitap
Durum Beytepe Kütüphanesi~2

Leveraging the wisdom of the crowd in software testing

2026-03-21T22:17:47Z

Yazar Sharma, Mukesh (Software testing engineer), author. Padmanaban, Rajini, author.
Yer Numarası QA76.76 .T48 S53 2015
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

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

2026-03-21T22:17:47Z

Yazar Darche, Philippe.
Yer Numarası QA76.5
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119801740
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Taking testing seriously : the rapid software testing approach

2026-03-21T22:17:47Z

Yazar Bach, James, author. Bolton, Michael, author.
Yer Numarası QA76.76 .T48 B33 2026
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781394319749
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-21T22:17:47Z

Yazar 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
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-80889-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-21T22:17:47Z

Yazar Yin, Yongfeng, 1978- author. Jiang, Bo, 1981- author. Su, Qingran, translator. Qiu, Ruinan, translator. Guo, Yang (Translator), translator.
Yer Numarası TK7895 .E42
Elektronik Erişim 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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-21T22:17:47Z

Yazar Colmenar-Santos, Antonio. editor. Borge-Diez, David. editor. Ortega-Cabezas, Pedro-Miguel. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-47630-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-21T22:17:47Z

Yazar Parsa, Saeed. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-22057-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-21T22:17:47Z

Yazar Bonfanti, Silvia. editor. Gargantini, Angelo. editor. Salvaneschi, Paolo. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-43240-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-21T22:17:47Z

Yazar Nwodo, Adora.
Yer Numarası QA76.58 .N86 2023
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781394320639
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-21T22:17:47Z

Yazar 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)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-31280-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-21T22:17:47Z

Yazar Bu, Lei. editor. (orcid)0000-0003-0517-7801 Xiong, Yingfei. editor. (orcid)0000-0001-8991-747X SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-04272-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-21T22:17:47Z

Yazar Medina-Bulo, Inmaculada. editor. Merayo, Mercedes G. editor. Hierons, Robert. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-99927-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

How to Reduce the Cost of Software Testing

2026-03-21T22:17:47Z

Yazar Heusser, Matthew, editor. Kulkarni, Govind, editor. Taylor and Francis.
Yer Numarası QA76.76 .T48
Elektronik Erişim Click here to view
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-21T22:17:47Z

Yazar Strichman, Ofer. editor. Tzoref-Brill, Rachel. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-70389-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-21T22:17:47Z

Yazar Yevtushenko, Nina. editor. Cavalli, Ana Rosa. editor. Yenigün, Hüsnü. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-67549-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-21T22:17:47Z

Yazar Bloem, Roderick. editor. Arbel, Eli. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-49052-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-21T22:17:47Z

Yazar Wotawa, Franz. editor. Nica, Mihai. editor. Kushik, Natalia. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-47443-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-21T22:17:47Z

Yazar Piterman, Nir. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-26287-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-21T22:17:47Z

Yazar El-Fakih, Khaled. editor. Barlas, Gerassimos. editor. Yevtushenko, Nina. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-25945-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-21T22:17:47Z

Yazar Bondi, André B., author.
Yer Numarası QA76.9.E94 B66 2015
Format: Kitap
Durum Beytepe Kütüphanesi~1

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

2026-03-21T22:17:47Z

Yazar Yahav, Eran. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-13338-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-21T22:17:47Z

Yazar Merayo, Mercedes G. editor. Montes de Oca, Edgardo. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-44857-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-21T22:17:47Z

Yazar Biere, Armin. editor. Nahir, Amir. editor. Vos, Tanja. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334820.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39611-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-21T22:17:47Z

Yazar Bertacco, Valeria. editor. Legay, Axel. editor. SpringerLink (Online service)
Yer Numarası ONLINE(332962.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-319-03077-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-21T22:17:47Z

Yazar Yenigün, Hüsnü. editor. Yilmaz, Cemal. editor. Ulrich, Andreas. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335141.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-41707-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Testing in the Cloud Migration and Execution

2026-03-21T22:17:47Z

Yazar Tilley, Scott. author. Parveen, Tauhida. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-32122-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-21T22:17:47Z

Yazar Eder, Kerstin. editor. Lourenço, João. editor. Shehory, Onn. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-34188-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-21T22:17:47Z

Yazar Nielsen, Brian. editor. Weise, Carsten. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-34691-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-21T22:17:47Z

Yazar Arapidis, Charalampos S.
Yer Numarası ONLINE
Elektronik Erişim EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=481277
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-21T22:17:47Z

Yazar Merkow, Mark S., author. Raghavan, Lakshmikanth.
Yer Numarası QA76.76 .T48 M47 2012
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~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-21T22:17:47Z

Yazar Barner, Sharon. editor. Harris, Ian. editor. Kroening, Daniel. editor. Raz, Orna. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-19583-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-21T22:17:47Z

Yazar Namjoshi, Kedar. editor. Zeller, Andreas. editor. Ziv, Avi. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-19237-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-21T22:17:47Z

Yazar Wolff, Burkhart. editor. Zaïdi, Fatiha. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-24580-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-21T22:17:47Z

Yazar Petrenko, Alexandre. editor. Simão, Adenilso. editor. Maldonado, José Carlos. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-16573-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-21T22:17:47Z

Yazar Borba, Paulo. editor. Cavalcanti, Ana. editor. Sampaio, Augusto. editor. Woodcook, Jim. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-14335-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-21T22:17:47Z

Yazar Chockler, Hana. editor. Hu, Alan J. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-01702-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-21T22:17:47Z

Yazar Núñez, Manuel. editor. Baker, Paul. editor. Merayo, Mercedes G. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-05031-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-21T22:17:47Z

Yazar Henry, Pierre. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-78504-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-21T22:17:47Z

Yazar Mathur, Aditya P.
Yer Numarası QA76.76.T48 M38 2008
Format: Kitap
Durum Beytepe Kütüphanesi~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-21T22:17:47Z

Yazar Suzuki, Kenji. editor. Higashino, Teruo. editor. Ulrich, Andreas. editor. Hasegawa, Toru. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-68524-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-21T22:17:47Z

Yazar Yorav, Karen. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-77966-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software testing and quality assurance theory and practice

2026-03-21T22:17:47Z

Yazar Naik, Kshirasagar, 1959- Tripathy, Priyadarshi, 1958- Wiley InterScience (Online service)
Yer Numarası ONLINE
Elektronik Erişim John Wiley http://dx.doi.org/10.1002/9780470382844
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Patterns for performance and operability : building and testing enterprise software

2026-03-21T22:17:47Z

Yazar Ford, Chris (Christopher B.)
Yer Numarası QA76.76 .D47 P3768 2008
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~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-21T22:17:47Z

Yazar Bin, Eyal. editor. Ziv, Avi. editor. Ur, Shmuel. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-70889-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-21T22:17:47Z

Yazar Petrenko, Alexandre. editor. Veanes, Margus. editor. Tretmans, Jan. editor. Grieskamp, Wolfgang. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-73066-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software testing testing across the entire software development life cycle

2026-03-21T22:17:47Z

Yazar Everett, Gerald D., 1943- McLeod, Raymond. Wiley InterScience (Online service)
Yer Numarası ONLINE
Elektronik Erişim IEEE Xplore http://ieeexplore.ieee.org/servlet/opac?bknumber=5201507
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-21T22:17:47Z

Yazar Grieskamp, Wolfgang. editor. Weise, Carsten. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11759744
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-21T22:17:47Z

Yazar Havelund, Klaus. editor. Núñez, Manuel. editor. Roşu, Grigore. editor. Wolff, Burkhart. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11940197
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-21T22:17:47Z

Yazar Ur, Shmuel. editor. Bin, Eyal. editor. Wolfsthal, Yaron. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11678779
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-21T22:17:47Z

Yazar Grabowski, Jens. editor. Nielsen, Brian. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b106767
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software quality engineering Testing, quality assurance, and quantifiable improvement

2026-03-21T22:17:47Z

Yazar Tian, Jeff. John Wiley & Sons.
Yer Numarası ONLINE
Elektronik Erişim IEEE Xplore http://ieeexplore.ieee.org/servlet/opac?bknumber=5988897
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-21T22:17:47Z

Yazar Whittaker, James A., 1965-
Yer Numarası QA 76.76.T48 W47 2002
Format: Kitap
Durum Beytepe Kütüphanesi~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-21T22:17:47Z

Yazar Sütbaş, Rukiye.
Yer Numarası TEZ/7138 S7939 2005
Format: Kitap
Durum Beytepe Kütüphanesi~1

How to break software security : effective technigues for security testing

2026-03-21T22:17:47Z

Yazar Whittaker, James A., 1965- Thomson, Herbert H., ort. yaz.
Yer Numarası QA 76.9.A25 W48 2004
Format: Kitap
Durum Beytepe Kütüphanesi~2

Effective software test automation : developing an automated software testing tool

2026-03-21T22:17:47Z

Yazar Li, Kanglin, 1963- Wu, Mengqi, ort. yaz.
Yer Numarası QA 76.76.T48 L532 2004
Format: Kitap
Durum Beytepe Kütüphanesi~1

Testing and quality assurance for component-based software

2026-03-21T22:17:47Z

Yazar Gao, Jerry Zeyu. Tsao, H.-S. Jacob. Wu, Ye.
Yer Numarası QA76.76.Q35 G38 2003
Format: Kitap
Durum Beytepe Kütüphanesi~1

Lessons learned in software testing : a context-driven approach

2026-03-21T22:17:47Z

Yazar Kaner, Cem. Bach, James. ort. yaz. Pettichord, Bret. ort. yaz.
Yer Numarası QA 76.76.T48 K34 2002
Format: Kitap
Durum Beytepe Kütüphanesi~2

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

2026-03-21T22:17:47Z

Yazar Black, Rex.
Yer Numarası QA 76.76.T48 B553 2002
Format: Kitap
Durum Beytepe Kütüphanesi~1

Effective software testing : 50 specific ways to improve your testing

2026-03-21T22:17:47Z

Yazar Dustin, Elfriede.
Yer Numarası QA 76.76.T48 D873 2002
Format: Kitap
Durum Beytepe Kütüphanesi~1

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

2026-03-21T22:17:47Z

Yazar Watkins, John (John Edward)
Yer Numarası QA 76.76.T48 W38 2001
Format: Kitap
Durum Beytepe Kütüphanesi~1

PDCA/Test : a quality tool framework for software testing

2026-03-21T22:17:47Z

Yazar Lewis, William E.
Yer Numarası QA76.76 .T48 L49 1999
Elektronik Erişim 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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Information security management handbook

2026-03-21T22:17:47Z

Yazar Tipton, Harold F. Nozaki, Micki Krause.
Yer Numarası QA76.9 .A25 I54165 2007
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

Quantum computing models for cybersecurity and wireless communications

2026-03-21T22:17:47Z

Yazar Kumar, Budati Anil, edited. Kumar, Singamaneni Kranthi, edited. Li, Xingwang (Computer scientist), edited.
Yer Numarası QA76.9 .A25 Q36 2025
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781394271429
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Model based system engineering : theoretical foundations

2026-03-21T22:17:47Z

Yazar Koudri, Ali, author.
Yer Numarası TA168
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781394345106
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Method validation in pharmaceutical analysis : a guide to best practice

2026-03-21T22:17:47Z

Yazar Ermer, Joachim, editor. Nethercote, Phil, editor.
Yer Numarası RS187
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9783527831708
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Boosting Software Development Using Machine Learning

2026-03-21T22:17:47Z

Yazar Benala, Tirimula Rao. editor. Dehuri, Satchidananda. editor. Mall, Rajib. editor. Favorskaya, Margarita N. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-88188-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-21T22:17:47Z

Yazar Silhavy, Radek. editor. Silhavy, Petr. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-96775-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-21T22:17:47Z

Yazar Silhavy, Radek. editor. Silhavy, Petr. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-96798-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-21T22:17:47Z

Yazar Li, Wei. author. Yuan, Xin'an. author. Zhao, Jianming. author. Yin, Xiaokang. author. Li, Xiao. author.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-97-7255-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

A Concise Introduction to Software Engineering With Open Source and GenAI

2026-03-21T22:17:47Z

Yazar Jalote, Pankaj. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-74318-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-21T22:17:47Z

Yazar Liu, Shaoying. editor. (orcid)0000-0002-6748-5052 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-96-1621-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-21T22:17:47Z

Yazar 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)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-96-4656-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-21T22:17:47Z

Yazar 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)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-89277-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-21T22:17:47Z

Yazar Boronat, Artur. editor. (orcid)0000-0003-2024-1736 Fraser, Gordon. editor. (orcid)0000-0002-4364-6595 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-90900-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-21T22:17:47Z

Yazar Van Laan, Sandar, author. Matfess, Jared, author. Flock, Thomas, author. Reid, Ann, author.
Yer Numarası QA76.76 .C52 V36 2025
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781394319756
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Open RAN : technology and ecosystem

2026-03-21T22:17:47Z

Yazar Yanover, Vladimir, author.
Yer Numarası TK5103.2 .Y36 2025
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781394241170
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Alice and Bob learn secure coding

2026-03-21T22:17:47Z

Yazar Janca, Tanya. author.
Yer Numarası QA76.76 .D47
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781394277179
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-21T22:17:47Z

Yazar Matfess, Jared, author.
Yer Numarası Q335 .M38 2025
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781394352418
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Controller design for industrial applications

2026-03-21T22:17:47Z

Yazar Mondal, Arindam, editor. Ganguli, Souvik, editor.
Yer Numarası TJ223 .M53 C66 2025
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781394287109
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-21T22:17:47Z

Yazar Al-Malah, Kamal I. M., author.
Yer Numarası TA345.5 .M42 A46 2024
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781394209118
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Infrastructure robotics : methodologies, robotic systems and applications

2026-03-21T22:17:47Z

Yazar Liu, Dikai, editor.
Yer Numarası TJ211 .I48144 2024
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781394162871
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Professional C++

2026-03-21T22:17:47Z

Yazar Gregoire, Marc (Software engineer), author.
Yer Numarası QA76.73 .C153 G733 2024
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781394193202
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-21T22:17:47Z

Yazar Srividya, P., editor.
Yer Numarası TK7871.6 .D54 2024
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119879923
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Paleontological data analysis

2026-03-21T22:17:47Z

Yazar Hammer, Øyvind, 1968- author. Harper, D. A. T., author.
Yer Numarası QE721.2 .D37
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119933960
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Biomedical devices and sensors

2026-03-21T22:17:47Z

Yazar Molimard, Jérôme, author.
Yer Numarası R856 .M65 2024
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781394317172
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-21T22:17:47Z

Yazar Feinberg, Max, author. Rudaz, Serge, author.
Yer Numarası Q180.55 .Q36
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9783527845279
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-21T22:17:47Z

Yazar Patel, Sankita J. editor. Chaudhary, Naveen Kumar. editor. Gohil, Bhavesh N. editor. Iyengar, S. S. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-99-5091-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-21T22:17:47Z

Yazar Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-57256-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Metrics for Test Reporting Analysis and Reporting for Effective Test Management

2026-03-21T22:17:47Z

Yazar Witte, Frank. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-658-44006-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-21T22:17:47Z

Yazar Kadgien, Regine. editor. Jedlitschka, Andreas. editor. Janes, Andrea. editor. Lenarduzzi, Valentina. editor. (orcid)0000-0003-0511-5133 Li, Xiaozhou. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-49266-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-21T22:17:47Z

Yazar Kadgien, Regine. editor. Jedlitschka, Andreas. editor. Janes, Andrea. editor. Lenarduzzi, Valentina. editor. (orcid)0000-0003-0511-5133 Li, Xiaozhou. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-49269-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-21T22:17:47Z

Yazar Kundel, Ralf. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-52872-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Attacks, Defenses and Testing for Deep Learning

2026-03-21T22:17:47Z

Yazar Chen, Jinyin. author. (orcid)0000-0002-7153-2755 Zhang, Ximin. author. Zheng, Haibin. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-97-0425-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Agile-SOFL Agile Formal Engineering Method

2026-03-21T22:17:47Z

Yazar Liu, Shaoying. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-97-2285-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-21T22:17:47Z

Yazar Kosmatov, Nikolai. editor. (orcid)0000-0003-1557-2813 Prevosto, Virgile. editor. Signoles, Julien. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-55608-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

CyberSecurity in a DevOps Environment From Requirements to Monitoring

2026-03-21T22:17:47Z

Yazar Sadovykh, Andrey. editor. Truscan, Dragos. editor. Mallouli, Wissam. editor. Cavalli, Ana Rosa. editor. Seceleanu, Cristina. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-42212-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-21T22:17:47Z

Yazar Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-57249-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The French School of Programming

2026-03-21T22:17:47Z

Yazar Meyer, Bertrand. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-34518-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Learning Java A Test-Driven Approach

2026-03-21T22:17:47Z

Yazar Crotts, Joshua. author. (orcid)0000-0002-7513-5618 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-66638-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Experimentation in Software Engineering

2026-03-21T22:17:47Z

Yazar Wohlin, Claes. author. Runeson, Per. author. Höst, Martin. author. Ohlsson, Magnus C. author. Regnell, Björn. author.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-69306-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-21T22:17:47Z

Yazar Marmsoler, Diego. editor. (orcid)0000-0003-2859-7673 Sun, Meng. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-71261-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Cybernetical intelligence : engineering cybernetics with machine intelligence

2026-03-21T22:17:47Z

Yazar Wong, Kelvin K. L., author.
Yer Numarası Q325.5 .W637 2023
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781394217519
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-21T22:17:47Z

Yazar Stapp, Lucjan. author. Roman, Adam. author. (orcid)0000-0002-1020-5128 Pilaeten, Michaël. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-42767-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Cloud-Native Application Architecture Microservice Development Best Practice

2026-03-21T22:17:47Z

Yazar Team, FreeWheel Biz-UI. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-19-9782-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-21T22:17:47Z

Yazar Mehta, Gayatri. editor. Wickramasinghe, Nilmini. editor. Kakkar, Deepti. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-99-7077-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Reliability Engineering Technology of Digital Diagnosis and Treatment Equipment

2026-03-21T22:17:47Z

Yazar Li, Xiuqing. author. Gao, Jun. author. Li, Wen. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-99-5522-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-21T22:17:47Z

Yazar Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-57246-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Optimising the Software Development Process with Artificial Intelligence

2026-03-21T22:17:47Z

Yazar Romero, José Raúl. editor. Medina-Bulo, Inmaculada. editor. Chicano, Francisco. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-19-9948-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-21T22:17:47Z

Yazar Cooper, Kendra M. L. editor. Bucchiarone, Antonio. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-33338-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-21T22:17:47Z

Yazar Lambers, Leen. editor. Uchitel, Sebastián. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-30826-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-21T22:17:47Z

Yazar Rozier, Kristin Yvonne. editor. Chaudhuri, Swarat. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-33170-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-21T22:17:47Z

Yazar Haxthausen, Anne E. editor. Huang, Wen-ling. editor. Roggenbach, Markus. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-40132-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-21T22:17:47Z

Yazar Batista, Thais. editor. Bureš, Tomáš. editor. Raibulet, Claudia. editor. Muccini, Henry. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-36889-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-21T22:17:47Z

Yazar Guiochet, Jérémie. editor. Tonetta, Stefano. editor. Bitsch, Friedemann. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-40923-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-21T22:17:47Z

Yazar Bienz, Amanda. editor. Weiland, Michèle. editor. Baboulin, Marc. editor. Kruse, Carola. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-40843-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Teaching Biostatistics in Medicine and Allied Health Sciences

2026-03-21T22:17:47Z

Yazar Farnell, Damian J. J. editor. Medeiros Mirra, Renata. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-26010-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-21T22:17:47Z

Yazar Hardy, Mark A. editor. Hochman, Beth R. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-28127-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-21T22:17:47Z

Yazar Rocha, Carla. editor. Santana Júnior, Celio. editor. De Sá, Fernando. editor. Silva da Silva, Tiago. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-25648-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-21T22:17:47Z

Yazar Li, Ruidong. editor. Jia, Min. editor. Taleb, Tarik. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-34497-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-21T22:17:47Z

Yazar Wang, Ning. editor. Rebolledo-Mendez, Genaro. editor. Dimitrova, Vania. editor. Matsuda, Noboru. editor. Santos, Olga C. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-36336-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-21T22:17:47Z

Yazar Mendez, Daniel. editor. Winkler, Dietmar. editor. Kross, Johannes. editor. Biffl, Stefan. editor. Bergsmann, Johannes. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-31488-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Embracing Machines and Humanity Through Cognitive Computing and IoT

2026-03-21T22:17:47Z

Yazar Usman, Mohammed. editor. Gao, Xiao-Zhi. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-19-4522-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Developments and Advances in Defense and Security Proceedings of MICRADS 2022

2026-03-21T22:17:47Z

Yazar Rocha, Álvaro. editor. Fajardo-Toro, Carlos Hernan. editor. Riola, José María. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-19-7689-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-21T22:17:47Z

Yazar Yadav, Sanjay. editor. Kumar, Harish. editor. Kankar, Pavan Kumar. editor. Dai, Wanyang. editor. Huang, Fenghua. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-99-4554-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-21T22:17:47Z

Yazar Hong, Wenxing. editor. Weng, Yang. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-99-2449-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-21T22:17:47Z

Yazar Jan, Mian Ahmad. editor. Khan, Fazlullah. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-23947-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-21T22:17:47Z

Yazar Nurcan, Selmin. editor. Opdahl, Andreas L. editor. Mouratidis, Haralambos. editor. Tsohou, Aggeliki. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-33080-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-21T22:17:47Z

Yazar Sankaranarayanan, Sriram. editor. Sharygina, Natasha. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-30820-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-21T22:17:47Z

Yazar Ahmad, Ishfaq. editor. Ye, Jun. editor. Liu, Weidong. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-19-3632-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Uncertainty, Constraints, and Decision Making

2026-03-21T22:17:47Z

Yazar Ceberio, Martine. editor. Kreinovich, Vladik. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-36394-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Beginning software engineering

2026-03-21T22:17:47Z

Yazar Stephens, Rod, author.
Yer Numarası QA76.758 .S74 2023
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781394320592
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-21T22:17:47Z

Yazar Ferreira, Carla. editor. Willemse, Tim A. C. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-47115-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Concept Building in Fisheries Data Analysis

2026-03-21T22:17:47Z

Yazar Das, Basant Kumar. author. Jha, Dharm Nath. author. Sahu, Sanjeev Kumar. author. Yadav, Anil Kumar. author. Raman, Rohan Kumar. author.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-19-4411-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-21T22:17:47Z

Yazar Potseluyko, Lilia. author. Pour Rahimian, Farzad. author. Dawood, Nashwan. author. (orcid)0000-0002-4873-7576 Elghaish, Faris. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-32993-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Agile Software Development : trends, challenges and applications

2026-03-21T22:17:47Z

Yazar Hooda, Susheela, editor. Sood, Vandana Mohindru, editor. Singh, Yashwant, editor. Dalal, Sandeep, editor. Sood, Manu, editor.
Yer Numarası QA76.76 .D47 A55 2023
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119896838
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Practical partial discharge measurement on electrical equipment

2026-03-21T22:17:47Z

Yazar Stone, Greg C., author. Cavallini, Andrea, 1963- author. Behrmann, Glenn, author. Serafino, Claudio, author.
Yer Numarası QC701 .S76 2023
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119833345
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Open RAN : the definitive guide

2026-03-21T22:17:47Z

Yazar Wong, Ian Chan, 1978- editor. Chopra, Aditya (Communication systems engineer), editor. Rajagopal, Sridhar, editor. Jana, Rittwik, editor.
Yer Numarası TK5103.2 .O625 2023
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119886020
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Yazılım test rehberi

2026-03-21T22:17:47Z

Yazar Bozkurt, Asiye Çüçen, Adem, author Adıgüzel, Ahmet, author
Yer Numarası QA76.76.T48 B69 2022
Format: Kitap
Durum Beytepe Kütüphanesi~1

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

2026-03-21T22:17:47Z

Yazar Banakar, Umesh V., 1956- author.
Yer Numarası RS189
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119634645
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advanced Testing of Systems-Of-Systems 1.

2026-03-21T22:17:47Z

Yazar Homes, Bernard.
Yer Numarası QA76.76 .T48 H6729 2022
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781394188451
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Cyberphysical smart cities infrastructures : optimal operation and intelligent decision making

2026-03-21T22:17:47Z

Yazar Amini, M. Hadi, editor. Shafie-khah, Miadreza, editor.
Yer Numarası TD159.4 .C93 2022
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119748342
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Design of experiments for reliability achievement

2026-03-21T22:17:47Z

Yazar Rigdon, Steven E., 1955- author. Pan, Rong (Professor of reliability engineering), author. Montgomery, Douglas C., author. Freeman, Laura June, author.
Yer Numarası TS173 .R54 2022
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119237754
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-21T22:17:47Z

Yazar Homès, Bernard, author.
Yer Numarası QA76.76 .T48
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781394188482
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Building secure cars : assuring the automotive software development lifecycle

2026-03-21T22:17:47Z

Yazar Oka, Dennis Kengo, author.
Yer Numarası TL272.53 .O42 2021
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119710783
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-21T22:17:47Z

Yazar Zupancic, Klemen, editor. Pavlek, Tea, editor. Erjavec, Jana, editor.
Yer Numarası QD76 .D54 2021
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9783527825042
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Wireless communication signals : a laboratory-based approach

2026-03-21T22:17:47Z

Yazar Arslan, Hüseyin, 1968- author.
Yer Numarası TK5105 .A76 2021
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119764441
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Supercharge, invasion and mudcake growth in downhole applications

2026-03-21T22:17:47Z

Yazar Lu, Tao, author. Qin, Xiaofei, author. Feng, Yongren, author. Zhou, Yanmin, author. Chin, Wilson C., author.
Yer Numarası TN871.35
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119283409
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-21T22:17:47Z

Yazar Kenett, Ron, editor. Swarz, Robert S., editor. Zonnenshain, Avigdor, editor.
Yer Numarası TA168 .S8727 2020
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119513957
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Hands on hacking

2026-03-21T22:17:47Z

Yazar Hickey, Matthew (Computer security expert), author. Arcuri, Jennifer, author.
Yer Numarası QA76.9 .A25 H53 2020 EB
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119561507
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Hacking connected cars : tactics, techniques, and procedures

2026-03-21T22:17:47Z

Yazar Knight, Alissa, author.
Yer Numarası TL152.8 .K65 2020
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119491774
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The official (ISC)² CISSP CBK reference

2026-03-21T22:17:47Z

Yazar Warsinske, John, author. Graff, Mark, contributor. Henry, Kevin, contributor. Hoover, Christopher, contributor. Malisow, Ben, contributor.
Yer Numarası TK5105.59
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119423300
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Electrical Engineering Handbook - Six Volume Set

2026-03-21T22:17:47Z

Yazar Dorf, Richard C., editor. Taylor and Francis.
Yer Numarası R857 .B54
Elektronik Erişim Click here to view.
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-21T22:17:47Z

Yazar Levin, Mark, 1959- author. Kalal, Ted T., author. Rodin, Jonathan, 1957- author.
Yer Numarası TS173 .L48 2019
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119179429
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Testing statistical assumptions in research

2026-03-21T22:17:47Z

Yazar Verma, J. P., author. Abdel-Salam, Abdel-Salam G., author.
Yer Numarası QA276 .A2
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119528388
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Testing Complex and Embedded Systems

2026-03-21T22:17:47Z

Yazar Pries, Kim H., author. Quigley, Jon M., author. Taylor and Francis.
Yer Numarası TK7895 .E42
Elektronik Erişim Click here to view
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software technology : 10 years of innovation in IEEE Computer

2026-03-21T22:17:47Z

Yazar Hinchey, Michael G. (Michael Gerard), 1969- editor.
Yer Numarası QA76.758
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119174240
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Design for safety

2026-03-21T22:17:47Z

Yazar Gullo, Louis J., editor. Dixon, Jack, 1948- editor.
Yer Numarası TA169.7
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781118974339
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-21T22:17:47Z

Yazar Chapple, Mike, author. Stewart, James Michael, author. Gibson, Darril, author.
Yer Numarası QA76.3 .C4255 2018
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119549567
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-21T22:17:47Z

Yazar Irwing, Paul, editor.
Yer Numarası BF39 .W55 2018
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781118489772
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Cloud computing and virtualization

2026-03-21T22:17:47Z

Yazar Le, Dac-Nhuong, 1983- editor. Kumar, Raghvendra, 1987- editor. Nguyen, Nhu Gia, editor. Chatterjee, Jyotir Moy, editor.
Yer Numarası QA76.9 .V5
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119488149
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Professional C++

2026-03-21T22:17:47Z

Yazar Gregoire, Marc (Software engineer), author.
Yer Numarası QA76.73 .C153 G733 2018
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119421276
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software quality : concepts and practice

2026-03-21T22:17:47Z

Yazar Galin, Daniel, author.
Yer Numarası QA76.76 .Q35 G35 2018 EB
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119134527
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Test Attacks to Break Mobile and Embedded Devices.

2026-03-21T22:17:47Z

Yazar Hagar, Jon Duncan, author. CRC Press LLC.
Yer Numarası QA76.9 .A25 H343 2017
Elektronik Erişim 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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer vision and imaging in intelligent transportation systems

2026-03-21T22:17:47Z

Yazar Loce, Robert P., editor. Bala, Raja, editor. Trivedi, Mohan M., editor.
Yer Numarası TE228.3
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781118971666
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-21T22:17:47Z

Yazar Grimes, Roger A., author.
Yer Numarası QA76.9 .A25
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119396260
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Artificial neural network for software reliability prediction

2026-03-21T22:17:47Z

Yazar Bisi, Manjubala, author. Goyal, Neeraj Kumar, author.
Yer Numarası QA76.87
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119223931
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-21T22:17:47Z

Yazar Kouchnarenko, Olga. editor. Khosravi, Ramtin. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-57666-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-21T22:17:47Z

Yazar Mahmood, Zaigham. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-54325-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Unraveling Software Maintenance and Evolution Thinking Outside the Box

2026-03-21T22:17:47Z

Yazar Varga, Ervin. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-71303-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Nanometer CMOS ICs From Basics to ASICs

2026-03-21T22:17:47Z

Yazar J.M. Veendrick, Harry. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-47597-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Guide to Modeling and Simulation of Systems of Systems

2026-03-21T22:17:47Z

Yazar P. Zeigler, Bernard. author. Sarjoughian, Hessam S. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-64134-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Embedded and Real-Time Operating Systems

2026-03-21T22:17:47Z

Yazar Wang, K.C. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-51517-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-21T22:17:47Z

Yazar Gabmeyer, Sebastian. editor. Johnsen, Einar Broch. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-61467-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-21T22:17:47Z

Yazar Squillero, Giovanni. editor. Sim, Kevin. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-55849-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-21T22:17:47Z

Yazar Cimatti, Alessandro. editor. (orcid)0000-0002-1315-6990 Sirjani, Marjan. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-66197-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-21T22:17:47Z

Yazar Lahiri, Shuvendu. editor. Reger, Giles. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-67531-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Concise Guide to Software Engineering From Fundamentals to Application Methods

2026-03-21T22:17:47Z

Yazar O'Regan, Gerard. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-57750-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-21T22:17:47Z

Yazar Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140 Liu, Zhiming. editor. (orcid)0000-0001-9771-3071 Zhang, Zili. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-56841-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Plate and shell structures : selected analytical and finite element solutions

2026-03-21T22:17:47Z

Yazar Radwańska, Maria, author. Stankiewicz, Anna, 1973- author. Wosatko, Adam, 1974- author. Pamin, Jerzy, author.
Yer Numarası TA660 .P6
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781118934531
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-21T22:17:47Z

Yazar 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.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-69926-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

ACS Without an Attitude

2026-03-21T22:17:47Z

Yazar Hallock, Harold L. author. Welter, Gary. author. Simpson, David G. author. Rouff, Christopher. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-1-4471-7325-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-21T22:17:47Z

Yazar Proença, José. editor. Lumpe, Markus. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-68034-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-21T22:17:47Z

Yazar Cabello, Enrique. editor. Cardoso, Jorge. editor. Ludwig, André. editor. Maciaszek, Leszek A. editor. (orcid)0000-0001-6561-0545 van Sinderen, Marten. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-62569-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-21T22:17:47Z

Yazar Squillero, Giovanni. editor. Sim, Kevin. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-55792-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Agile Modeling with UML Code Generation, Testing, Refactoring

2026-03-21T22:17:47Z

Yazar Rumpe, Bernhard. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-58862-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-21T22:17:47Z

Yazar Winkler, Dietmar. editor. Biffl, Stefan. editor. (orcid)0000-0002-3413-7780 Bergsmann, Johannes. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-49421-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Failure-Modes-Based Software Reading

2026-03-21T22:17:47Z

Yazar Zhu, Yang-Ming. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-65103-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-21T22:17:47Z

Yazar Rojas, Ignacio. editor. Joya, Gonzalo. editor. Catala, Andreu. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-59147-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-21T22:17:47Z

Yazar Rojas, Ignacio. editor. Joya, Gonzalo. editor. Catala, Andreu. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-59153-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Guide to Scientific Computing in C++

2026-03-21T22:17:47Z

Yazar Pitt-Francis, Joe. author. Whiteley, Jonathan. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-73132-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-21T22:17:47Z

Yazar Hermenegildo, Manuel V. editor. (orcid)0000-0002-7583-323X Lopez-Garcia, Pedro. editor. (orcid)0000-0002-1092-2071 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-63139-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Understanding Clinical Data Analysis Learning Statistical Principles from Published Clinical Research

2026-03-21T22:17:47Z

Yazar Cleophas, Ton J. author. Zwinderman, Aeilko H. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-39586-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Yazılım test rehberi

2026-03-21T22:17:47Z

Yazar Bozkurt, Asiye Çüçen, Adem, author Adıgüzel, Ahmet, author
Yer Numarası QA76.76.T48 B69 2016
Format: Kitap
Durum Beytepe Kütüphanesi~1

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

2026-03-21T22:17:47Z

Yazar Ross, Hans-Leo. author. (orcid)0009-0009-0125-8824 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-33361-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Distributed Simulation A Model Driven Engineering Approach

2026-03-21T22:17:47Z

Yazar Topçu, Okan. author. Durak, Umut. author. Oğuztüzün, Halit. author. Yilmaz, Levent. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-03050-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-21T22:17:47Z

Yazar Milazzo, Paolo. editor. (orcid)0000-0002-7309-6424 Varró, Dániel. editor. Wimmer, Manuel. editor. (orcid)0000-0002-1124-7098 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-50230-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-21T22:17:47Z

Yazar Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-47169-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Wireless Sensor Networks for Structural Health Monitoring

2026-03-21T22:17:47Z

Yazar Cao, Jiannong. author. Liu, Xuefeng. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-29034-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-21T22:17:47Z

Yazar Gühmann, Clemens. editor. Riese, Jens. editor. von Rüden, Klaus. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-32345-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Opportunistic Mobile Networks Advances and Applications

2026-03-21T22:17:47Z

Yazar Misra, Sudip. author. Saha, Barun Kumar. author. Pal, Sujata. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-29031-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-21T22:17:47Z

Yazar Cleophas, Ton J. author. Zwinderman, Aeilko H. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-27104-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-21T22:17:47Z

Yazar Zhang, Lu. editor. Xu, Chang. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-10-3482-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-21T22:17:47Z

Yazar Sarro, Federica. editor. Deb, Kalyanmoy. editor. (orcid)0000-0001-7402-9939 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-47106-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Transactions on Modularity and Composition I

2026-03-21T22:17:47Z

Yazar Chiba, Shigeru. editor. Südholt, Mario. editor. Eugster, Patrick. editor. Ziarek, Lukasz. editor. Leavens, Gary T. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-46969-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Intelligence and Quantitative Software Engineering

2026-03-21T22:17:47Z

Yazar Pedrycz, Witold. editor. Succi, Giancarlo. editor. Sillitti, Alberto. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-25964-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-21T22:17:47Z

Yazar Aichernig, Bernhard K. editor. Furia, Carlo A. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-41135-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-21T22:17:47Z

Yazar Braga, Christiano. editor. Ölveczky, Peter Csaba. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-28934-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-21T22:17:47Z

Yazar Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-47166-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-21T22:17:47Z

Yazar Falcone, Yliès. editor. Sánchez, César. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-46982-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Encyclopedia of Algorithms

2026-03-21T22:17:47Z

Yazar Kao, Ming-Yang. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-1-4939-2864-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-21T22:17:47Z

Yazar O'Regan, Gerard. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-44561-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-21T22:17:47Z

Yazar Arnicans, Guntis. editor. Arnicane, Vineta. editor. Borzovs, Juris. editor. Niedrite, Laila. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-40180-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-21T22:17:47Z

Yazar Bertogna, Marko. editor. Pinho, Luís Miguel. editor. Quiñones, Eduardo. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-39083-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-21T22:17:47Z

Yazar Gumzej, Roman. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-28905-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Handbook of Genetic Programming Applications

2026-03-21T22:17:47Z

Yazar Gandomi, Amir H. editor. Alavi, Amir H. editor. Ryan, Conor. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-20883-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-21T22:17:47Z

Yazar Fujita, Hamido. editor. (orcid) Guizzi, Guido. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-22689-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-21T22:17:47Z

Yazar Maciaszek, Leszek A. editor. Filipe, Joaquim. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-27218-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-21T22:17:47Z

Yazar Lassenius, Casper. editor. Dingsøyr, Torgeir. editor. Paasivaara, Maria. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-18612-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-21T22:17:47Z

Yazar Blanchette, Jasmin Christian. editor. Kosmatov, Nikolai. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-21215-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Green in Software Engineering

2026-03-21T22:17:47Z

Yazar Calero, Coral. editor. Piattini, Mario. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-08581-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-21T22:17:47Z

Yazar Winkler, Dietmar. editor. Biffl, Stefan. editor. Bergsmann, Johannes. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-13251-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-21T22:17:47Z

Yazar Liu, Shaoying. editor. Duan, Zhenhua. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-17404-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-21T22:17:47Z

Yazar Abrahamsson, Pekka. editor. Corral, Luis. editor. Oivo, Markku. editor. Russo, Barbara. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-26844-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-21T22:17:47Z

Yazar Calinescu, Radu. editor. Rumpe, Bernhard. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-22969-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-21T22:17:47Z

Yazar Egyed, Alexander. editor. Schaefer, Ina. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-46675-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-21T22:17:47Z

Yazar Aarno, Daniel. Engblom, Jakob.
Yer Numarası ONLINE(355554.1)
Elektronik Erişim ScienceDirect http://www.sciencedirect.com/science/book/9780128007259
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-21T22:17:47Z

Yazar Sobh, Tarek. editor. Elleithy, Khaled. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-06773-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Vibration analysis, instruments, and signal processing

2026-03-21T22:17:47Z

Yazar Sinha, Jyoti Kumar, author.
Yer Numarası TA355 .S525 2015
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

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

2026-03-21T22:17:47Z

Yazar Kim, Haeng Kon. editor. Amouzegar, Mahyar A. editor. Ao, Sio-long. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-94-017-7236-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-21T22:17:47Z

Yazar Mandal, J. K. editor. Satapathy, Suresh Chandra. editor. Kumar Sanyal, Manas. editor. Sarkar, Partha Pratim. editor. Mukhopadhyay, Anirban. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-81-322-2247-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~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-21T22:17:47Z

Yazar Silhavy, Radek. editor. Senkerik, Roman. editor. Oplatkova, Zuzana Kominkova. editor. Prokopova, Zdenka. editor. Silhavy, Petr. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-18473-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Handbook of bioequivalence testing

2026-03-21T22:17:47Z

Yazar Niazi, Sarfaraz, 1949, author.
Yer Numarası RM301.45 .N53 2015
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

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

2026-03-21T22:17:47Z

Yazar Middlestead, Richard W.
Yer Numarası TK5103.7
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119011866
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-21T22:17:47Z

Yazar Elleithy, Khaled. editor. Sobh, Tarek. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-06764-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software architecture. 1

2026-03-21T22:17:47Z

Yazar Oussalah, Mourad, editor of compilation.
Yer Numarası ONLINE(342044.1)
Elektronik Erişim John Wiley http://dx.doi.org/10.1002/9781118930960 Books24x7 http://www.books24x7.com/marc.asp?bookid=63727
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Conducting network penetration and espionage in a global environment

2026-03-21T22:17:47Z

Yazar Middleton, Bruce, 1953, author.
Yer Numarası TK5105.59 .M53 2014
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

PCI compliance : the definitive guide

2026-03-21T22:17:47Z

Yazar Bhargav, Abhay, author.
Yer Numarası HG3755.7 .B43 2014
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

Machine learning : hands-on for developers and technical professionals

2026-03-21T22:17:47Z

Yazar Bell, Jason (Computer scientist)
Yer Numarası Q325.5
Elektronik Erişim https://onlinelibrary.wiley.com/doi/book/10.1002/9781119183464 https://onlinelibrary.wiley.com/doi/book/10.1002/9781119642183
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Beginning Haskell A Project-Based Approach

2026-03-21T22:17:47Z

Yazar Serrano Mena, Alejandro. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-1-4302-6251-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Generalized estimating equations

2026-03-21T22:17:47Z

Yazar Hardin, James W. (James William), author. Hilbe, Joseph.
Yer Numarası QA278.2 .H378 2013
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~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-21T22:17:47Z

Yazar 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.
Yer Numarası CC135 .I58 2012
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

Netcentric system of systems engineering with DEVS unified process

2026-03-21T22:17:47Z

Yazar Mittal, Saurabh., author. Cetinkaya, Deniz. Risco-Martin, Jose Luis, 1975- Seck, Mamadou D. Verbraeck, Alexander.
Yer Numarası TA168 .M58 2013
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

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

2026-03-21T22:17:47Z

Yazar White, Connie M., author.
Yer Numarası HM742 .W45 2012
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

Software maintenance success recipes

2026-03-21T22:17:47Z

Yazar Reifer, Donald J., author.
Yer Numarası QA76.6 .R435 2012
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

Field hydrogeology : a guide for site investigations and report preparation

2026-03-21T22:17:47Z

Yazar Moore, John E. (John Ezra), 1931, author.
Yer Numarası GB102.3 .M66 2012
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

Data structure and software engineering : challenges and improvements

2026-03-21T22:17:47Z

Yazar Antonakos, James L.
Yer Numarası QA76.9 .D35 D38 2011
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

Handbook of human factors in medical device design

2026-03-21T22:17:47Z

Yazar Weinger, Matthew Bret. Gardner-Bonneau, Daryle. Wiklund, Michael E. Kelly, Lori M.
Yer Numarası R856 .H38 2011
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

Bayesian adaptive methods for clinical trials

2026-03-21T22:17:47Z

Yazar Berry, Scott M.
Yer Numarası R853 .C55 B385 2011
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

Official (ISC)2 guide to the CSSLP

2026-03-21T22:17:47Z

Yazar Paul, Mano., author.
Yer Numarası QA76.76 .D47 P3775 2011
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

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

2026-03-21T22:17:47Z

Yazar Engebretson, Pat (Patrick Henry), 1974-
Yer Numarası ONLINE
Elektronik Erişim ScienceDirect http://www.sciencedirect.com/science/book/9781597496551
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software metrics and software metrology

2026-03-21T22:17:47Z

Yazar Abran, Alain, 1949-
Yer Numarası ONLINE
Elektronik Erişim IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6381791
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Building an enterprise-wide business continuity program

2026-03-21T22:17:47Z

Yazar Okolita, Kelley., author.
Yer Numarası HD49 .O46 2010
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

Model-based design for embedded systems

2026-03-21T22:17:47Z

Yazar Mosterman, Pieter J. Nicolescu, G. (Gabriela)
Yer Numarası TK7895 .E42 M62 2010
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

Secure and resilient software development

2026-03-21T22:17:47Z

Yazar Merkow, Mark S., author. Raghavan, Lakshmikanth.
Yer Numarası QA76.76 .D47 M466 2010
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

Human-computer interaction. Development process

2026-03-21T22:17:47Z

Yazar Sears, Andrew. Jacko, Julie A.
Yer Numarası QA76.9 .H85 H85653 2009
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

Automotive embedded systems handbook

2026-03-21T22:17:47Z

Yazar Navet, Nicolas. Simonot-Lion, Francoise.
Yer Numarası TL272.53 .A9868 2009
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

Modern missile guidance

2026-03-21T22:17:47Z

Yazar Yanushevsky, Rafael., author.
Yer Numarası UG630 .Y35 2008
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

Building software : a practitioner's guide

2026-03-21T22:17:47Z

Yazar Krishnamurthy, Nikhilesh., author. Saran, Amitabh.
Yer Numarası QA76.76 .D47 K734 2008
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

Practical model-based testing a tools approach

2026-03-21T22:17:47Z

Yazar Utting, Mark. Legeard, Bruno.
Yer Numarası ONLINE
Elektronik Erişim ScienceDirect http://www.sciencedirect.com/science/book/9780123725011
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Validation and qualification in analytical laboratories

2026-03-21T22:17:47Z

Yazar Huber, Ludwig, 1948-
Yer Numarası QV 744 H877 2007
Format: Kitap
Durum Sağlık Bilimleri Kütüphanesi~1

Handbook of bioequivalence testing

2026-03-21T22:17:47Z

Yazar Niazi, Sarfaraz, 1949- author.
Yer Numarası RM301.45 .N53 2007
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

Validation and qualification in analytical laboratories

2026-03-21T22:17:47Z

Yazar Huber, Ludwig, 1948- author.
Yer Numarası QD75.4 .Q34 H83 2007
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

Testing code security

2026-03-21T22:17:47Z

Yazar Van der Linden, Maura A., author.
Yer Numarası QA76.9 .A25 V359 2007
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

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

2026-03-21T22:17:47Z

Yazar Sears, Andrew. Jacko, Julie A.
Yer Numarası QA76.9 .H85 H8568 2007
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

Practical model-based testing a tools approach

2026-03-21T22:17:47Z

Yazar Utting, Mark. Legeard, Bruno. ScienceDirect (Online service)
Yer Numarası ONLINE
Elektronik Erişim ScienceDirect An electronic book accessible through the World Wide Web; click for information
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software measurement and estimation a practical approach

2026-03-21T22:17:47Z

Yazar Laird, Linda M., 1952- Brennan, M. Carol, 1954- IEEE Computer Society. John Wiley & Sons.
Yer Numarası ONLINE
Elektronik Erişim IEEE Xplore http://ieeexplore.ieee.org/servlet/opac?bknumber=5988896
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Embedded systems handbook

2026-03-21T22:17:47Z

Yazar Zurawski, Richard.
Yer Numarası TK7895 .E42 E64 2006
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

Microelectronics

2026-03-21T22:17:47Z

Yazar Whitaker, Jerry C.
Yer Numarası TK7874 .M4587 2006
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~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-21T22:17:47Z

Yazar International Conference on Numerical Simulation of Construction Processes in Geotechnical Engineering for Urban Environment (2006 : Bochum, Germany) Triantafyllidis, Theodoros, editor.
Yer Numarası TA703.5 .I58 2006 EB
Elektronik Erişim 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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Maximizing ROI on software development

2026-03-21T22:17:47Z

Yazar Sikka, Vijay., author.
Yer Numarası QA76.76 .D47 S55 2005
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

Designing usability into medical products

2026-03-21T22:17:47Z

Yazar Wiklund, Michael E., author. Wilcox, Stephen B.
Yer Numarası R856 .D473 2005
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

Flexible Software Design : Systems Development for Changing Requirements.

2026-03-21T22:17:47Z

Yazar Johnson, Bruce (Bruce M.), author. Woolfolk, Walter W., author. Miller, Robert, author. Johnson, Cindy, author.
Yer Numarası QA76.9 .S88
Elektronik Erişim 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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computers, Software Engineering, and Digital Devices

2026-03-21T22:17:47Z

Yazar Dorf, Richard C., author. Taylor and Francis.
Yer Numarası TK7885
Elektronik Erişim Click here to view.
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Vibration and shock handbook

2026-03-21T22:17:47Z

Yazar De Silva, Clarence W.
Yer Numarası TA355 .V5197 2005
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

Reliability, quality, and safety for engineers

2026-03-21T22:17:47Z

Yazar Dhillon, B. S. (Balbir S.), 1947, author.
Yer Numarası TS173 .D495 2005
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1

Statistics and experimental design for toxicologists and pharmacologists

2026-03-21T22:17:47Z

Yazar Gad, Shayne C., 1948-
Yer Numarası RA1199.4 .S73 G33 2005
Elektronik Erişim 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: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer science handbook

2026-03-21T22:17:47Z

Yazar Tucker, Allen B.
Yer Numarası QA76 .C54755 2004
Elektronik Erişim Click here to view.
Format: Kitap
Durum Çevrimiçi Kütüphane~1