Limit Search Results
Author
Language
Publication Date
-
Subject
Computer science -- Mathematics.
(3)
Computer science.
(3)
Electronic books.
(3)
Computational intelligence.
(2)
Probabilities
(2)
Material Type
Shelf Location
Switch to list view
Switch to thumbnail view
Select an Action
24 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Defending the axioms on the philosophical foundations of set theory
Defending the axioms on the philosophical foundations of set theory
Author 
Maddy, Penelope.
Preferred Shelf Number 
ONLINE
Electronic Access 
Oxford scholarship online http://dx.doi.org/10.1093/acprof:oso/9780199596188.001.0001
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Psychological Aspects of Social Axioms Understanding Global Belief Systems
Psychological Aspects of Social Axioms Understanding Global Belief Systems
Author 
Leung, Kwok. editor. Bond, Michael Harris. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-09810-4
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Foundations of semantic communication networks
Foundations of semantic communication networks
Author 
Saad, Walid. Chaccour, Christina. Thomas, Christo Kurisummoottil. Debbah, Merouane, 1975-
Preferred Shelf Number 
TK5103.2 .F68 2025
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394247912
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Principle of Petri Nets
Principle of Petri Nets
Author 
Yuan, Chongyi. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-7336-7
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Mathematics in Programming
Mathematics in Programming
Author 
Liu, Xinyu. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-2432-1
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday
Author 
Lopez-Garcia, Pedro. editor. Gallagher, John P. editor. Giacobazzi, Roberto. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-31476-6
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings
Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings
Author 
Pientka, Brigitte. editor. Tinelli, Cesare. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-38499-8
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Logic and Argumentation 5th International Conference, CLAR 2023, Hangzhou, China, September 10-12, 2023, Proceedings
Logic and Argumentation 5th International Conference, CLAR 2023, Hangzhou, China, September 10-12, 2023, Proceedings
Author 
Herzig, Andreas. editor. Luo, Jieting. editor. Pardo, Pere. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-40875-5
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Logic and Its Applications 10th Indian Conference, ICLA 2023, Indore, India, March 3-5, 2023, Proceedings
Logic and Its Applications 10th Indian Conference, ICLA 2023, Indore, India, March 3-5, 2023, Proceedings
Author 
Banerjee, Mohua. editor. Sreejith, A. V. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-26689-8
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Sustainable manufacturing systems : an energy perspective
Sustainable manufacturing systems : an energy perspective
Author 
Li, Lin, author. Zhou, MengChu, author.
Preferred Shelf Number 
TS155.7 .L56 2023
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119578314
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Intelligent data analysis : from data gathering to data comprehension
Intelligent data analysis : from data gathering to data comprehension
Author 
Gupta, Deepak, active 2015-2016, editor.
Preferred Shelf Number 
QA76.9 .D343 I57435 2020
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119544487
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Probability and statistical inference
Probability and statistical inference
Author 
Niewiadomska-Bugaj, Magdalena, author. Bartoszyński, Robert, author.
Preferred Shelf Number 
QA273
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119243830
Format: 
Availability 
Online Library~1
Available:
Copies: