Limit Search Results
Author
SpringerLink (Online service)
(181)
Garau, Chiara. editor. (orcid)
(4)
Gervasi, Osvaldo. editor. (orcid)
(4)
Murgante, Beniamino. editor. (orcid)
(4)
Abdelnour Nocera, José. editor.
(3)
Language
English
(185)
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
185 Results Found Subscribe to search results
000000000000DEFAULT
Print
37. 
Cover image for Formal Methods and Software Engineering 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21-24, 2023, Proceedings
Formal Methods and Software Engineering 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21-24, 2023, Proceedings
Author 
Li, Yi. editor. Tahar, Sofiène. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521324.1)
Electronic Access 
https://doi.org/10.1007/978-981-99-7584-6
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
Cover image for Frontiers in Software Engineering Education Second International Workshop, FISEE 2023, Villebrumier, France, January 23-25, 2023, Invited Papers
Frontiers in Software Engineering Education Second International Workshop, FISEE 2023, Villebrumier, France, January 23-25, 2023, Invited Papers
Author 
Capozucca, Alfredo. editor. Ebersold, Sophie. editor. Bruel, Jean-Michel. editor. Meyer, Bertrand. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521355.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-48639-5
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
Cover image for A Review on Recent Echocardiographic Software Advancing the Field through the Emerging Science
A Review on Recent Echocardiographic Software Advancing the Field through the Emerging Science
Author 
Karvandi, Mersedeh. author. Ranjbar, Saeed. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(521515.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-29046-6
Format: 
Availability 
Online Library~1
Available:
Copies:
40. 
Cover image for Advanced Digital System Design using SoC FPGAs An Integrated Hardware/Software Approach
Advanced Digital System Design using SoC FPGAs An Integrated Hardware/Software Approach
Author 
Snider, Ross K. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(520191.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-15416-4
Format: 
Availability 
Online Library~1
Available:
Copies:
41. 
Cover image for Agile Processes in Software Engineering and Extreme Programming 24th International Conference on Agile Software Development, XP 2023, Amsterdam, The Netherlands, June 13-16, 2023, Proceedings
Agile Processes in Software Engineering and Extreme Programming 24th International Conference on Agile Software Development, XP 2023, Amsterdam, The Netherlands, June 13-16, 2023, Proceedings
Author 
Stettina, Christoph J. editor. Garbajosa, Juan. editor. Kruchten, Philippe. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520250.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-33976-9
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
Cover image for Handbook of Re-Engineering Software Intensive Systems into Software Product Lines
Handbook of Re-Engineering Software Intensive Systems into Software Product Lines
Author 
Lopez-Herrejon, Roberto E. editor. Martinez, Jabier. editor. Guez Assunção, Wesley Klewerton. editor. Ziadi, Tewfik. editor. Acher, Mathieu. editor.
Preferred Shelf Number 
XX(520251.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-11686-5
Format: 
Availability 
Online Library~1
Available:
Copies:
43. 
Cover image for Sensor Systems and Software 13th EAI International Conference, S-Cube 2022, Dalian, China, December 7-9, 2022, Proceedings
Sensor Systems and Software 13th EAI International Conference, S-Cube 2022, Dalian, China, December 7-9, 2022, Proceedings
Author 
Karimi , Hamid Reza. editor. Wang, Ning. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520457.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-34899-0
Format: 
Availability 
Online Library~1
Available:
Copies:
44. 
Cover image for Programming Languages and Systems 32nd European Symposium on Programming, ESOP 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings
Programming Languages and Systems 32nd European Symposium on Programming, ESOP 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings
Author 
Wies, Thomas. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520944.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-30044-8
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
Cover image for 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
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
Author 
Sankaranarayanan, Sriram. editor. Sharygina, Natasha. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520840.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-30820-8
Format: 
Availability 
Online Library~1
Available:
Copies:
46. 
Cover image for 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
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
Author 
Lambers, Leen. editor. Uchitel, Sebastián. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520841.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-30826-0
Format: 
Availability 
Online Library~1
Available:
Copies:
47. 
Cover image for Foundations of Software Science and Computation Structures 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings
Foundations of Software Science and Computation Structures 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings
Author 
Kupferman, Orna. editor. Sobocinski, Pawel. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520842.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-30829-1
Format: 
Availability 
Online Library~1
Available:
Copies:
48. 
Cover image for 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 I
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 I
Author 
Sankaranarayanan, Sriram. editor. Sharygina, Natasha. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520843.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-30823-9
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action