Limit Search Results
Author
SpringerLink (Online service)
(530)
Wiley InterScience (Online service)
(10)
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739
(9)
Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558
(9)
Taylor and Francis.
(6)
Language
English
(1154)
Publication Date
-
Subject
Computer programming.
(290)
Software engineering.
(277)
Computer science.
(264)
COMPUTERS / Computer Graphics / Game Programming & Design
(240)
Computer Science Logic and Foundations of Programming.
(231)
Material Type
Shelf Location
Switch to list view
Switch to thumbnail view
Select an Action
1162 Results Found Subscribe to search results
000000000000DEFAULT
Print
25. 
Cover image for Thermoelectrics : design and materials
Thermoelectrics : design and materials
Author 
Lee, HoSung, author.
Preferred Shelf Number 
TK2950 .L44 2025
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394317387
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for Advances in Data Science and Optimization of Complex Systems Proceedings of the International Conference on Applied Mathematics and Computer Science - ICAMCS 2024, Volume 2
Advances in Data Science and Optimization of Complex Systems Proceedings of the International Conference on Applied Mathematics and Computer Science - ICAMCS 2024, Volume 2
Author 
Le Thi, Hoai An. editor. (orcid)0000-0002-2239-2100 Le, Hoai Minh. editor. Nguyen, Quang Thuan. editor. (orcid)0009-0006-2259-8404 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-032-00267-9
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for Financial data analytics with machine learning, optimization and statistics
Financial data analytics with machine learning, optimization and statistics
Author 
Chen, Yongzhao, author. Cheung, Ka Chun, author. Fan, Kaiser, author. Yam, Phillip (Sheung Chi Phillip), author.
Preferred Shelf Number 
HG104 .C44 2025
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119863403
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for The data science handbook
The data science handbook
Author 
Cady, Field, 1984- author.
Preferred Shelf Number 
QA76.9 .D32 C33 2025
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394234523
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for Principles of data transfer through communications networks, the internet, and autonomous mobiles
Principles of data transfer through communications networks, the internet, and autonomous mobiles
Author 
Rubin, Izhak, author.
Preferred Shelf Number 
TK5103.2 .R83 2025
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394267781
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for Applied satisfiability : cryptography, scheduling and coalitional games
Applied satisfiability : cryptography, scheduling and coalitional games
Author 
Liao, Xiaojuan, author. Koshimura, Miyuki, author.
Preferred Shelf Number 
QA76.9 .A3 L53 2025
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394249817
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for Deep learning on embedded systems : a hands-on approach using Jetson Nano and Raspberry Pi
Deep learning on embedded systems : a hands-on approach using Jetson Nano and Raspberry Pi
Author 
Arif, Tariq M., author. John Wiley & Sons, publisher.
Preferred Shelf Number 
Q325.73 .A75 2025
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394269297
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for Logic Programming and Nonmonotonic Reasoning 17th International Conference, LPNMR 2024, Dallas, TX, USA, October 11-14, 2024, Proceedings
Logic Programming and Nonmonotonic Reasoning 17th International Conference, LPNMR 2024, Dallas, TX, USA, October 11-14, 2024, Proceedings
Author 
Dodaro, Carmine. editor. (orcid)0000-0002-5617-5286 Gupta, Gopal. editor. (orcid)0000-0001-9727-0362 Martinez, Maria Vanina. editor. (orcid)0000-0003-2819-4735 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-74209-5
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
Cover image for Runtime Verification 24th International Conference, RV 2024, Istanbul, Turkey, October 15-17, 2024, Proceedings
Runtime Verification 24th International Conference, RV 2024, Istanbul, Turkey, October 15-17, 2024, Proceedings
Author 
Ábrahám, Erika. editor. (orcid)0000-0002-5647-6134 Abbas, Houssam. editor. (orcid)0000-0002-8096-2618 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-74234-7
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for Informatics in Schools. Innovative Approaches to Computer Science Teaching and Learning 17th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2024, Budapest, Hungary, October 28-30, 2024, Proceedings
Informatics in Schools. Innovative Approaches to Computer Science Teaching and Learning 17th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2024, Budapest, Hungary, October 28-30, 2024, Proceedings
Author 
Pluhár, Zsuzsa. editor. (orcid)0000-0003-2688-4652 Gaál, Bence. editor. (orcid)0000-0001-8771-7140 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-73474-8
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
Cover image for Service-Oriented Computing 18th Symposium and Summer School, SummerSOC 2024, Crete, Greece, June 24-29, 2024, Revised Selected Papers
Service-Oriented Computing 18th Symposium and Summer School, SummerSOC 2024, Crete, Greece, June 24-29, 2024, Revised Selected Papers
Author 
Aiello, Marco. editor. (orcid)0000-0002-0764-2124 Barzen, Johanna. editor. Dustdar, Schahram. editor. (orcid)0000-0001-6872-8821 Leymann, Frank. editor. (orcid)0000-0002-9123-259X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-72578-4
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
Cover image for Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part IV
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part IV
Author 
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-75387-9
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action