Search Results for Research methods.

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

67 Results Found

1 2 3 4 5 6

000000000000DEFAULT

Cover image for Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III

Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III

Author

Jansen, Nils. editor. (orcid)0000-0003-1318-8973 Junges, Sebastian. editor. (orcid)0000-0003-0978-8466 Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324 Matheja, Christoph. editor. (orcid)0000-0001-9151-0441 Noll, Thomas. editor. (orcid)0000-0002-1865-1798

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-75778-5

Format:

Availability

Online Library~1

Available:
Copies:

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

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:

Software Engineering: Emerging Trends and Practices in System Development Proceedings of 14th Computer Science Online Conference 2025, 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-032-00712-4

Format:

Availability

Online Library~1

Available:
Copies:

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

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:

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

Author

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Enterprise, Business-Process and Information Systems Modeling 26th International Conference, BPMDS 2025, and 30th International Conference, EMMSAD 2025, Vienna, Austria, June 16-17, 2025, Proceedings

Enterprise, Business-Process and Information Systems Modeling 26th International Conference, BPMDS 2025, and 30th International Conference, EMMSAD 2025, Vienna, Austria, June 16-17, 2025, Proceedings

Author

Guizzardi, Renata. editor. (orcid)0000-0002-5804-5741 Pufahl, Luise. editor. (orcid)0000-0002-5182-2587 Sturm, Arnon. editor. (orcid)0000-0002-4021-7752 van der Aa, Han. editor. (orcid)0000-0002-4200-4937 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

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

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:

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:

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

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:

10.

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:

11.

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)