Limit Search Results
Author
SpringerLink (Online service)
(164)
Teschl, Gerald. author.
(4)
Teschl, Susanne. author.
(4)
Blockeel, Hendrik. editor.
(3)
Kersting, Kristian. editor.
(3)
Language
Publication Date
-
Subject
Computer science.
(125)
Discrete Mathematics in Computer Science.
(84)
Computer software.
(63)
Mathematics.
(57)
Algorithm Analysis and Problem Complexity.
(55)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
172 Results Found Subscribe to search results
000000000000DEFAULT
Print
25. 
Cover image for Contemporary Cryptology
Contemporary Cryptology
Author 
Catalano, Dario. author. Cramer, Ronald. author. Crescenzo, Giovanni. author. Darmgård, Ivan. author. Pointcheval, David. author.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-7643-7394-6
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for Computability, complexity, logic
Computability, complexity, logic
Author 
Börger, E. (Egon), 1946-
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444874061
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
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:
28. 
Cover image for Computational Complexity and Local Algorithms On the Interplay Between Randomness and Computation
Computational Complexity and Local Algorithms On the Interplay Between Randomness and Computation
Author 
Goldreich, Oded. editor. (orcid)0000-0002-4329-135X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-88946-2
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
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:
30. 
Cover image for Swarm Intelligence 14th International Conference, ANTS 2024, Konstanz, Germany, October 9-11, 2024, Proceedings
Swarm Intelligence 14th International Conference, ANTS 2024, Konstanz, Germany, October 9-11, 2024, Proceedings
Author 
Hamann, Heiko. editor. (orcid)0000-0002-2458-8289 Dorigo, Marco. editor. (orcid)0000-0002-3971-0507 Pérez Cáceres, Leslie. editor. (orcid)0000-0001-5553-6150 Reina, Andreagiovanni. editor. (orcid)0000-0003-4745-992X Kuckling, Jonas. editor. (orcid)0000-0003-2391-2275
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-70932-6
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for Algorithm and design complexity
Algorithm and design complexity
Author 
Sherine, Anli, author. Jasmine, Mary, author. Peter, Geno, author. Albert Alexander, S., author.
Preferred Shelf Number 
QA267.7
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003355403
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for Introduction to Fractional Differential Equations
Introduction to Fractional Differential Equations
Author 
Milici, Constantin. author. Drăgănescu, Gheorghe. author. Tenreiro Machado, J. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-00895-6
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
Cover image for Encyclopedia of Cryptography, Security and Privacy
Encyclopedia of Cryptography, Security and Privacy
Author 
Jajodia, Sushil. editor. Samarati, Pierangela. editor. Yung, Moti. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-27739-9
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for Mathematical Methods in Engineering Theoretical Aspects
Mathematical Methods in Engineering Theoretical Aspects
Author 
Taş, Kenan. editor. Baleanu, Dumitru. editor. Machado, J. A. Tenreiro. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-91065-9
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
Cover image for An Introduction to Complex Systems Making Sense of a Changing World​
An Introduction to Complex Systems Making Sense of a Changing World​
Author 
Tranquillo, Joe. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-02589-2
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
Cover image for Analysis for Computer Scientists Foundations, Methods, and Algorithms
Analysis for Computer Scientists Foundations, Methods, and Algorithms
Author 
Oberguggenberger, Michael. author. (orcid)0000-0002-7340-8651 Ostermann, Alexander. author. (orcid)0000-0003-0194-2481 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-91155-7
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action