Search Results for Software Testing.

1.

Software testing

Yazar

Patton, Ron.

Yer Numarası

QA76.76.T48 P38 2006

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

2.

Testing computer software

Yazar

Kaner, Cem. Falk, Jack L., ort. yaz. Nguyen, Hung Quoc, ort. yaz.

Yer Numarası

QA 76.76.T48 K36 1999

Format:

Durum

Beytepe Kütüphanesi~2

Rafta:
Kopya:

3.

Manage software testing

Yazar

Farrell-Vinay, Peter., author.

Yer Numarası

QA76.76 .T48 F37 2008

Elektronik Erişim

Click here to view.

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

4.

Systematic software testing

Yazar

Craig, Rick D. (Rick David), 1955- Jaskiel, Stefan P., ort. yaz.

Yer Numarası

QA 76.76.T48 C73 2002

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

5.

Fundamentals of software testing

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

6.

Trends in Software Testing

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

7.

Automated Software Testing with Cypress

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

8.

Concise Guide to Software Testing

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

9.

Software testing as a service

Yazar

Ahmed, Ashfaque., author.

Yer Numarası

QA76.76 .T48 A53 2010

Elektronik Erişim

Click here to view.

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

10.

Software testing and continuous quality improvement

Yazar

Lewis, William E., author.

Yer Numarası

QA76.76 .T48 L495 2008

Elektronik Erişim

Click here to view.

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

11.

Software testing and continuous quality improvement

Yazar

Lewis, William E., author. Veerapillai, Gunasekaran.

Yer Numarası

QA76.76 .T48 L495 2005

Elektronik Erişim

Click here to view.

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

12.

Component-Based Software Testing with UML

Yazar

Gross, Hans-Gerhard. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b138012

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

13.

The art of software testing

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

14.

Software testing fundamentals : methods and metrics

Yazar

Hutcheson, Marnie L., 1951-

Yer Numarası

QA 76.76.T48 H88 2003

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

15.

Software testing : a craftsman's approach

Yazar

Jorgensen, Paul.

Yer Numarası

QA 76.76.T48 J67 2002

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

16.

Software testing and continuous quality improvement

Yazar

Lewis, William E., author.

Yer Numarası

QA76.76 .T48 L495 2000

Elektronik Erişim

Click here to view.

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

17.

Flight simulation software : design, development and testing

Yazar

Allerton, David, author.

Yer Numarası

TL712.5 .A398 2023

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781119738251

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

18.

Analytic methods in systems and software testing

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

19.

ESSENTIAL SOFTWARE TESTING : a use-case approach.

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

20.

Improving Software Testing Technical and Organizational Developments

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

21.

Composing Software Components A Software-testing Perspective

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

22.

Software error detection through testing and analysis

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

23.

Automated software testing : introduction, management, and performance

Yazar

Dustin, Elfriede. Rashka, Jeff. Paul, John.

Yer Numarası

QA76.76.T48 D87 1999

Format:

Durum

Beytepe Kütüphanesi~2

Rafta:
Kopya:

24.

Leveraging the wisdom of the crowd in software testing

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

25.

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

Yazar

Darche, Philippe.

Yer Numarası

QA76.5

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781119801740

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

26.

Taking testing seriously : the rapid software testing approach

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

27.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

28.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

29.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

30.

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

Yazar

Parsa, Saeed. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-22057-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

31.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

32.

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

Yazar

Nwodo, Adora.

Yer Numarası

QA76.58 .N86 2023

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781394320639

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

33.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

34.

How to Reduce the Cost of Software Testing

Yazar

Heusser, Matthew, editor. Kulkarni, Govind, editor. Taylor and Francis.

Yer Numarası

QA76.76 .T48

Elektronik Erişim

Click here to view

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

35.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

36.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

37.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

38.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

39.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

40.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

41.

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

Yazar

Bondi, André B., author.

Yer Numarası

QA76.9.E94 B66 2015

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

42.

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

Yazar

Piterman, Nir. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-26287-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

43.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

44.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

45.

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

Yazar

Yahav, Eran. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-13338-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

46.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

47.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

48.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

49.

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

Yazar

Merkow, Mark S., author. Raghavan, Lakshmikanth.

Yer Numarası

QA76.76 .T48 M47 2012

Elektronik Erişim

Click here to view.

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

50.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

51.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

52.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

53.

Software Testing in the Cloud Migration and Execution

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

54.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

55.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

56.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

57.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

58.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

59.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

60.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

61.

Patterns for performance and operability : building and testing enterprise software

Yazar

Ford, Chris (Christopher B.)

Yer Numarası

QA76.76 .D47 P3768 2008

Elektronik Erişim

Click here to view.

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

62.

Software testing and quality assurance theory and practice

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

63.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

64.

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

Yazar

Mathur, Aditya P.

Yer Numarası

QA76.76.T48 M38 2008

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

65.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

66.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

67.

Software testing testing across the entire software development life cycle

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

68.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

69.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

70.

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

Yazar

Grieskamp, Wolfgang. editor. Weise, Carsten. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/11759744

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

71.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

72.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

73.

Software quality engineering Testing, quality assurance, and quantifiable improvement

Yazar

Tian, Jeff. John Wiley & Sons.

Yer Numarası

ONLINE

Elektronik Erişim

IEEE Xplore http://ieeexplore.ieee.org/servlet/opac?bknumber=5988897

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

74.

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

Yazar

Whittaker, James A., 1965-

Yer Numarası

QA 76.76.T48 W47 2002

Format:

Durum

Beytepe Kütüphanesi~2

Rafta:
Kopya:

75.

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

Yazar

Sütbaş, Rukiye.

Yer Numarası

TEZ/7138 S7939 2005

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

76.

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

Yazar

Grabowski, Jens. editor. Nielsen, Brian. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

http://dx.doi.org/10.1007/b106767

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

77.

Effective software test automation : developing an automated software testing tool

Yazar

Li, Kanglin, 1963- Wu, Mengqi, ort. yaz.

Yer Numarası

QA 76.76.T48 L532 2004

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

78.

How to break software security : effective technigues for security testing

Yazar

Whittaker, James A., 1965- Thomson, Herbert H., ort. yaz.

Yer Numarası

QA 76.9.A25 W48 2004

Format:

Durum

Beytepe Kütüphanesi~2

Rafta:
Kopya:

79.

Testing and quality assurance for component-based software

Yazar

Gao, Jerry Zeyu. Tsao, H.-S. Jacob. Wu, Ye.

Yer Numarası

QA76.76.Q35 G38 2003

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

80.

Lessons learned in software testing : a context-driven approach

Yazar

Kaner, Cem. Bach, James. ort. yaz. Pettichord, Bret. ort. yaz.

Yer Numarası

QA 76.76.T48 K34 2002

Format:

Durum

Beytepe Kütüphanesi~2

Rafta:
Kopya:

81.

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

Yazar

Black, Rex.

Yer Numarası

QA 76.76.T48 B553 2002

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

82.

Effective software testing : 50 specific ways to improve your testing

Yazar

Dustin, Elfriede.

Yer Numarası

QA 76.76.T48 D873 2002

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

83.

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

Yazar

Watkins, John (John Edward)

Yer Numarası

QA 76.76.T48 W38 2001

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

84.

PDCA/Test : a quality tool framework for software testing

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

85.

Information security management handbook

Yazar

Tipton, Harold F. Nozaki, Micki Krause.

Yer Numarası

QA76.9 .A25 I54165 2007

Elektronik Erişim

Click here to view.

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

86.

Open RAN : technology and ecosystem

Yazar

Yanover, Vladimir, author.

Yer Numarası

TK5103.2 .Y36 2025

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781394241170

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

87.

Alice and Bob learn secure coding

Yazar

Janca, Tanya. author.

Yer Numarası

QA76.76 .D47

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781394277179

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

88.

Controller design for industrial applications

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

89.

Method validation in pharmaceutical analysis : a guide to best practice

Yazar

Ermer, Joachim, editor. Nethercote, Phil, editor.

Yer Numarası

RS187

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9783527831708

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

90.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

91.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

92.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

93.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

94.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

95.

Quantum computing models for cybersecurity and wireless communications

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

96.

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

Yazar

Matfess, Jared, author.

Yer Numarası

Q335 .M38 2025

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781394352418

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

97.

Model based system engineering : theoretical foundations

Yazar

Koudri, Ali, author.

Yer Numarası

TA168

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781394345106

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

98.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

99.

A Concise Introduction to Software Engineering With Open Source and GenAI

Yazar

Jalote, Pankaj. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-74318-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

100.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

101.

Boosting Software Development Using Machine Learning

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

102.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

103.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

104.

Biomedical devices and sensors

Yazar

Molimard, Jérôme, author.

Yer Numarası

R856 .M65 2024

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781394317172

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

105.

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

Yazar

Srividya, P., editor.

Yer Numarası

TK7871.6 .D54 2024

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781119879923

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

106.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

107.

CyberSecurity in a DevOps Environment From Requirements to Monitoring

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

108.

The French School of Programming

Yazar

Meyer, Bertrand. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-34518-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

109.

Attacks, Defenses and Testing for Deep Learning

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

110.

Learning Java A Test-Driven Approach

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

111.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

112.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

113.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

114.

Cloud-Native Application Architecture Microservice Development Best Practice

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

115.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

116.

Reliability Engineering Technology of Digital Diagnosis and Treatment Equipment

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

117.

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

Yazar

Kundel, Ralf. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-52872-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

118.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

119.

Experimentation in Software Engineering

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

120.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

121.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

122.

Cybernetical intelligence : engineering cybernetics with machine intelligence

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

123.

Infrastructure robotics : methodologies, robotic systems and applications

Yazar

Liu, Dikai, editor.

Yer Numarası

TJ211 .I48144 2024

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781394162871

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

124.

Professional C++

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

125.

Paleontological data analysis

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

126.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

127.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

128.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

129.

Agile-SOFL Agile Formal Engineering Method

Yazar

Liu, Shaoying. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-97-2285-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

130.

Metrics for Test Reporting Analysis and Reporting for Effective Test Management

Yazar

Witte, Frank. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-658-44006-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

131.

Beginning software engineering

Yazar

Stephens, Rod, author.

Yer Numarası

QA76.758 .S74 2023

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781394320592

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

132.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

133.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

134.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

135.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

136.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

137.

Optimising the Software Development Process with Artificial Intelligence

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

138.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

139.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

140.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

141.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

142.

Embracing Machines and Humanity Through Cognitive Computing and IoT

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

143.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

144.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

145.

Teaching Biostatistics in Medicine and Allied Health Sciences

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

146.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

147.

Concept Building in Fisheries Data Analysis

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

148.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

149.

Developments and Advances in Defense and Security Proceedings of MICRADS 2022

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

150.

Uncertainty, Constraints, and Decision Making

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

151.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

152.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

153.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

154.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

155.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

156.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

157.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

158.

Practical partial discharge measurement on electrical equipment

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

159.

Open RAN : the definitive guide

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

160.

Agile Software Development : trends, challenges and applications

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

161.

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

Yazar

Banakar, Umesh V., 1956- author.

Yer Numarası

RS189

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781119634645

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

162.

Cyberphysical smart cities infrastructures : optimal operation and intelligent decision making

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

163.

Yazılım test rehberi

Yazar

Bozkurt, Asiye Çüçen, Adem, author Adıgüzel, Ahmet, author

Yer Numarası

QA76.76.T48 B69 2022

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

164.

Design of experiments for reliability achievement

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

165.

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

Yazar

Homès, Bernard, author.

Yer Numarası

QA76.76 .T48

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781394188482

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

166.

Advanced Testing of Systems-Of-Systems 1.

Yazar

Homes, Bernard.

Yer Numarası

QA76.76 .T48 H6729 2022

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781394188451

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

167.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

168.

Building secure cars : assuring the automotive software development lifecycle

Yazar

Oka, Dennis Kengo, author.

Yer Numarası

TL272.53 .O42 2021

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781119710783

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

169.

Wireless communication signals : a laboratory-based approach

Yazar

Arslan, Hüseyin, 1968- author.

Yer Numarası

TK5105 .A76 2021

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781119764441

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

170.

Supercharge, invasion and mudcake growth in downhole applications

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

171.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

172.

Hacking connected cars : tactics, techniques, and procedures

Yazar

Knight, Alissa, author.

Yer Numarası

TL152.8 .K65 2020

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781119491774

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

173.

Hands on hacking

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

174.

The Electrical Engineering Handbook - Six Volume Set

Yazar

Dorf, Richard C., editor. Taylor and Francis.

Yer Numarası

R857 .B54

Elektronik Erişim

Click here to view.

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

175.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

176.

Testing statistical assumptions in research

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

177.

The official (ISC)² CISSP CBK reference

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

178.

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

Yazar

Irwing, Paul, editor.

Yer Numarası

BF39 .W55 2018

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781118489772

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

179.

Cloud computing and virtualization

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

180.

Professional C++

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

181.

Software quality : concepts and practice

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

182.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

183.

Software technology : 10 years of innovation in IEEE Computer

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

184.

Testing Complex and Embedded Systems

Yazar

Pries, Kim H., author. Quigley, Jon M., author. Taylor and Francis.

Yer Numarası

TK7895 .E42

Elektronik Erişim

Click here to view

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

185.

Design for safety

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

186.

Plate and shell structures : selected analytical and finite element solutions

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

187.

Computer vision and imaging in intelligent transportation systems

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

188.

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

Yazar

Grimes, Roger A., author.

Yer Numarası

QA76.9 .A25

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781119396260

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

189.

Artificial neural network for software reliability prediction

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

190.

Software Test Attacks to Break Mobile and Embedded Devices.

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

191.

ACS Without an Attitude

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

192.

Unraveling Software Maintenance and Evolution Thinking Outside the Box

Yazar

Varga, Ervin. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-71303-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

193.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

194.

Understanding Clinical Data Analysis Learning Statistical Principles from Published Clinical Research

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

195.

Agile Modeling with UML Code Generation, Testing, Refactoring

Yazar

Rumpe, Bernhard. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-58862-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

196.

Failure-Modes-Based Software Reading

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

197.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

198.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

199.

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

Yazar

Mahmood, Zaigham. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-54325-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

200.

Nanometer CMOS ICs From Basics to ASICs

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

201.

Guide to Modeling and Simulation of Systems of Systems

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

202.

Embedded and Real-Time Operating Systems

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

203.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

204.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

205.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

206.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

207.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

208.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

209.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

210.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

211.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

212.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

213.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

214.

Guide to Scientific Computing in C++

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

215.

Concise Guide to Software Engineering From Fundamentals to Application Methods

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

216.

Yazılım test rehberi

Yazar

Bozkurt, Asiye Çüçen, Adem, author Adıgüzel, Ahmet, author

Yer Numarası

QA76.76.T48 B69 2016

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

217.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

218.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

219.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

220.

Computational Intelligence and Quantitative Software Engineering

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

221.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

222.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

223.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

224.

Transactions on Modularity and Composition I

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

225.

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

Yazar

Gumzej, Roman. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-28905-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

226.

Distributed Simulation A Model Driven Engineering Approach

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

227.

Wireless Sensor Networks for Structural Health Monitoring

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

228.

Opportunistic Mobile Networks Advances and Applications

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

229.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

230.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

231.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

232.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

233.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

234.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

235.

Encyclopedia of Algorithms

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

236.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

237.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

238.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

239.

Handbook of bioequivalence testing

Yazar

Niazi, Sarfaraz, 1949, author.

Yer Numarası

RM301.45 .N53 2015

Elektronik Erişim

Click here to view.

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

240.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

241.

Vibration analysis, instruments, and signal processing

Yazar

Sinha, Jyoti Kumar, author.

Yer Numarası

TA355 .S525 2015

Elektronik Erişim

Click here to view.

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

242.

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

Yazar

Middlestead, Richard W.

Yer Numarası

TK5103.7

Elektronik Erişim

https://onlinelibrary.wiley.com/doi/book/10.1002/9781119011866

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

243.

Green in Software Engineering

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

244.

Handbook of Genetic Programming Applications

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

245.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

246.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

247.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

248.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

249.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

250.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

251.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

252.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

253.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

254.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

255.

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

Yazar

Aarno, Daniel. Engblom, Jakob.

Yer Numarası

ONLINE(355554.1)

Elektronik Erişim

ScienceDirect http://www.sciencedirect.com/science/book/9780128007259

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

256.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

257.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

258.

Conducting network penetration and espionage in a global environment

Yazar

Middleton, Bruce, 1953, author.

Yer Numarası

TK5105.59 .M53 2014

Elektronik Erişim

Click here to view.

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

259.

PCI compliance : the definitive guide

Yazar

Bhargav, Abhay, author.

Yer Numarası

HG3755.7 .B43 2014

Elektronik Erişim

Click here to view.

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

260.

Software architecture. 1

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

261.

Beginning Haskell A Project-Based Approach

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

262.

Machine learning : hands-on for developers and technical professionals

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

263.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

264.

Netcentric system of systems engineering with DEVS unified process

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

265.

Generalized estimating equations

Yazar

Hardin, James W. (James William), author. Hilbe, Joseph.

Yer Numarası

QA278.2 .H378 2013

Elektronik Erişim

Click here to view.

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

266.

Field hydrogeology : a guide for site investigations and report preparation

Yazar

Moore, John E. (John Ezra), 1931, author.

Yer Numarası

GB102.3 .M66 2012

Elektronik Erişim

Click here to view.

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

267.

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

Yazar

White, Connie M., author.

Yer Numarası

HM742 .W45 2012

Elektronik Erişim

Click here to view.

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

268.

Software maintenance success recipes

Yazar

Reifer, Donald J., author.

Yer Numarası

QA76.6 .R435 2012

Elektronik Erişim

Click here to view.

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

269.

Data structure and software engineering : challenges and improvements

Yazar

Antonakos, James L.

Yer Numarası

QA76.9 .D35 D38 2011

Elektronik Erişim

Click here to view.

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

270.

Bayesian adaptive methods for clinical trials

Yazar

Berry, Scott M.

Yer Numarası

R853 .C55 B385 2011

Elektronik Erişim

Click here to view.

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

271.

Handbook of human factors in medical device design

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

272.

Official (ISC)2 guide to the CSSLP

Yazar

Paul, Mano., author.

Yer Numarası

QA76.76 .D47 P3775 2011

Elektronik Erişim

Click here to view.

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

273.

Model-based design for embedded systems

Yazar

Mosterman, Pieter J. Nicolescu, G. (Gabriela)

Yer Numarası

TK7895 .E42 M62 2010

Elektronik Erişim

Click here to view.

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

274.

Secure and resilient software development

Yazar

Merkow, Mark S., author. Raghavan, Lakshmikanth.

Yer Numarası

QA76.76 .D47 M466 2010

Elektronik Erişim

Click here to view.

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

275.

Building an enterprise-wide business continuity program

Yazar

Okolita, Kelley., author.

Yer Numarası

HD49 .O46 2010

Elektronik Erişim

Click here to view.

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

276.

Software metrics and software metrology

Yazar

Abran, Alain, 1949-

Yer Numarası

ONLINE

Elektronik Erişim

IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6381791

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

277.

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

Yazar

Engebretson, Pat (Patrick Henry), 1974-

Yer Numarası

ONLINE

Elektronik Erişim

ScienceDirect http://www.sciencedirect.com/science/book/9781597496551

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

278.

Automotive embedded systems handbook

Yazar

Navet, Nicolas. Simonot-Lion, Francoise.

Yer Numarası

TL272.53 .A9868 2009

Elektronik Erişim

Click here to view.

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

279.

Human-computer interaction. Development process

Yazar

Sears, Andrew. Jacko, Julie A.

Yer Numarası

QA76.9 .H85 H85653 2009

Elektronik Erişim

Click here to view.

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

280.

Building software : a practitioner's guide

Yazar

Krishnamurthy, Nikhilesh., author. Saran, Amitabh.

Yer Numarası

QA76.76 .D47 K734 2008

Elektronik Erişim

Click here to view.

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

281.

Modern missile guidance

Yazar

Yanushevsky, Rafael., author.

Yer Numarası

UG630 .Y35 2008

Elektronik Erişim

Click here to view.

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

282.

Validation and qualification in analytical laboratories

Yazar

Huber, Ludwig, 1948- author.

Yer Numarası

QD75.4 .Q34 H83 2007

Elektronik Erişim

Click here to view.

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

283.

Testing code security

Yazar

Van der Linden, Maura A., author.

Yer Numarası

QA76.9 .A25 V359 2007

Elektronik Erişim

Click here to view.

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

284.

Handbook of bioequivalence testing

Yazar

Niazi, Sarfaraz, 1949- author.

Yer Numarası

RM301.45 .N53 2007

Elektronik Erişim

Click here to view.

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

285.

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

Yazar

Sears, Andrew. Jacko, Julie A.

Yer Numarası

QA76.9 .H85 H8568 2007

Elektronik Erişim

Click here to view.

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

286.

Practical model-based testing a tools approach

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

287.

Validation and qualification in analytical laboratories

Yazar

Huber, Ludwig, 1948-

Yer Numarası

QV 744 H877 2007

Format:

Durum

Sağlık Bilimleri Kütüphanesi~1

Rafta:
Kopya:

288.

Practical model-based testing a tools approach

Yazar

Utting, Mark. Legeard, Bruno.

Yer Numarası

ONLINE

Elektronik Erişim

ScienceDirect http://www.sciencedirect.com/science/book/9780123725011

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

289.

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

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:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

290.

Embedded systems handbook

Yazar

Zurawski, Richard.