Limit Search Results
Author
Kim, Tai-hoon. editor.
(47)
Taniar, David. editor.
(45)
Apduhan, Bernady O. editor.
(44)
Gervasi, Osvaldo. editor.
(44)
Dongarra, Jack. editor.
(32)
Language
Publication Date
-
2011
(643)
2019
(622)
2012
(599)
2010
(586)
2018
(541)
Subject
Computer science.
(4579)
Software engineering.
(3702)
Computer software.
(2161)
Artificial intelligence.
(1948)
Computer Communication Networks.
(1697)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
6552 Results Found Subscribe to search results
000000000000DEFAULT
Print
241. 
Cover image for Evaluation of Novel Approaches to Software Engineering 17th International Conference, ENASE 2022, Virtual Event, April 25-26, 2022, Revised Selected Papers
Evaluation of Novel Approaches to Software Engineering 17th International Conference, ENASE 2022, Virtual Event, April 25-26, 2022, Revised Selected Papers
Author 
Kaindl, Hermann. editor. Mannion, Mike. editor. Maciaszek, Leszek A. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520493.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-36597-3
Format: 
Availability 
Online Library~1
Available:
Copies:
242. 
Cover image for Optimising the Software Development Process with Artificial Intelligence
Optimising the Software Development Process with Artificial Intelligence
Author 
Romero, José Raúl. editor. Medina-Bulo, Inmaculada. editor. Chicano, Francisco. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520515.1)
Electronic Access 
https://doi.org/10.1007/978-981-19-9948-2
Format: 
Availability 
Online Library~1
Available:
Copies:
243. 
Cover image for Systems, Software and Services Process Improvement 30th European Conference, EuroSPI 2023, Grenoble, France, August 30 - September 1, 2023, Proceedings, Part II
Systems, Software and Services Process Improvement 30th European Conference, EuroSPI 2023, Grenoble, France, August 30 - September 1, 2023, Proceedings, Part II
Author 
Yilmaz, Murat. editor. Clarke, Paul. editor. Riel, Andreas. editor. Messnarz, Richard. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520547.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-42310-9
Format: 
Availability 
Online Library~1
Available:
Copies:
244. 
Cover image for Software Testing Automation Testability Evaluation, Refactoring, Test Data Generation and Fault Localization
Software Testing Automation Testability Evaluation, Refactoring, Test Data Generation and Fault Localization
Author 
Parsa, Saeed. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(520377.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-22057-9
Format: 
Availability 
Online Library~1
Available:
Copies:
245. 
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:
246. 
Cover image for Development of Safety-Critical Systems Architecture and Software
Development of Safety-Critical Systems Architecture and Software
Author 
Karmakar, Gopinath. author. Wakankar, Amol. author. Kabra, Ashutosh. author. Pandya, Paritosh. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(520696.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-27901-0
Format: 
Availability 
Online Library~1
Available:
Copies:
247. 
Cover image for Verified Software. Theories, Tools and Experiments. 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, Revised Selected Papers
Verified Software. Theories, Tools and Experiments. 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, Revised Selected Papers
Author 
Lal, Akash. editor. Tonetta, Stefano. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520802.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-25803-9
Format: 
Availability 
Online Library~1
Available:
Copies:
248. 
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:
249. 
Cover image for Software Quality: Higher Software Quality through Zero Waste Development 15th International Conference, SWQD 2023, Munich, Germany, May 23-25, 2023, Proceedings
Software Quality: Higher Software Quality through Zero Waste Development 15th International Conference, SWQD 2023, Munich, Germany, May 23-25, 2023, Proceedings
Author 
Mendez, Daniel. editor. Winkler, Dietmar. editor. Kross, Johannes. editor. Biffl, Stefan. editor. Bergsmann, Johannes. editor.
Preferred Shelf Number 
XX(520766.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-31488-9
Format: 
Availability 
Online Library~1
Available:
Copies:
250. 
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:
251. 
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:
252. 
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:
Go to:Search Results
|
Top of Page
|
Search Facets