Search Results for Software Testing.

|

Kütüphane Hesabım

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

8

Search Field

Target Value

Limit Value

Restriction Value

Arama:

Gelişmiş Arama

Arama Sonuçlarını Sınırlandır

Daraltılmış:

+

Shelf Location: 1:SPRINGER

Yazar

SpringerLink (Online service)

(83)

Finkbeiner, Bernd. editor.

(3)

Kovács, Laura. editor.

(3)

Bergsmann, Johannes. editor.

(2)

Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140

(2)

Catala, Andreu. editor.

(2)

Cavalli, Ana Rosa. editor.

(2)

Cleophas, Ton J. author.

(2)

Janes, Andrea. editor.

(2)

Jedlitschka, Andreas. editor.

(2)

Joya, Gonzalo. editor.

(2)

Kadgien, Regine. editor.

(2)

Lenarduzzi, Valentina. editor. (orcid)0000-0003-0511-5133

(2)

Li, Xiaozhou. editor.

(2)

Liu, Zhiming. editor. (orcid)0000-0001-9771-3071

(2)

Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739

(2)

O'Regan, Gerard. author.

(2)

Rojas, Ignacio. editor.

(2)

Sarro, Federica. editor.

(2)

Silhavy, Petr. editor.

(2)

Silhavy, Radek. editor.

(2)

Sim, Kevin. editor.

(2)

Squillero, Giovanni. editor.

(2)

Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558

(2)

Winkler, Dietmar. editor.

(2)

Zwinderman, Aeilko H. author.

(2)

Aichernig, Bernhard K. editor.

(1)

Arbel, Eli. editor.

(1)

Arnicane, Vineta. editor.

(1)

Arnicans, Guntis. editor.

(1)

Bagnato, Alessandra. editor.

(1)

Balakrishnan, Arunkumar. editor.

(1)

Barnard, Pepita. editor. (orcid)0000-0003-4518-1207

(1)

Bautista, John Robert. editor. (orcid)0000-0002-4892-9543

(1)

Bello-Orgaz, Gema. editor. (orcid)0000-0003-2826-3286

(1)

Benala, Tirimula Rao. editor.

(1)

Bertogna, Marko. editor.

(1)

Biffl, Stefan. editor. (orcid)0000-0002-3413-7780

(1)

Bloem, Roderick. editor.

(1)

Borge-Diez, David. editor.

(1)

Boronat, Artur. editor. (orcid)0000-0003-2024-1736

(1)

Borzovs, Juris. editor.

(1)

Braga, Christiano. editor.

(1)

Cabello, Enrique. editor.

(1)

Cao, Jiannong. author.

(1)

Cardoso, Jorge. editor.

(1)

Chaudhary, Naveen Kumar. editor.

(1)

Chen, Jinyin. author. (orcid)0000-0002-7153-2755

(1)

Chiba, Shigeru. editor.

(1)

Cimatti, Alessandro. editor. (orcid)0000-0002-1315-6990

(1)

Colmenar-Santos, Antonio. editor.

(1)

Crotts, Joshua. author. (orcid)0000-0002-7513-5618

(1)

Dash, Santanu. editor. (orcid)0000-0002-5674-8531

(1)

Deb, Kalyanmoy. editor. (orcid)0000-0001-7402-9939

(1)

Dehuri, Satchidananda. editor.

(1)

Durak, Umut. author.

(1)

Eugster, Patrick. editor.

(1)

Falcone, Yliès. editor.

(1)

Farahi, Arya. editor. (orcid)0000-0003-0777-4618

(1)

Favorskaya, Margarita N. editor.

(1)

Felderer, Michael. editor. (orcid)0000-0003-3818-4442

(1)

Fischbach, Jannik. editor. (orcid)0000-0002-4361-6118

(1)

Fortz, Sophie. editor. (orcid)0000-0001-9687-8587

(1)

Fraser, Gordon. editor. (orcid)0000-0002-4364-6595

(1)

Furia, Carlo A. editor.

(1)

Gabmeyer, Sebastian. editor.

(1)

Gao, Jun. author.

(1)

Gohil, Bhavesh N. editor.

(1)

Gomes, Cláudio. editor. (orcid)0000-0003-2692-9742

(1)

Gumzej, Roman. author.

(1)

Gühmann, Clemens. editor.

(1)

Hallock, Harold L. author.

(1)

Han, DongGyun. editor. (orcid)0000-0002-8599-2197

(1)

Hermenegildo, Manuel V. editor. (orcid)0000-0002-7583-323X

(1)

Höst, Martin. author.

(1)

Iyengar, S. S. editor.

(1)

J.M. Veendrick, Harry. author.

(1)

Jalote, Pankaj. author.

(1)

Johnsen, Einar Broch. editor.

(1)

Kakkar, Deepti. editor.

(1)

Kalinowski, Marcos. editor. (orcid)0000-0003-1445-3425

(1)

Kao, Ming-Yang. editor.

(1)

Khosravi, Ramtin. editor.

(1)

Kosmatov, Nikolai. editor. (orcid)0000-0003-1557-2813

(1)

Kouchnarenko, Olga. editor.

(1)

Kundel, Ralf. author.

(1)

Kushik, Natalia. editor.

(1)

Lahiri, Shuvendu. editor.

(1)

Leavens, Gary T. editor.

(1)

Li, Wei. author.

(1)

Li, Wen. author.

(1)

Li, Xiao. author.

(1)

Li, Xiuqing. author.

(1)

Liu, Shaoying. author.

(1)

Liu, Shaoying. editor. (orcid)0000-0002-6748-5052

(1)

Liu, Xuefeng. author.

(1)

Lopez-Garcia, Pedro. editor. (orcid)0000-0002-1092-2071

(1)

Ludwig, André. editor.

(1)

Lumpe, Markus. editor.

(1)

Maciaszek, Leszek A. editor. (orcid)0000-0001-6561-0545

(1)

Mahmood, Zaigham. editor.

(1)

Mall, Rajib. editor.

(1)

Mallouli, Wissam. editor.

(1)

Marmsoler, Diego. editor. (orcid)0000-0003-2859-7673

(1)

Mehta, Gayatri. editor.

(1)

Menéndez, Héctor D. editor. (orcid)0000-0002-6314-3725

(1)

Meyer, Bertrand. editor.

(1)

Milazzo, Paolo. editor. (orcid)0000-0002-7309-6424

(1)

Misra, Sudip. author.

(1)

Mohanty, Hrushikesha. editor.

(1)

Mohanty, J. R. editor.

(1)

Méndez Fernández, Daniel. editor.

(1)

Nica, Mihai. editor.

(1)

Niedrite, Laila. editor.

(1)

Ohlsson, Magnus C. author.

(1)

Ortega-Cabezas, Pedro-Miguel. editor.

(1)

Oğuztüzün, Halit. author.

(1)

P. Zeigler, Bernard. author.

(1)

Pal, Sujata. author.

(1)

Patel, Sankita J. editor.

(1)

Pedrycz, Witold. editor.

(1)

Pilaeten, Michaël. author.

(1)

Pinho, Luís Miguel. editor.

(1)

Pitt-Francis, Joe. author.

(1)

Prevosto, Virgile. editor.

(1)

Proença, José. editor.

(1)

Quiñones, Eduardo. editor.

(1)

Ramler, Rudolf. editor. (orcid)0000-0001-9903-6107

(1)

Reger, Giles. editor.

(1)

Regnell, Björn. author.

(1)

Riese, Jens. editor.

(1)

Rodriguez-Fernandez, Victor. editor. (orcid)0000-0002-8589-6621

(1)

Roman, Adam. author. (orcid)0000-0002-1020-5128

(1)

Ross, Hans-Leo. author. (orcid)0009-0009-0125-8824

(1)

Rouff, Christopher. author.

(1)

Rumpe, Bernhard. author.

(1)

Runeson, Per. author.

(1)

Sadovykh, Andrey. editor.

(1)

Saha, Barun Kumar. author.

(1)

Sarjoughian, Hessam S. author.

(1)

Seceleanu, Cristina. editor.

(1)

Serrano Mena, Alejandro. author.

(1)

Signoles, Julien. editor.

(1)

Sillitti, Alberto. editor.

(1)

Simpson, David G. author.

(1)

Sirjani, Marjan. editor.

(1)

Stapp, Lucjan. author.

(1)

Strichman, Ofer. editor.

(1)

Succi, Giancarlo. editor.

(1)

Sun, Meng. editor.

(1)

Sánchez, César. editor.

(1)

Südholt, Mario. editor.

(1)

Team, FreeWheel Biz-UI. author.

(1)

Topçu, Okan. author.

(1)

Truscan, Dragos. editor.

(1)

Turhan, Burak. editor.

(1)

Tzoref-Brill, Rachel. editor.

(1)

Varga, Ervin. author.

(1)

Varró, Dániel. editor.

(1)

Wang, K.C. author.

(1)

Welter, Gary. author.

(1)

Wesslén, Anders. author.

(1)

Whiteley, Jonathan. author.

(1)

Wickramasinghe, Nilmini. editor.

(1)

Wimmer, Manuel. editor. (orcid)0000-0002-1124-7098

(1)

Winkler, Dietmar. editor. (orcid)0000-0002-4743-3124

(1)

Witte, Frank. author.

(1)

Wohlin, Claes. author.

(1)

Wotawa, Franz. editor.

(1)

Xu, Chang. editor.

(1)

Yenigün, Hüsnü. editor.

(1)

Yevtushenko, Nina. editor.

(1)

Yilmaz, Levent. author.

(1)

Yin, Xiaokang. author.

(1)

Yuan, Xin'an. author.

(1)

Zhang, Lu. editor.

(1)

Zhang, Ximin. author.

(1)

Zhang, Zili. editor.

(1)

Zhao, Jianming. author.

(1)

Zheng, Haibin. author.

(1)

Zhu, Yang-Ming. author.

(1)

Ziarek, Lukasz. editor.

(1)

van Sinderen, Marten. editor.

(1)

von Rüden, Klaus. editor.

(1)

Ölveczky, Peter Csaba. editor.

(1)

Tümünü genişlet

Dil

(83)

Yayın Yılı

-

(28)

(23)

(21)

(10)

(1)

Konu

Software engineering.

(54)

Computer science.

(30)

Artificial intelligence.

(22)

Compilers (Computer programs).

(21)

Compilers and Interpreters.

(21)

Computer networks .

(20)

Computer Science Logic and Foundations of Programming.

(18)

Computer Communication Networks.

(17)

Computer programming.

(15)

Programming Techniques.

(15)

Formal Languages and Automata Theory.

(13)

Machine theory.

(13)

Electronic data processing -- Management.

(12)

(12)

Theory of Computation.

(12)

Computer Modelling.

(10)

Computer simulation.

(10)

Computer programs -- Testing.

(9)

Software Management.

(9)

Software Testing.

(9)

Software engineering -- Management.

(9)

Computational intelligence.

(7)

Computers, Special purpose.

(7)

Electronic digital computers -- Evaluation.

(7)

Special Purpose and Application-Based Systems.

(7)

System Performance and Evaluation.

(7)

(6)

Computer System Implementation.

(5)

Computer systems.

(5)

Control Structures and Microprogramming.

(5)

Microprogramming .

(5)

Application software.

(4)

Computer Engineering and Networks.

(4)

Computer and Information Systems Applications.

(4)

Computer engineering.

(4)

Operating Systems.

(4)

Operating systems (Computers).

(4)

Automotive engineering.

(3)

Computer architecture.

(3)

Computers and Education.

(3)

(3)

Data and Information Security.

(3)

Data protection.

(3)

Education -- Data processing.

(3)

Electronic Circuits and Systems.

(3)

Electronic circuits.

(3)

Electronics and Microelectronics, Instrumentation.

(3)

(3)

Information theory.

(3)

Microprocessors.

(3)

Natural Language Processing (NLP).

(3)

Natural language processing (Computer science).

(3)

Processor Architectures.

(3)

(3)

Programming Language.

(3)

Programming languages (Electronic computers).

(3)

The Computing Profession.

(3)

Bioinformatics.

(2)

Coding and Information Theory.

(2)

(2)

Communications Engineering, Networks.

(2)

Computational Mathematics and Numerical Analysis.

(2)

Computational and Systems Biology.

(2)

Computer Application in Administrative Data Processing.

(2)

Computer science -- Mathematics.

(2)

Information technology -- Management.

(2)

(2)

Mathematical Applications in Computer Science.

(2)

Mathematics -- Data processing.

(2)

Models of Computation.

(2)

Security Science and Technology.

(2)

Security systems.

(2)

Telecommunication.

(2)

Aerospace Technology and Astronautics.

(1)

Aerospace engineering.

(1)

Applications of Mathematics.

(1)

Arithmetic and Logic Structures.

(1)

(1)

Automated Pattern Recognition.

(1)

Biology -- Research.

(1)

Biomedical Devices and Instrumentation.

(1)

Biomedical Research.

(1)

Biomedical engineering.

(1)

(1)

(1)

(1)

Blockchains (Databases).

(1)

Cloud Computing.

(1)

Computer arithmetic and logic units.

(1)

Computer software.

(1)

Computer-Aided Engineering (CAD, CAE) and Design.

(1)

Computer-aided engineering.

(1)

Computers -- History.

(1)

Control and Systems Theory.

(1)

Control engineering.

(1)

Cooperating objects (Computer systems).

(1)

Cyber-Physical Systems.

(1)

Data Mining and Knowledge Discovery.

(1)

Data Structures and Information Theory.

(1)

(1)

Data structures (Computer science).

(1)

Database management.

(1)

Discrete Mathematics in Computer Science.

(1)

Discrete mathematics.

(1)

Electrical and Electronic Engineering.

(1)

Electrical engineering.

(1)

Engineering design.

(1)

Health Sciences.

(1)

History of Computing.

(1)

Invertebrate Zoology.

(1)

(1)

Java (Computer program language).

(1)

(1)

Machine learning.

(1)

Machines, Tools, Processes.

(1)

(1)

Mathematical Models of Cognitive Processes and Neural Networks.

(1)

Mathematical Software.

(1)

(1)

Mechanical engineering.

(1)

Medical sciences.

(1)

Medicine -- Research.

(1)

Neural networks (Computer science) .

(1)

Numerical analysis.

(1)

(1)

Open source software.

(1)

Pattern recognition systems.

(1)

(1)

(1)

Philosophy of Technology.

(1)

Signal processing.

(1)

Signal, Speech and Image Processing.

(1)

Sociological Methods.

(1)

Sociological Theory.

(1)

Sociology -- Methodology.

(1)

(1)

Sustainability.

(1)

Technology -- Philosophy.

(1)

Traffic engineering.

(1)

Transportation Technology and Traffic Engineering.

(1)

Transportation engineering.

(1)

Tümünü genişlet

Materyal Türü

Kütüphane

Çevrimiçi Kütüphane

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Liste görünümüne geç

Küçük resim görünümüne geç

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

83 sonuç bulundu

Arama sonuçlarına abone ol

1 2 3 4 5 .. 7

000000000000DEFAULT_TR

Yazdır

Liste seç

Bunu varsayılan liste yap.

Öğeler başarıyla eklendi

Öğeler eklenirken hata oldu. Lütfen tekrar deneyiniz.

One or more items could not be added because you are not logged in.

1.

Trends in Software Testing için kapak resmi

Trends in Software Testing

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:

2.

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

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

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:

3.

Development and Testing of Vehicle Software and its Influence on Sustainable Transport için kapak resmi

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

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:

4.

Hardware and Software: Verification and Testing 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings için kapak resmi

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

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:

5.

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

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

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:

6.

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

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

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:

7.

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

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

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:

8.

Boosting Software Development Using Machine Learning için kapak resmi

Boosting Software Development Using Machine Learning

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:

9.

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

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

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:

10.

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

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

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:

11.

Alternating Current Field Measurement Technique for Detection and Measurement of Cracks in Structures için kapak resmi

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

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:

12.

A Concise Introduction to Software Engineering With Open Source and GenAI için kapak resmi

A Concise Introduction to Software Engineering With Open Source and GenAI

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:

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

1 2 3 4 5 .. 7

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11