Limit Search Results
Author
SpringerLink (Online service)
(1174)
Wiley InterScience (Online service)
(33)
Taylor and Francis.
(25)
Riolo, Rick. editor.
(13)
Voronkov, Andrei. editor.
(13)
Language
Publication Date
-
Subject
Computer science.
(543)
Software engineering.
(451)
Artificial intelligence.
(332)
Electronic books.
(244)
COMPUTERS / Computer Graphics / Game Programming & Design
(240)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
3449 Results Found Subscribe to search results
000000000000DEFAULT
Print
1693. 
Cover image for Cybernetical intelligence : engineering cybernetics with machine intelligence
Cybernetical intelligence : engineering cybernetics with machine intelligence
Author 
Wong, Kelvin K. L., author.
Preferred Shelf Number 
Q325.5 .W637 2023
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394217519
Format: 
Availability 
Online Library~1
Available:
Copies:
1694. 
Cover image for Professional C++
Professional C++
Author 
Gregoire, Marc (Software engineer), author.
Preferred Shelf Number 
QA76.73 .C153 G733 2024
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394193202
Format: 
Availability 
Online Library~1
Available:
Copies:
1695. 
Cover image for Model-based optimization for petroleum refinery configuration design
Model-based optimization for petroleum refinery configuration design
Author 
Khor, Cheng Seong, author
Preferred Shelf Number 
TH4571 .K46 2024
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9783527826100
Format: 
Availability 
Online Library~1
Available:
Copies:
1696. 
Cover image for R-ticulate : a beginner's guide to data analysis for natural scientists
R-ticulate : a beginner's guide to data analysis for natural scientists
Author 
Bader, Martin (Professor), author. Leuzinger, Sebastian, author.
Preferred Shelf Number 
Q183.9 .B33 2024
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119717980
Format: 
Availability 
Online Library~1
Available:
Copies:
1697. 
Cover image for Artificial intelligence for autonomous vehicles
Artificial intelligence for autonomous vehicles
Author 
Rajendran, Sathiyaraj, editor.
Preferred Shelf Number 
TL152.8 .A78 2024
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119847656
Format: 
Availability 
Online Library~1
Available:
Copies:
1698. 
Cover image for Digital convergence in antenna designs : applications for real-time solutions
Digital convergence in antenna designs : applications for real-time solutions
Author 
Srividya, P., editor.
Preferred Shelf Number 
TK7871.6 .D54 2024
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119879923
Format: 
Availability 
Online Library~1
Available:
Copies:
1699. 
Cover image for DNA nanotechnology for cell research : from bioanalysis to biomedicine
DNA nanotechnology for cell research : from bioanalysis to biomedicine
Author 
Nie, Zhou, editor.
Preferred Shelf Number 
QP624
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9783527840816
Format: 
Availability 
Online Library~1
Available:
Copies:
1700. 
Cover image for Human-Computer Interaction - INTERACT 2023 19th IFIP TC13 International Conference, York, UK, August 28 - September 1, 2023, Proceedings, Part I
Human-Computer Interaction - INTERACT 2023 19th IFIP TC13 International Conference, York, UK, August 28 - September 1, 2023, Proceedings, Part I
Author 
Abdelnour Nocera, José. editor. Kristín Lárusdóttir, Marta. editor. Petrie, Helen. editor. Piccinno, Antonio. editor. Winckler, Marco. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-42280-5
Format: 
Availability 
Online Library~1
Available:
Copies:
1701. 
Cover image for Formal Methods Teaching 5th International Workshop, FMTea 2023, Lübeck, Germany, March 6, 2023, Proceedings
Formal Methods Teaching 5th International Workshop, FMTea 2023, Lübeck, Germany, March 6, 2023, Proceedings
Author 
Dubois, Catherine. editor. San Pietro, Pierluigi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-27534-0
Format: 
Availability 
Online Library~1
Available:
Copies:
1702. 
Cover image for NASA Formal Methods 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings
NASA Formal Methods 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings
Author 
Rozier, Kristin Yvonne. editor. Chaudhuri, Swarat. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-33170-1
Format: 
Availability 
Online Library~1
Available:
Copies:
1703. 
Cover image for Reversible Computation 15th International Conference, RC 2023, Giessen, Germany, July 18-19, 2023, Proceedings
Reversible Computation 15th International Conference, RC 2023, Giessen, Germany, July 18-19, 2023, Proceedings
Author 
Kutrib, Martin. editor. (orcid) Meyer, Uwe. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-38100-3
Format: 
Availability 
Online Library~1
Available:
Copies:
1704. 
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:
Select an Action