Limit Search Results
Author
Language
Publication Date
-
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
10 Results Found Subscribe to search results
0000000000DEFAULT
Print
1. 
Cover image for Maths For Computing A Beginner's Guide
Maths For Computing A Beginner's Guide
Author 
Charatan, Quentin. author. Kans, Aaron. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-69234-5
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas
Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas
Author 
Farmer, William M. author. (orcid)0009-0009-5524-9085 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-85352-4
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Mathematical Tools for Telemedicine
Mathematical Tools for Telemedicine
Author 
Nichelatti, Michele. author. (orcid)0000-0002-5248-361X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-81709-0
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Artificial Life and Evolutionary Computation 18th Italian Workshop, WIVACE 2024, Namur, Belgium, September 11-13, 2024, Revised Selected Papers
Artificial Life and Evolutionary Computation 18th Italian Workshop, WIVACE 2024, Namur, Belgium, September 11-13, 2024, Revised Selected Papers
Author 
Carletti, Timoteo. editor. (orcid)0000-0003-2596-4503 Njougouo, Thierry-Sainclair. editor. (orcid)0000-0001-7706-7674 Tuci, Elio. editor. (orcid)0000-0001-7345-671X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-93631-9
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Multi-valued Logic for Decision-Making Under Uncertainty
Multi-valued Logic for Decision-Making Under Uncertainty
Author 
Kagan, Evgeny. author. Rybalov, Alexander. author. Yager, Ronald. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-74762-5
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Computability and Complexity Foundations and Tools for Pursuing Scientific Applications
Computability and Complexity Foundations and Tools for Pursuing Scientific Applications
Author 
Downey, Rod. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-53744-8
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
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:
8. 
Cover image for Applied Logic for Computer Scientists Computational Deduction and Formal Proofs
Applied Logic for Computer Scientists Computational Deduction and Formal Proofs
Author 
Ayala-Rincón, Mauricio. author. de Moura, Flávio L. C. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-51653-0
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Turing Computability Theory and Applications
Turing Computability Theory and Applications
Author 
Soare, Robert I. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-31933-4
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Directed Algebraic Topology and Concurrency
Directed Algebraic Topology and Concurrency
Author 
Fajstrup, Lisbeth. author. Goubault, Eric. author. Haucourt, Emmanuel. author. Mimram, Samuel. author. Raussen, Martin. author.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-15398-8
Format: 
Availability 
Online Library~1
Available:
Copies: