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
457. 
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:
458. 
Cover image for Designing Modern Embedded Systems: Software, Hardware, and Applications 7th IFIP TC 10 International Embedded Systems Symposium, IESS 2022, Lippstadt, Germany, November 3-4, 2022, Proceedings
Designing Modern Embedded Systems: Software, Hardware, and Applications 7th IFIP TC 10 International Embedded Systems Symposium, IESS 2022, Lippstadt, Germany, November 3-4, 2022, Proceedings
Author 
Henkler, Stefan. editor. Kreutz, Márcio. editor. Wehrmeister, Marco A. editor. Götz, Marcelo. editor. Rettberg, Achim. editor.
Preferred Shelf Number 
XX(520586.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-34214-1
Format: 
Availability 
Online Library~1
Available:
Copies:
459. 
Cover image for Business Modeling and Software Design 13th International Symposium, BMSD 2023, Utrecht, The Netherlands, July 3-5, 2023, Proceedings
Business Modeling and Software Design 13th International Symposium, BMSD 2023, Utrecht, The Netherlands, July 3-5, 2023, Proceedings
Author 
Shishkov, Boris. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520592.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-36757-1
Format: 
Availability 
Online Library~1
Available:
Copies:
460. 
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:
461. 
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:
462. 
Cover image for Software Architecture. ECSA 2022 Tracks and Workshops Prague, Czech Republic, September 19-23, 2022, Revised Selected Papers
Software Architecture. ECSA 2022 Tracks and Workshops Prague, Czech Republic, September 19-23, 2022, Revised Selected Papers
Author 
Batista, Thais. editor. Bureš, Tomáš. editor. Raibulet, Claudia. editor. Muccini, Henry. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521095.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-36889-9
Format: 
Availability 
Online Library~1
Available:
Copies:
463. 
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:
464. 
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:
465. 
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:
466. 
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:
467. 
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:
468. 
Cover image for Technology Research Explained Design of Software, Architectures, Methods, and Technology in General
Technology Research Explained Design of Software, Architectures, Methods, and Technology in General
Author 
Stølen, Ketil. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(520280.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-25817-6
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action