Limit Search Results
Author
SpringerLink (Online service)
(128)
Voronkov, Andrei. editor.
(11)
Fages, François. editor.
(5)
Rossi, Francesca. editor.
(5)
Hanus, Michael. editor.
(3)
Language
English
(189)
Publication Date
-
Subject
Artificial intelligence.
(62)
Computer science.
(56)
Logic design.
(37)
Software engineering.
(33)
Computer logic.
(23)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
189 Results Found Subscribe to search results
000000000000DEFAULT
Print
121. 
Cover image for Logic: Reference Book for Computer Scientists The 2nd Revised, Modified, and Enlarged Edition of "Logics for Computer and Data Sciences, and Artificial Intelligence"
Logic: Reference Book for Computer Scientists The 2nd Revised, Modified, and Enlarged Edition of "Logics for Computer and Data Sciences, and Artificial Intelligence"
Author 
Polkowski, Lech T. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-42034-4
Format: 
Availability 
Online Library~1
Available:
Copies:
122. 
Cover image for Programming Languages: Principles and Paradigms
Programming Languages: Principles and Paradigms
Author 
Gabbrielli, Maurizio. author. Martini, Simone. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-34144-1
Format: 
Availability 
Online Library~1
Available:
Copies:
123. 
Cover image for Neuro Symbolic Reasoning and Learning
Neuro Symbolic Reasoning and Learning
Author 
Shakarian, Paulo. author. Baral, Chitta. author. Simari, Gerardo I. author. Xi, Bowen. author. Pokala, Lahari. author.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-39179-8
Format: 
Availability 
Online Library~1
Available:
Copies:
124. 
Cover image for Symbolic approaches to modeling and analysis of biological systems
Symbolic approaches to modeling and analysis of biological systems
Author 
Lhoussaine, Cédric, editor. Rémy, Elisabeth, editor.
Preferred Shelf Number 
QH324.2 .S96 2023
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394229086
Format: 
Availability 
Online Library~1
Available:
Copies:
125. 
Cover image for Electronics in advanced research industries : industry 4.0 to industry 5.0 advances
Electronics in advanced research industries : industry 4.0 to industry 5.0 advances
Author 
Massaro, Alessandro, 1974- author.
Preferred Shelf Number 
T59.6 .M37 2022
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119716907
Format: 
Availability 
Online Library~1
Available:
Copies:
126. 
Cover image for Mathematics in computational science and engineering
Mathematics in computational science and engineering
Author 
Bhardwaj, Ramakant, editor.
Preferred Shelf Number 
QA76.9 .M35
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119777557
Format: 
Availability 
Online Library~1
Available:
Copies:
127. 
Cover image for Introduction to fuzzy logic
Introduction to fuzzy logic
Author 
Peckol, James K., author. John Wiley & Sons, publisher.
Preferred Shelf Number 
QA9.64 .P43 2021
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119772644
Format: 
Availability 
Online Library~1
Available:
Copies:
128. 
Cover image for Data structure and algorithms using C++ : a practical implementation
Data structure and algorithms using C++ : a practical implementation
Author 
Mohanty, Sachi Nandan, editor. Tripathy, Pabitra Kumar, editor.
Preferred Shelf Number 
QA76.73 .C153 D38 2021
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119752059
Format: 
Availability 
Online Library~1
Available:
Copies:
129. 
Cover image for Introduction to programming with C++ for engineers
Introduction to programming with C++ for engineers
Author 
Cyganek, Bogusław, author.
Preferred Shelf Number 
QA76.73 .C153 C94 2021
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119431152
Format: 
Availability 
Online Library~1
Available:
Copies:
130. 
Cover image for DNA- and RNA-based computing systems
DNA- and RNA-based computing systems
Author 
Katz, Evgeny, editor.
Preferred Shelf Number 
QA76.887 .D53 2021
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9783527825424
Format: 
Availability 
Online Library~1
Available:
Copies:
131. 
Cover image for The Electrical Engineering Handbook - Six Volume Set
The Electrical Engineering Handbook - Six Volume Set
Author 
Dorf, Richard C., editor. Taylor and Francis.
Preferred Shelf Number 
R857 .B54
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
132. 
Cover image for Unifying Theories of Programming 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings
Unifying Theories of Programming 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings
Author 
Ribeiro, Pedro. editor. (orcid)0000-0003-4319-4872 Sampaio, Augusto. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-31038-7
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action