Limit Search Results
Author
SpringerLink (Online service)
(6752)
Kim, Tai-hoon. editor.
(47)
Taniar, David. editor.
(45)
Apduhan, Bernady O. editor.
(44)
Gervasi, Osvaldo. editor.
(44)
Language
Publication Date
-
Subject
Computer science.
(4592)
Software engineering.
(3826)
Computer software.
(2174)
Artificial intelligence.
(2060)
Computer Communication Networks.
(1706)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
8915 Results Found Subscribe to search results
000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000DEFAULT
Print
1. 
Cover image for Reuse in the Big Data Era 18th International Conference on Software and Systems Reuse, ICSR 2019, Cincinnati, OH, USA, June 26–28, 2019, Proceedings
Reuse in the Big Data Era 18th International Conference on Software and Systems Reuse, ICSR 2019, Cincinnati, OH, USA, June 26–28, 2019, Proceedings
Author 
Peng, Xin. editor. Ampatzoglou, Apostolos. editor. Bhowmik, Tanmay. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-22888-0
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment First International Workshop, DEVOPS 2018, Chateau de Villebrumier, France, March 5-6, 2018, Revised Selected Papers
Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment First International Workshop, DEVOPS 2018, Chateau de Villebrumier, France, March 5-6, 2018, Revised Selected Papers
Author 
Bruel, Jean-Michel. editor. (orcid)0000-0002-3653-0148 Mazzara, Manuel. editor. (orcid)0000-0002-3860-4948 Meyer, Bertrand. editor. (orcid)0000-0002-5985-7434 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-06019-0
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Dependable Software Engineering. Theories, Tools, and Applications 5th International Symposium, SETTA 2019, Shanghai, China, November 27–29, 2019, Proceedings
Dependable Software Engineering. Theories, Tools, and Applications 5th International Symposium, SETTA 2019, Shanghai, China, November 27–29, 2019, Proceedings
Author 
Guan, Nan. editor. Katoen, Joost-Pieter. editor. (orcid)0000-0002-6143-1926 Sun, Jun. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-35540-1
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Software Technology: Methods and Tools 51st International Conference, TOOLS 2019, Innopolis, Russia, October 15–17, 2019, Proceedings
Software Technology: Methods and Tools 51st International Conference, TOOLS 2019, Innopolis, Russia, October 15–17, 2019, Proceedings
Author 
Mazzara, Manuel. editor. (orcid)0000-0002-3860-4948 Bruel, Jean-Michel. editor. (orcid)0000-0002-3653-0148 Meyer, Bertrand. editor. (orcid)0000-0002-5985-7434 Petrenko, Alexander. editor. (orcid)0000-0001-7411-3831 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-29852-4
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Product-Focused Software Process Improvement 20th International Conference, PROFES 2019, Barcelona, Spain, November 27–29, 2019, Proceedings
Product-Focused Software Process Improvement 20th International Conference, PROFES 2019, Barcelona, Spain, November 27–29, 2019, Proceedings
Author 
Franch, Xavier. editor. (orcid)0000-0001-9733-8830 Männistö, Tomi. editor. (orcid)0000-0001-7470-5183 Martínez-Fernández, Silverio. editor. (orcid)0000-0001-9928-133X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-35333-9
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Search-Based Software Engineering 11th International Symposium, SSBSE 2019, Tallinn, Estonia, August 31 – September 1, 2019, Proceedings
Search-Based Software Engineering 11th International Symposium, SSBSE 2019, Tallinn, Estonia, August 31 – September 1, 2019, Proceedings
Author 
Nejati, Shiva. editor. Gay, Gregory. editor. (orcid)0000-0001-6794-9585 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-27455-9
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Software Engineering for Resilient Systems 11th International Workshop, SERENE 2019, Naples, Italy, September 17, 2019, Proceedings
Software Engineering for Resilient Systems 11th International Workshop, SERENE 2019, Naples, Italy, September 17, 2019, Proceedings
Author 
Calinescu, Radu. editor. (orcid)0000-0002-2678-9260 Di Giandomenico, Felicita. editor. (orcid)0000-0002-8760-7299 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-30856-8
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Formal Methods and Software Engineering 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5–9, 2019, Proceedings
Formal Methods and Software Engineering 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5–9, 2019, Proceedings
Author 
Ait-Ameur, Yamine. editor. (orcid)0000-0003-4582-9712 Qin, Shengchao. editor. (orcid)0000-0003-3028-8191 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-32409-4
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Testing Software and Systems 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15–17, 2019, Proceedings
Testing Software and Systems 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15–17, 2019, Proceedings
Author 
Gaston, Christophe. editor. (orcid)0000-0001-6865-5108 Kosmatov, Nikolai. editor. (orcid)0000-0003-1557-2813 Le Gall, Pascale. editor. (orcid)0000-0002-8955-6835 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-31280-0
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Requirements Engineering: Foundation for Software Quality 25th International Working Conference, REFSQ 2019, Essen, Germany, March 18–21, 2019, Proceedings
Requirements Engineering: Foundation for Software Quality 25th International Working Conference, REFSQ 2019, Essen, Germany, March 18–21, 2019, Proceedings
Author 
Knauss, Eric. editor. (orcid)0000-0002-6631-872X Goedicke, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-15538-4
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Prospective Philosophy of Software : a Simondonian Study
Prospective Philosophy of Software : a Simondonian Study
Author 
Ferrarato, Coline.
Preferred Shelf Number 
QA76.167
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119686804
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Formal Methods and Software Engineering 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings
Formal Methods and Software Engineering 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings
Author 
Sun, Jing. editor. Sun, Meng. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-02450-5
Format: 
Availability 
Online Library~1
Available:
Copies:
13. 
Cover image for Dependable Software Engineering. Theories, Tools, and Applications 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings
Dependable Software Engineering. Theories, Tools, and Applications 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings
Author 
Feng, Xinyu. editor. Müller-Olm, Markus. editor. Yang, Zijiang. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-99933-3
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Verified Software. Theories, Tools, and Experiments 10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papers
Verified Software. Theories, Tools, and Experiments 10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papers
Author 
Piskac, Ruzica. editor. Rümmer, Philipp. editor. (orcid)0000-0002-2733-7098 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-03592-1
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for SafeScrum® – Agile Development of Safety-Critical Software
SafeScrum® – Agile Development of Safety-Critical Software
Author 
Hanssen, Geir Kjetil. author. Stålhane, Tor. author. Myklebust, Thor. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-99334-8
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Software Architecture 12th European Conference on Software Architecture, ECSA 2018, Madrid, Spain, September 24–28, 2018, Proceedings
Software Architecture 12th European Conference on Software Architecture, ECSA 2018, Madrid, Spain, September 24–28, 2018, Proceedings
Author 
Cuesta, Carlos E. editor. (orcid)0000-0003-0286-4219 Garlan, David. editor. (orcid)0000-0002-6735-8301 Pérez, Jennifer. editor. (orcid)0000-0003-3192-7995 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-00761-4
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Reliable Software Technologies – Ada-Europe 2018 23rd Ada-Europe International Conference on Reliable Software Technologies, Lisbon, Portugal, June 18-22, 2018, Proceedings
Reliable Software Technologies – Ada-Europe 2018 23rd Ada-Europe International Conference on Reliable Software Technologies, Lisbon, Portugal, June 18-22, 2018, Proceedings
Author 
Casimiro, António. editor. (orcid)0000-0002-5522-5739 Ferreira, Pedro M. editor. (orcid)0000-0003-2369-0115 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-92432-8
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for New Opportunities for Software Reuse 17th International Conference, ICSR 2018, Madrid, Spain, May 21-23, 2018, Proceedings
New Opportunities for Software Reuse 17th International Conference, ICSR 2018, Madrid, Spain, May 21-23, 2018, Proceedings
Author 
Capilla, Rafael. editor. (orcid)0000-0002-6943-1285 Gallina, Barbara. editor. (orcid)0000-0002-6952-1053 Cetina, Carlos. editor. (orcid)0000-0001-8542-5515 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-90421-4
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Requirements Engineering: Foundation for Software Quality 24th International Working Conference, REFSQ 2018, Utrecht, The Netherlands, March 19-22, 2018, Proceedings
Requirements Engineering: Foundation for Software Quality 24th International Working Conference, REFSQ 2018, Utrecht, The Netherlands, March 19-22, 2018, Proceedings
Author 
Kamsties, Erik. editor. (orcid)0000-0002-7373-8466 Horkoff, Jennifer. editor. (orcid)0000-0002-2019-5277 Dalpiaz, Fabiano. editor. (orcid)0000-0003-4480-3887 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-77243-1
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for Formal Aspects of Component Software 15th International Conference, FACS 2018, Pohang, South Korea, October 10–12, 2018, Proceedings
Formal Aspects of Component Software 15th International Conference, FACS 2018, Pohang, South Korea, October 10–12, 2018, Proceedings
Author 
Bae, Kyungmin. editor. (orcid)0000-0002-6430-5175 Ölveczky, Peter Csaba. editor. (orcid)0000-0002-0708-3721 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-02146-7
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Synergies Between Knowledge Engineering and Software Engineering
Synergies Between Knowledge Engineering and Software Engineering
Author 
Nalepa, Grzegorz J. editor. Baumeister, Joachim. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-64161-4
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Machine Learning for Dynamic Software Analysis: Potentials and Limits International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, 2016, Revised Papers
Machine Learning for Dynamic Software Analysis: Potentials and Limits International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, 2016, Revised Papers
Author 
Bennaceur, Amel. editor. (orcid)0000-0002-6124-9622 Hähnle, Reiner. editor. (orcid)0000-0001-8000-7613 Meinke, Karl. editor. (orcid)0000-0002-9706-5008 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-96562-8
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for Engineering Trustworthy Software Systems Third International School, SETSS 2017, Chongqing, China, April 17–22, 2017, Tutorial Lectures
Engineering Trustworthy Software Systems Third International School, SETSS 2017, Chongqing, China, April 17–22, 2017, Tutorial Lectures
Author 
Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140 Liu, Zhiming. editor. (orcid)0000-0001-9771-3071 Zhang, Zili. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-02928-9
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for Product-Focused Software Process Improvement 19th International Conference, PROFES 2018, Wolfsburg, Germany, November 28–30, 2018, Proceedings
Product-Focused Software Process Improvement 19th International Conference, PROFES 2018, Wolfsburg, Germany, November 28–30, 2018, Proceedings
Author 
Kuhrmann, Marco. editor. (orcid)0000-0001-6101-8931 Schneider, Kurt. editor. Pfahl, Dietmar. editor. (orcid)0000-0003-2400-501X Amasaki, Sousuke. editor. Ciolkowski, Marcus. editor. (orcid)0000-0001-8494-4794
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-03673-7
Format: 
Availability 
Online Library~1
Available:
Copies:
25. 
Cover image for Software Technologies: Applications and Foundations STAF 2017 Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised Selected Papers
Software Technologies: Applications and Foundations STAF 2017 Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised Selected Papers
Author 
Seidl, Martina. editor. Zschaler, Steffen. editor. (orcid)0000-0001-9062-6637 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-74730-9
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for Search-Based Software Engineering 10th International Symposium, SSBSE 2018, Montpellier, France, September 8-9, 2018, Proceedings
Search-Based Software Engineering 10th International Symposium, SSBSE 2018, Montpellier, France, September 8-9, 2018, Proceedings
Author 
Colanzi, Thelma Elita. editor. (orcid)0000-0001-9761-1999 McMinn, Phil. editor. (orcid)0000-0001-9137-7433 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-99241-9
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for Software Analysis, Testing, and Evolution 8th International Conference, SATE 2018, Shenzhen, Guangdong, China, November 23–24, 2018, Proceedings
Software Analysis, Testing, and Evolution 8th International Conference, SATE 2018, Shenzhen, Guangdong, China, November 23–24, 2018, Proceedings
Author 
Bu, Lei. editor. (orcid)0000-0003-0517-7801 Xiong, Yingfei. editor. (orcid)0000-0001-8991-747X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-04272-1
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for Testing Software and Systems 30th IFIP WG 6.1 International Conference, ICTSS 2018, Cádiz, Spain, October 1-3, 2018, Proceedings
Testing Software and Systems 30th IFIP WG 6.1 International Conference, ICTSS 2018, Cádiz, Spain, October 1-3, 2018, Proceedings
Author 
Medina-Bulo, Inmaculada. editor. Merayo, Mercedes G. editor. Hierons, Robert. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-99927-2
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for Software Technologies: Applications and Foundations STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers
Software Technologies: Applications and Foundations STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers
Author 
Mazzara, Manuel. editor. (orcid)0000-0002-3860-4948 Ober, Iulian. editor. Salaün, Gwen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-04771-9
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for Shortest Path Solvers. From Software to Wetware
Shortest Path Solvers. From Software to Wetware
Author 
Adamatzky, Andrew. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-77510-4
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for Software Engineering and Formal Methods SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers
Software Engineering and Formal Methods SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers
Author 
Cerone, Antonio. editor. (orcid)0000-0003-2691-5279 Roveri, Marco. editor. (orcid)0000-0001-9483-3940 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-74781-1
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for Analytic methods in systems and software testing
Analytic methods in systems and software testing
Author 
Kenett, Ron, editor. Ruggeri, Fabrizio, editor. Faltin, Frederick W., editor.
Preferred Shelf Number 
QA76.76 .T48 A52 2018 EB
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119357056
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
Cover image for Managing trade-offs in adaptable software architectures
Managing trade-offs in adaptable software architectures
Author 
Mistrík, Ivan, editor. Ali, Nour, editor. Kazman, Rick, editor. Grundy, John, editor. Schmerl, Bradley, editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect https://www.sciencedirect.com/science/book/9780128028551
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for Artificial neural network for software reliability prediction
Artificial neural network for software reliability prediction
Author 
Bisi, Manjubala, author. Goyal, Neeraj Kumar, author.
Preferred Shelf Number 
QA76.87
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119223931
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
Cover image for ESSENTIAL SOFTWARE TESTING : a use-case approach.
ESSENTIAL SOFTWARE TESTING : a use-case approach.
Author 
FOURNIER, GREG.
Preferred Shelf Number 
QA76.76 .T48
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/e/9780429114854
Taylor & Francis https://www.taylorfrancis.com/books/9780429114854
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
Cover image for Perspectives on data science for software engineering
Perspectives on data science for software engineering
Author 
Menzies, Tim, editor. Williams, Laurie, 1962- editor. Zimmermann, Thomas, editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780128042069
Format: 
Availability 
Online Library~1
Available:
Copies:
37. 
Cover image for Java software solutions : foundations of program design
Java software solutions : foundations of program design
Author 
Lewis, John. Loftus, William.
Preferred Shelf Number 
QA76.73.J38 L49 2015
Format: 
Availability 
Beytepe Library~2
Available:
Copies:
38. 
Cover image for Sharing data and models in software engineering
Sharing data and models in software engineering
Author 
Menzies, Tim, author. Rogers, Mark, designer.
Preferred Shelf Number 
ONLINE(355389.1)
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780124172951
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
Cover image for Search-Based Software Engineering 7th International Symposium, SSBSE 2015, Bergamo, Italy, September 5-7, 2015, Proceedings
Search-Based Software Engineering 7th International Symposium, SSBSE 2015, Bergamo, Italy, September 5-7, 2015, Proceedings
Author 
Barros, Márcio. editor. Labiche, Yvan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-22183-0
Format: 
Availability 
Online Library~1
Available:
Copies:
40. 
Cover image for Product-Focused Software Process Improvement 16th International Conference, PROFES 2015, Bolzano, Italy, December 2-4, 2015, Proceedings
Product-Focused Software Process Improvement 16th International Conference, PROFES 2015, Bolzano, Italy, December 2-4, 2015, Proceedings
Author 
Abrahamsson, Pekka. editor. Corral, Luis. editor. Oivo, Markku. editor. Russo, Barbara. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-26844-6
Format: 
Availability 
Online Library~1
Available:
Copies:
41. 
Cover image for Fundamentals of Software Engineering 6th International Conference, FSEN 2015, Tehran, Iran, April 22-24, 2015. Revised Selected Papers
Fundamentals of Software Engineering 6th International Conference, FSEN 2015, Tehran, Iran, April 22-24, 2015. Revised Selected Papers
Author 
Dastani, Mehdi. editor. Sirjani, Marjan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-24644-4
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
Cover image for Reliable Software Technologies - Ada-Europe 2015 20th Ada-Europe International Conference on Reliable Software Technologies, Madrid Spain, June 22-26, 2015, Proceedings
Reliable Software Technologies - Ada-Europe 2015 20th Ada-Europe International Conference on Reliable Software Technologies, Madrid Spain, June 22-26, 2015, Proceedings
Author 
de la Puente, Juan Antonio. editor. Vardanega, Tullio. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-19584-1
Format: 
Availability 
Online Library~1
Available:
Copies:
43. 
Cover image for Requirements Engineering: Foundation for Software Quality 21st International Working Conference, REFSQ 2015, Essen, Germany, March 23-26, 2015. Proceedings
Requirements Engineering: Foundation for Software Quality 21st International Working Conference, REFSQ 2015, Essen, Germany, March 23-26, 2015. Proceedings
Author 
Fricker, Samuel A. editor. Schneider, Kurt. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-16101-3
Format: 
Availability 
Online Library~1
Available:
Copies:
44. 
Cover image for Software Architecture 9th European Conference, ECSA 2015, Dubrovnik/Cavtat, Croatia, September 7-11, 2015. Proceedings
Software Architecture 9th European Conference, ECSA 2015, Dubrovnik/Cavtat, Croatia, September 7-11, 2015. Proceedings
Author 
Weyns, Danny. editor. Mirandola, Raffaela. editor. Crnkovic, Ivica. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-23727-5
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
Cover image for Formal Methods for Multicore Programming 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures
Formal Methods for Multicore Programming 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures
Author 
Bernardo, Marco. editor. Johnsen, Einar Broch. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-18941-3
Format: 
Availability 
Online Library~1
Available:
Copies:
46. 
Cover image for Testing Software and Systems 27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015, Proceedings
Testing Software and Systems 27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015, Proceedings
Author 
El-Fakih, Khaled. editor. Barlas, Gerassimos. editor. Yevtushenko, Nina. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-25945-1
Format: 
Availability 
Online Library~1
Available:
Copies:
47. 
Cover image for Software, Services, and Systems Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering
Software, Services, and Systems Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering
Author 
De Nicola, Rocco. editor. Hennicker, Rolf. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-15545-6
Format: 
Availability 
Online Library~1
Available:
Copies:
48. 
Cover image for Software Engineering and Formal Methods SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised Selected Papers
Software Engineering and Formal Methods SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised Selected Papers
Author 
Bianculli, Domenico. editor. Calinescu, Radu. editor. Rumpe, Bernhard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-49224-6
Format: 
Availability 
Online Library~1
Available:
Copies:
49. 
Cover image for Software Engineering and Formal Methods 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings
Software Engineering and Formal Methods 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings
Author 
Calinescu, Radu. editor. Rumpe, Bernhard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-22969-0
Format: 
Availability 
Online Library~1
Available:
Copies:
50. 
Cover image for Hardware and Software: Verification and Testing 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings
Hardware and Software: Verification and Testing 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings
Author 
Piterman, Nir. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-26287-1
Format: 
Availability 
Online Library~1
Available:
Copies:
51. 
Cover image for Software Engineering for Collective Autonomic Systems The ASCENS Approach
Software Engineering for Collective Autonomic Systems The ASCENS Approach
Author 
Wirsing, Martin. editor. Hölzl, Matthias. editor. Koch, Nora. editor. Mayer, Philip. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-16310-9
Format: 
Availability 
Online Library~1
Available:
Copies:
52. 
Cover image for Software Engineering International Summer Schools, LASER 2013-2014, Elba, Italy, Revised Tutorial Lectures
Software Engineering International Summer Schools, LASER 2013-2014, Elba, Italy, Revised Tutorial Lectures
Author 
Meyer, Bertrand. editor. Nordio, Martin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-28406-4
Format: 
Availability 
Online Library~1
Available:
Copies:
53. 
Cover image for Formal Methods and Software Engineering 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings
Formal Methods and Software Engineering 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings
Author 
Butler, Michael. editor. Conchon, Sylvain. editor. Zaïdi, Fatiha. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-25423-4
Format: 
Availability 
Online Library~1
Available:
Copies:
54. 
Cover image for Software Engineering and Formal Methods SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers
Software Engineering and Formal Methods SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers
Author 
Canal, Carlos. editor. Idani, Akram. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-15201-1
Format: 
Availability 
Online Library~1
Available:
Copies:
55. 
Cover image for Dependable Software Engineering: Theories, Tools, and Applications First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings
Dependable Software Engineering: Theories, Tools, and Applications First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings
Author 
Li, Xuandong. editor. Liu, Zhiming. editor. Yi, Wang. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-25942-0
Format: 
Availability 
Online Library~1
Available:
Copies:
56. 
Cover image for Formal Aspects of Component Software 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers
Formal Aspects of Component Software 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers
Author 
Lanese, Ivan. editor. Madelaine, Eric. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-15317-9
Format: 
Availability 
Online Library~1
Available:
Copies:
57. 
Cover image for Software Engineering for Resilient Systems 7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015. Proceedings
Software Engineering for Resilient Systems 7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015. Proceedings
Author 
Fantechi, Alessandro. editor. Pelliccione, Patrizio. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-23129-7
Format: 
Availability 
Online Library~1
Available:
Copies:
58. 
Cover image for Software patterns, knowledge maps, and domain analysis
Software patterns, knowledge maps, and domain analysis
Author 
Fayad, Mohamed, 1950, author.
Preferred Shelf Number 
QA76.76 .P37 F39 2015
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
59. 
Cover image for Testing Software and Systems 26th IFIP WG 6.1 International Conference, ICTSS 2014, Madrid, Spain, September 23-25, 2014. Proceedings
Testing Software and Systems 26th IFIP WG 6.1 International Conference, ICTSS 2014, Madrid, Spain, September 23-25, 2014. Proceedings
Author 
Merayo, Mercedes G. editor. Montes de Oca, Edgardo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-44857-1
Format: 
Availability 
Online Library~1
Available:
Copies:
60. 
Cover image for Knowledge Cartography Software Tools and Mapping Techniques
Knowledge Cartography Software Tools and Mapping Techniques
Author 
Okada, Alexandra. editor. Buckingham Shum, Simon J. editor. Sherborne, Tony. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4471-6470-8
Format: 
Availability 
Online Library~1
Available:
Copies:
61. 
Cover image for Verified Software: Theories, Tools and Experiments 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers
Verified Software: Theories, Tools and Experiments 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers
Author 
Giannakopoulou, Dimitra. editor. Kroening, Daniel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-12154-3
Format: 
Availability 
Online Library~1
Available:
Copies:
62. 
Cover image for Formal Methods and Software Engineering 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, Proceedings
Formal Methods and Software Engineering 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, Proceedings
Author 
Merz, Stephan. editor. Pang, Jun. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-11737-9
Format: 
Availability 
Online Library~1
Available:
Copies:
63. 
Cover image for Software Architecture 8th European Conference, ECSA 2014, Vienna, Austria, August 25-29, 2014, Proceedings
Software Architecture 8th European Conference, ECSA 2014, Vienna, Austria, August 25-29, 2014, Proceedings
Author 
Avgeriou, Paris. editor. Zdun, Uwe. editor. (orcid)0000-0002-6233-2591 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-09970-5
Format: 
Availability 
Online Library~1
Available:
Copies:
64. 
Cover image for Software Engineering and Formal Methods 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings
Software Engineering and Formal Methods 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings
Author 
Giannakopoulou, Dimitra. editor. Salaün, Gwen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-10431-7
Format: 
Availability 
Online Library~1
Available:
Copies:
65. 
Cover image for Software Engineering for Resilient Systems 6th International Workshop, SERENE 2014, Budapest, Hungary, October 15-16, 2014. Proceedings
Software Engineering for Resilient Systems 6th International Workshop, SERENE 2014, Budapest, Hungary, October 15-16, 2014. Proceedings
Author 
Majzik, István. editor. Vieira, Marco. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-12241-0
Format: 
Availability 
Online Library~1
Available:
Copies:
66. 
Cover image for Product-Focused Software Process Improvement 15th International Conference, PROFES 2014, Helsinki, Finland, December 10-12, 2014, Proceedings
Product-Focused Software Process Improvement 15th International Conference, PROFES 2014, Helsinki, Finland, December 10-12, 2014, Proceedings
Author 
Jedlitschka, Andreas. editor. Kuvaja, Pasi. editor. Kuhrmann, Marco. editor. Männistö, Tomi. editor. Münch, Jürgen. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-13835-0
Format: 
Availability 
Online Library~1
Available:
Copies:
67. 
Cover image for Signal processing with free software practical experiments
Signal processing with free software practical experiments
Author 
Auger, François.
Preferred Shelf Number 
ONLINE(341600.1)
Electronic Access 
Ebook Library http://public.eblib.com/choice/publicfullrecord.aspx?p=1637657
John Wiley http://onlinelibrary.wiley.com/book/10.1002/9781118579619
John Wiley http://dx.doi.org/10.1002/9781118579619
Format: 
Availability 
Online Library~1
Available:
Copies:
68. 
Cover image for Software quality engineering a practioner's approach
Software quality engineering a practioner's approach
Author 
Suryn, Witold.
Preferred Shelf Number 
ONLINE(341841.1)
Electronic Access 
John Wiley http://dx.doi.org/10.1002/9781118830208
Format: 
Availability 
Online Library~1
Available:
Copies:
69. 
Cover image for Reliable Software Technologies – Ada-Europe 2014 19th Ada-Europe International Conference on Reliable Software Technologies, Paris, France, June 23-27, 2014. Proceedings
Reliable Software Technologies – Ada-Europe 2014 19th Ada-Europe International Conference on Reliable Software Technologies, Paris, France, June 23-27, 2014. Proceedings
Author 
George, Laurent. editor. Vardanega, Tullio. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-08311-7
Format: 
Availability 
Online Library~1
Available:
Copies:
70. 
Cover image for Search-Based Software Engineering 6th International Symposium, SSBSE 2014, Fortaleza, Brazil, August 26-29, 2014, Proceedings
Search-Based Software Engineering 6th International Symposium, SSBSE 2014, Fortaleza, Brazil, August 26-29, 2014, Proceedings
Author 
Le Goues, Claire. editor. Yoo, Shin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-09940-8
Format: 
Availability 
Online Library~1
Available:
Copies:
71. 
Cover image for Software Language Engineering 7th International Conference, SLE 2014, Västerås, Sweden, September 15-16, 2014. Proceedings
Software Language Engineering 7th International Conference, SLE 2014, Västerås, Sweden, September 15-16, 2014. Proceedings
Author 
Combemale, Benoit. editor. Pearce, David. editor. Barais, Olivier. editor. Vinju, Jurgen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-11245-9
Format: 
Availability 
Online Library~1
Available:
Copies:
72. 
Cover image for Formal Aspects of Component Software 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers
Formal Aspects of Component Software 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers
Author 
Fiadeiro, José Luiz. editor. Liu, Zhiming. editor. Xue, Jinyun. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-07602-7
Format: 
Availability 
Online Library~1
Available:
Copies:
73. 
Cover image for Software Project Management in a Changing World
Software Project Management in a Changing World
Author 
Ruhe, Günther. editor. Wohlin, Claes. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-55035-5
Format: 
Availability 
Online Library~1
Available:
Copies:
74. 
Cover image for Verified Software: Theorie, Tools, Experiments 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers
Verified Software: Theorie, Tools, Experiments 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers
Author 
Cohen, Ernie. editor. Rybalchenko, Andrey. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-54108-7
Format: 
Availability 
Online Library~1
Available:
Copies:
75. 
Cover image for Software Reuse for Dynamic Systems in the Cloud and Beyond 14th International Conference on Software Reuse, ICSR 2015, Miami, FL, USA, January 4-6, 2015. Proceedings
Software Reuse for Dynamic Systems in the Cloud and Beyond 14th International Conference on Software Reuse, ICSR 2015, Miami, FL, USA, January 4-6, 2015. Proceedings
Author 
Schaefer, Ina. editor. Stamelos, Ioannis. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-14130-5
Format: 
Availability 
Online Library~1
Available:
Copies:
76. 
Cover image for Software Engineering and Formal Methods SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers
Software Engineering and Formal Methods SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers
Author 
Counsell, Steve. editor. Núñez, Manuel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-05032-4
Format: 
Availability 
Online Library~1
Available:
Copies:
77. 
Cover image for Formal Methods for Executable Software Models 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures
Formal Methods for Executable Software Models 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures
Author 
Bernardo, Marco. editor. Damiani, Ferruccio. editor. Haehnle, Reiner. editor. (orcid)0000-0001-8000-7613 Johnsen, Einar Broch. editor. Schaefer, Ina. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-07317-0
Format: 
Availability 
Online Library~1
Available:
Copies:
78. 
Cover image for Human-Centered Software Engineering 5th IFIP WG 13.2 International Conference, HCSE 2014, Paderborn, Germany, September 16-18, 2014. Proceedings
Human-Centered Software Engineering 5th IFIP WG 13.2 International Conference, HCSE 2014, Paderborn, Germany, September 16-18, 2014. Proceedings
Author 
Sauer, Stefan. editor. Bogdan, Cristian. editor. (orcid)0000-0001-7549-1797 Forbrig, Peter. editor. Bernhaupt, Regina. editor. Winckler, Marco. editor. (orcid)0000-0002-0756-6934
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-44811-3
Format: 
Availability 
Online Library~1
Available:
Copies:
79. 
Cover image for Requirements Engineering: Foundation for Software Quality 20th International Working Conference, REFSQ 2014, Essen, Germany, April 7-10, 2014, Proceedings
Requirements Engineering: Foundation for Software Quality 20th International Working Conference, REFSQ 2014, Essen, Germany, April 7-10, 2014, Proceedings
Author 
Salinesi, Camille. editor. van de Weerd, Inge. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-05843-6
Format: 
Availability 
Online Library~1
Available:
Copies:
80. 
Cover image for Hardware and Software: Verification and Testing 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, Proceedings
Hardware and Software: Verification and Testing 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, Proceedings
Author 
Yahav, Eran. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-13338-6
Format: 
Availability 
Online Library~1
Available:
Copies:
81. 
Cover image for Computing handbook : computer science and software engineering
Computing handbook : computer science and software engineering
Author 
Tucker, Allen B., editor. Gonzalez, Teofilo F., editor. Diaz-Herrera, Jorge L., 1950- editor.
Preferred Shelf Number 
QA76 .C57315 2014
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
82. 
Cover image for Multi-criteria decision analysis : methods and software
Multi-criteria decision analysis : methods and software
Author 
Ishizaka, Alessio. Nemery, Philippe.
Preferred Shelf Number 
T57.95 I84 2013
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
83. 
Cover image for A Practical Introduction to Hardware/Software Codesign
A Practical Introduction to Hardware/Software Codesign
Author 
Schaumont, Patrick R. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331370.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-3737-6
Format: 
Availability 
Online Library~1
Available:
Copies:
84. 
Cover image for Transactions on Aspect-Oriented Software Development X
Transactions on Aspect-Oriented Software Development X
Author 
Leavens, Gary T. editor. Chiba, Shigeru. editor. Tanter, Éric. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334333.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36964-3
Format: 
Availability 
Online Library~1
Available:
Copies:
85. 
Cover image for Model-Driven Dependability Assessment of Software Systems
Model-Driven Dependability Assessment of Software Systems
Author 
Bernardi, Simona. author. Merseguer, José. author. Petriu, Dorina Corina. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334812.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39512-3
Format: 
Availability 
Online Library~1
Available:
Copies:
86. 
Cover image for The Software Industry Economic Principles, Strategies, Perspectives
The Software Industry Economic Principles, Strategies, Perspectives
Author 
Buxmann, Peter. author. Diefenbach, Heiner. author. Hess, Thomas. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333443.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31510-7
Format: 
Availability 
Online Library~1
Available:
Copies:
87. 
Cover image for Patterns kompakt Entwurfsmuster für effektive Software-Entwicklung
Patterns kompakt Entwurfsmuster für effektive Software-Entwicklung
Author 
Eilebrecht, Karl. author. Starke, Gernot. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(337114.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-34718-4
Format: 
Availability 
Online Library~1
Available:
Copies:
88. 
Cover image for Energieeffiziente Antriebstechnologien Hybridisierung – Downsizing – Software und IT
Energieeffiziente Antriebstechnologien Hybridisierung – Downsizing – Software und IT
Author 
Siebenpfeiffer, Wolfgang. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(337594.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-658-00790-4
Format: 
Availability 
Online Library~1
Available:
Copies:
89. 
Cover image for Software-Entwicklung für dynamische Portfolioallokation und Risikomanagement
Software-Entwicklung für dynamische Portfolioallokation und Risikomanagement
Author 
Impekoven, Christoph. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(337718.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-658-01182-6
Format: 
Availability 
Online Library~1
Available:
Copies:
90. 
Cover image for Data Analysis in Management with SPSS Software
Data Analysis in Management with SPSS Software
Author 
Verma, J.P. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335463.1)
Electronic Access 
http://dx.doi.org/10.1007/978-81-322-0786-3
Format: 
Availability 
Online Library~1
Available:
Copies:
91. 
Cover image for Anpassung von Open-Source-Software in Anwenderunternehmen
Anpassung von Open-Source-Software in Anwenderunternehmen
Author 
Keßler, Steffen. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(337922.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-658-01955-6
Format: 
Availability 
Online Library~1
Available:
Copies:
92. 
Cover image for Enterprise software architecture and design entities, services, and resources
Enterprise software architecture and design entities, services, and resources
Author 
Duggan, Dominic.
Preferred Shelf Number 
ONLINE
Electronic Access 
John Wiley http://dx.doi.org/10.1002/9781118180518
http://site.ebrary.com/lib/alltitles/Doc?id=10529323
Format: 
Availability 
Online Library~1
Available:
Copies:
93. 
Cover image for Improving Software Testing Technical and Organizational Developments
Improving Software Testing Technical and Organizational Developments
Author 
Majchrzak, Tim A. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-27464-0
Format: 
Availability 
Online Library~1
Available:
Copies:
94. 
Cover image for Software Engineering Research, Management and Applications 2012
Software Engineering Research, Management and Applications 2012
Author 
Lee, Roger. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30460-6
Format: 
Availability 
Online Library~1
Available:
Copies:
95. 
Cover image for Software Engineering Research,Management and Applications 2011
Software Engineering Research,Management and Applications 2011
Author 
Lee, Roger. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-23202-2
Format: 
Availability 
Online Library~1
Available:
Copies:
96. 
Cover image for Java software solutions : foundations of program design
Java software solutions : foundations of program design
Author 
Lewis, John. Loftus, William. Abirami, S.
Preferred Shelf Number 
QA76.73.J38 L49 2012
Format: 
Availability 
Beytepe Library~2
Available:
Copies:
97. 
Cover image for QuickBooks 2010 finance software for small business
QuickBooks 2010 finance software for small business
Author 
Barich, Thomas E.
Preferred Shelf Number 
ONLINE
Electronic Access 
Subscription required
Format: 
Availability 
Online Library~1
Available:
Copies:
98. 
Cover image for Games, Actions and Social Software Multidisciplinary Aspects
Games, Actions and Social Software Multidisciplinary Aspects
Author 
Eijck, Jan. editor. Verbrugge, Rineke. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29326-9
Format: 
Availability 
Online Library~1
Available:
Copies:
99. 
Cover image for Transactions on Aspect-Oriented Software Development IX
Transactions on Aspect-Oriented Software Development IX
Author 
Leavens, Gary T. editor. Chiba, Shigeru. editor. Haupt, Michael. editor. Ostermann, Klaus. editor. Wohlstadter, Eric. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35551-6
Format: 
Availability 
Online Library~1
Available:
Copies:
100. 
Cover image for Software project management : a process-driven approach
Software project management : a process-driven approach
Author 
Ahmed, Ashfaque., author.
Preferred Shelf Number 
QA76.76 .D47 A3965 2012
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
101. 
Cover image for Transactions on Aspect-Oriented Software Development VIII
Transactions on Aspect-Oriented Software Development VIII
Author 
Katz, Shmuel. editor. Mezini, Mira. editor. Schwanninger, Christine. editor. Joosen, Wouter. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-22031-9
Format: 
Availability 
Online Library~1
Available:
Copies:
102. 
Cover image for Aufwandsschätzungen in der Software- und Systementwicklung kompakt
Aufwandsschätzungen in der Software- und Systementwicklung kompakt
Author 
Hummel, Oliver. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-8274-2752-6
Format: 
Availability 
Online Library~1
Available:
Copies:
103. 
Cover image for Clustering-Based Support for Software Architecture Restructuring
Clustering-Based Support for Software Architecture Restructuring
Author 
Streekmann, Niels. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-8348-8675-0
Format: 
Availability 
Online Library~1
Available:
Copies:
104. 
Cover image for Scientific Software Design The Object-Oriented Way
Scientific Software Design The Object-Oriented Way
Author 
Rouson, Damian. Xia, Jim. Xu, Xiaofeng.
Preferred Shelf Number 
ONLINE
Electronic Access 
Access by subscription
Format: 
Availability 
Online Library~1
Available:
Copies:
105. 
Cover image for Software Tools and Algorithms for Biological Systems
Software Tools and Algorithms for Biological Systems
Author 
Arabnia, Hamid R. editor. Tran, Quoc-Nam. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-7046-6
Format: 
Availability 
Online Library~1
Available:
Copies:
106. 
Cover image for Digitale Hardware/Software-Systeme Spezifikation und Verifikation
Digitale Hardware/Software-Systeme Spezifikation und Verifikation
Author 
Haubelt, Christian. author. Teich, Jürgen. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-05356-6
Format: 
Availability 
Online Library~1
Available:
Copies:
107. 
Cover image for Advanced Ocean Modelling Using Open-Source Software
Advanced Ocean Modelling Using Open-Source Software
Author 
Kämpf, Jochen. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-10610-1
Format: 
Availability 
Online Library~1
Available:
Copies:
108. 
Cover image for Software Engineering Research, Management and Applications 2010
Software Engineering Research, Management and Applications 2010
Author 
Lee, Roger. editor. Ormandjieva, Olga. editor. Abran, Alain. editor. Constantinides, Constantinos. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-13273-5
Format: 
Availability 
Online Library~1
Available:
Copies:
109. 
Cover image for Patterns kompakt Entwurfsmuster für effektive Software-Entwicklung
Patterns kompakt Entwurfsmuster für effektive Software-Entwicklung
Author 
Eilebrecht, Karl. author. Starke, Gernot. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-8274-2526-3
Format: 
Availability 
Online Library~1
Available:
Copies:
110. 
Cover image for A Practical Introduction to Hardware/Software Codesign
A Practical Introduction to Hardware/Software Codesign
Author 
Schaumont, Patrick R. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-6000-9
Format: 
Availability 
Online Library~1
Available:
Copies:
111. 
Cover image for Innovation in China the Chinese software industry
Innovation in China the Chinese software industry
Author 
Jui, Shang-Ling.
Preferred Shelf Number 
ONLINE
Electronic Access 
Click here to view
Format: 
Availability 
Online Library~1
Available:
Copies:
112. 
Cover image for Usability Engineering kompakt Benutzbare Software gezielt entwickeln
Usability Engineering kompakt Benutzbare Software gezielt entwickeln
Author 
Richter, Michael. author. Flückiger, Markus D. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-8274-2329-0
Format: 
Availability 
Online Library~1
Available:
Copies:
113. 
Cover image for Eingebettete Systeme Systemgrundlagen und Entwicklung eingebetteter Software
Eingebettete Systeme Systemgrundlagen und Entwicklung eingebetteter Software
Author 
Berns, Karsten. author. Bernd, Schürmann. author. Trapp, Mario. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-8348-9661-2
Format: 
Availability 
Online Library~1
Available:
Copies:
114. 
Cover image for Innovations in Computing Sciences and Software Engineering
Innovations in Computing Sciences and Software Engineering
Author 
Sobh, Tarek. editor. Elleithy, Khaled. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-90-481-9112-3
Format: 
Availability 
Online Library~1
Available:
Copies:
115. 
Cover image for Composing Software Components A Software-testing Perspective
Composing Software Components A Software-testing Perspective
Author 
Hamlet, Dick. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-7148-7
Format: 
Availability 
Online Library~1
Available:
Copies:
116. 
Cover image for MIS cases : decision making with application software
MIS cases : decision making with application software
Author 
Miller, M. Lisa.
Preferred Shelf Number 
HD30.23 M55 2009
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
117. 
Cover image for Software Engineering Research, Management and Applications 2009
Software Engineering Research, Management and Applications 2009
Author 
Lee, Roger. editor. Ishii, Naohiro. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-05441-9
Format: 
Availability 
Online Library~1
Available:
Copies:
118. 
Cover image for Transactions on Aspect-Oriented Software Development V
Transactions on Aspect-Oriented Software Development V
Author 
Rashid, Awais. editor. Ossher, Harold. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02059-9
Format: 
Availability 
Online Library~1
Available:
Copies:
119. 
Cover image for Software Architecture Knowledge Management Theory and Practice
Software Architecture Knowledge Management Theory and Practice
Author 
Ali Babar, Muhammad. editor. Dingsøyr, Torgeir. editor. Lago, Patricia. editor. van Vliet, Hans. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02374-3
Format: 
Availability 
Online Library~1
Available:
Copies:
120. 
Cover image for An Approach to Modelling Software Evolution Processes
An Approach to Modelling Software Evolution Processes
Author 
Li, Tong. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-79464-6
Format: 
Availability 
Online Library~1
Available:
Copies:
121. 
Cover image for Experience and Knowledge Management in Software Engineering
Experience and Knowledge Management in Software Engineering
Author 
Schneider, Kurt. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-95880-2
Format: 
Availability 
Online Library~1
Available:
Copies:
122. 
Cover image for Software error detection through testing and analysis
Software error detection through testing and analysis
Author 
Huang, J. C., 1935-
Preferred Shelf Number 
ONLINE
Electronic Access 
Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=456102
John Wiley http://dx.doi.org/10.1002/9780470464076
MyiLibrary, Table of contents http://www.myilibrary.com?id=227967&ref=toc
http://site.ebrary.com/lib/alltitles/Doc?id=10332960
http://swb.eblib.com/patron/FullRecord.aspx?p=456102
Format: 
Availability 
Online Library~1
Available:
Copies:
123. 
Cover image for Symbolic data analysis and the SODAS software
Symbolic data analysis and the SODAS software
Author 
Diday, E. Noirhomme-Fraiture, Monique. Wiley InterScience (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
John Wiley http://dx.doi.org/10.1002/9780470723562
MyiLibrary, Table of contents http://www.myilibrary.com?id=130833&ref=toc
Format: 
Availability 
Online Library~1
Available:
Copies:
124. 
Cover image for Software maintenance management evaluation and continuous improvement
Software maintenance management evaluation and continuous improvement
Author 
April, Alain, 1958- Abran, Alain, 1949-
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6129685
Format: 
Availability 
Online Library~1
Available:
Copies:
125. 
Cover image for Knowledge Cartography Software Tools and Mapping Techniques
Knowledge Cartography Software Tools and Mapping Techniques
Author 
Sherborne, Tony. editor. Buckingham Shum, Simon J. editor. Okada, Alexandra. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84800-149-7
Format: 
Availability 
Online Library~1
Available:
Copies:
126. 
Cover image for Software for Data Analysis Programming with R
Software for Data Analysis Programming with R
Author 
Chambers, John. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-75936-4
Format: 
Availability 
Online Library~1
Available:
Copies:
127. 
Cover image for Baseband Analog Circuits for Software Defined Radio
Baseband Analog Circuits for Software Defined Radio
Author 
Giannini, Vito. author. Craninckx, Jan. author. Baschirotto, Andrea. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-6538-5
Format: 
Availability 
Online Library~1
Available:
Copies:
128. 
Cover image for Software engineering foundations : a software science perspective
Software engineering foundations : a software science perspective
Author 
Wang, Yingxu., author.
Preferred Shelf Number 
QA76.758 .W375 2008
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
129. 
Cover image for Transactions on Aspect-Oriented Software Development III
Transactions on Aspect-Oriented Software Development III
Author 
Rashid, Awais. editor. Aksit, Mehmet. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-75162-5
Format: 
Availability 
Online Library~1
Available:
Copies:
130. 
Cover image for Transactions on Aspect-Oriented Software Development IV
Transactions on Aspect-Oriented Software Development IV
Author 
Rashid, Awais. editor. Aksit, Mehmet. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-77042-8
Format: 
Availability 
Online Library~1
Available:
Copies:
131. 
Cover image for Digitale Hardware/Software-Systeme Synthese und Optimierung
Digitale Hardware/Software-Systeme Synthese und Optimierung
Author 
Teich, Jürgen. author. Haubelt, Christian. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-46824-0
Format: 
Availability 
Online Library~1
Available:
Copies:
132. 
Cover image for Java software solutions : foundations of program design
Java software solutions : foundations of program design
Author 
Lewis, John. Loftus, William, ort. yaz.
Preferred Shelf Number 
QA76.73.J38 .L49 2007
Format: 
Availability 
Beytepe Library~2
Available:
Copies:
133. 
Cover image for Software evolution and feedback theory and practice
Software evolution and feedback theory and practice
Author 
Madhavji, Nazim H. Fernández Ramil, Juan Carlos. Perry, Dewayne E. John Wiley & Sons.
Preferred Shelf Number 
ONLINE
Electronic Access 
Click for information
John Wiley http://dx.doi.org/10.1002/0470871822
http://www3.interscience.wiley.com/cgi-bin/bookhome/112650855
Books24x7 http://www.books24x7.com/marc.asp?bookid=9542
Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=274329
Format: 
Availability 
Online Library~1
Available:
Copies:
134. 
Cover image for Transactions on Aspect-Oriented Software Development I
Transactions on Aspect-Oriented Software Development I
Author 
Rashid, Awais. editor. Aksit, Mehmet. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11687061
Format: 
Availability 
Online Library~1
Available:
Copies:
135. 
Cover image for Ontologies for Software Engineering and Software Technology
Ontologies for Software Engineering and Software Technology
Author 
Calero, Coral. editor. Ruiz, Francisco. editor. Piattini, Mario. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-34518-3
Format: 
Availability 
Online Library~1
Available:
Copies:
136. 
Cover image for The economics of open source software development
The economics of open source software development
Author 
Bitzer, Jürgen, 1970- Schröder, Philipp J. H.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444527691
Format: 
Availability 
Online Library~1
Available:
Copies:
137. 
Cover image for Eric Sink on the Business of Software
Eric Sink on the Business of Software
Author 
Sink, Eric. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-0143-4
Format: 
Availability 
Online Library~1
Available:
Copies:
138. 
Cover image for Transactions on Aspect-Oriented Software Development II
Transactions on Aspect-Oriented Software Development II
Author 
Rashid, Awais. editor. Aksit, Mehmet. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11922827
Format: 
Availability 
Online Library~1
Available:
Copies:
139. 
Cover image for Model-driven software development : technology, engineering, management
Model-driven software development : technology, engineering, management
Author 
Stahl, Thomas (Tom) Vèolter, Markus.
Preferred Shelf Number 
QA76.76.D47 S697 2006
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
140. 
Cover image for Ontologies for software engineering and software technology
Ontologies for software engineering and software technology
Author 
Calero, Coral. Ruiz, Francisco. Piattini, Mario.
Preferred Shelf Number 
QA76.9.D35 O57 2006
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
141. 
Cover image for Software specification and design : an engineering approach
Software specification and design : an engineering approach
Author 
Munson, John C., author.
Preferred Shelf Number 
QA76.76 .D47 M853 2006
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
142. 
Cover image for Memory management for synthesis of DSP software
Memory management for synthesis of DSP software
Author 
Murthy, Praveen K., 1969- author. Bhattacharyya, Shuvra S., 1968-
Preferred Shelf Number 
TK5102.9 .M87 2006
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
143. 
Cover image for Digital Synthesizers and Transmitters for Software Radio
Digital Synthesizers and Transmitters for Software Radio
Author 
Vankka, Jouko. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-4020-3195-5
Format: 
Availability 
Online Library~1
Available:
Copies:
144. 
Cover image for Hardware and computer organization the software perspective
Hardware and computer organization the software perspective
Author 
Berger, Arnold S.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780750678865
Format: 
Availability 
Online Library~1
Available:
Copies:
145. 
Cover image for Perspectives on free and open source software
Perspectives on free and open source software
Author 
Feller, Joseph, 1972-
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267258
Format: 
Availability 
Online Library~1
Available:
Copies:
146. 
Cover image for Software Project Secrets Why Software Projects Fail
Software Project Secrets Why Software Projects Fail
Author 
Stepanek, George. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-0055-0
Format: 
Availability 
Online Library~1
Available:
Copies:
147. 
Cover image for Outsourcing software development offshore : making it work
Outsourcing software development offshore : making it work
Author 
Gold, Tandy., author.
Preferred Shelf Number 
QA76.76 .D47 G63 2005
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
148. 
Cover image for Software development failures anatomy of abandoned projects
Software development failures anatomy of abandoned projects
Author 
Ewusi-Mensah, Kweku.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267255
Format: 
Availability 
Online Library~1
Available:
Copies:
149. 
Cover image for Global IT Outsourcing Software Development across Borders
Global IT Outsourcing Software Development across Borders
Author 
Sahay, Sundeep. Nicholson, Brian. Krishna, S..
Preferred Shelf Number 
ONLINE
Electronic Access 
Access by subscription
Format: 
Availability 
Online Library~1
Available:
Copies:
150. 
Cover image for Dynamic software development : managing projects in flux
Dynamic software development : managing projects in flux
Author 
Wells, Timothy D. CRC Press LLC.
Preferred Shelf Number 
QA76.76 .D47
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9780429134074
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
151. 
Cover image for Computer architecture : software aspects, coding, and hardware
Computer architecture : software aspects, coding, and hardware
Author 
Hsu, John Y., author.
Preferred Shelf Number 
QA76.9 .A73 H758 2001
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
152. 
Cover image for Automated software testing : introduction, management, and performance
Automated software testing : introduction, management, and performance
Author 
Dustin, Elfriede. Rashka, Jeff. Paul, John.
Preferred Shelf Number 
QA76.76.T48 D87 1999
Format: 
Availability 
Beytepe Library~2
Available:
Copies:
153. 
Cover image for Adapted wavelet analysis from theory to software
Adapted wavelet analysis from theory to software
Author 
Wickerhauser, Mladen Victor.
Preferred Shelf Number 
QA403.3 W53 1994
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
154. 
Cover image for Estimation and tracking : principles, techniques, and software
Estimation and tracking : principles, techniques, and software
Author 
Bar-Shalom, Yaakov. Li, Xiao-Rong, ort. yaz.
Preferred Shelf Number 
TK 6580 B32 1993
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
155. 
Cover image for Microcomputer software for information management : case studies
Microcomputer software for information management : case studies
Author 
Collier, M., ed.
Preferred Shelf Number 
QA 76.9.D3 M54 1986
Format: 
Availability 
Beytepe Library~2
Available:
Copies:
156. 
Cover image for Software for roundoff analysis of matrix algorithms
Software for roundoff analysis of matrix algorithms
Author 
Miller, Webb Wrathall, Celia, ort. yaz.
Preferred Shelf Number 
QA 188 M54 1980 1.K
Format: 
Availability 
Health Sciences Library~1
Available:
Copies:
157. 
Cover image for Software Agent-Based Applications, Platforms and Development Kits
Software Agent-Based Applications, Platforms and Development Kits
Author 
Unland, Rainer. editor. Calisti, Monique. editor. Klusch, Matthias. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b137512
Format: 
Availability 
Online Library~1
Available:
Copies:
158. 
Cover image for Software defined radio baseband technologies for 3G handsets and basestations
Software defined radio baseband technologies for 3G handsets and basestations
Author 
Tuttlebee, Wally H. W., 1953- John Wiley & Sons.
Preferred Shelf Number 
ONLINE
Electronic Access 
Available by subscription from Safari Books Online
John Wiley http://dx.doi.org/10.1002/0470867728
Contributor biographical information http://catdir.loc.gov/catdir/bios/wiley047/2003021216.html
Volltext http://proquest.tech.safaribooksonline.de/9780470867709
Format: 
Availability 
Online Library~1
Available:
Copies:
159. 
Cover image for Schaum's outline of theory and problems of software engineering
Schaum's outline of theory and problems of software engineering
Author 
Gustafson, David A.
Preferred Shelf Number 
QA76.758 G88 2002
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
160. 
Cover image for Software defined radio origins, drivers, and international perspectives
Software defined radio origins, drivers, and international perspectives
Author 
Tuttlebee, Wally H. W., 1953-
Preferred Shelf Number 
ONLINE
Electronic Access 
HathiTrust Digital Library Limited view (search only) http://catalog.hathitrust.org/api/volumes/oclc/48516093.html
John Wiley http://dx.doi.org/10.1002/0470846011
Format: 
Availability 
Online Library~1
Available:
Copies:
161. 
Cover image for PIC microcontroller : an introduction to software and hardware interfacing
PIC microcontroller : an introduction to software and hardware interfacing
Author 
Huang, Han-Way.
Preferred Shelf Number 
TJ223.P76 H835 2005
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
162. 
Cover image for Microprocessor. 5, Software and hardware aspects of development, debugging and testing -- the microcomputer
Microprocessor. 5, Software and hardware aspects of development, debugging and testing -- the microcomputer
Author 
Darche, Philippe.
Preferred Shelf Number 
QA76.5
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119801740
Format: 
Availability 
Online Library~1
Available:
Copies:
163. 
Cover image for Software Test Attacks to Break Mobile and Embedded Devices.
Software Test Attacks to Break Mobile and Embedded Devices.
Author 
Hagar, Jon Duncan, author. CRC Press LLC.
Preferred Shelf Number 
QA76.9 .A25 H343 2017
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9780429071911
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
164. 
Cover image for Software designers in action : a human-centric look at design work
Software designers in action : a human-centric look at design work
Author 
Petre, Marian, 1959- editor. of compilation. Hoek, Andre van der, 1971- editor. of compilation.
Preferred Shelf Number 
QA76.76 .D47 S6185 2014
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
165. 
Cover image for Software Cost Estimation, Benchmarking, and Risk Assessment The Software Decision-Makers' Guide to Predictable Software Development
Software Cost Estimation, Benchmarking, and Risk Assessment The Software Decision-Makers' Guide to Predictable Software Development
Author 
Trendowicz, Adam. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333358.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30764-5
Format: 
Availability 
Online Library~1
Available:
Copies:
166. 
Cover image for Schaum's outline of theory and problems of software engineering
Schaum's outline of theory and problems of software engineering
Author 
Gustafson, David A.
Preferred Shelf Number 
ONLINE
Electronic Access 
Subscription required
Format: 
Availability 
Online Library~1
Available:
Copies:
167. 
Cover image for 24 deadly sins of software security programming flaws and how to fix them
24 deadly sins of software security programming flaws and how to fix them
Author 
Howard, Michael, 1965- LeBlanc, David, 1960- Viega, John.
Preferred Shelf Number 
ONLINE
Electronic Access 
Subscription required
Format: 
Availability 
Online Library~1
Available:
Copies:
168. 
Cover image for MATLAB software for the code excited linear prediction algorithm the Federal Standard, 1016
MATLAB software for the code excited linear prediction algorithm the Federal Standard, 1016
Author 
Ramamurthy, Karthikeyan N. Spanias, Andreas.
Preferred Shelf Number 
ONLINE
Electronic Access 
EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=440314
Format: 
Availability 
Online Library~1
Available:
Copies:
169. 
Cover image for Jeoistatistikel variogram ve modelleme yazılımı : sayaca (Ulubey, Ordu) altın cevherleşmesi'nde uygulanması = Geostatistical variogram and modelling Software : An application for gold mineralization in sayaca (Ulubey, Ordu)
Jeoistatistikel variogram ve modelleme yazılımı : sayaca (Ulubey, Ordu) altın cevherleşmesi'nde uygulanması = Geostatistical variogram and modelling Software : An application for gold mineralization in sayaca (Ulubey, Ordu)
Author 
Topal, Baran
Preferred Shelf Number 
TEZ/8246 T673 2007
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
170. 
Cover image for The road map to software engineering a standards-based guide
The road map to software engineering a standards-based guide
Author 
Moore, James W., 1948-
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/servlet/opac?bknumber=5989673
Format: 
Availability 
Online Library~1
Available:
Copies:
171. 
Cover image for Practical support for ISO 9001 software project documentation using IEEE software engineering standards
Practical support for ISO 9001 software project documentation using IEEE software engineering standards
Author 
Land, Susan K. Walz, John W. IEEE Computer Society.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/servlet/opac?bknumber=5989411
Format: 
Availability 
Online Library~1
Available:
Copies:
172. 
Cover image for Classic Lego mindstorms project and software tools award-winning designs from master builders
Classic Lego mindstorms project and software tools award-winning designs from master builders
Author 
Ferrari, Mario.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9781597490894
Format: 
Availability 
Online Library~1
Available:
Copies:
173. 
Cover image for Parallel computational fluid dynamics advanced numerical methods : software and applications : proceedings of the Parallel CFD 2003 Conference, Moscow, Russia (May 13-15, 2003)
Parallel computational fluid dynamics advanced numerical methods : software and applications : proceedings of the Parallel CFD 2003 Conference, Moscow, Russia (May 13-15, 2003)
Author 
Parallel CFD Conference (2003 : Moscow, Russia) Chetverushkin, B. N. (Boris Nikolaevich)
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444516121
Format: 
Availability 
Online Library~1
Available:
Copies:
174. 
Cover image for Madencilik yatırım projelerinin yeni bir yazılım ile değerlendirilmesi ve Trona örnek uygulaması = Evaluation of mining investment projects with new software and a case study of the Trona mine site
Madencilik yatırım projelerinin yeni bir yazılım ile değerlendirilmesi ve Trona örnek uygulaması = Evaluation of mining investment projects with new software and a case study of the Trona mine site
Author 
Kavaklı, Nevzat
Preferred Shelf Number 
TEZ/8333 .K383 2007
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
175. 
Cover image for Proceedings of the 2001 ACM SIGPLAN--SIGSOFT Workshop on Program Analysis for Software Tools and Engineering : PASTE'01 ; Snowbird, Utah, USA June 18-19, 2001
Proceedings of the 2001 ACM SIGPLAN--SIGSOFT Workshop on Program Analysis for Software Tools and Engineering : PASTE'01 ; Snowbird, Utah, USA June 18-19, 2001
Author 
ACM SIGPLAN--SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (2001 : Snowbird, Utah) Association for Computing Machinery. ACM, Special Interest Group on Programming Languages. ACM, Special Interest Group on Software Engineering.
Preferred Shelf Number 
QA 76.758 A345 2001
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
176. 
Cover image for Proceedings of the 23rd International Conference on Software Engineering : ICSE 2001 : 12-19, May 2001, Toronto, Ontario, Canada
Proceedings of the 23rd International Conference on Software Engineering : ICSE 2001 : 12-19, May 2001, Toronto, Ontario, Canada
Author 
International Conference on Software Engineering (23rd : 2001 : Toronto, Ont.) ACM Sigsoft. IEEE Computer Society. Technical Council on Software Engineering.
Preferred Shelf Number 
QA 76.6 P941 2001
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
177. 
Cover image for Knowledge-based software engineering proceedings of the tenth Joint Conference on Knowledge-Based Software Engineering
Knowledge-based software engineering proceedings of the tenth Joint Conference on Knowledge-Based Software Engineering
Author 
Joint Conference on Knowledge-Based Software Engineering (10th : 2012 : Rhodes (Island), Greece) Virvou, Maria. Matsuura, Saeko. IOS Press.
Preferred Shelf Number 
ONLINE
Electronic Access 
EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=489951
Format: 
Availability 
Online Library~1
Available:
Copies:
178. 
Cover image for Proceedings of the Ninth International Symposium on Hardware/Software Codesign : CODES 2001 : April 25-27, 2001, Copenhagen, Denmark
Proceedings of the Ninth International Symposium on Hardware/Software Codesign : CODES 2001 : April 25-27, 2001, Copenhagen, Denmark
Author 
International Symposium on Hardware/Software Codesign (9th : 2001 : Copenhagen, Denmark) ACM Special Interest Group on Design Automation.
Preferred Shelf Number 
QA 76.9 S88 2001
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
179. 
Cover image for Hardware and software for real time process control ; Proceedings of the.. Held in Warsaw, Poland, 30 May 1 June, 1988
Hardware and software for real time process control ; Proceedings of the.. Held in Warsaw, Poland, 30 May 1 June, 1988
Author 
IFIP WG 5.4/IFAC/EWICS Working Conference on Hardware and Software for Real Time Process Control, Warsaw ; (1988 : Poland) Zalewski, J., ed. Ehrenberger, W., ed.
Preferred Shelf Number 
TS 156.9 I35 1988
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
180. 
Cover image for Proeceedings of the symposium on computer software engineering. New York, N. Y. April 20-22, 1976
Proeceedings of the symposium on computer software engineering. New York, N. Y. April 20-22, 1976
Author 
Symposium on Computer software Engineering, New York, 1976.
Preferred Shelf Number 
QA 76.6 S919 1976
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
181. 
Cover image for Practical software project estimation a toolkit for estimating software development effort & duration
Practical software project estimation a toolkit for estimating software development effort & duration
Author 
Hill, Peter R. International Software Benchmarking Standards Group.
Preferred Shelf Number 
ONLINE
Electronic Access 
Subscription required
Format: 
Availability 
Online Library~1
Available:
Copies:
182. 
Cover image for Real-world software projects for computer science and engineering students
Real-world software projects for computer science and engineering students
Author 
Gupta, Varun, 1987- author. Nguyen-Duc, Anh (Software engineer), author.
Preferred Shelf Number 
QA76.6 .G86 2021
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003119883
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
183. 
Cover image for Directory of library automation software, systems, and services.
Directory of library automation software, systems, and services.
Author 
Cibbarelli, Pamela R., ed. Information Today, Inc.
Preferred Shelf Number 
Z678.9.A3 D6
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
184. 
Cover image for INTEGRATING HUMAN AND ARTIFICIAL INTELLIGENCE software in the age of AI.
INTEGRATING HUMAN AND ARTIFICIAL INTELLIGENCE software in the age of AI.
Author 
Reed, Stephen K.
Preferred Shelf Number 
TA167
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003632351
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
185. 
Cover image for Taking testing seriously : the rapid software testing approach
Taking testing seriously : the rapid software testing approach
Author 
Bach, James, author. Bolton, Michael, author.
Preferred Shelf Number 
QA76.76 .T48 B33 2026
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394319749
Format: 
Availability 
Online Library~1
Available:
Copies:
186. 
Cover image for GREENHOUSE ENGINEERING software-driven design and modelling for optimal microclimate control.
GREENHOUSE ENGINEERING software-driven design and modelling for optimal microclimate control.
Author 
SETHI, V.P.
Preferred Shelf Number 
SB415
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003481126
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
187. 
Cover image for A Comprehensive Guide to HSMM Theory, Software, and Advanced Extensions.
A Comprehensive Guide to HSMM Theory, Software, and Advanced Extensions.
Author 
Peyrard, Nathalie. de Saporta, Benoîte.
Preferred Shelf Number 
XX(600386.1)
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394427581
Format: 
Availability 
Online Library~1
Available:
Copies:
188. 
Cover image for Safety Assurance under Uncertainties : From Software to Cyber-Physical/Machine Learning Systems
Safety Assurance under Uncertainties : From Software to Cyber-Physical/Machine Learning Systems
Author 
Hasuo, Ichiro editor Ishikawa, Fuyuki editor
Preferred Shelf Number 
QA76.9 .A25
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003093350
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
189. 
Cover image for EVENT-DATABASE ARCHITECTURE FOR COMPUTER GAMES. Volume 1, Software architecture and the... software production process.
EVENT-DATABASE ARCHITECTURE FOR COMPUTER GAMES. Volume 1, Software architecture and the... software production process.
Author 
QUAYE, RODNEY.
Preferred Shelf Number 
QA76.76 .V54
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003502784
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
190. 
Cover image for Securing the digital realm : advances in hardware and software security, communication, and forensics
Securing the digital realm : advances in hardware and software security, communication, and forensics
Author 
Arif, Muhammad (Computer scientist), editor. Jaffar, M. Arfan, editor. Geman, Oana, editor. Abbasi, Waseem, editor.
Preferred Shelf Number 
QA76.9 .A25
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003497851
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
191. 
Cover image for Sustainable dual-track development : the future of software engineering for co-located, remote, and hybrid teams
Sustainable dual-track development : the future of software engineering for co-located, remote, and hybrid teams
Author 
Sedano, Todd, author. Ralph, Paul, author
Preferred Shelf Number 
QA76.76 .D47 S425 2025 EB
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003598039
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
192. 
Cover image for Strategic software quality management : how to incorporate sustainable continuous improvement practices
Strategic software quality management : how to incorporate sustainable continuous improvement practices
Author 
Fidanboy, Mahsa, author. Fidanboy, Cemalettin Öcal, author.
Preferred Shelf Number 
QA76.76 .Q35
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003491606
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
193. 
Cover image for Permutation tests for complex data : theory, applications and software
Permutation tests for complex data : theory, applications and software
Author 
Pesarin, Fortunato, author. Salmaso, Luigi, author.
Preferred Shelf Number 
QA277 .P374 2025
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119438199
Format: 
Availability 
Online Library~1
Available:
Copies:
194. 
Cover image for Software-defined infrastructure : a novel concept of advanced network infrastructure
Software-defined infrastructure : a novel concept of advanced network infrastructure
Author 
Chu, Tran-Tuan, author.
Preferred Shelf Number 
TK5105.5833 .C48 2025
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394388608
Format: 
Availability 
Online Library~1
Available:
Copies:
195. 
Cover image for RESEARCH SOFTWARE ENGINEERING a guide to the open source ecosystem.
RESEARCH SOFTWARE ENGINEERING a guide to the open source ecosystem.
Author 
Bannert, Mattias.
Preferred Shelf Number 
Q180.55 .E4
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003286899
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
196. 
Cover image for Quantum service-oriented computing : a proposal for quantum software as a service
Quantum service-oriented computing : a proposal for quantum software as a service
Author 
Romero-Álvarez, Javier, author. Alvarado-Valiente, Jaime, author. Moguel, Enrique, author. Garcia-Alonso, José, author. Murillo, Juan M., author.
Preferred Shelf Number 
QA76.889
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9788770046336
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
197. 
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:
198. 
Cover image for A fresh concept of software-resemblant hardware to leap to 6G and future networks : micro/nanotechnologies as enablers of pervasivity
A fresh concept of software-resemblant hardware to leap to 6G and future networks : micro/nanotechnologies as enablers of pervasivity
Author 
Iannacci, Jacopo, author.
Preferred Shelf Number 
TK5103.252
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003494928
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
199. 
Cover image for SOFTWARE DESIGN BY EXAMPLE a tool-based introduction with python.
SOFTWARE DESIGN BY EXAMPLE a tool-based introduction with python.
Author 
Wilson, Greg, 1963- author.
Preferred Shelf Number 
QA76.76 .P37
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781032725239
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
200. 
Cover image for Technology Applied : A Business Leader's Guide to Software, Systems and IT Projects
Technology Applied : A Business Leader's Guide to Software, Systems and IT Projects
Author 
Wooldridge, Kevin, author. Ashurst, Stephen, author.
Preferred Shelf Number 
HF5548.2
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003372660
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
201. 
Cover image for COMMUNICATION ELECTRONICS rf design with practical applications using pathwave/ads software.
COMMUNICATION ELECTRONICS rf design with practical applications using pathwave/ads software.
Author 
Long, Stephen I.
Preferred Shelf Number 
TK7874.78
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781032629773
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
202. 
Cover image for Embedded software system testing : automatic testing solution based on formal method
Embedded software system testing : automatic testing solution based on formal method
Author 
Yin, Yongfeng, 1978- author. Jiang, Bo, 1981- author. Su, Qingran, translator. Qiu, Ruinan, translator. Guo, Yang (Translator), translator.
Preferred Shelf Number 
TK7895 .E42
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003390923
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
203. 
Cover image for MODEL-DRIVEN SOFTWARE SYSTEMS DEVELOPMENT USING THE META-ARTIFACT PROCESS
MODEL-DRIVEN SOFTWARE SYSTEMS DEVELOPMENT USING THE META-ARTIFACT PROCESS
Author 
O'Brien, Wayne.
Preferred Shelf Number 
QA76.76 .D47
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003448891
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
204. 
Cover image for Intrapreneurship management : concepts, methods, and software for managing technological innovation in organizations
Intrapreneurship management : concepts, methods, and software for managing technological innovation in organizations
Author 
Hasenauer, Rainer, author. Yu, Oliver S., author.
Preferred Shelf Number 
HD45 .H34345 2024
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119837756
Format: 
Availability 
Online Library~1
Available:
Copies:
205. 
Cover image for x86 software reverse-engineering, cracking, and counter-measures
x86 software reverse-engineering, cracking, and counter-measures
Author 
Domas, Stephanie, author. Domas, Christopher, author.
Preferred Shelf Number 
QA76.9 .A25 D66 2024
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394277131
Format: 
Availability 
Online Library~1
Available:
Copies:
206. 
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:
207. 
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:
208. 
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:
209. 
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:
210. 
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:
211. 
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:
212. 
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:
213. 
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:
214. 
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:
215. 
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:
216. 
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:
217. 
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:
218. 
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:
219. 
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:
220. 
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:
221. 
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:
222. 
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:
223. 
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:
224. 
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:
225. 
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:
226. 
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:
227. 
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:
228. 
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:
229. 
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:
230. 
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:
231. 
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:
232. 
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:
233. 
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:
234. 
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:
235. 
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:
236. 
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:
237. 
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:
238. 
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:
239. 
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:
240. 
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:
241. 
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:
242. 
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:
243. 
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:
244. 
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:
245. 
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:
246. 
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:
247. 
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:
248. 
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:
249. 
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:
250. 
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:
251. 
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:
252. 
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:
253. 
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:
254. 
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:
255. 
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:
256. 
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:
257. 
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:
258. 
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:
259. 
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:
260. 
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:
261. 
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:
262. 
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:
263. 
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:
264. 
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:
265. 
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:
266. 
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:
267. 
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:
268. 
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:
269. 
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:
270. 
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:
271. 
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:
272. 
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:
273. 
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:
274. 
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:
275. 
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:
276. 
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:
277. 
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:
278. 
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:
279. 
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:
280. 
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:
281. 
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:
282. 
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:
283. 
Cover image for Bulanık çok kriterli karar verme yöntemleri : MS excel ® ve software çözümlü uygulamalar
Bulanık çok kriterli karar verme yöntemleri : MS excel ® ve software çözümlü uygulamalar
Author 
Erdebilli, Babek.
Preferred Shelf Number 
HD30.23 B953 2021
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
284. 
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:
285. 
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:
286. 
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:
287. 
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:
288. 
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:
289. 
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:
290. 
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:
291. 
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:
292. 
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:
293. 
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:
294. 
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:
295. 
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:
296. 
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:
297. 
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:
298. 
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:
299. 
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:
300. 
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:
Select an Action