Limit Search Results
Author
SpringerLink (Online service)
(74)
Rashid, Awais. editor.
(5)
Aksit, Mehmet. editor.
(4)
Joseph, Mathai. editor.
(4)
Meyer, Bertrand. editor.
(4)
Language
Publication Date
-
Subject
Software engineering.
(62)
Computer Science Logic and Foundations of Programming.
(16)
Artificial intelligence.
(15)
Compilers (Computer programs).
(15)
Compilers and Interpreters.
(15)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
81 Results Found Subscribe to search results
000000000000DEFAULT
Print
49. 
Cover image for Human-Centered Software Engineering — Integrating Usability in the Software Development Lifecycle
Human-Centered Software Engineering — Integrating Usability in the Software Development Lifecycle
Author 
Seffah, Ahmed. editor. Gulliksen, Jan. editor. Desmarais, Michel C. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-4020-4113-6
Format: 
Availability 
Online Library~1
Available:
Copies:
50. 
Cover image for Pro Windows Phone App Development
Pro Windows Phone App Development
Author 
Software, Falafel. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330639.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-4783-8
Format: 
Availability 
Online Library~1
Available:
Copies:
51. 
Cover image for Verified Software. Theories, Tools and Experiments 16th International Conference, VSTTE 2024, Prague, Czech Republic, October 14-15, 2024, Revised Selected Papers
Verified Software. Theories, Tools and Experiments 16th International Conference, VSTTE 2024, Prague, Czech Republic, October 14-15, 2024, Revised Selected Papers
Author 
Protzenko, Jonathan. editor. (orcid)0000-0001-7347-3050 Raad, Azalea. editor. (orcid)0000-0002-2319-3242 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-86695-1
Format: 
Availability 
Online Library~1
Available:
Copies:
52. 
Cover image for Tests and Proofs 18th International Conference, TAP 2024, Milan, Italy, September 9-10, 2024, Proceedings
Tests and Proofs 18th International Conference, TAP 2024, Milan, Italy, September 9-10, 2024, Proceedings
Author 
Huisman, Marieke. editor. (orcid)0000-0003-4467-072X Howar, Falk. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-72044-4
Format: 
Availability 
Online Library~1
Available:
Copies:
53. 
Cover image for A Concise Introduction to Software Engineering With Open Source and GenAI
A Concise Introduction to Software Engineering With Open Source and GenAI
Author 
Jalote, Pankaj. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-74318-4
Format: 
Availability 
Online Library~1
Available:
Copies:
54. 
Cover image for Intelligent systems of computing and informatics
Intelligent systems of computing and informatics
Author 
Karim, Samsul Ariffin Abdul, editor.
Preferred Shelf Number 
Q335
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003400387
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
55. 
Cover image for Spiking Neural P Systems Theory, Applications and Implementations
Spiking Neural P Systems Theory, Applications and Implementations
Author 
Zhang, Gexiang. author. (orcid)0000-0001-8034-0977 Verlan, Sergey. author. (orcid)0000-0001-7800-1618 Wu, Tingfang. author. (orcid)0000-0001-8137-2436 Cabarle, Francis George C. author. Xue, Jie. author.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-9282-5
Format: 
Availability 
Online Library~1
Available:
Copies:
56. 
Cover image for Digital Signal Processing Illustration Using Python
Digital Signal Processing Illustration Using Python
Author 
Esakkirajan, S. author. Veerakumar, T. author. (orcid)0000-0001-9084-1847 N Subudhi, Badri. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-6752-0
Format: 
Availability 
Online Library~1
Available:
Copies:
57. 
Cover image for Creative approaches towards development of computing and multidisciplinary IT solutions for society
Creative approaches towards development of computing and multidisciplinary IT solutions for society
Author 
Bijalwan, Anchit, editor.
Preferred Shelf Number 
QA76 .C74 2024
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394272303
Format: 
Availability 
Online Library~1
Available:
Copies:
58. 
Cover image for Inside the world of computing : technologies, uses, challenges
Inside the world of computing : technologies, uses, challenges
Author 
Delhaye, J.-L. (Jean-Loïc)
Preferred Shelf Number 
QA76
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119821748
Format: 
Availability 
Online Library~1
Available:
Copies:
59. 
Cover image for Logic-Based Program Synthesis and Transformation 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised Selected Papers
Logic-Based Program Synthesis and Transformation 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised Selected Papers
Author 
Hermenegildo, Manuel V. editor. (orcid)0000-0002-7583-323X Lopez-Garcia, Pedro. editor. (orcid)0000-0002-1092-2071 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-63139-4
Format: 
Availability 
Online Library~1
Available:
Copies:
60. 
Cover image for Numerical Software Verification 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers
Numerical Software Verification 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers
Author 
Bogomolov, Sergiy. editor. Martel, Matthieu. editor. Prabhakar, Pavithra. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-54292-8
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action