Search Results for Research -- Methods.

|

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

8

Search Field

Target Value

Limit Value

Restriction Value

Search For:

Advanced Search

Limit Search Results

Narrowed by:

+

Subject: 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.

25.

Cover image for Infrared Small Target Detection Theory, Methods, and Algorithms.

Infrared Small Target Detection Theory, Methods, and Algorithms.

Infrared Small Target Detection Theory, Methods, and Algorithms.

Author

Zhu, Hu. author. Pan, Yushan. author. (orcid)0000-0002-6877-3937 Deng, Lizhen. author. Xu, Guoxia. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-99-9799-2

Format:

Availability

Online Library~1

Available:
Copies:

26.

Cover image for Ernst Denert Award for Software Engineering 2022 Practice Meets Foundations

Ernst Denert Award for Software Engineering 2022 Practice Meets Foundations

Ernst Denert Award for Software Engineering 2022 Practice Meets Foundations

Author

Bodden, Eric. editor. Felderer, Michael. editor. Hasselbring, Wilhelm. editor. (orcid)0000-0001-6625-4335 Herber, Paula. editor. Koziolek, Heiko. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-44412-8

Format:

Availability

Online Library~1

Available:
Copies:

27.

Cover image for Cybernetics and Control Theory in Systems Proceedings of 13th Computer Science On-line Conference 2024, Volume 2

Cybernetics and Control Theory in Systems Proceedings of 13th Computer Science On-line Conference 2024, Volume 2

Cybernetics and Control Theory in Systems Proceedings of 13th Computer Science On-line Conference 2024, Volume 2

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

28.

Cover image for Formal Methods and Software Engineering 25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2-6, 2024, Proceedings

Formal Methods and Software Engineering 25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2-6, 2024, Proceedings

Formal Methods and Software Engineering 25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2-6, 2024, Proceedings

Author

Ogata, Kazuhiro. editor. (orcid)0000-0002-4441-3259 Mery, Dominique. editor. (orcid)0000-0001-5231-6611 Sun, Meng. editor. Liu, Shaoying. editor. (orcid)0000-0002-6748-5052 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-96-0617-7

Format:

Availability

Online Library~1

Available:
Copies:

29.

Cover image for The Application of Formal Methods Essays Dedicated to Jim Woodcock on the Occasion of His Retirement

The Application of Formal Methods Essays Dedicated to Jim Woodcock on the Occasion of His Retirement

The Application of Formal Methods Essays Dedicated to Jim Woodcock on the Occasion of His Retirement

Author

Foster, Simon. editor. (orcid)0000-0002-9889-9514 Sampaio, Augusto. editor. (orcid)0000-0001-6593-577X SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

30.

Cover image for Machine Learning Methods in Systems Proceedings of 13th Computer Science On-line Conference 2024, Vol. 4

Machine Learning Methods in Systems Proceedings of 13th Computer Science On-line Conference 2024, Vol. 4

Machine Learning Methods in Systems Proceedings of 13th Computer Science On-line Conference 2024, Vol. 4

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

31.

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:

32.

Cover image for Ontology-Based Evolution of Domain-Oriented Languages Models, Methods and Tools for User Interface Design in General-Purpose Software Systems

Ontology-Based Evolution of Domain-Oriented Languages Models, Methods and Tools for User Interface Design in General-Purpose Software Systems

Ontology-Based Evolution of Domain-Oriented Languages Models, Methods and Tools for User Interface Design in General-Purpose Software Systems

Author

Babkin, Eduard. author. (orcid)0000-0003-2597-9043 Ulitin, Boris. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-42202-7

Format:

Availability

Online Library~1

Available:
Copies:

33.

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:

34.

Cover image for Metamodeling: Applications and Trajectories to the Future Essays in Honor of Dimitris Karagiannis

Metamodeling: Applications and Trajectories to the Future Essays in Honor of Dimitris Karagiannis

Metamodeling: Applications and Trajectories to the Future Essays in Honor of Dimitris Karagiannis

Author

Fill, Hans-Georg. editor. (orcid)0000-0001-5076-5341 Kühn, Harald. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

35.

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

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

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

Author

Mahmood, Zaigham. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

36.

Cover image for Search Based Software Engineering 9th International Symposium, SSBSE 2017, Paderborn, Germany, September 9-11, 2017, Proceedings

Search Based Software Engineering 9th International Symposium, SSBSE 2017, Paderborn, Germany, September 9-11, 2017, Proceedings

Search Based Software Engineering 9th International Symposium, SSBSE 2017, Paderborn, Germany, September 9-11, 2017, Proceedings

Author

Menzies, Tim. editor. Petke, Justyna. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

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