Limit Search Results
Author
SpringerLink (Online service)
(9954)
Huang, De-Shuang. editor.
(82)
Apduhan, Bernady O. editor.
(57)
Gervasi, Osvaldo. editor.
(54)
Kim, Tai-hoon. editor.
(47)
Language
Publication Date
-
2024
(966)
2025
(827)
2017
(809)
2011
(790)
2014
(745)
Subject
Computer science.
(5017)
Software engineering.
(4894)
Artificial intelligence.
(3346)
Computer Communication Networks.
(2657)
Application software.
(2647)
Material Type
Shelf Location
Switch to list view
Switch to thumbnail view
Select an Action
11754 Results Found Subscribe to search results
000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000DEFAULT
Print
13. 
Cover image for Cyber-Physical Systems Data Science, Modelling and Software Optimization
Cyber-Physical Systems Data Science, Modelling and Software Optimization
Author 
Kravets, Alla G. author. (orcid)0000-0003-1675-8652 Bolshakov, Alexander A. editor. (orcid)0000-0001-7966-718X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-67685-7
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Software Engineering Methods Design and Application Proceedings of 13th Computer Science Online Conference 2024, Volume 1
Software Engineering Methods Design and Application Proceedings of 13th Computer Science Online Conference 2024, Volume 1
Author 
Silhavy, Radek. editor. Silhavy, Petr. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-70285-3
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for WRITING IN-HOUSE MEDICAL DEVICE SOFTWARE IN COMPLIANCE WITH EU, UK, AND US REGULATIONS
WRITING IN-HOUSE MEDICAL DEVICE SOFTWARE IN COMPLIANCE WITH EU, UK, AND US REGULATIONS
Author 
Cosgriff, Philip. Memmott, Matthew.
Preferred Shelf Number 
R858
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003301202
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Introduction to convective heat transfer : a software-based approach using MAPLE and MATLAB
Introduction to convective heat transfer : a software-based approach using MAPLE and MATLAB
Author 
Onur, Nevzat, 1950- author.
Preferred Shelf Number 
QC327 .O58 2023
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119766797
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Beginning Azure DevOps : planning, building, testing, and releasing software applications on Azure
Beginning Azure DevOps : planning, building, testing, and releasing software applications on Azure
Author 
Nwodo, Adora.
Preferred Shelf Number 
QA76.58 .N86 2023
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394320639
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for SOFTWARE ENGINEERING APPROACHES TO ENABLE DIGITAL TRANSFORMATION TECHNOLOGIES
SOFTWARE ENGINEERING APPROACHES TO ENABLE DIGITAL TRANSFORMATION TECHNOLOGIES
Author 
Misra, Sanjay. Jain, Amit. Kaushik, Manju. Banerjee, Chitresh.
Preferred Shelf Number 
QA76.758
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003441601
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for What every engineer should know about software engineering
What every engineer should know about software engineering
Author 
Laplante, Phillip A., author. Kassab, Mohamad, author.
Preferred Shelf Number 
QA76.758
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003218647
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for Handbook of software fault localization : foundations and advances
Handbook of software fault localization : foundations and advances
Author 
Wong, W. Eric, editor. Tse, T. H., editor. John Wiley & Sons, publisher.
Preferred Shelf Number 
QA76.76 .F34 H36 2023
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119880929
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Medical-Grade Software Development How to Build Medical-Device Products That Meet the Requirements of IEC 62304 and ISO 13485.
Medical-Grade Software Development How to Build Medical-Device Products That Meet the Requirements of IEC 62304 and ISO 13485.
Author 
Juuso, Ilkka. Pöyhönen, Ilpo.
Preferred Shelf Number 
R856.6
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003454830
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for HARDWARE, SOFTWARE, HEARTWARE digital twinning for more sustainable built environments.
HARDWARE, SOFTWARE, HEARTWARE digital twinning for more sustainable built environments.
Author 
Pomeroy, Jason.
Preferred Shelf Number 
HT166
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003437765
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for A Software Development Approach for Driving Competitiveness in Small Firms
A Software Development Approach for Driving Competitiveness in Small Firms
Author 
Chevers, Delroy A., author.
Preferred Shelf Number 
HD2341
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003388944
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for Implementing enterprise cybersecurity with open-source software and standard architecture. Volume II
Implementing enterprise cybersecurity with open-source software and standard architecture. Volume II
Author 
Handa, Anand, editor. Negi, Rohit, editor. Venkatesan, S., editor. Shukla, Sandeep K., editor.
Preferred Shelf Number 
QA76.9 .A25
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003426134
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
25. 
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-22057-9
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for Viruses in all Dimensions How an Information Code Controls Viruses, Software and Microorganisms
Viruses in all Dimensions How an Information Code Controls Viruses, Software and Microorganisms
Author 
Ball, Rafael. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-658-38826-3
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-38821-7
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-34899-0
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-36757-1
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-42592-9
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-42833-3
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-36889-9
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-42441-0
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-42310-9
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-44143-1
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-30820-8
Format: 
Availability 
Online Library~1
Available:
Copies:
37. 
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-30826-0
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-30829-1
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-18556-4
Format: 
Availability 
Online Library~1
Available:
Copies:
40. 
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-27901-0
Format: 
Availability 
Online Library~1
Available:
Copies:
41. 
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-35257-7
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-47115-5
Format: 
Availability 
Online Library~1
Available:
Copies:
43. 
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-7584-6
Format: 
Availability 
Online Library~1
Available:
Copies:
44. 
Cover image for Data Science and Algorithms in Systems Proceedings of 6th Computational Methods in Systems and Software 2022, Vol. 2
Data Science and Algorithms in Systems Proceedings of 6th Computational Methods in Systems and Software 2022, Vol. 2
Author 
Silhavy, Radek. editor. Silhavy, Petr. editor. Prokopova, Zdenka. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-21438-7
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
Cover image for Software Engineering Research in System Science Proceedings of 12th Computer Science On-line Conference 2023, Volume 1
Software Engineering Research in System Science Proceedings of 12th Computer Science On-line Conference 2023, Volume 1
Author 
Silhavy, Radek. editor. Silhavy, Petr. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-35311-6
Format: 
Availability 
Online Library~1
Available:
Copies:
46. 
Cover image for Complex, Intelligent and Software Intensive Systems Proceedings of the 17th International Conference on Complex, Intelligent and Software Intensive Systems (CISIS-2023)
Complex, Intelligent and Software Intensive Systems Proceedings of the 17th International Conference on Complex, Intelligent and Software Intensive Systems (CISIS-2023)
Author 
Barolli, Leonard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-35734-3
Format: 
Availability 
Online Library~1
Available:
Copies:
47. 
Cover image for Ambient Intelligence-Software and Applications-13th International Symposium on Ambient Intelligence
Ambient Intelligence-Software and Applications-13th International Symposium on Ambient Intelligence
Author 
Julián, Vicente. editor. (orcid)0000-0002-2743-6037 Carneiro, João. editor. Alonso, Ricardo S. editor. (orcid)0000-0002-6599-0186 Chamoso, Pablo. editor. Novais, Paulo. editor. (orcid)0000-0002-3549-0754
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-22356-3
Format: 
Availability 
Online Library~1
Available:
Copies:
48. 
Cover image for International Conference on Advanced Intelligent Systems for Sustainable Development Volume 1 - Advanced Intelligent Systems on Artificial Intelligence, Software, and Data Science
International Conference on Advanced Intelligent Systems for Sustainable Development Volume 1 - Advanced Intelligent Systems on Artificial Intelligence, Software, and Data Science
Author 
Kacprzyk, Janusz. editor. Ezziyyani, Mostafa. editor. Balas, Valentina Emilia. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-26384-2
Format: 
Availability 
Online Library~1
Available:
Copies:
49. 
Cover image for Applied Computing for Software and Smart Systems Proceedings of ACSS 2023
Applied Computing for Software and Smart Systems Proceedings of ACSS 2023
Author 
Chaki, Rituparna. editor. Chaki, Nabendu. editor. Cortesi, Agostino. editor. Saeed, Khalid. editor. (orcid)0000-0002-7741-7045 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-7783-3
Format: 
Availability 
Online Library~1
Available:
Copies:
50. 
Cover image for Communication, Software and Networks Proceedings of INDIA 2022
Communication, Software and Networks Proceedings of INDIA 2022
Author 
Bhateja, Vikrant. editor. Mohanty, Jnyana Ranjan. editor. Flores Fuentes, Wendy. editor. Maharatna, Koushik. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-19-4990-6
Format: 
Availability 
Online Library~1
Available:
Copies:
51. 
Cover image for Systems, Software and Services Process Improvement 30th European Conference, EuroSPI 2023, Grenoble, France, August 30 - September 1, 2023, Proceedings, Part I
Systems, Software and Services Process Improvement 30th European Conference, EuroSPI 2023, Grenoble, France, August 30 - September 1, 2023, Proceedings, Part I
Author 
Yilmaz, Murat. editor. Clarke, Paul. editor. Riel, Andreas. editor. Messnarz, Richard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-42307-9
Format: 
Availability 
Online Library~1
Available:
Copies:
52. 
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-30823-9
Format: 
Availability 
Online Library~1
Available:
Copies:
53. 
Cover image for Model Checking Software 29th International Symposium, SPIN 2023, Paris, France, April 26-27, 2023, Proceedings
Model Checking Software 29th International Symposium, SPIN 2023, Paris, France, April 26-27, 2023, Proceedings
Author 
Caltais, Georgiana. editor. Schilling, Christian. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-32157-3
Format: 
Availability 
Online Library~1
Available:
Copies:
54. 
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-36597-3
Format: 
Availability 
Online Library~1
Available:
Copies:
55. 
Cover image for Software Technologies 17th International Conference, ICSOFT 2022, Lisbon, Portugal, July 11-13, 2022, Revised Selected Papers
Software Technologies 17th International Conference, ICSOFT 2022, Lisbon, Portugal, July 11-13, 2022, Revised Selected Papers
Author 
Fill, Hans-Georg. editor. van Sinderen, Marten. editor. Maciaszek, Leszek A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-37231-5
Format: 
Availability 
Online Library~1
Available:
Copies:
56. 
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-19-9948-2
Format: 
Availability 
Online Library~1
Available:
Copies:
57. 
Cover image for An Introduction to Software Design Concepts, Principles, Methodologies, and Techniques
An Introduction to Software Design Concepts, Principles, Methodologies, and Techniques
Author 
Hu, Chenglie. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-28311-6
Format: 
Availability 
Online Library~1
Available:
Copies:
58. 
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-30167-4
Format: 
Availability 
Online Library~1
Available:
Copies:
59. 
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-29046-6
Format: 
Availability 
Online Library~1
Available:
Copies:
60. 
Cover image for Knowledge-Based Software Engineering: 2022 Proceedings of the 14th International Joint Conference on Knowledge-Based Software Engineering (JCKBSE 2022), Larnaca, Cyprus, August 22-24, 2022
Knowledge-Based Software Engineering: 2022 Proceedings of the 14th International Joint Conference on Knowledge-Based Software Engineering (JCKBSE 2022), Larnaca, Cyprus, August 22-24, 2022
Author 
Virvou, Maria. editor. Saruwatari, Takuya. editor. Jain, Lakhmi C. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-17583-1
Format: 
Availability 
Online Library~1
Available:
Copies:
61. 
Cover image for Software Engineering Application in Systems Design Proceedings of 6th Computational Methods in Systems and Software 2022, Volume 1
Software Engineering Application in Systems Design Proceedings of 6th Computational Methods in Systems and Software 2022, Volume 1
Author 
Silhavy, Radek. editor. Silhavy, Petr. editor. Prokopova, Zdenka. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-21435-6
Format: 
Availability 
Online Library~1
Available:
Copies:
62. 
Cover image for Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing 2022-Winter
Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing 2022-Winter
Author 
Lee, Roger. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-26135-0
Format: 
Availability 
Online Library~1
Available:
Copies:
63. 
Cover image for Designing Software Intensive Products Integrating Engineering and Intellectual Property Management to the Development of Innovative Products
Designing Software Intensive Products Integrating Engineering and Intellectual Property Management to the Development of Innovative Products
Author 
Atem de Carvalho, Rogerio. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-08893-3
Format: 
Availability 
Online Library~1
Available:
Copies:
64. 
Cover image for New Perspectives in Software Engineering Proceedings of the 11th International Conference on Software Process Improvement (CIMPS 2022)
New Perspectives in Software Engineering Proceedings of the 11th International Conference on Software Process Improvement (CIMPS 2022)
Author 
Mejia, Jezreel. editor. Muñoz, Mirna. editor. Rocha, Álvaro. editor. Hernández-Nava, Víctor. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-20322-0
Format: 
Availability 
Online Library~1
Available:
Copies:
65. 
Cover image for Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing
Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing
Author 
Lee, Roger. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-19604-1
Format: 
Availability 
Online Library~1
Available:
Copies:
66. 
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-15416-4
Format: 
Availability 
Online Library~1
Available:
Copies:
67. 
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-29786-1
Format: 
Availability 
Online Library~1
Available:
Copies:
68. 
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-30044-8
Format: 
Availability 
Online Library~1
Available:
Copies:
69. 
Cover image for Testing Software and Systems 35th IFIP WG 6.1 International Conference, ICTSS 2023, Bergamo, Italy, September 18-20, 2023, Proceedings
Testing Software and Systems 35th IFIP WG 6.1 International Conference, ICTSS 2023, Bergamo, Italy, September 18-20, 2023, Proceedings
Author 
Bonfanti, Silvia. editor. Gargantini, Angelo. editor. Salvaneschi, Paolo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-43240-8
Format: 
Availability 
Online Library~1
Available:
Copies:
70. 
Cover image for Applied Computing for Software and Smart Systems Proceedings of ACSS 2022
Applied Computing for Software and Smart Systems Proceedings of ACSS 2022
Author 
Chaki, Rituparna. editor. Cortesi, Agostino. editor. Saeed, Khalid. editor. (orcid)0000-0002-7741-7045 Chaki, Nabendu. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-19-6791-7
Format: 
Availability 
Online Library~1
Available:
Copies:
71. 
Cover image for Advances in Automotive Production Technology - Towards Software-Defined Manufacturing and Resilient Supply Chains Stuttgart Conference on Automotive Production (SCAP2022)
Advances in Automotive Production Technology - Towards Software-Defined Manufacturing and Resilient Supply Chains Stuttgart Conference on Automotive Production (SCAP2022)
Author 
Kiefl, Niklas. editor. Wulle, Frederik. editor. Ackermann, Clemens. editor. Holder, Daniel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-27933-1
Format: 
Availability 
Online Library~1
Available:
Copies:
72. 
Cover image for Efficient Execution of Irregular Dataflow Graphs Hardware/Software Co-optimization for Probabilistic AI and Sparse Linear Algebra
Efficient Execution of Irregular Dataflow Graphs Hardware/Software Co-optimization for Probabilistic AI and Sparse Linear Algebra
Author 
Shah, Nimish. author. Meert, Wannes. author. Verhelst, Marian. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-33136-7
Format: 
Availability 
Online Library~1
Available:
Copies:
73. 
Cover image for Ambient Intelligence - Software and Applications - 14th International Symposium on Ambient Intelligence
Ambient Intelligence - Software and Applications - 14th International Symposium on Ambient Intelligence
Author 
Novais, Paulo. editor. Julián Inglada, Vicente. editor. (orcid)0000-0002-2743-6037 Hornos, Miguel J. editor. Satoh, Ichiro. editor. Carneiro, Davide. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-43461-7
Format: 
Availability 
Online Library~1
Available:
Copies:
74. 
Cover image for Multi-criteria decision models in software reliability : methods and applications
Multi-criteria decision models in software reliability : methods and applications
Author 
Mishra, Ashish (Ashish Kumar), editor. Dieu Linh, Nguyen Thi, editor. Bhardwaj, Manish (Professor of computer science and engineering), editor. Pinto, Carla M. A. (Computer scientist), editor.
Preferred Shelf Number 
QA76.76 .R44 M85 2023
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9780367816414
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
75. 
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-33976-9
Format: 
Availability 
Online Library~1
Available:
Copies:
76. 
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-11686-5
Format: 
Availability 
Online Library~1
Available:
Copies:
77. 
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-25817-6
Format: 
Availability 
Online Library~1
Available:
Copies:
78. 
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-33338-5
Format: 
Availability 
Online Library~1
Available:
Copies:
79. 
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-26212-8
Format: 
Availability 
Online Library~1
Available:
Copies:
80. 
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-34214-1
Format: 
Availability 
Online Library~1
Available:
Copies:
81. 
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-31488-9
Format: 
Availability 
Online Library~1
Available:
Copies:
82. 
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-25803-9
Format: 
Availability 
Online Library~1
Available:
Copies:
83. 
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-26236-4
Format: 
Availability 
Online Library~1
Available:
Copies:
84. 
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 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-48639-5
Format: 
Availability 
Online Library~1
Available:
Copies:
85. 
Cover image for Properties for design of composite structures : theory and implementation using software
Properties for design of composite structures : theory and implementation using software
Author 
McCartney, Neil, author.
Preferred Shelf Number 
TA418.9 .C6 M3495 2022
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781118789797
Format: 
Availability 
Online Library~1
Available:
Copies:
86. 
Cover image for Chemical process engineering : design, analysis, simulation and integration, and problem solving with Microsoft Excel -- UniSim design software, heat transfer & process integration, process safety, chemical kinetics & reactor design, engineering economics, optimization, epilogue
Chemical process engineering : design, analysis, simulation and integration, and problem solving with Microsoft Excel -- UniSim design software, heat transfer & process integration, process safety, chemical kinetics & reactor design, engineering economics, optimization, epilogue
Author 
Coker, A. Kayode, author. Sotudeh-Gharebagh, Rahmat, 1964- author.
Preferred Shelf Number 
TP155.7
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119871163
Format: 
Availability 
Online Library~1
Available:
Copies:
87. 
Cover image for Software-defined networking : extending SDN control to large-scale networks
Software-defined networking : extending SDN control to large-scale networks
Author 
Bannour, Fetia, author. Souihi, Sami, author. Mellouk, Abdelhamid, author.
Preferred Shelf Number 
TK5105.5833 .B36 2022
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394186181
Format: 
Availability 
Online Library~1
Available:
Copies:
88. 
Cover image for Learning GIS using open source software : an applied guide for geo-spatial analysis
Learning GIS using open source software : an applied guide for geo-spatial analysis
Author 
Saha, Kakoli, author. Frøyen, Yngve K., author.
Preferred Shelf Number 
G70.212 .S267 2022
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003056928
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
89. 
Cover image for Software design by example : a tool-based introduction with JavaScript
Software design by example : a tool-based introduction with JavaScript
Author 
Wilson, Greg, 1963- author.
Preferred Shelf Number 
QA76.76 .P37
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003317807
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
90. 
Cover image for Software-defined networking for future internet technology : concepts and applications
Software-defined networking for future internet technology : concepts and applications
Author 
Sahoo, Kshira Sagar, editor. Sahoo, Bibhudatta, 1967- editor. Mishra, Brojo Kishore, 1979- editor.
Preferred Shelf Number 
TK5105.5833 .S64 2022
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003145721
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
91. 
Cover image for Software engineering for automotive systems : principles and applications
Software engineering for automotive systems : principles and applications
Author 
Sivakumar, P. (Electrical engineer), editor. Kumar, B. Vinoth, editor. Sandhya Devi, R. S., editor.
Preferred Shelf Number 
TL272.53
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003269908
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
92. 
Cover image for Applied mathematics with open-source software : operational research problems with Python and R
Applied mathematics with open-source software : operational research problems with Python and R
Author 
Knight, Vincent (Vincent A.), author. Palmer, Geraint, author.
Preferred Shelf Number 
T57.5
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/e/9780429328534
Taylor & Francis https://www.taylorfrancis.com/books/9780429328534
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
93. 
Cover image for REMOTE DELIVERY a guide to software delivery through collaboration between distributed teams.
REMOTE DELIVERY a guide to software delivery through collaboration between distributed teams.
Author 
Qu, Zhengping.
Preferred Shelf Number 
QA76.76 .D47
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003160496
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
94. 
Cover image for Building secure cars : assuring the automotive software development lifecycle
Building secure cars : assuring the automotive software development lifecycle
Author 
Oka, Dennis Kengo, author.
Preferred Shelf Number 
TL272.53 .O42 2021
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119710783
Format: 
Availability 
Online Library~1
Available:
Copies:
95. 
Cover image for Health Tech Rebooting Society's Software, Hardware and Mindset.
Health Tech Rebooting Society's Software, Hardware and Mindset.
Author 
Undheim, Trond Arne.
Preferred Shelf Number 
RA425
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003178071
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
96. 
Cover image for Implementing enterprise cybersecurity with open-source software and standard architecture
Implementing enterprise cybersecurity with open-source software and standard architecture
Author 
Handa, Anand, editor. Negi, Rohit, editor. Shukla, Sandeep K., editor.
Preferred Shelf Number 
QA76.9 .A25 I47 2021 EB
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003338512
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
97. 
Cover image for Research Software Engineering with Python : Building software that makes research possible.
Research Software Engineering with Python : Building software that makes research possible.
Author 
Irving, Damien. Hertweck, Kate Johnston, Luke Ostblom, Joel Wickham, Charlotte
Preferred Shelf Number 
Q180.55 .E4
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003143482
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
98. 
Cover image for Liberalised India, politicised middle class and software professionals
Liberalised India, politicised middle class and software professionals
Author 
Srivastava, Anshu, author.
Preferred Shelf Number 
HT690 .I4
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9780429274602
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
99. 
Cover image for Mapping, monitoring, and modeling land and water resources : advanced techniques using open source software
Mapping, monitoring, and modeling land and water resources : advanced techniques using open source software
Author 
Shit, Pravat Kumar, editor. Das, Pulakesh, editor. Bhunia, Gouri Sankar, editor. Dutta, Dipanwita, editor.
Preferred Shelf Number 
QH541.15 .M64
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003181293
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
100. 
Cover image for An introduction to self-adaptive systems : a contemporary software engineering perspective
An introduction to self-adaptive systems : a contemporary software engineering perspective
Author 
Weyns, Danny.
Preferred Shelf Number 
QA76.76 .S375
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119574910
Format: 
Availability 
Online Library~1
Available:
Copies:
101. 
Cover image for Research and Evidence in Software Engineering From Empirical Studies to Open Source Artifacts.
Research and Evidence in Software Engineering From Empirical Studies to Open Source Artifacts.
Author 
Gupta, V. (Varun) Gupta, Chetna.
Preferred Shelf Number 
QA76.758
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003168393
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
102. 
Cover image for Software Engineering A Methodical Approach, 2nd Edition.
Software Engineering A Methodical Approach, 2nd Edition.
Author 
Foster, Elvis C.
Preferred Shelf Number 
QA76.758
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9780367746025
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
103. 
Cover image for Computational intelligence techniques and their applications to software engineering problems
Computational intelligence techniques and their applications to software engineering problems
Author 
Bansal, Ankita, editor.
Preferred Shelf Number 
QA76.758
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003079996
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
104. 
Cover image for Software-defined wide area network architectures and technologies
Software-defined wide area network architectures and technologies
Author 
Sheng, Cheng, author.
Preferred Shelf Number 
TK5105.5833
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003144038
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
105. 
Cover image for Deep learning for remote sensing images with open source software
Deep learning for remote sensing images with open source software
Author 
Cresson, Rémi, author.
Preferred Shelf Number 
G70.4 .C75 2020
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003020851
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
106. 
Cover image for Software networks : virtualization, SDN, 5G and security
Software networks : virtualization, SDN, 5G and security
Author 
Pujolle, G., 1949- author.
Preferred Shelf Number 
TK5105.5
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119694748
Format: 
Availability 
Online Library~1
Available:
Copies:
107. 
Cover image for Data plane development kit : a software optimization guide to the user space-based network applications
Data plane development kit : a software optimization guide to the user space-based network applications
Author 
Zhu, Heqing, editor.
Preferred Shelf Number 
QA76.76 .O62
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9780429353512
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
108. 
Cover image for Improving product reliability and software quality : strategies, tools, process and implementation
Improving product reliability and software quality : strategies, tools, process and implementation
Author 
Levin, Mark, 1959- author. Kalal, Ted T., author. Rodin, Jonathan, 1957- author.
Preferred Shelf Number 
TS173 .L48 2019
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119179429
Format: 
Availability 
Online Library~1
Available:
Copies:
109. 
Cover image for Software Challenges to Exascale Computing Second Workshop, SCEC 2018, Delhi, India, December 13-14, 2018, Proceedings
Software Challenges to Exascale Computing Second Workshop, SCEC 2018, Delhi, India, December 13-14, 2018, Proceedings
Author 
Majumdar, Amit. editor. Arora, Ritu. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-13-7729-7
Format: 
Availability 
Online Library~1
Available:
Copies:
110. 
Cover image for From Software Engineering to Formal Methods and Tools, and Back Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday
From Software Engineering to Formal Methods and Tools, and Back Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday
Author 
ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367 Fantechi, Alessandro. editor. (orcid)0000-0002-4648-4667 Semini, Laura. editor. (orcid)0000-0001-8774-2346 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-30985-5
Format: 
Availability 
Online Library~1
Available:
Copies:
111. 
Cover image for Towards Engineering Free/Libre Open Source Software (FLOSS) Ecosystems for Impact and Sustainability Communications of NII Shonan Meetings
Towards Engineering Free/Libre Open Source Software (FLOSS) Ecosystems for Impact and Sustainability Communications of NII Shonan Meetings
Author 
Fitzgerald, Brian. editor. Mockus, Audris. editor. Zhou, Minghui. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-13-7099-1
Format: 
Availability 
Online Library~1
Available:
Copies:
112. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part II
Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part II
Author 
Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792 Zhang, Lijun. editor. (orcid)0000-0002-3692-2088 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-17465-1
Format: 
Availability 
Online Library~1
Available:
Copies:
113. 
Cover image for Business Modeling and Software Design 9th International Symposium, BMSD 2019, Lisbon, Portugal, July 1–3, 2019, Proceedings
Business Modeling and Software Design 9th International Symposium, BMSD 2019, Lisbon, Portugal, July 1–3, 2019, Proceedings
Author 
Shishkov, Boris. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-24854-3
Format: 
Availability 
Online Library~1
Available:
Copies:
114. 
Cover image for Advanced Software Technologies for Post-Peta Scale Computing The Japanese Post-Peta CREST Research Project
Advanced Software Technologies for Post-Peta Scale Computing The Japanese Post-Peta CREST Research Project
Author 
Sato, Mitsuhisa. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-13-1924-2
Format: 
Availability 
Online Library~1
Available:
Copies:
115. 
Cover image for Principles of Security and Trust 8th International Conference, POST 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings
Principles of Security and Trust 8th International Conference, POST 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings
Author 
Nielson, Flemming. editor. (orcid)0000-0001-7362-6176 Sands, David. editor. (orcid)0000-0001-6221-0503 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-17138-4
Format: 
Availability 
Online Library~1
Available:
Copies:
116. 
Cover image for Trends and Applications in Software Engineering Proceedings of the 7th International Conference on Software Process Improvement (CIMPS 2018)
Trends and Applications in Software Engineering Proceedings of the 7th International Conference on Software Process Improvement (CIMPS 2018)
Author 
Mejia, Jezreel. editor. Muñoz, Mirna. editor. Rocha, Álvaro. editor. Peña, Adriana. editor. Pérez-Cisneros, Marco. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-01171-0
Format: 
Availability 
Online Library~1
Available:
Copies:
117. 
Cover image for Software Business 10th International Conference, ICSOB 2019, Jyväskylä, Finland, November 18–20, 2019, Proceedings
Software Business 10th International Conference, ICSOB 2019, Jyväskylä, Finland, November 18–20, 2019, Proceedings
Author 
Hyrynsalmi, Sami. editor. (orcid)0000-0002-5073-3750 Suoranta, Mari. editor. (orcid)0000-0002-3849-4902 Nguyen-Duc, Anh. editor. (orcid)0000-0002-7063-9200 Tyrväinen, Pasi. editor. (orcid)0000-0001-7716-3244 Abrahamsson, Pekka. editor. (orcid)0000-0002-4360-2226
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-33742-1
Format: 
Availability 
Online Library~1
Available:
Copies:
118. 
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:
119. 
Cover image for Fault Prediction Modeling for the Prediction of Number of Software Faults
Fault Prediction Modeling for the Prediction of Number of Software Faults
Author 
Rathore, Santosh Singh. author. Kumar, Sandeep. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-13-7131-8
Format: 
Availability 
Online Library~1
Available:
Copies:
120. 
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:
121. 
Cover image for Software Engineering and Methodology for Emerging Domains 16th National Conference, NASAC 2017, Harbin, China, November 4–5, 2017, and 17th National Conference, NASAC 2018, Shenzhen, China, November 23–25, 2018, Revised Selected Papers
Software Engineering and Methodology for Emerging Domains 16th National Conference, NASAC 2017, Harbin, China, November 4–5, 2017, and 17th National Conference, NASAC 2018, Shenzhen, China, November 23–25, 2018, Revised Selected Papers
Author 
Li, Zheng. editor. (orcid)0000-0002-3938-7033 Jiang, He. editor. (orcid)0000-0001-8674-4948 Li, Ge. editor. Zhou, Minghui. editor. Li, Ming. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-15-0310-8
Format: 
Availability 
Online Library~1
Available:
Copies:
122. 
Cover image for Fundamental Approaches to Software Engineering 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings
Fundamental Approaches to Software Engineering 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings
Author 
Hähnle, Reiner. editor. (orcid)0000-0001-8000-7613 van der Aalst, Wil. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-16722-6
Format: 
Availability 
Online Library~1
Available:
Copies:
123. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I
Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I
Author 
Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792 Zhang, Lijun. editor. (orcid)0000-0002-3692-2088 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-17462-0
Format: 
Availability 
Online Library~1
Available:
Copies:
124. 
Cover image for Interdisciplinary approaches to information systems and software engineering
Interdisciplinary approaches to information systems and software engineering
Author 
Mukherjee, Alok Bhushan, 1985- editor. Krishna, Akhouri Pramod, 1962- editor. IGI Global, publisher.
Preferred Shelf Number 
ONLINE
Electronic Access 
Chapter PDFs via platform: http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-5225-7784-3
Format: 
Availability 
Online Library~1
Available:
Copies:
125. 
Cover image for Integrating the internet of things into software engineering practices
Integrating the internet of things into software engineering practices
Author 
Mala, D. Jeya, 1974- editor. IGI Global, publisher.
Preferred Shelf Number 
ONLINE
Electronic Access 
Chapter PDFs via platform: http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-5225-7790-4
Format: 
Availability 
Online Library~1
Available:
Copies:
126. 
Cover image for Software Quality: The Complexity and Challenges of Software Engineering and Software Quality in the Cloud 11th International Conference, SWQD 2019, Vienna, Austria, January 15–18, 2019, Proceedings
Software Quality: The Complexity and Challenges of Software Engineering and Software Quality in the Cloud 11th International Conference, SWQD 2019, Vienna, Austria, January 15–18, 2019, Proceedings
Author 
Winkler, Dietmar. editor. (orcid)0000-0002-4743-3124 Biffl, Stefan. editor. (orcid)0000-0002-3413-7780 Bergsmann, Johannes. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-05767-1
Format: 
Availability 
Online Library~1
Available:
Copies:
127. 
Cover image for Programming Languages and Systems 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings
Programming Languages and Systems 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings
Author 
Caires, Luís. editor. (orcid)0000-0002-3215-6734 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-17184-1
Format: 
Availability 
Online Library~1
Available:
Copies:
128. 
Cover image for Security and Safety Interplay of Intelligent Software Systems ESORICS 2018 International Workshops, ISSA 2018 and CSITS 2018, Barcelona, Spain, September 6–7, 2018, Revised Selected Papers
Security and Safety Interplay of Intelligent Software Systems ESORICS 2018 International Workshops, ISSA 2018 and CSITS 2018, Barcelona, Spain, September 6–7, 2018, Revised Selected Papers
Author 
Hamid, Brahim. editor. Gallina, Barbara. editor. (orcid)0000-0002-6952-1053 Shabtai, Asaf. editor. (orcid)0000-0003-0630-4059 Elovici, Yuval. editor. Garcia-Alfaro, Joaquin. editor. (orcid)0000-0002-7453-4393
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-16874-2
Format: 
Availability 
Online Library~1
Available:
Copies:
129. 
Cover image for Foundations of Software Science and Computation Structures 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings
Foundations of Software Science and Computation Structures 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings
Author 
Bojańczyk, Mikołaj. editor. Simpson, Alex. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-17127-8
Format: 
Availability 
Online Library~1
Available:
Copies:
130. 
Cover image for Software Technologies 13th International Conference, ICSOFT 2018, Porto, Portugal, July 26-28, 2018, Revised Selected Papers
Software Technologies 13th International Conference, ICSOFT 2018, Porto, Portugal, July 26-28, 2018, Revised Selected Papers
Author 
van Sinderen, Marten. editor. Maciaszek, Leszek A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-29157-0
Format: 
Availability 
Online Library~1
Available:
Copies:
131. 
Cover image for Engineering Adaptive Software Systems Communications of NII Shonan Meetings
Engineering Adaptive Software Systems Communications of NII Shonan Meetings
Author 
Yu, Yijun. editor. Bandara, Arosha. editor. Honiden, Shinichi. editor. Hu, Zhenjiang. editor. Tamai, Tetsuo. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-13-2185-6
Format: 
Availability 
Online Library~1
Available:
Copies:
132. 
Cover image for Towards Integrated Web, Mobile, and IoT Technology Selected and Revised Papers from the Web Technologies Track at SAC 2017 and SAC 2018, and the Software Development for Mobile Devices, Wearables, and the IoT Minitrack at HICSS 2018
Towards Integrated Web, Mobile, and IoT Technology Selected and Revised Papers from the Web Technologies Track at SAC 2017 and SAC 2018, and the Software Development for Mobile Devices, Wearables, and the IoT Minitrack at HICSS 2018
Author 
Majchrzak, Tim A. editor. (orcid)0000-0003-2581-9285 Mateos, Cristian. editor. (orcid)0000-0001-5761-1898 Poggi, Francesco. editor. (orcid)0000-0001-6577-5606 Grønli, Tor-Morten. editor. (orcid)0000-0002-2026-4551 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-28430-5
Format: 
Availability 
Online Library~1
Available:
Copies:
133. 
Cover image for Numerical Software Verification 12th International Workshop, NSV 2019, New York City, NY, USA, July 13–14, 2019, Proceedings
Numerical Software Verification 12th International Workshop, NSV 2019, New York City, NY, USA, July 13–14, 2019, Proceedings
Author 
Zamani, Majid. editor. Zufferey, Damien. editor. (orcid)0000-0002-3197-8736 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-28423-7
Format: 
Availability 
Online Library~1
Available:
Copies:
134. 
Cover image for Next Generation and Advanced Network Reliability Analysis Using Markov Models and Software Reliability Engineering
Next Generation and Advanced Network Reliability Analysis Using Markov Models and Software Reliability Engineering
Author 
Ali, Syed Riffat. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-01647-0
Format: 
Availability 
Online Library~1
Available:
Copies:
135. 
Cover image for Information and Software Technologies 25th International Conference, ICIST 2019, Vilnius, Lithuania, October 10–12, 2019, Proceedings
Information and Software Technologies 25th International Conference, ICIST 2019, Vilnius, Lithuania, October 10–12, 2019, Proceedings
Author 
Damaševičius, Robertas. editor. Vasiljevienė, Giedrė. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-30275-7
Format: 
Availability 
Online Library~1
Available:
Copies:
136. 
Cover image for Neuroimaging, Software, and Communication The Social Code of Source Code
Neuroimaging, Software, and Communication The Social Code of Source Code
Author 
Bicudo, Edison. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-13-7060-1
Format: 
Availability 
Online Library~1
Available:
Copies:
137. 
Cover image for Computing and Software Science State of the Art and Perspectives
Computing and Software Science State of the Art and Perspectives
Author 
Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 Woeginger, Gerhard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-91908-9
Format: 
Availability 
Online Library~1
Available:
Copies:
138. 
Cover image for Agile Processes in Software Engineering and Extreme Programming – Workshops XP 2019 Workshops, Montréal, QC, Canada, May 21–25, 2019, Proceedings
Agile Processes in Software Engineering and Extreme Programming – Workshops XP 2019 Workshops, Montréal, QC, Canada, May 21–25, 2019, Proceedings
Author 
Hoda, Rashina. editor. (orcid)0000-0001-5147-8096 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-30126-2
Format: 
Availability 
Online Library~1
Available:
Copies:
139. 
Cover image for Model Checking Software 26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings
Model Checking Software 26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings
Author 
Biondi, Fabrizio. editor. Given-Wilson, Thomas. editor. Legay, Axel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-30923-7
Format: 
Availability 
Online Library~1
Available:
Copies:
140. 
Cover image for Systems, Software and Services Process Improvement 26th European Conference, EuroSPI 2019, Edinburgh, UK, September 18–20, 2019, Proceedings
Systems, Software and Services Process Improvement 26th European Conference, EuroSPI 2019, Edinburgh, UK, September 18–20, 2019, Proceedings
Author 
Walker, Alastair. editor. O'Connor, Rory V. editor. Messnarz, Richard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-28005-5
Format: 
Availability 
Online Library~1
Available:
Copies:
141. 
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:
142. 
Cover image for Software Engineering and Formal Methods 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings
Software Engineering and Formal Methods 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings
Author 
Ölveczky, Peter Csaba. editor. Salaün, Gwen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-30446-1
Format: 
Availability 
Online Library~1
Available:
Copies:
143. 
Cover image for Automotive Systems and Software Engineering State of the Art and Future Trends
Automotive Systems and Software Engineering State of the Art and Future Trends
Author 
Dajsuren, Yanja. editor. van den Brand, Mark. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-12157-0
Format: 
Availability 
Online Library~1
Available:
Copies:
144. 
Cover image for 8051 Microcontrollers Fundamental Concepts, Hardware, Software and Applications in Electronics
8051 Microcontrollers Fundamental Concepts, Hardware, Software and Applications in Electronics
Author 
Gimenez, Salvador Pinillos. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-76439-9
Format: 
Availability 
Online Library~1
Available:
Copies:
145. 
Cover image for Profit from your forecasting software : a best practice guide for sales forecasters
Profit from your forecasting software : a best practice guide for sales forecasters
Author 
Goodwin, Paul, author.
Preferred Shelf Number 
HF5438.4 .G66 2018
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119415992
Format: 
Availability 
Online Library~1
Available:
Copies:
146. 
Cover image for Software technology : 10 years of innovation in IEEE Computer
Software technology : 10 years of innovation in IEEE Computer
Author 
Hinchey, Michael G. (Michael Gerard), 1969- editor.
Preferred Shelf Number 
QA76.758
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119174240
Format: 
Availability 
Online Library~1
Available:
Copies:
147. 
Cover image for Software engineering for enterprise system agility : emerging research and opportunities
Software engineering for enterprise system agility : emerging research and opportunities
Author 
Zykov, Sergey V., 1971- author. Gromoff, Alexander, 1951- author. Kazantsev, Nikolay S., 1981- author. IGI Global, publisher.
Preferred Shelf Number 
ONLINE
Electronic Access 
Chapter PDFs via platform: http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-5225-5589-6
Format: 
Availability 
Online Library~1
Available:
Copies:
148. 
Cover image for How to Reduce the Cost of Software Testing
How to Reduce the Cost of Software Testing
Author 
Heusser, Matthew, editor. Kulkarni, Govind, editor. Taylor and Francis.
Preferred Shelf Number 
QA76.76 .T48
Electronic Access 
Click here to view
Format: 
Availability 
Online Library~1
Available:
Copies:
149. 
Cover image for Informatics in Schools. Fundamentals of Computer Science and Software Engineering 11th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2018, St. Petersburg, Russia, October 10-12, 2018, Proceedings
Informatics in Schools. Fundamentals of Computer Science and Software Engineering 11th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2018, St. Petersburg, Russia, October 10-12, 2018, Proceedings
Author 
Pozdniakov, Sergei N. editor. (orcid)0000-0002-1899-9145 Dagienė, Valentina. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-02750-6
Format: 
Availability 
Online Library~1
Available:
Copies:
150. 
Cover image for Routines of Substitution John von Neumann’s Work on Software Development, 1945–1948
Routines of Substitution John von Neumann’s Work on Software Development, 1945–1948
Author 
Priestley, Mark. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-91671-2
Format: 
Availability 
Online Library~1
Available:
Copies:
151. 
Cover image for Principled Software Development Essays Dedicated to Arnd Poetzsch-Heffter on the Occasion of his 60th Birthday
Principled Software Development Essays Dedicated to Arnd Poetzsch-Heffter on the Occasion of his 60th Birthday
Author 
Müller, Peter. editor. Schaefer, Ina. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-98047-8
Format: 
Availability 
Online Library~1
Available:
Copies:
152. 
Cover image for Current Trends in Web Engineering ICWE 2017 International Workshops, Liquid Multi-Device Software and EnWoT, practi-O-web, NLPIT, SoWeMine, Rome, Italy, June 5-8, 2017, Revised Selected Papers
Current Trends in Web Engineering ICWE 2017 International Workshops, Liquid Multi-Device Software and EnWoT, practi-O-web, NLPIT, SoWeMine, Rome, Italy, June 5-8, 2017, Revised Selected Papers
Author 
Garrigós, Irene. editor. Wimmer, Manuel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-74433-9
Format: 
Availability 
Online Library~1
Available:
Copies:
153. 
Cover image for Mathematical Software – ICMS 2018 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings
Mathematical Software – ICMS 2018 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings
Author 
Davenport, James H. editor. (orcid)0000-0002-3982-7545 Kauers, Manuel. editor. Labahn, George. editor. Urban, Josef. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-96418-8
Format: 
Availability 
Online Library~1
Available:
Copies:
154. 
Cover image for Programming Languages and Systems 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
Programming Languages and Systems 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
Author 
Ahmed, Amal. editor. (orcid)0000-0001-7424-572X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-89884-1
Format: 
Availability 
Online Library~1
Available:
Copies:
155. 
Cover image for Agile Processes in Software Engineering and Extreme Programming 19th International Conference, XP 2018, Porto, Portugal, May 21–25, 2018, Proceedings
Agile Processes in Software Engineering and Extreme Programming 19th International Conference, XP 2018, Porto, Portugal, May 21–25, 2018, Proceedings
Author 
Garbajosa, Juan. editor. (orcid)0000-0003-0161-3485 Wang, Xiaofeng. editor. (orcid)0000-0001-8424-419X Aguiar, Ademar. editor. (orcid)0000-0002-4046-4729 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-91602-6
Format: 
Availability 
Online Library~1
Available:
Copies:
156. 
Cover image for Software Quality: Methods and Tools for Better Software and Systems 10th International Conference, SWQD 2018, Vienna, Austria, January 16–19, 2018, Proceedings
Software Quality: Methods and Tools for Better Software and Systems 10th International Conference, SWQD 2018, Vienna, Austria, January 16–19, 2018, Proceedings
Author 
Winkler, Dietmar. editor. (orcid)0000-0002-4743-3124 Biffl, Stefan. editor. Bergsmann, Johannes. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-71440-0
Format: 
Availability 
Online Library~1
Available:
Copies:
157. 
Cover image for Managing Software Crisis: A Smart Way to Enterprise Agility
Managing Software Crisis: A Smart Way to Enterprise Agility
Author 
Zykov, Sergey V. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-77917-1
Format: 
Availability 
Online Library~1
Available:
Copies:
158. 
Cover image for Complex, Intelligent, and Software Intensive Systems Proceedings of the 11th International Conference on Complex, Intelligent, and Software Intensive Systems (CISIS-2017)
Complex, Intelligent, and Software Intensive Systems Proceedings of the 11th International Conference on Complex, Intelligent, and Software Intensive Systems (CISIS-2017)
Author 
Barolli, Leonard. editor. Terzo, Olivier. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-61566-0
Format: 
Availability 
Online Library~1
Available:
Copies:
159. 
Cover image for Model Checking Software 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings
Model Checking Software 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings
Author 
Gallardo, María del Mar. editor. Merino, Pedro. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-94111-0
Format: 
Availability 
Online Library~1
Available:
Copies:
160. 
Cover image for Business Modeling and Software Design 7th International Symposium, BMSD 2017, Barcelona, Spain, July 3–5, 2017, Revised Selected Papers
Business Modeling and Software Design 7th International Symposium, BMSD 2017, Barcelona, Spain, July 3–5, 2017, Revised Selected Papers
Author 
Shishkov, Boris. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-78428-1
Format: 
Availability 
Online Library~1
Available:
Copies:
161. 
Cover image for Evaluation of Novel Approaches to Software Engineering 12th International Conference, ENASE 2017, Porto, Portugal, April 28–29, 2017, Revised Selected Papers
Evaluation of Novel Approaches to Software Engineering 12th International Conference, ENASE 2017, Porto, Portugal, April 28–29, 2017, Revised Selected Papers
Author 
Damiani, Ernesto. editor. Spanoudakis, George. editor. Maciaszek, Leszek. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-94135-6
Format: 
Availability 
Online Library~1
Available:
Copies:
162. 
Cover image for Digging into Software Knowledge Generation in Cultural Heritage Modeling Assistance Strategies for Large Archaeological Data Sets
Digging into Software Knowledge Generation in Cultural Heritage Modeling Assistance Strategies for Large Archaeological Data Sets
Author 
Martin-Rodilla, Patricia. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-69188-6
Format: 
Availability 
Online Library~1
Available:
Copies:
163. 
Cover image for Business Modeling and Software Design 8th International Symposium, BMSD 2018, Vienna, Austria, July 2-4, 2018, Proceedings
Business Modeling and Software Design 8th International Symposium, BMSD 2018, Vienna, Austria, July 2-4, 2018, Proceedings
Author 
Shishkov, Boris. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-94214-8
Format: 
Availability 
Online Library~1
Available:
Copies:
164. 
Cover image for Advances in Human Factors, Software, and Systems Engineering Proceedings of the AHFE 2017 International Conference on Human Factors, Software, and Systems Engineering, July 17-21, 2017, The Westin Bonaventure Hotel, Los Angeles, California, USA
Advances in Human Factors, Software, and Systems Engineering Proceedings of the AHFE 2017 International Conference on Human Factors, Software, and Systems Engineering, July 17-21, 2017, The Westin Bonaventure Hotel, Los Angeles, California, USA
Author 
Ahram, Tareq. editor. Karwowski, Waldemar. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-60011-6
Format: 
Availability 
Online Library~1
Available:
Copies:
165. 
Cover image for SDN and NFV Security Security Analysis of Software-Defined Networking and Network Function Virtualization
SDN and NFV Security Security Analysis of Software-Defined Networking and Network Function Virtualization
Author 
Khondoker, Rahamatullah. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-71761-6
Format: 
Availability 
Online Library~1
Available:
Copies:
166. 
Cover image for Energy Efficient Embedded Video Processing Systems A Hardware-Software Collaborative Approach
Energy Efficient Embedded Video Processing Systems A Hardware-Software Collaborative Approach
Author 
Khan, Muhammad Usman Karim. author. Shafique, Muhammad. author. Henkel, Jörg. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-61455-7
Format: 
Availability 
Online Library~1
Available:
Copies:
167. 
Cover image for Cybernetics Approaches in Intelligent Systems Computational Methods in Systems and Software 2017, vol. 1
Cybernetics Approaches in Intelligent Systems Computational Methods in Systems and Software 2017, vol. 1
Author 
Silhavy, Radek. editor. Silhavy, Petr. editor. Prokopova, Zdenka. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-67618-0
Format: 
Availability 
Online Library~1
Available:
Copies:
168. 
Cover image for Software Data Engineering for Network eLearning Environments Analytics and Awareness Learning Services
Software Data Engineering for Network eLearning Environments Analytics and Awareness Learning Services
Author 
Caballé, Santi. editor. Conesa, Jordi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-68318-8
Format: 
Availability 
Online Library~1
Available:
Copies:
169. 
Cover image for Software Fault Detection and Correction: Modeling and Applications
Software Fault Detection and Correction: Modeling and Applications
Author 
Peng, Rui. author. Li, Yan-Fu. author. Liu, Yu. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-13-1162-8
Format: 
Availability 
Online Library~1
Available:
Copies:
170. 
Cover image for Handbook of Smart Cities Software Services and Cyber Infrastructure
Handbook of Smart Cities Software Services and Cyber Infrastructure
Author 
Maheswaran, Muthucumaru. editor. Badidi, Elarbi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-97271-8
Format: 
Availability 
Online Library~1
Available:
Copies:
171. 
Cover image for Systems, Software and Services Process Improvement 25th European Conference, EuroSPI 2018, Bilbao, Spain, September 5-7, 2018, Proceedings
Systems, Software and Services Process Improvement 25th European Conference, EuroSPI 2018, Bilbao, Spain, September 5-7, 2018, Proceedings
Author 
Larrucea, Xabier. editor. Santamaria, Izaskun. editor. O'Connor, Rory V. editor. Messnarz, Richard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-97925-0
Format: 
Availability 
Online Library~1
Available:
Copies:
172. 
Cover image for Software Processes and Life Cycle Models An Introduction to Modelling, Using and Managing Agile, Plan-Driven and Hybrid Processes
Software Processes and Life Cycle Models An Introduction to Modelling, Using and Managing Agile, Plan-Driven and Hybrid Processes
Author 
Kneuper, Ralf. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-98845-0
Format: 
Availability 
Online Library~1
Available:
Copies:
173. 
Cover image for Proceedings of 5th International Conference in Software Engineering for Defence Applications SEDA 2016
Proceedings of 5th International Conference in Software Engineering for Defence Applications SEDA 2016
Author 
Ciancarini, Paolo. editor. Litvinov, Stanislav. editor. Messina, Angelo. editor. Sillitti, Alberto. editor. Succi, Giancarlo. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-70578-1
Format: 
Availability 
Online Library~1
Available:
Copies:
174. 
Cover image for Software Business 9th International Conference, ICSOB 2018, Tallinn, Estonia, June 11–12, 2018, Proceedings
Software Business 9th International Conference, ICSOB 2018, Tallinn, Estonia, June 11–12, 2018, Proceedings
Author 
Wnuk, Krzysztof. editor. Brinkkemper, Sjaak. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-04840-2
Format: 
Availability 
Online Library~1
Available:
Copies:
175. 
Cover image for Fundamental Approaches to Software Engineering 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
Fundamental Approaches to Software Engineering 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
Author 
Russo, Alessandra. editor. (orcid)0000-0002-3318-8711 Schürr, Andy. editor. (orcid)0000-0001-8100-1109 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-89363-1
Format: 
Availability 
Online Library~1
Available:
Copies:
176. 
Cover image for Software Process Improvement and Capability Determination 18th International Conference, SPICE 2018, Thessaloniki, Greece, October 9–10, 2018, Proceedings
Software Process Improvement and Capability Determination 18th International Conference, SPICE 2018, Thessaloniki, Greece, October 9–10, 2018, Proceedings
Author 
Stamelos, Ioannis. editor. O'Connor, Rory V. editor. Rout, Terry. editor. Dorling, Alec. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-00623-5
Format: 
Availability 
Online Library~1
Available:
Copies:
177. 
Cover image for Model-Driven Engineering and Software Development 5th International Conference, MODELSWARD 2017, Porto, Portugal, February 19-21, 2017, Revised Selected Papers
Model-Driven Engineering and Software Development 5th International Conference, MODELSWARD 2017, Porto, Portugal, February 19-21, 2017, Revised Selected Papers
Author 
Pires, Luís Ferreira. editor. Hammoudi, Slimane. editor. Selic, Bran. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-94764-8
Format: 
Availability 
Online Library~1
Available:
Copies:
178. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I
Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I
Author 
Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Huisman, Marieke. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-89960-2
Format: 
Availability 
Online Library~1
Available:
Copies:
179. 
Cover image for Foundations of Software Science and Computation Structures 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings
Foundations of Software Science and Computation Structures 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings
Author 
Baier, Christel. editor. (orcid)0000-0002-5321-9343 Dal Lago, Ugo. editor. (orcid)0000-0001-9200-070X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-89366-2
Format: 
Availability 
Online Library~1
Available:
Copies:
180. 
Cover image for Principles of Security and Trust 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
Principles of Security and Trust 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
Author 
Bauer, Lujo. editor. Küsters, Ralf. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-89722-6
Format: 
Availability 
Online Library~1
Available:
Copies:
181. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II
Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II
Author 
Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Huisman, Marieke. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-89963-3
Format: 
Availability 
Online Library~1
Available:
Copies:
182. 
Cover image for Engineering Secure Software and Systems 10th International Symposium, ESSoS 2018, Paris, France, June 26-27, 2018, Proceedings
Engineering Secure Software and Systems 10th International Symposium, ESSoS 2018, Paris, France, June 26-27, 2018, Proceedings
Author 
Payer, Mathias. editor. Rashid, Awais. editor. Such, Jose M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-94496-8
Format: 
Availability 
Online Library~1
Available:
Copies:
183. 
Cover image for Designing Usable and Secure Software with IRIS and CAIRIS
Designing Usable and Secure Software with IRIS and CAIRIS
Author 
Faily, Shamal. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-75493-2
Format: 
Availability 
Online Library~1
Available:
Copies:
184. 
Cover image for Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing
Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing
Author 
Lee, Roger. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-62048-0
Format: 
Availability 
Online Library~1
Available:
Copies:
185. 
Cover image for Towards a Synergistic Combination of Research and Practice in Software Engineering
Towards a Synergistic Combination of Research and Practice in Software Engineering
Author 
Kosiuczenko, Piotr. editor. Madeyski, Lech. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-65208-5
Format: 
Availability 
Online Library~1
Available:
Copies:
186. 
Cover image for Software Technologies 12th International Joint Conference, ICSOFT 2017, Madrid, Spain, July 24–26, 2017, Revised Selected Papers
Software Technologies 12th International Joint Conference, ICSOFT 2017, Madrid, Spain, July 24–26, 2017, Revised Selected Papers
Author 
Cabello, Enrique. editor. Cardoso, Jorge. editor. Maciaszek, Leszek A. editor. van Sinderen, Marten. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-93641-3
Format: 
Availability 
Online Library~1
Available:
Copies:
187. 
Cover image for Software Failure Investigation A Near-Miss Analysis Approach
Software Failure Investigation A Near-Miss Analysis Approach
Author 
Eloff, Jan. author. Bihina Bella, Madeleine. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-61334-5
Format: 
Availability 
Online Library~1
Available:
Copies:
188. 
Cover image for Trends and Applications in Software Engineering Proceedings of the 6th International Conference on Software Process Improvement (CIMPS 2017)
Trends and Applications in Software Engineering Proceedings of the 6th International Conference on Software Process Improvement (CIMPS 2017)
Author 
Mejia, Jezreel. editor. Muñoz, Mirna. editor. Rocha, Álvaro. editor. Quiñonez, Yadira. editor. Calvo-Manzano, Jose. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-69341-5
Format: 
Availability 
Online Library~1
Available:
Copies:
189. 
Cover image for Software Development Measurement Programs Development, Management and Evolution
Software Development Measurement Programs Development, Management and Evolution
Author 
Staron, Miroslaw. author. Meding, Wilhelm. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-91836-5
Format: 
Availability 
Online Library~1
Available:
Copies:
190. 
Cover image for Applied Computational Intelligence and Mathematical Methods Computational Methods in Systems and Software 2017, vol. 2
Applied Computational Intelligence and Mathematical Methods Computational Methods in Systems and Software 2017, vol. 2
Author 
Silhavy, Radek. editor. Silhavy, Petr. editor. Prokopova, Zdenka. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-67621-0
Format: 
Availability 
Online Library~1
Available:
Copies:
191. 
Cover image for Control Theory Tutorial Basic Concepts Illustrated by Software Examples
Control Theory Tutorial Basic Concepts Illustrated by Software Examples
Author 
Frank, Steven A. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-91707-8
Format: 
Availability 
Online Library~1
Available:
Copies:
192. 
Cover image for Software Engineering and Formal Methods 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27–29, 2018, Proceedings
Software Engineering and Formal Methods 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27–29, 2018, Proceedings
Author 
Johnsen, Einar Broch. editor. Schaefer, Ina. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-92970-5
Format: 
Availability 
Online Library~1
Available:
Copies:
193. 
Cover image for Information and Software Technologies 24th International Conference, ICIST 2018, Vilnius, Lithuania, October 4–6, 2018, Proceedings
Information and Software Technologies 24th International Conference, ICIST 2018, Vilnius, Lithuania, October 4–6, 2018, Proceedings
Author 
Damaševičius, Robertas. editor. Vasiljevienė, Giedrė. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-99972-2
Format: 
Availability 
Online Library~1
Available:
Copies:
194. 
Cover image for Software-Defined Cloud Centers Operational and Management Technologies and Tools
Software-Defined Cloud Centers Operational and Management Technologies and Tools
Author 
Raj, Pethuru. author. Raman, Anupama. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-78637-7
Format: 
Availability 
Online Library~1
Available:
Copies:
195. 
Cover image for Information Modelling for Archaeology and Anthropology Software Engineering Principles for Cultural Heritage
Information Modelling for Archaeology and Anthropology Software Engineering Principles for Cultural Heritage
Author 
Gonzalez-Perez, Cesar. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-72652-6
Format: 
Availability 
Online Library~1
Available:
Copies:
196. 
Cover image for Open Source Systems: Enterprise Software and Solutions 14th IFIP WG 2.13 International Conference, OSS 2018, Athens, Greece, June 8-10, 2018, Proceedings
Open Source Systems: Enterprise Software and Solutions 14th IFIP WG 2.13 International Conference, OSS 2018, Athens, Greece, June 8-10, 2018, Proceedings
Author 
Stamelos, Ioannis. editor. Gonzalez-Barahoña, Jesus M. editor. (orcid)0000-0001-9682-460X Varlamis, Iraklis. editor. (orcid)0000-0002-0876-8167 Anagnostopoulos, Dimosthenis. editor. (orcid)0000-0003-0747-4252 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-92375-8
Format: 
Availability 
Online Library~1
Available:
Copies:
197. 
Cover image for Functional software size measurement methodology with effort estimation and performance indication
Functional software size measurement methodology with effort estimation and performance indication
Author 
Singh, Jasveer, 1955- author.
Preferred Shelf Number 
QA76.76 .S65 S56 2017 EB
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119238126
Format: 
Availability 
Online Library~1
Available:
Copies:
198. 
Cover image for Individualized drug therapy for patients : basic foundations, relevant software, and clinical applications
Individualized drug therapy for patients : basic foundations, relevant software, and clinical applications
Author 
Jelliffe, Roger W., editor. Neely, Michael, editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780128033487
Format: 
Availability 
Online Library~1
Available:
Copies:
199. 
Cover image for Handbook of system safety and security : cyber risk and risk management, cyber security, threat analysis, functional safety, software systems, and cyber physical systems
Handbook of system safety and security : cyber risk and risk management, cyber security, threat analysis, functional safety, software systems, and cyber physical systems
Author 
Griffor, Edward R., editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780128037737
Format: 
Availability 
Online Library~1
Available:
Copies:
200. 
Cover image for Topological UML modeling : an improved approach for domain modeling and software development
Topological UML modeling : an improved approach for domain modeling and software development
Author 
Osis, Janis, 1929- author. Donins, Uldis, author.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect https://www.sciencedirect.com/science/book/9780128054765
Format: 
Availability 
Online Library~1
Available:
Copies:
201. 
Cover image for Software architecture for big data and the cloud
Software architecture for big data and the cloud
Author 
Mistrík, Ivan, editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780128054673
Format: 
Availability 
Online Library~1
Available:
Copies:
202. 
Cover image for Information and Software Technologies 23rd International Conference, ICIST 2017, Druskininkai, Lithuania, October 12-14, 2017, Proceedings
Information and Software Technologies 23rd International Conference, ICIST 2017, Druskininkai, Lithuania, October 12-14, 2017, Proceedings
Author 
Damaševičius, Robertas. editor. (orcid)0000-0001-9990-1084 Mikašytė, Vilma. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-67642-5
Format: 
Availability 
Online Library~1
Available:
Copies:
203. 
Cover image for Software Project Management for Distributed Computing Life-Cycle Methods for Developing Scalable and Reliable Tools
Software Project Management for Distributed Computing Life-Cycle Methods for Developing Scalable and Reliable Tools
Author 
Mahmood, Zaigham. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-54325-3
Format: 
Availability 
Online Library~1
Available:
Copies:
204. 
Cover image for The Topos of Music II: Performance Theory, Software, and Case Studies
The Topos of Music II: Performance Theory, Software, and Case Studies
Author 
Mazzola, Guerino. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-64444-8
Format: 
Availability 
Online Library~1
Available:
Copies:
205. 
Cover image for Unraveling Software Maintenance and Evolution Thinking Outside the Box
Unraveling Software Maintenance and Evolution Thinking Outside the Box
Author 
Varga, Ervin. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-71303-8
Format: 
Availability 
Online Library~1
Available:
Copies:
206. 
Cover image for Systems, Software and Services Process Improvement 24th European Conference, EuroSPI 2017, Ostrava, Czech Republic, September 6-8, 2017, Proceedings
Systems, Software and Services Process Improvement 24th European Conference, EuroSPI 2017, Ostrava, Czech Republic, September 6-8, 2017, Proceedings
Author 
Stolfa, Jakub. editor. Stolfa, Svatopluk. editor. O'Connor, Rory V. editor. Messnarz, Richard. editor. (orcid)0000-0002-0555-3160 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-64218-5
Format: 
Availability 
Online Library~1
Available:
Copies:
207. 
Cover image for Software Engineering Trends and Techniques in Intelligent Systems Proceedings of the 6th Computer Science On-line Conference 2017 (CSOC2017), Vol 3
Software Engineering Trends and Techniques in Intelligent Systems Proceedings of the 6th Computer Science On-line Conference 2017 (CSOC2017), Vol 3
Author 
Silhavy, Radek. editor. Silhavy, Petr. editor. Prokopova, Zdenka. editor. Senkerik, Roman. editor. Kominkova Oplatkova, Zuzana. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-57141-6
Format: 
Availability 
Online Library~1
Available:
Copies:
208. 
Cover image for Sensor Systems and Software 7th International Conference, S-Cube 2016, Sophia Antipolis, Nice, France, December 1-2, 2016, Revised Selected Papers
Sensor Systems and Software 7th International Conference, S-Cube 2016, Sophia Antipolis, Nice, France, December 1-2, 2016, Revised Selected Papers
Author 
Magno, Michele. editor. Ferrero, Fabien. editor. Bilas, Vedran. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-61563-9
Format: 
Availability 
Online Library~1
Available:
Copies:
209. 
Cover image for Programming Languages and Systems 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings
Programming Languages and Systems 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings
Author 
Yang, Hongseok. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-54434-1
Format: 
Availability 
Online Library~1
Available:
Copies:
210. 
Cover image for Trends and Applications in Software Engineering Proceedings of CIMPS 2016
Trends and Applications in Software Engineering Proceedings of CIMPS 2016
Author 
Mejia, Jezreel. editor. (orcid)0000-0003-0292-9318 Muñoz, Mirna. editor. Rocha, Álvaro. editor. San Feliu, Tomas. editor. Peña, Adriana. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-48523-2
Format: 
Availability 
Online Library~1
Available:
Copies:
211. 
Cover image for Multi-Disciplinary Engineering for Cyber-Physical Production Systems Data Models and Software Solutions for Handling Complex Engineering Projects
Multi-Disciplinary Engineering for Cyber-Physical Production Systems Data Models and Software Solutions for Handling Complex Engineering Projects
Author 
Biffl, Stefan. editor. (orcid)0000-0002-3413-7780 Lüder, Arndt. editor. Gerhard, Detlef. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-56345-9
Format: 
Availability 
Online Library~1
Available:
Copies:
212. 
Cover image for Proceedings of the 2015 Federated Conference on Software Development and Object Technologies
Proceedings of the 2015 Federated Conference on Software Development and Object Technologies
Author 
Janech, Jan. editor. Kostolny, Jozef. editor. Gratkowski, Tomasz. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-46535-7
Format: 
Availability 
Online Library~1
Available:
Copies:
213. 
Cover image for The Mathematical-Function Computation Handbook Programming Using the MathCW Portable Software Library
The Mathematical-Function Computation Handbook Programming Using the MathCW Portable Software Library
Author 
Beebe, Nelson H.F. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-64110-2
Format: 
Availability 
Online Library~1
Available:
Copies:
214. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I
Tools and Algorithms for the Construction and Analysis of Systems 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I
Author 
Legay, Axel. editor. Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-54577-5
Format: 
Availability 
Online Library~1
Available:
Copies:
215. 
Cover image for Fundamental Approaches to Software Engineering 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings
Fundamental Approaches to Software Engineering 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings
Author 
Huisman, Marieke. editor. (orcid)0000-0003-4467-072X Rubin, Julia. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-54494-5
Format: 
Availability 
Online Library~1
Available:
Copies:
216. 
Cover image for Engineering Secure Software and Systems 9th International Symposium, ESSoS 2017, Bonn, Germany, July 3-5, 2017, Proceedings
Engineering Secure Software and Systems 9th International Symposium, ESSoS 2017, Bonn, Germany, July 3-5, 2017, Proceedings
Author 
Bodden, Eric. editor. Payer, Mathias. editor. (orcid)0000-0001-5054-7547 Athanasopoulos, Elias. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-62105-0
Format: 
Availability 
Online Library~1
Available:
Copies:
217. 
Cover image for Software Engineering and Formal Methods 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings
Software Engineering and Formal Methods 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings
Author 
Cimatti, Alessandro. editor. (orcid)0000-0002-1315-6990 Sirjani, Marjan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-66197-1
Format: 
Availability 
Online Library~1
Available:
Copies:
218. 
Cover image for Foundations of Software Science and Computation Structures 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings
Foundations of Software Science and Computation Structures 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings
Author 
Esparza, Javier. editor. (orcid)0000-0001-9862-4919 Murawski, Andrzej S. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-54458-7
Format: 
Availability 
Online Library~1
Available:
Copies:
219. 
Cover image for Machine Learning Paradigms Artificial Immune Systems and their Applications in Software Personalization
Machine Learning Paradigms Artificial Immune Systems and their Applications in Software Personalization
Author 
Sotiropoulos, Dionisios N. author. Tsihrintzis, George A. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-47194-5
Format: 
Availability 
Online Library~1
Available:
Copies:
220. 
Cover image for Software Quality Assurance Consistency in the Face of Complexity and Change
Software Quality Assurance Consistency in the Face of Complexity and Change
Author 
Walkinshaw, Neil. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-64822-4
Format: 
Availability 
Online Library~1
Available:
Copies:
221. 
Cover image for Agile Processes in Software Engineering and Extreme Programming 18th International Conference, XP 2017, Cologne, Germany, May 22-26, 2017, Proceedings
Agile Processes in Software Engineering and Extreme Programming 18th International Conference, XP 2017, Cologne, Germany, May 22-26, 2017, Proceedings
Author 
Baumeister, Hubert. editor. Lichter, Horst. editor. Riebisch, Matthias. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-57633-6
Format: 
Availability 
Online Library~1
Available:
Copies:
222. 
Cover image for Software Quality. Complexity and Challenges of Software Engineering in Emerging Technologies 9th International Conference, SWQD 2017, Vienna, Austria, January 17-20, 2017, Proceedings
Software Quality. Complexity and Challenges of Software Engineering in Emerging Technologies 9th International Conference, SWQD 2017, Vienna, Austria, January 17-20, 2017, Proceedings
Author 
Winkler, Dietmar. editor. Biffl, Stefan. editor. (orcid)0000-0002-3413-7780 Bergsmann, Johannes. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-49421-0
Format: 
Availability 
Online Library~1
Available:
Copies:
223. 
Cover image for Software Product Management The ISPMA-Compliant Study Guide and Handbook
Software Product Management The ISPMA-Compliant Study Guide and Handbook
Author 
Kittlaus, Hans-Bernd. author. Fricker, Samuel A. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-55140-6
Format: 
Availability 
Online Library~1
Available:
Copies:
224. 
Cover image for Bridging the Gap between Requirements Engineering and Software Architecture A Problem-Oriented and Quality-Driven Method
Bridging the Gap between Requirements Engineering and Software Architecture A Problem-Oriented and Quality-Driven Method
Author 
Alebrahim, Azadeh. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-658-17694-5
Format: 
Availability 
Online Library~1
Available:
Copies:
225. 
Cover image for Software Process Improvement and Capability Determination 17th International Conference, SPICE 2017, Palma de Mallorca, Spain, October 4-5, 2017, Proceedings
Software Process Improvement and Capability Determination 17th International Conference, SPICE 2017, Palma de Mallorca, Spain, October 4-5, 2017, Proceedings
Author 
Mas, Antonia. editor. Mesquida, Antoni. editor. O'Connor, Rory V. editor. Rout, Terry. editor. Dorling, Alec. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-67383-7
Format: 
Availability 
Online Library~1
Available:
Copies:
226. 
Cover image for Numerical Software Verification 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers
Numerical Software Verification 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers
Author 
Bogomolov, Sergiy. editor. Martel, Matthieu. editor. Prabhakar, Pavithra. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-54292-8
Format: 
Availability 
Online Library~1
Available:
Copies:
227. 
Cover image for Model-Driven Engineering and Software Development 4th International Conference, MODELSWARD 2016, Rome, Italy, February 19-21, 2016, Revised Selected Papers
Model-Driven Engineering and Software Development 4th International Conference, MODELSWARD 2016, Rome, Italy, February 19-21, 2016, Revised Selected Papers
Author 
Hammoudi, Slimane. editor. Pires, Luís Ferreira. editor. Selic, Bran. editor. Desfray, Philippe. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-66302-9
Format: 
Availability 
Online Library~1
Available:
Copies:
228. 
Cover image for Ambient Intelligence- Software and Applications - 8th International Symposium on Ambient Intelligence (ISAmI 2017)
Ambient Intelligence- Software and Applications - 8th International Symposium on Ambient Intelligence (ISAmI 2017)
Author 
De Paz, Juan F. editor. Julián, Vicente. editor. Villarrubia, Gabriel. editor. Marreiros, Goreti. editor. Novais, Paulo. editor. (orcid)0000-0002-3549-0754
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-61118-1
Format: 
Availability 
Online Library~1
Available:
Copies:
229. 
Cover image for Software Technologies 11th International Joint Conference, ICSOFT 2016, Lisbon, Portugal, July 24-26, 2016, Revised Selected Papers
Software Technologies 11th International Joint Conference, ICSOFT 2016, Lisbon, Portugal, July 24-26, 2016, Revised Selected Papers
Author 
Cabello, Enrique. editor. Cardoso, Jorge. editor. Ludwig, André. editor. Maciaszek, Leszek A. editor. (orcid)0000-0001-6561-0545 van Sinderen, Marten. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-62569-0
Format: 
Availability 
Online Library~1
Available:
Copies:
230. 
Cover image for Numerical Software Verification 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings
Numerical Software Verification 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings
Author 
Abate, Alessandro. editor. (orcid)0000-0002-5627-9093 Boldo, Sylvie. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-63501-9
Format: 
Availability 
Online Library~1
Available:
Copies:
231. 
Cover image for Principles of Security and Trust 6th International Conference, POST 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings
Principles of Security and Trust 6th International Conference, POST 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings
Author 
Maffei, Matteo. editor. Ryan, Mark. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-54455-6
Format: 
Availability 
Online Library~1
Available:
Copies:
232. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II
Tools and Algorithms for the Construction and Analysis of Systems 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II
Author 
Legay, Axel. editor. Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-54580-5
Format: 
Availability 
Online Library~1
Available:
Copies:
233. 
Cover image for Concise Guide to Software Engineering From Fundamentals to Application Methods
Concise Guide to Software Engineering From Fundamentals to Application Methods
Author 
O'Regan, Gerard. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-57750-0
Format: 
Availability 
Online Library~1
Available:
Copies:
234. 
Cover image for Software Business 8th International Conference, ICSOB 2017, Essen, Germany, June 12-13, 2017, Proceedings
Software Business 8th International Conference, ICSOB 2017, Essen, Germany, June 12-13, 2017, Proceedings
Author 
Ojala, Arto. editor. (orcid)0000-0002-3276-6348 Holmström Olsson, Helena. editor. Werder, Karl. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-69191-6
Format: 
Availability 
Online Library~1
Available:
Copies:
235. 
Cover image for Software Engineering: Challenges and Solutions Results of the XVIII KKIO 2016 Software Engineering Conference 2016 held at September 15-17 2016 in Wroclaw, Poland
Software Engineering: Challenges and Solutions Results of the XVIII KKIO 2016 Software Engineering Conference 2016 held at September 15-17 2016 in Wroclaw, Poland
Author 
Madeyski, Lech. editor. Śmiałek, Michał. editor. Hnatkowska, Bogumiła. editor. Huzar, Zbigniev. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-43606-7
Format: 
Availability 
Online Library~1
Available:
Copies:
236. 
Cover image for Environmental Software Systems. Computer Science for Environmental Protection 12th IFIP WG 5.11 International Symposium, ISESS 2017, Zadar, Croatia, May 10-12, 2017, Proceedings
Environmental Software Systems. Computer Science for Environmental Protection 12th IFIP WG 5.11 International Symposium, ISESS 2017, Zadar, Croatia, May 10-12, 2017, Proceedings
Author 
Hřebíček, Jiří. editor. Denzer, Ralf. editor. Schimak, Gerald. editor. Pitner, Tomáš. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-89935-0
Format: 
Availability 
Online Library~1
Available:
Copies:
237. 
Cover image for Environment modeling-based requirements engineering for software intensive systems.
Environment modeling-based requirements engineering for software intensive systems.
Author 
Jin, Zhi, 1962- author.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect https://www.sciencedirect.com/science/book/9780128019542
Format: 
Availability 
Online Library~1
Available:
Copies:
238. 
Cover image for Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing
Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing
Author 
Lee, Roger. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-33810-1
Format: 
Availability 
Online Library~1
Available:
Copies:
239. 
Cover image for Guide to Software Development Designing and Managing the Life Cycle
Guide to Software Development Designing and Managing the Life Cycle
Author 
Langer, Arthur M. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4471-6799-0
Format: 
Availability 
Online Library~1
Available:
Copies:
240. 
Cover image for Principles of Security and Trust 5th International Conference, POST 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings
Principles of Security and Trust 5th International Conference, POST 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings
Author 
Piessens, Frank. editor. Viganò, Luca. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-49635-0
Format: 
Availability 
Online Library~1
Available:
Copies:
241. 
Cover image for Software Process Improvement and Capability Determination 16th International Conference, SPICE 2016, Dublin, Ireland, June 9-10, 2016, Proceedings
Software Process Improvement and Capability Determination 16th International Conference, SPICE 2016, Dublin, Ireland, June 9-10, 2016, Proceedings
Author 
Clarke, Paul M. editor. (orcid)0000-0002-4487-627X O'Connor, Rory V. editor. Rout, Terry. editor. Dorling, Alec. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-38980-6
Format: 
Availability 
Online Library~1
Available:
Copies:
242. 
Cover image for Advances in Human Factors, Software, and Systems Engineering Proceedings of the AHFE 2016 International Conference on Human Factors, Software, and Systems Engineering, July 27-31, 2016, Walt Disney World®, Florida, USA
Advances in Human Factors, Software, and Systems Engineering Proceedings of the AHFE 2016 International Conference on Human Factors, Software, and Systems Engineering, July 27-31, 2016, Walt Disney World®, Florida, USA
Author 
Amaba, Ben. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-41935-0
Format: 
Availability 
Online Library~1
Available:
Copies:
243. 
Cover image for Model Checking Software 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings
Model Checking Software 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings
Author 
Bošnački, Dragan. editor. Wijs, Anton. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-32582-8
Format: 
Availability 
Online Library~1
Available:
Copies:
244. 
Cover image for Managing Software Process Evolution Traditional, Agile and Beyond - How to Handle Process Change
Managing Software Process Evolution Traditional, Agile and Beyond - How to Handle Process Change
Author 
Kuhrmann, Marco. editor. Münch, Jürgen. editor. Richardson, Ita. editor. Rausch, Andreas. editor. Zhang, He. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-31545-4
Format: 
Availability 
Online Library~1
Available:
Copies:
245. 
Cover image for Intelligent Web Data Management: Software Architectures and Emerging Technologies
Intelligent Web Data Management: Software Architectures and Emerging Technologies
Author 
Ma, Kun. author. Abraham, Ajith. author. (orcid)0000-0002-0169-6738 Yang, Bo. author. Sun, Runyuan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-30192-1
Format: 
Availability 
Online Library~1
Available:
Copies:
246. 
Cover image for Information and Software Technologies 22nd International Conference, ICIST 2016, Druskininkai, Lithuania, October 13-15, 2016, Proceedings
Information and Software Technologies 22nd International Conference, ICIST 2016, Druskininkai, Lithuania, October 13-15, 2016, Proceedings
Author 
Dregvaite, Giedre. editor. Damasevicius, Robertas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-46254-7
Format: 
Availability 
Online Library~1
Available:
Copies:
247. 
Cover image for Mathematical Software - ICMS 2016 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings
Mathematical Software - ICMS 2016 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings
Author 
Greuel, Gert-Martin. editor. Koch, Thorsten. editor. Paule, Peter. editor. Sommese, Andrew. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-42432-3
Format: 
Availability 
Online Library~1
Available:
Copies:
248. 
Cover image for Proceedings of 4th International Conference in Software Engineering for Defence Applications SEDA 2015
Proceedings of 4th International Conference in Software Engineering for Defence Applications SEDA 2015
Author 
Ciancarini, Paolo. editor. (orcid)0000-0002-7958-9924 Sillitti, Alberto. editor. Succi, Giancarlo. editor. Messina, Angelo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-27896-4
Format: 
Availability 
Online Library~1
Available:
Copies:
249. 
Cover image for Tamed Agility Pragmatic Contracting and Collaboration in Agile Software Projects
Tamed Agility Pragmatic Contracting and Collaboration in Agile Software Projects
Author 
Book, Matthias. author. Gruhn, Volker. author. Striemer, Rüdiger. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-41478-2
Format: 
Availability 
Online Library~1
Available:
Copies:
250. 
Cover image for Internetware A New Software Paradigm for Internet Computing
Internetware A New Software Paradigm for Internet Computing
Author 
Mei, Hong. author. Lü, Jian. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-2546-4
Format: 
Availability 
Online Library~1
Available:
Copies:
251. 
Cover image for Software Engineering and Methodology for Emerging Domains 15th National Software Application Conference, NASAC 2016, Kunming, Yunnan, November 3-5, 2016, Proceedings
Software Engineering and Methodology for Emerging Domains 15th National Software Application Conference, NASAC 2016, Kunming, Yunnan, November 3-5, 2016, Proceedings
Author 
Zhang, Lu. editor. Xu, Chang. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-3482-4
Format: 
Availability 
Online Library~1
Available:
Copies:
252. 
Cover image for Fundamental Approaches to Software Engineering 19th International Conference, FASE 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings
Fundamental Approaches to Software Engineering 19th International Conference, FASE 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings
Author 
Stevens, Perdita. editor. Wąsowski, Andrzej. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-49665-7
Format: 
Availability 
Online Library~1
Available:
Copies:
253. 
Cover image for Fast Software Encryption 23rd International Conference, FSE 2016, Bochum, Germany, March 20-23, 2016, Revised Selected Papers
Fast Software Encryption 23rd International Conference, FSE 2016, Bochum, Germany, March 20-23, 2016, Revised Selected Papers
Author 
Peyrin, Thomas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-52993-5
Format: 
Availability 
Online Library~1
Available:
Copies:
254. 
Cover image for Reliable Software for Unreliable Hardware A Cross Layer Perspective
Reliable Software for Unreliable Hardware A Cross Layer Perspective
Author 
Rehman, Semeen. author. Shafique, Muhammad. author. Henkel, Jörg. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-25772-3
Format: 
Availability 
Online Library~1
Available:
Copies:
255. 
Cover image for Automated Software and Service Composition A Survey and Evaluating Review
Automated Software and Service Composition A Survey and Evaluating Review
Author 
Mohr, Felix. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-34168-2
Format: 
Availability 
Online Library~1
Available:
Copies:
256. 
Cover image for Software Architecture in Action Designing and Executing Architectural Models with SysADL Grounded on the OMG SysML Standard
Software Architecture in Action Designing and Executing Architectural Models with SysADL Grounded on the OMG SysML Standard
Author 
Oquendo, Flavio. author. Leite, Jair. author. Batista, Thaís. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-44339-3
Format: 
Availability 
Online Library~1
Available:
Copies:
257. 
Cover image for Trends and Applications in Software Engineering Proceedings of the 4th International Conference on Software Process Improvement CIMPS'2015
Trends and Applications in Software Engineering Proceedings of the 4th International Conference on Software Process Improvement CIMPS'2015
Author 
Mejia, Jezreel. editor. (orcid)0000-0003-0292-9318 Muñoz, Mirna. editor. Rocha, Alvaro. editor. (orcid)0000-0002-0750-8187 Calvo-Manzano, Jose. editor. (orcid)0000-0002-2864-2203 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-26285-7
Format: 
Availability 
Online Library~1
Available:
Copies:
258. 
Cover image for Evaluation of Novel Approaches to Software Engineering 11th International Conference, ENASE 2016, Rome, Italy, April 27-28, 2016, Revised Selected Papers
Evaluation of Novel Approaches to Software Engineering 11th International Conference, ENASE 2016, Rome, Italy, April 27-28, 2016, Revised Selected Papers
Author 
Maciaszek, Leszek A. editor. (orcid)0000-0001-6561-0545 Filipe, Joaquim. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-56390-9
Format: 
Availability 
Online Library~1
Available:
Copies:
259. 
Cover image for Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing 2015
Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing 2015
Author 
Lee, Roger. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-23509-7
Format: 
Availability 
Online Library~1
Available:
Copies:
260. 
Cover image for Crisis Management for Software Development and Knowledge Transfer
Crisis Management for Software Development and Knowledge Transfer
Author 
Zykov, Sergey V. author. (orcid)0000-0002-2115-5461 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-42966-3
Format: 
Availability 
Online Library~1
Available:
Copies:
261. 
Cover image for Control Modes on Mobile Software Platforms Empirical Studies on the Importance of Informal Control
Control Modes on Mobile Software Platforms Empirical Studies on the Importance of Informal Control
Author 
Goldbach, Tobias. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-658-14893-5
Format: 
Availability 
Online Library~1
Available:
Copies:
262. 
Cover image for Qualità dei sistemi e del software Il prossimo passo per l'industrializzazione
Qualità dei sistemi e del software Il prossimo passo per l'industrializzazione
Author 
Wieczorek, Martin. author. Vos, Diederik. author. Bons, Heinz. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-47771-7
Format: 
Availability 
Online Library~1
Available:
Copies:
263. 
Cover image for Agile Processes, in Software Engineering, and Extreme Programming 17th International Conference, XP 2016, Edinburgh, UK, May 24-27, 2016, Proceedings
Agile Processes, in Software Engineering, and Extreme Programming 17th International Conference, XP 2016, Edinburgh, UK, May 24-27, 2016, Proceedings
Author 
Sharp, Helen. editor. Hall, Tracy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-33515-5
Format: 
Availability 
Online Library~1
Available:
Copies:
264. 
Cover image for Programming Languages and Systems 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings
Programming Languages and Systems 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings
Author 
Thiemann, Peter. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-49498-1
Format: 
Availability 
Online Library~1
Available:
Copies:
265. 
Cover image for Evaluation of Novel Approaches to Software Engineering 10th International Conference, ENASE 2015, Barcelona, Spain, April 29-30, 2015, Revised Selected Papers
Evaluation of Novel Approaches to Software Engineering 10th International Conference, ENASE 2015, Barcelona, Spain, April 29-30, 2015, Revised Selected Papers
Author 
Maciaszek, Leszek A. editor. (orcid)0000-0001-6561-0545 Filipe, Joaquim. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-30243-0
Format: 
Availability 
Online Library~1
Available:
Copies:
266. 
Cover image for Toward 5G Software Defined Radio Receiver Front-Ends
Toward 5G Software Defined Radio Receiver Front-Ends
Author 
Spiridon, Silvian. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-32759-4
Format: 
Availability 
Online Library~1
Available:
Copies:
267. 
Cover image for Systems, Software and Services Process Improvement 23rd European Conference, EuroSPI 2016, Graz, Austria, September 14-16, 2016, Proceedings
Systems, Software and Services Process Improvement 23rd European Conference, EuroSPI 2016, Graz, Austria, September 14-16, 2016, Proceedings
Author 
Kreiner, Christian. editor. O'Connor, Rory V. editor. Poth, Alexander. editor. Messnarz, Richard. editor. (orcid)0000-0002-0555-3160 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-44817-6
Format: 
Availability 
Online Library~1
Available:
Copies:
268. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings
Tools and Algorithms for the Construction and Analysis of Systems 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings
Author 
Chechik, Marsha. editor. (orcid)0000-0002-6301-3517 Raskin, Jean-François. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-49674-9
Format: 
Availability 
Online Library~1
Available:
Copies:
269. 
Cover image for Foundations of Software Science and Computation Structures 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings
Foundations of Software Science and Computation Structures 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings
Author 
Jacobs, Bart. editor. Löding, Christof. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-49630-5
Format: 
Availability 
Online Library~1
Available:
Copies:
270. 
Cover image for Software Technologies 10th International Joint Conference, ICSOFT 2015, Colmar, France, July 20-22, 2015, Revised Selected Papers
Software Technologies 10th International Joint Conference, ICSOFT 2015, Colmar, France, July 20-22, 2015, Revised Selected Papers
Author 
Lorenz, Pascal. editor. Cardoso, Jorge. editor. Maciaszek, Leszek A. editor. van Sinderen, Marten. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-30142-6
Format: 
Availability 
Online Library~1
Available:
Copies:
271. 
Cover image for Engineering Secure Software and Systems 8th International Symposium, ESSoS 2016, London, UK, April 6-8, 2016. Proceedings
Engineering Secure Software and Systems 8th International Symposium, ESSoS 2016, London, UK, April 6-8, 2016. Proceedings
Author 
Caballero, Juan. editor. Bodden, Eric. editor. Athanasopoulos, Elias. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-30806-7
Format: 
Availability 
Online Library~1
Available:
Copies:
272. 
Cover image for Software Engineering and Formal Methods 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings
Software Engineering and Formal Methods 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings
Author 
De Nicola, Rocco. editor. Kühn, Eva. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-41591-8
Format: 
Availability 
Online Library~1
Available:
Copies:
273. 
Cover image for Software Engineering Perspectives and Application in Intelligent Systems Proceedings of the 5th Computer Science On-line Conference 2016 (CSOC2016), Vol 2
Software Engineering Perspectives and Application in Intelligent Systems Proceedings of the 5th Computer Science On-line Conference 2016 (CSOC2016), Vol 2
Author 
Silhavy, Radek. editor. Senkerik, Roman. editor. Oplatkova, Zuzana Kominkova. editor. Silhavy, Petr. editor. Prokopova, Zdenka. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-33622-0
Format: 
Availability 
Online Library~1
Available:
Copies:
274. 
Cover image for Software Quality. The Future of Systems- and Software Development 8th International Conference, SWQD 2016, Vienna, Austria, January 18-21, 2016, Proceedings
Software Quality. The Future of Systems- and Software Development 8th International Conference, SWQD 2016, Vienna, Austria, January 18-21, 2016, Proceedings
Author 
Winkler, Dietmar. editor. Biffl, Stefan. editor. Bergsmann, Johannes. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-27033-3
Format: 
Availability 
Online Library~1
Available:
Copies:
275. 
Cover image for Ambient Intelligence- Software and Applications - 7th International Symposium on Ambient Intelligence (ISAmI 2016)
Ambient Intelligence- Software and Applications - 7th International Symposium on Ambient Intelligence (ISAmI 2016)
Author 
Lindgren, Helena. editor. De Paz, Juan F. editor. Novais, Paulo. editor. (orcid)0000-0002-3549-0754 Fernández-Caballero, Antonio. editor. Yoe, Hyun. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-40114-0
Format: 
Availability 
Online Library~1
Available:
Copies:
276. 
Cover image for Software Developers as Users Semiotic Investigations in Human-Centered Software Development
Software Developers as Users Semiotic Investigations in Human-Centered Software Development
Author 
Sieckenius de Souza, Clarisse. author. Fontoura de Gusmão Cerqueira, Renato. author. Marques Afonso, Luiz. author. Rossi de Mello Brandão, Rafael. author. Soares Jansen Ferreira, Juliana. author.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-42831-4
Format: 
Availability 
Online Library~1
Available:
Copies:
277. 
Cover image for Intelligent Software Methodologies, Tools and Techniques 13th International Conference, SoMeT 2014, Langkawi, Malaysia, September 22-24, 2014. Revised Selected Papers
Intelligent Software Methodologies, Tools and Techniques 13th International Conference, SoMeT 2014, Langkawi, Malaysia, September 22-24, 2014. Revised Selected Papers
Author 
Fujita, Hamido. editor. (orcid) Selamat, Ali. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-17530-0
Format: 
Availability 
Online Library~1
Available:
Copies:
278. 
Cover image for Software Sourcing in the Age of Open Leveraging the Unknown Workforce
Software Sourcing in the Age of Open Leveraging the Unknown Workforce
Author 
Ågerfalk, Pär J. author. Fitzgerald, Brian. author. Stol, Klaas-Jan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-17266-8
Format: 
Availability 
Online Library~1
Available:
Copies:
279. 
Cover image for Environmental Software Systems. Infrastructures, Services and Applications 11th IFIP WG 5.11 International Symposium, ISESS 2015, Melbourne, VIC, Australia, March 25-27, 2015, Proceedings
Environmental Software Systems. Infrastructures, Services and Applications 11th IFIP WG 5.11 International Symposium, ISESS 2015, Melbourne, VIC, Australia, March 25-27, 2015, Proceedings
Author 
Denzer, Ralf. editor. Argent, Robert M. editor. Schimak, Gerald. editor. Hřebíček, Jiří. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-15994-2
Format: 
Availability 
Online Library~1
Available:
Copies:
280. 
Cover image for Intelligent Software Methodologies, Tools and Techniques 14th International Conference, SoMet 2015, Naples, Italy, September 15-17, 2015. Proceedings
Intelligent Software Methodologies, Tools and Techniques 14th International Conference, SoMet 2015, Naples, Italy, September 15-17, 2015. Proceedings
Author 
Fujita, Hamido. editor. (orcid) Guizzi, Guido. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-22689-7
Format: 
Availability 
Online Library~1
Available:
Copies:
281. 
Cover image for Model-Driven Engineering and Software Development Third International Conference, MODELSWARD 2015, Angers, France, February 9-11, 2015, Revised Selected Papers
Model-Driven Engineering and Software Development Third International Conference, MODELSWARD 2015, Angers, France, February 9-11, 2015, Revised Selected Papers
Author 
Desfray, Philippe. editor. Filipe, Joaquim. editor. Hammoudi, Slimane. editor. Pires, Luís Ferreira. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-27869-8
Format: 
Availability 
Online Library~1
Available:
Copies:
282. 
Cover image for Software Technologies 9th International Joint Conference, ICSOFT 2014, Vienna, Austria, August 29-31, 2014, Revised Selected Papers
Software Technologies 9th International Joint Conference, ICSOFT 2014, Vienna, Austria, August 29-31, 2014, Revised Selected Papers
Author 
Holzinger, Andreas. editor. Cardoso, Jorge. editor. Cordeiro, José. editor. Libourel, Therese. editor. Maciaszek, Leszek A. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-25579-8
Format: 
Availability 
Online Library~1
Available:
Copies:
283. 
Cover image for Business Modeling and Software Design 4th International Symposium, BMSD 2014, Luxembourg, Luxembourg, June 24-26, 2014, Revised Selected Papers
Business Modeling and Software Design 4th International Symposium, BMSD 2014, Luxembourg, Luxembourg, June 24-26, 2014, Revised Selected Papers
Author 
Shishkov, Boris. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-20052-1
Format: 
Availability 
Online Library~1
Available:
Copies:
284. 
Cover image for Evaluation of Novel Approaches to Software Engineering 9th International Conference, ENASE 2014, Lisbon, Portugal, April 28-30, 2014. Revised Selected Papers
Evaluation of Novel Approaches to Software Engineering 9th International Conference, ENASE 2014, Lisbon, Portugal, April 28-30, 2014. Revised Selected Papers
Author 
Maciaszek, Leszek A. editor. Filipe, Joaquim. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-27218-4
Format: 
Availability 
Online Library~1
Available:
Copies:
285. 
Cover image for Software Process Improvement and Capability Determination 15th International Conference, SPICE 2015, Gothenburg, Sweden, June 16-17, 2015. Proceedings
Software Process Improvement and Capability Determination 15th International Conference, SPICE 2015, Gothenburg, Sweden, June 16-17, 2015. Proceedings
Author 
Rout, Terry. editor. O'Connor, Rory V. editor. Dorling, Alec. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-19860-6
Format: 
Availability 
Online Library~1
Available:
Copies:
286. 
Cover image for Information and Software Technologies 21st International Conference, ICIST 2015, Druskininkai, Lithuania, October 15-16, 2015, Proceedings
Information and Software Technologies 21st International Conference, ICIST 2015, Druskininkai, Lithuania, October 15-16, 2015, Proceedings
Author 
Dregvaite, Giedre. editor. Damasevicius, Robertas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-24770-0
Format: 
Availability 
Online Library~1
Available:
Copies:
287. 
Cover image for Software Quality. Software and Systems Quality in Distributed and Mobile Environments 7th International Conference, SWQD 2015, Vienna, Austria, January 20-23, 2015, Proceedings
Software Quality. Software and Systems Quality in Distributed and Mobile Environments 7th International Conference, SWQD 2015, Vienna, Austria, January 20-23, 2015, Proceedings
Author 
Winkler, Dietmar. editor. Biffl, Stefan. editor. Bergsmann, Johannes. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-13251-8
Format: 
Availability 
Online Library~1
Available:
Copies:
288. 
Cover image for Model-Integrating Software Components Engineering Flexible Software Systems
Model-Integrating Software Components Engineering Flexible Software Systems
Author 
Derakhshanmanesh, Mahdi. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-658-09646-5
Format: 
Availability 
Online Library~1
Available:
Copies:
289. 
Cover image for Agile Processes in Software Engineering and Extreme Programming 16th International Conference, XP 2015, Helsinki, Finland, May 25-29, 2015, Proceedings
Agile Processes in Software Engineering and Extreme Programming 16th International Conference, XP 2015, Helsinki, Finland, May 25-29, 2015, Proceedings
Author 
Lassenius, Casper. editor. Dingsøyr, Torgeir. editor. Paasivaara, Maria. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-18612-2
Format: 
Availability 
Online Library~1
Available:
Copies:
290. 
Cover image for Software Business 6th International Conference, ICSOB 2015, Braga, Portugal, June 10-12, 2015, Proceedings
Software Business 6th International Conference, ICSOB 2015, Braga, Portugal, June 10-12, 2015, Proceedings
Author 
Fernandes, João M. editor. Machado, Ricardo J. editor. Wnuk, Krzysztof. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-19593-3
Format: 
Availability 
Online Library~1
Available:
Copies:
291. 
Cover image for Sensor Systems and Software 5th International Conference, S-CUBE 2014, Coventry, UK, October 6-7, 2014, Revised Selected Papers
Sensor Systems and Software 5th International Conference, S-CUBE 2014, Coventry, UK, October 6-7, 2014, Revised Selected Papers
Author 
Kanjo, Eiman. editor. Trossen, Dirk. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-17136-4
Format: 
Availability 
Online Library~1
Available:
Copies:
292. 
Cover image for Patterns of HCI Design and HCI Design of Patterns Bridging HCI Design and Model-Driven Software Engineering
Patterns of HCI Design and HCI Design of Patterns Bridging HCI Design and Model-Driven Software Engineering
Author 
Seffah, Ahmed. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-15687-3
Format: 
Availability 
Online Library~1
Available:
Copies:
293. 
Cover image for Correct Software in Web Applications and Web Services
Correct Software in Web Applications and Web Services
Author 
Thalheim, Bernhard. editor. Schewe, Klaus-Dieter. editor. Prinz, Andreas. editor. Buchberger, Bruno. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-17112-8
Format: 
Availability 
Online Library~1
Available:
Copies:
294. 
Cover image for Engineering Secure Software and Systems 7th International Symposium, ESSoS 2015, Milan, Italy, March 4-6, 2015, Proceedings
Engineering Secure Software and Systems 7th International Symposium, ESSoS 2015, Milan, Italy, March 4-6, 2015, Proceedings
Author 
Piessens, Frank. editor. Caballero, Juan. editor. Bielova, Nataliia. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-15618-7
Format: 
Availability 
Online Library~1
Available:
Copies:
295. 
Cover image for Model Checking Software 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings
Model Checking Software 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings
Author 
Fischer, Bernd. editor. Geldenhuys, Jaco. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-23404-5
Format: 
Availability 
Online Library~1
Available:
Copies:
296. 
Cover image for Compiler Construction 24th International Conference, CC 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
Compiler Construction 24th International Conference, CC 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
Author 
Franke, Björn. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-46663-6
Format: 
Availability 
Online Library~1
Available:
Copies:
297. 
Cover image for Fast Software Encryption 22nd International Workshop, FSE 2015, Istanbul, Turkey, March 8-11, 2015, Revised Selected Papers
Fast Software Encryption 22nd International Workshop, FSE 2015, Istanbul, Turkey, March 8-11, 2015, Revised Selected Papers
Author 
Leander, Gregor. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-48116-5
Format: 
Availability 
Online Library~1
Available:
Copies:
298. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
Author 
Baier, Christel. editor. Tinelli, Cesare. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-46681-0
Format: 
Availability 
Online Library~1
Available:
Copies:
299. 
Cover image for Fundamental Approaches to Software Engineering 18th International Conference, FASE 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
Fundamental Approaches to Software Engineering 18th International Conference, FASE 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
Author 
Egyed, Alexander. editor. Schaefer, Ina. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-46675-9
Format: 
Availability 
Online Library~1
Available:
Copies:
300. 
Cover image for Solving Software Challenges for Exascale International Conference on Exascale Applications and Software, EASC 2014, Stockholm, Sweden, April 2-3, 2014, Revised Selected Papers
Solving Software Challenges for Exascale International Conference on Exascale Applications and Software, EASC 2014, Stockholm, Sweden, April 2-3, 2014, Revised Selected Papers
Author 
Markidis, Stefano. editor. Laure, Erwin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-15976-8
Format: 
Availability 
Online Library~1
Available:
Copies:
301. 
Cover image for Foundations of Software Science and Computation Structures 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
Foundations of Software Science and Computation Structures 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
Author 
Pitts, Andrew. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-46678-0
Format: 
Availability 
Online Library~1
Available:
Copies:
302. 
Cover image for Hardware/Software Co-Design and Optimization for Cyberphysical Integration in Digital Microfluidic Biochips
Hardware/Software Co-Design and Optimization for Cyberphysical Integration in Digital Microfluidic Biochips
Author 
Luo, Yan. author. Chakrabarty, Krishnendu. author. Ho, Tsung-Yi. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-09006-1
Format: 
Availability 
Online Library~1
Available:
Copies:
303. 
Cover image for Software Engineering in Intelligent Systems Proceedings of the 4th Computer Science On-line Conference 2015 (CSOC2015), Vol 3: Software Engineering in Intelligent Systems
Software Engineering in Intelligent Systems Proceedings of the 4th Computer Science On-line Conference 2015 (CSOC2015), Vol 3: Software Engineering in Intelligent Systems
Author 
Silhavy, Radek. editor. Senkerik, Roman. editor. Oplatkova, Zuzana Kominkova. editor. Prokopova, Zdenka. editor. Silhavy, Petr. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-18473-9
Format: 
Availability 
Online Library~1
Available:
Copies:
304. 
Cover image for Ambient Intelligence - Software and Applications 6th International Symposium on Ambient Intelligence (ISAmI 2015)
Ambient Intelligence - Software and Applications 6th International Symposium on Ambient Intelligence (ISAmI 2015)
Author 
Mohamed, Amr. editor. Novais, Paulo. editor. Pereira, António. editor. Villarrubia González, Gabriel. editor. Fernández-Caballero, Antonio. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-19695-4
Format: 
Availability 
Online Library~1
Available:
Copies:
305. 
Cover image for Building Intelligent Information Systems Software : Introducing the Unit Modeler Development Technology
Building Intelligent Information Systems Software : Introducing the Unit Modeler Development Technology
Author 
Feigenbaum, Thomas D., author
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect https://www.sciencedirect.com/science/book/9780128051016
Format: 
Availability 
Online Library~1
Available:
Copies:
306. 
Cover image for Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing
Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing
Author 
Lee, Roger. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-10389-1
Format: 
Availability 
Online Library~1
Available:
Copies:
307. 
Cover image for Software and System Development using Virtual Platforms Full-System Simulation with Wind River Simics.
Software and System Development using Virtual Platforms Full-System Simulation with Wind River Simics.
Author 
Aarno, Daniel. Engblom, Jakob.
Preferred Shelf Number 
ONLINE(355554.1)
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780128007259
Format: 
Availability 
Online Library~1
Available:
Copies:
308. 
Cover image for Simple statistical methods for software engineering : data and patterns
Simple statistical methods for software engineering : data and patterns
Author 
Pandian, C. Ravindranath, author. Kumar S. K., Murali, author.
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
309. 
Cover image for Software defined mobile networks (SDMN) : Beyond LTE network architecture
Software defined mobile networks (SDMN) : Beyond LTE network architecture
Author 
Liyanage, Madhusanka. Gurtov, Andrei. Ylianttila, Mika.
Preferred Shelf Number 
ONLINE
Electronic Access 
Wiley Online Library
Format: 
Availability 
Online Library~1
Available:
Copies:
310. 
Cover image for Refactoring for software design smells managing technical debt
Refactoring for software design smells managing technical debt
Author 
Suryanarayana, Girish, author. Samarthyam, Ganesh, author. Sharma, Tushar, author.
Preferred Shelf Number 
ONLINE(355384.1)
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780128013977
Format: 
Availability 
Online Library~1
Available:
Copies:
311. 
Cover image for Linear mixed models : a practical guide using statistical software
Linear mixed models : a practical guide using statistical software
Author 
West, Brady T., author. Welch, Kathleen B., author. Galecki, Andrzej T., author. Gillespie, Brenda W., 1950- author.
Preferred Shelf Number 
QA279 .W47 2015
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
312. 
Cover image for Systems, Software and Services Process Improvement 22nd European Conference, EuroSPI 2015, Ankara, Turkey, September 30 -- October 2, 2015. Proceedings
Systems, Software and Services Process Improvement 22nd European Conference, EuroSPI 2015, Ankara, Turkey, September 30 -- October 2, 2015. Proceedings
Author 
O'Connor, Rory V. editor. Umay Akkaya, Mariye. editor. Kemaneci, Kerem. editor. Yilmaz, Murat. editor. Poth, Alexander. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-24647-5
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action