Limit Search Results
Author
SpringerLink (Online service)
(3906)
Gervasi, Osvaldo. editor.
(44)
Taniar, David. editor.
(43)
Apduhan, Bernady O. editor.
(42)
Dongarra, Jack. editor.
(29)
Language
Publication Date
-
Subject
Software engineering.
(3786)
Computer science.
(2996)
Computer Communication Networks.
(1165)
Artificial intelligence.
(999)
Information systems.
(825)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
4098 Results Found Subscribe to search results
000000000000DEFAULT
Print
133. 
Cover image for Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26-30, 2022, Revised Selected Papers
Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26-30, 2022, Revised Selected Papers
Author 
Masci, Paolo. editor. Bernardeschi, Cinzia. editor. Graziani, Pierluigi. editor. Koddenbrock, Mario. editor. Palmieri, Maurizio. editor.
Preferred Shelf Number 
XX(520812.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-26236-4
Format: 
Availability 
Online Library~1
Available:
Copies:
134. 
Cover image for Mathematical Foundations of Software Engineering A Practical Guide to Essentials
Mathematical Foundations of Software Engineering A Practical Guide to Essentials
Author 
O'Regan, Gerard. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(520574.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-26212-8
Format: 
Availability 
Online Library~1
Available:
Copies:
135. 
Cover image for UML-Based Software Product Line Engineering with SMarty
UML-Based Software Product Line Engineering with SMarty
Author 
OliveiraJr, Edson. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520695.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-18556-4
Format: 
Availability 
Online Library~1
Available:
Copies:
136. 
Cover image for Software Engineering and Formal Methods 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings
Software Engineering and Formal Methods 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings
Author 
Ferreira, Carla. editor. Willemse, Tim A. C. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521275.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-47115-5
Format: 
Availability 
Online Library~1
Available:
Copies:
137. 
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:
138. 
Cover image for Theoretical Aspects of Software Engineering 17th International Symposium, TASE 2023, Bristol, UK, July 4-6, 2023, Proceedings
Theoretical Aspects of Software Engineering 17th International Symposium, TASE 2023, Bristol, UK, July 4-6, 2023, Proceedings
Author 
David, Cristina. editor. Sun, Meng. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521004.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-35257-7
Format: 
Availability 
Online Library~1
Available:
Copies:
139. 
Cover image for Requirements Engineering: Foundation for Software Quality 29th International Working Conference, REFSQ 2023, Barcelona, Spain, April 17-20, 2023, Proceedings
Requirements Engineering: Foundation for Software Quality 29th International Working Conference, REFSQ 2023, Barcelona, Spain, April 17-20, 2023, Proceedings
Author 
Ferrari, Alessio. editor. Penzenstadler, Birgit. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520927.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-29786-1
Format: 
Availability 
Online Library~1
Available:
Copies:
140. 
Cover image for Fundamentals of Software Engineering 10th International Conference, FSEN 2023, Tehran, Iran, May 4-5, 2023, Revised Selected Papers
Fundamentals of Software Engineering 10th International Conference, FSEN 2023, Tehran, Iran, May 4-5, 2023, Revised Selected Papers
Author 
Hojjat, Hossein. editor. Ábrahám, Erika. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521120.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-42441-0
Format: 
Availability 
Online Library~1
Available:
Copies:
141. 
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:
142. 
Cover image for Agile Processes in Software Engineering and Extreme Programming 20th International Conference, XP 2019, Montréal, QC, Canada, May 21–25, 2019, Proceedings
Agile Processes in Software Engineering and Extreme Programming 20th International Conference, XP 2019, Montréal, QC, Canada, May 21–25, 2019, Proceedings
Author 
Kruchten, Philippe. editor. (orcid)0000-0003-1359-4867 Fraser, Steven. editor. (orcid)0000-0002-3958-6585 Coallier, François. editor. (orcid)0000-0002-2730-2469 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-19034-7
Format: 
Availability 
Online Library~1
Available:
Copies:
143. 
Cover image for Model-Driven Engineering and Software Development 6th International Conference, MODELSWARD 2018, Funchal, Madeira, Portugal, January 22-24, 2018, Revised Selected Papers
Model-Driven Engineering and Software Development 6th International Conference, MODELSWARD 2018, Funchal, Madeira, Portugal, January 22-24, 2018, Revised Selected Papers
Author 
Hammoudi, Slimane. editor. Pires, Luís Ferreira. editor. Selic, Bran. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-11030-7
Format: 
Availability 
Online Library~1
Available:
Copies:
144. 
Cover image for Evaluation of Novel Approaches to Software Engineering 13th International Conference, ENASE 2018, Funchal, Madeira, Portugal, March 23–24, 2018, Revised Selected Papers
Evaluation of Novel Approaches to Software Engineering 13th International Conference, ENASE 2018, Funchal, Madeira, Portugal, March 23–24, 2018, Revised Selected Papers
Author 
Damiani, Ernesto. editor. Spanoudakis, George. editor. Maciaszek, Leszek A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-22559-9
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action