Search Results for Research -- Methods.

|

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

15

Search Field

Target Value

Limit Value

Restriction Value

Search For:

Advanced Search

Limit Search Results

Narrowed by:

+

Konu: Software engineering.

Author

SpringerLink (Online service)

(67)

Silhavy, Petr. editor.

(9)

Silhavy, Radek. editor.

(9)

Marcus, Aaron. editor.

(4)

Felderer, Michael. editor.

(3)

Jansen, Nils. editor. (orcid)0000-0003-1318-8973

(3)

Junges, Sebastian. editor. (orcid)0000-0003-0978-8466

(3)

Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324

(3)

Matheja, Christoph. editor. (orcid)0000-0001-9151-0441

(3)

Noll, Thomas. editor. (orcid)0000-0002-1865-1798

(3)

Quatmann, Tim. editor. (orcid)0000-0002-2843-5511

(3)

Stoelinga, Mariëlle. editor. (orcid)0000-0001-6793-8165

(3)

Volk, Matthias. editor. (orcid)0000-0002-3810-4185

(3)

Wang, Wentao. editor.

(3)

Escalona, Maria José. editor. (orcid)0000-0002-6435-1497

(2)

Grabis, Jānis. editor. (orcid)0000-0003-2196-0214

(2)

Johnsen, Einar Broch. editor.

(2)

Mahmood, Zaigham. editor.

(2)

Pastor, Oscar. editor. (orcid)0000-0002-1320-8471

(2)

Sturm, Arnon. editor. (orcid)0000-0002-4021-7752

(2)

Vos, Tanja E. J. editor. (orcid)0000-0002-6003-9113

(2)

van der Aa, Han. editor. (orcid)0000-0002-4200-4937

(2)

Abrahamsson, Pekka. editor.

(1)

Ahrendt, Wolfgang. editor.

(1)

Aichernig, Bernhard K. editor.

(1)

Aldini, Alessandro. editor. (orcid)0000-0002-7250-5011

(1)

Alkhalaf, Muath. author.

(1)

Amasaki, Sousuke. editor.

(1)

Aydin, Abdulbaki. author.

(1)

Babkin, Eduard. author. (orcid)0000-0003-2597-9043

(1)

Beckert, Bernhard. editor. (orcid)0000-0002-9672-3291

(1)

Beyer, Dirk. editor. (orcid)0000-0003-4832-7662

(1)

Biro, Miklos. editor.

(1)

Bodden, Eric. editor.

(1)

Bonsangue, Marcello. editor. (orcid)0000-0003-3746-3618

(1)

Bork, Dominik. editor. (orcid)0000-0001-8259-2297

(1)

Borrione, Dominique. editor.

(1)

Bourke, Timothy. editor. (orcid)0000-0003-0601-4182

(1)

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

(1)

Bowen, Judy. editor.

(1)

Bu, Lei. editor.

(1)

Bubel, Richard. editor.

(1)

Bultan, Tevfik. author.

(1)

Butler, Michael. editor.

(1)

Cavallucci, Denis. editor. (orcid)0000-0003-1815-5601

(1)

Chen, Chaomei. author.

(1)

Chen, Liqian. editor. (orcid)0000-0001-8084-8009

(1)

Ciancarini, Paolo. editor. (orcid)0000-0002-7958-9924

(1)

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

(1)

Cuppens, Frédéric. editor.

(1)

Cuppens, Nora. editor.

(1)

Deng, Lizhen. author.

(1)

Dix, Alan. editor.

(1)

Ernst, Gidon. editor. (orcid)0000-0002-3289-5764

(1)

Fill, Hans-Georg. editor. (orcid)0000-0001-5076-5341

(1)

Foster, Simon. editor. (orcid)0000-0002-9889-9514

(1)

Furia, Carlo A. editor.

(1)

Gabmeyer, Sebastian. editor.

(1)

Gavrilova, Marina L. editor.

(1)

Goharshady, Amir. editor. (orcid)0000-0003-1702-6584

(1)

Graf, Susanne. editor. (orcid)0000-0003-4354-6807

(1)

Granollers Saltiveri, Antoni. editor.

(1)

Großmann, Jürgen. editor.

(1)

Guizzardi, Renata. editor. (orcid)0000-0002-5804-5741

(1)

Güdemann, Matthias. editor. (orcid)0000-0002-1002-6023

(1)

Hartmanns, Arnd. editor. (orcid)0000-0003-3268-8674

(1)

Hasselbring, Wilhelm. editor. (orcid)0000-0001-6625-4335

(1)

Herber, Paula. editor.

(1)

Hermanns, Holger. editor. (orcid)0000-0002-2766-9615

(1)

Hoda, Rashina. author. (orcid)0000-0001-5147-8096

(1)

Hähnle, Reiner. editor.

(1)

Höst, Martin. author.

(1)

Jedlitschka, Andreas. editor.

(1)

Karagiannis, Dimitris. editor.

(1)

Katoen, Joost-Pieter. editor. (orcid)0000-0002-6143-1926

(1)

Kephart, Jeffrey O. editor.

(1)

Kersting, Kristian. editor.

(1)

Knapp, Alexander. editor. (orcid)0000-0002-4050-3249

(1)

Kordon, Fabrice. editor. (orcid)0000-0002-5626-828X

(1)

Kounev, Samuel. editor.

(1)

Kowalczyk, Ryszard. editor.

(1)

Koziolek, Heiko. editor.

(1)

Kurosu, Masaaki. editor.

(1)

Kühn, Harald. editor.

(1)

Lanet, Jean-Louis. editor.

(1)

Langerak, Rom. editor.

(1)

Latorre, Pedro M. editor.

(1)

Legay, Axel. editor.

(1)

Lilienthal, Carola. editor.

(1)

Lin, Dan. editor. (orcid)0000-0001-7067-2396

(1)

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

(1)

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

(1)

Lässig, Jörg. editor.

(1)

Macías, José A. editor.

(1)

Mashkoor, Atif. editor. (orcid)0000-0003-1210-5953

(1)

Matthes, Florian. editor.

(1)

Mayr, Heinrich C. editor.

(1)

Menzies, Tim. editor.

(1)

Mercik, Jacek. editor.

(1)

Mery, Dominique. editor. (orcid)0000-0001-5231-6611

(1)

Messina, Angelo. editor.

(1)

Mikkonen, Tommi. editor.

(1)

Milenkoski, Aleksandar. editor.

(1)

Morik, Katharina. editor.

(1)

Mylopoulos, John. editor. (orcid)0000-0002-8698-3292

(1)

Nafz, Florian. editor. (orcid)0000-0001-5725-4827

(1)

Nguyen Duc, Anh. editor. (orcid)0000-0002-7063-9200

(1)

Nguyen, Ngoc Thanh. editor.

(1)

O'Regan, Gerard. author.

(1)

Ogata, Kazuhiro. editor. (orcid)0000-0002-4441-3259

(1)

Ohlsson, Magnus C. author.

(1)

Olivetti, Nicola. editor.

(1)

Ortmeier, Frank. editor. (orcid)0000-0001-6186-4142

(1)

Orłowski, Cezary. editor.

(1)

Palanque, Philippe. editor. (orcid)0000-0002-5381-971X

(1)

Pan, Yushan. author. (orcid)0000-0002-6877-3937

(1)

Paul, Wolfgang. editor.

(1)

Petke, Justyna. editor.

(1)

Pettersson, Paul. editor. (orcid)0000-0003-4040-3480

(1)

Ponsar, Hella. editor. (orcid)0000-0001-6376-9683

(1)

Prechelt, Lutz. editor.

(1)

Pufahl, Luise. editor. (orcid)0000-0002-5182-2587

(1)

Ramachandran, Muthu. editor.

(1)

Regnell, Björn. author.

(1)

Rensink, Arend. editor.

(1)

Rumpe, Bernhard. editor.

(1)

Runeson, Per. author.

(1)

Sampaio, Augusto. editor. (orcid)0000-0001-6593-577X

(1)

Schaefer, Ina. editor.

(1)

Schellhorn, Gerhard. editor. (orcid)0000-0001-6712-7178

(1)

Schewe, Klaus-Dieter. editor.

(1)

Schiendorfer, Alexander. editor. (orcid)0000-0002-5283-5304

(1)

Schmidt, Rainer. editor. (orcid)0000-0002-1637-0589

(1)

Schmitt, Peter H. editor.

(1)

Seehusen, Fredrik. editor.

(1)

Sillitti, Alberto. editor.

(1)

Sirjani, Marjan. editor.

(1)

Song, Min. author.

(1)

Steffen, Bernhard. editor.

(1)

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

(1)

Succi, Giancarlo. editor.

(1)

Sun, Jun. editor.

(1)

Sun, Meng. editor.

(1)

Tan, C.J. Kenneth. editor.

(1)

Tiwari, Ashish. editor.

(1)

Ulbrich, Mattias. editor.

(1)

Ulitin, Boris. author.

(1)

Wesslén, Anders. author.

(1)

Weyers, Benjamin. editor. (orcid)0000-0003-4785-708X

(1)

Wohlin, Claes. author.

(1)

Wrycza, Stanisław. editor.

(1)

Wu, Jiajing. editor. (orcid)0000-0001-5155-8547

(1)

Xu, Guoxia. author.

(1)

Yu, Fang. author.

(1)

Zhang, Zili. editor.

(1)

Zheng, Zibin. editor. (orcid)0000-0002-7878-4330

(1)

Zhu, Hu. author.

(1)

Zhu, Xiaoyun. editor.

(1)

Ziółkowski, Artur. editor.

(1)

Ábrahám, Erika. editor.

(1)

Language

(67)

Publication Date

-

(20)

(18)

(13)

(13)

(1)

(1)

(1)

Subject

Computer science.

(29)

Artificial intelligence.

(16)

Computer Science Logic and Foundations of Programming.

(14)

Theory of Computation.

(14)

Computational intelligence.

(13)

Compilers (Computer programs).

(12)

Compilers and Interpreters.

(12)

Formal Languages and Automata Theory.

(12)

Machine theory.

(12)

Computer networks .

(11)

Application software.

(10)

Computer and Information Systems Applications.

(10)

Computer Communication Networks.

(7)

Computer programming.

(7)

Data and Information Security.

(7)

Data protection.

(7)

Human-computer interaction.

(7)

Programming Techniques.

(7)

User Interfaces and Human Computer Interaction.

(7)

User interfaces (Computer systems).

(7)

Computer Modelling.

(6)

Computer simulation.

(6)

Computers and Society.

(6)

Computers and civilization.

(6)

Information technology -- Management.

(6)

Business information services.

(5)

Computer Application in Administrative Data Processing.

(5)

Computer science -- Mathematics.

(5)

Electronic data processing -- Management.

(5)

(5)

(4)

Business Process Management.

(4)

Computer Engineering and Networks.

(4)

Computer engineering.

(4)

IT in Business.

(4)

Information Storage and Retrieval.

(4)

Information storage and retrieval systems.

(4)

Models of Computation.

(4)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(2)

Computer vision.

(2)

(2)

(2)

(2)

Data Mining and Knowledge Discovery.

(2)

Data encryption (Computer science).

(2)

(2)

Electronic digital computers -- Evaluation.

(2)

Image processing -- Digital techniques.

(2)

Innovation and Technology Management.

(2)

(2)

Machine learning.

(2)

Mathematics of Computing.

(2)

Programming Language.

(2)

Programming languages (Electronic computers).

(2)

System Performance and Evaluation.

(2)

Technological innovations.

(2)

(1)

Blockchains (Databases).

(1)

Computer Application in Social and Behavioral Sciences.

(1)

Computer System Implementation.

(1)

Computer aided design.

(1)

Computer hardware.

(1)

Computer systems.

(1)

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

(1)

Computer-aided engineering.

(1)

Computers and Education.

(1)

Computers, Special purpose.

(1)

Control Structures and Microprogramming.

(1)

Discrete Mathematics in Computer Science.

(1)

Discrete mathematics.

(1)

(1)

Education -- Data processing.

(1)

Electronic commerce.

(1)

Energy Policy, Economics and Management.

(1)

Energy and state.

(1)

(1)

Engineering design.

(1)

Enterprise Architecture.

(1)

Hardware Performance and Reliability.

(1)

Information systems.

(1)

Management information systems.

(1)

Mathematical Applications in Computer Science.

(1)

Microprogramming .

(1)

Multimedia systems.

(1)

Natural Language Processing (NLP).

(1)

Natural language processing (Computer science).

(1)

Operating Systems.

(1)

Operating systems (Computers).

(1)

(1)

Robotic Engineering.

(1)

(1)

Social sciences -- Data processing.

(1)

Sociological Methods.

(1)

Sociology -- Methodology.

(1)

Software Management.

(1)

Software engineering -- Management.

(1)

Special Purpose and Application-Based Systems.

(1)

Symbolic and Algebraic Manipulation.

(1)

The Computing Profession.

(1)

e-Commerce and e-Business.

(1)

Material Type

Shelf Location

Electronic Library

Library

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Switch to list view

Switch to thumbnail view

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

67 Results Found

Subscribe to search results

1 2 3 4 5 6

000000000000DEFAULT

Print

Select a list

Make this your default list.

The following items were successfully added.

There was an error while adding the following items. Please try again.

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

13.

Cover image for Real Time and Such Essays Dedicated to Wang Yi to Celebrate His Scientific Career

Real Time and Such Essays Dedicated to Wang Yi to Celebrate His Scientific Career

Real Time and Such Essays Dedicated to Wang Yi to Celebrate His Scientific Career

Author

Graf, Susanne. editor. (orcid)0000-0003-4354-6807 Pettersson, Paul. editor. (orcid)0000-0003-4040-3480 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

14.

Cover image for Blockchain Transaction Data Analytics Complex Network Approaches

Blockchain Transaction Data Analytics Complex Network Approaches

Blockchain Transaction Data Analytics Complex Network Approaches

Author

Wu, Jiajing. editor. (orcid)0000-0001-5155-8547 Lin, Dan. editor. (orcid)0000-0001-7067-2396 Zheng, Zibin. editor. (orcid)0000-0002-7878-4330 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-97-4430-5

Format:

Availability

Online Library~1

Available:
Copies:

15.

Cover image for TOOLympics Challenge 2023 Updates, Results, Successes of the Formal-Methods Competitions

TOOLympics Challenge 2023 Updates, Results, Successes of the Formal-Methods Competitions

TOOLympics Challenge 2023 Updates, Results, Successes of the Formal-Methods Competitions

Author

Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Hartmanns, Arnd. editor. (orcid)0000-0003-3268-8674 Kordon, Fabrice. editor. (orcid)0000-0002-5626-828X SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-67695-6

Format:

Availability

Online Library~1

Available:
Copies:

16.

Cover image for Research Challenges in Information Science 19th International Conference, RCIS 2025, Seville, Spain, May 20-23, 2025, Proceedings, Part II

Research Challenges in Information Science 19th International Conference, RCIS 2025, Seville, Spain, May 20-23, 2025, Proceedings, Part II

Research Challenges in Information Science 19th International Conference, RCIS 2025, Seville, Spain, May 20-23, 2025, Proceedings, Part II

Author

Grabis, Jānis. editor. (orcid)0000-0003-2196-0214 Vos, Tanja E. J. editor. (orcid)0000-0002-6003-9113 Escalona, Maria José. editor. (orcid)0000-0002-6435-1497 Pastor, Oscar. editor. (orcid)0000-0002-1320-8471 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-92471-2

Format:

Availability

Online Library~1

Available:
Copies:

17.

Cover image for Research Challenges in Information Science 19th International Conference, RCIS 2025, Seville, Spain, May 20-23, 2025, Proceedings, Part I

Research Challenges in Information Science 19th International Conference, RCIS 2025, Seville, Spain, May 20-23, 2025, Proceedings, Part I

Research Challenges in Information Science 19th International Conference, RCIS 2025, Seville, Spain, May 20-23, 2025, Proceedings, Part I

Author

Grabis, Jānis. editor. (orcid)0000-0003-2196-0214 Vos, Tanja E. J. editor. (orcid)0000-0002-6003-9113 Escalona, Maria José. editor. (orcid)0000-0002-6435-1497 Pastor, Oscar. editor. (orcid)0000-0002-1320-8471 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-92474-3

Format:

Availability

Online Library~1

Available:
Copies:

18.

Cover image for Software Engineering: Emerging Trends and Practices in System Development Proceedings of 14th Computer Science On-line Conference 2025, Volume 3

Software Engineering: Emerging Trends and Practices in System Development Proceedings of 14th Computer Science On-line Conference 2025, Volume 3

Software Engineering: Emerging Trends and Practices in System Development Proceedings of 14th Computer Science On-line Conference 2025, Volume 3

Author

Silhavy, Radek. editor. Silhavy, Petr. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-032-00239-6

Format:

Availability

Online Library~1

Available:
Copies:

19.

Cover image for Software Engineering: Emerging Trends and Practices in System Development Proceedings of the 14th Computer Science On-line Conference 2025, Volume 6

Software Engineering: Emerging Trends and Practices in System Development Proceedings of the 14th Computer Science On-line Conference 2025, Volume 6

Software Engineering: Emerging Trends and Practices in System Development Proceedings of the 14th Computer Science On-line Conference 2025, Volume 6

Author

Silhavy, Radek. editor. Silhavy, Petr. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-032-00715-5

Format:

Availability

Online Library~1

Available:
Copies:

20.

Cover image for 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

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

Author

Silhavy, Radek. editor. Silhavy, Petr. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-96798-6

Format:

Availability

Online Library~1

Available:
Copies:

21.

Cover image for Software Engineering: Emerging Trends and Practices in System Development Proceedings of 14th Computer Science On-line Conference 2025, Volume 4

Software Engineering: Emerging Trends and Practices in System Development Proceedings of 14th Computer Science On-line Conference 2025, Volume 4

Software Engineering: Emerging Trends and Practices in System Development Proceedings of 14th Computer Science On-line Conference 2025, Volume 4

Author

Silhavy, Radek. editor. Silhavy, Petr. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-032-03406-9

Format:

Availability

Online Library~1

Available:
Copies:

22.

Cover image for Dependable Software Engineering. Theories, Tools, and Applications 9th International Symposium, SETTA 2023, Nanjing, China, November 27-29, 2023, Proceedings

Dependable Software Engineering. Theories, Tools, and Applications 9th International Symposium, SETTA 2023, Nanjing, China, November 27-29, 2023, Proceedings

Dependable Software Engineering. Theories, Tools, and Applications 9th International Symposium, SETTA 2023, Nanjing, China, November 27-29, 2023, Proceedings

Author

Hermanns, Holger. editor. (orcid)0000-0002-2766-9615 Sun, Jun. editor. Bu, Lei. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-99-8664-4

Format:

Availability

Online Library~1

Available:
Copies:

23.

Cover image for Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops CIFMA 2023 and OpenCERT 2023, Eindhoven, The Netherlands, November 6-10, 2023, Revised Selected Papers

Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops CIFMA 2023 and OpenCERT 2023, Eindhoven, The Netherlands, November 6-10, 2023, Revised Selected Papers

Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops CIFMA 2023 and OpenCERT 2023, Eindhoven, The Netherlands, November 6-10, 2023, Revised Selected Papers

Author

Aldini, Alessandro. editor. (orcid)0000-0002-7250-5011 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

24.

Cover image for Experimentation in Software Engineering

Experimentation in Software Engineering

Experimentation in Software Engineering

Author

Wohlin, Claes. author. Runeson, Per. author. Höst, Martin. author. Ohlsson, Magnus C. author. Regnell, Björn. author.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-69306-3

Format:

Availability

Online Library~1

Available:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 2 3 4 5 6

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11