Limit Search Results
Author
SpringerLink (Online service)
(6552)
Kim, Tai-hoon. editor.
(47)
Taniar, David. editor.
(45)
Apduhan, Bernady O. editor.
(44)
Gervasi, Osvaldo. editor.
(44)
Language
Publication Date
-
Subject
Computer science.
(4584)
Software engineering.
(3786)
Computer software.
(2174)
Artificial intelligence.
(1955)
Computer Communication Networks.
(1697)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
7682 Results Found Subscribe to search results
000000000000DEFAULT
Print
445. 
Cover image for Concise Guide to Software Verification From Model Checking to Annotation Checking
Concise Guide to Software Verification From Model Checking to Annotation Checking
Author 
Huisman, Marieke. author. Wijs, Anton. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(520525.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-30167-4
Format: 
Availability 
Online Library~1
Available:
Copies:
446. 
Cover image for Software Engineering for Games in Serious Contexts Theories, Methods, Tools, and Experiences
Software Engineering for Games in Serious Contexts Theories, Methods, Tools, and Experiences
Author 
Cooper, Kendra M. L. editor. Bucchiarone, Antonio. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520632.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-33338-5
Format: 
Availability 
Online Library~1
Available:
Copies:
447. 
Cover image for Introduction to Software Architecture Innovative Design using Clean Architecture and Model-Driven Engineering
Introduction to Software Architecture Innovative Design using Clean Architecture and Model-Driven Engineering
Author 
Lano, Kevin. author. Yassipour Tehrani, Sobhan. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(520650.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-44143-1
Format: 
Availability 
Online Library~1
Available:
Copies:
448. 
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:
449. 
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:
450. 
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:
451. 
Cover image for Software Architecture 17th European Conference, ECSA 2023, Istanbul, Turkey, September 18-22, 2023, Proceedings
Software Architecture 17th European Conference, ECSA 2023, Istanbul, Turkey, September 18-22, 2023, Proceedings
Author 
Tekinerdogan, Bedir. editor. Trubiani, Catia. editor. Tibermacine, Chouki. editor. Scandurra, Patrizia. editor. Cuesta, Carlos E. editor.
Preferred Shelf Number 
XX(521130.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-42592-9
Format: 
Availability 
Online Library~1
Available:
Copies:
452. 
Cover image for Composability, Comprehensibility and Correctness of Working Software 8th Summer School, CEFP 2019, Budapest, Hungary, June 17-21, 2019, Revised Selected Papers
Composability, Comprehensibility and Correctness of Working Software 8th Summer School, CEFP 2019, Budapest, Hungary, June 17-21, 2019, Revised Selected Papers
Author 
Porkoláb, Zoltán. editor. Zsók, Viktória. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521248.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-42833-3
Format: 
Availability 
Online Library~1
Available:
Copies:
453. 
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:
454. 
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:
455. 
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:
456. 
Cover image for Model-Driven Engineering and Software Development 9th International Conference, MODELSWARD 2021, Virtual Event, February 8-10, 2021, and 10th International Conference, MODELSWARD 2022, Virtual Event, February 6-8, 2022, Revised Selected Papers
Model-Driven Engineering and Software Development 9th International Conference, MODELSWARD 2021, Virtual Event, February 8-10, 2021, and 10th International Conference, MODELSWARD 2022, Virtual Event, February 6-8, 2022, Revised Selected Papers
Author 
Pires, Luís Ferreira. editor. Hammoudi, Slimane. editor. Seidewitz, Edwin. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520444.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-38821-7
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action