Limit Search Results
Author
Language
Publication Date
-
Subject
Computer science -- Mathematics.
(6)
Computer science.
(6)
Computer Science Logic and Foundations of Programming.
(5)
Discrete mathematics.
(5)
Discrete Mathematics in Computer Science.
(4)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
11 Results Found Subscribe to search results
00000000000DEFAULT
Print
1. 
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:
2. 
Cover image for Deterministic network calculus : from theory to practical implementation
Deterministic network calculus : from theory to practical implementation
Author 
Bouillard, Anne, author. Boyer, Marc, author. Corronc, Euriell, author.
Preferred Shelf Number 
QA274.8
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119440284
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for On Sets and Graphs Perspectives on Logic and Combinatorics
On Sets and Graphs Perspectives on Logic and Combinatorics
Author 
Omodeo, Eugenio G. author. Policriti, Alberto. author. Tomescu, Alexandru I. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-54981-1
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Transactions on Petri Nets and Other Models of Concurrency XII
Transactions on Petri Nets and Other Models of Concurrency XII
Author 
Koutny, Maciej. editor. (orcid)0000-0003-4563-1378 Kleijn, Jetty. editor. Penczek, Wojciech. editor. Zhang, Mingmin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-55862-1
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Computer Science - Theory and Applications 12th International Computer Science Symposium in Russia, CSR 2017, Kazan, Russia, June 8-12, 2017, Proceedings
Computer Science - Theory and Applications 12th International Computer Science Symposium in Russia, CSR 2017, Kazan, Russia, June 8-12, 2017, Proceedings
Author 
Weil, Pascal. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-58747-9
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Computability and Complexity Essays Dedicated to Rodney G. Downey on the Occasion of His 60th Birthday
Computability and Complexity Essays Dedicated to Rodney G. Downey on the Occasion of His 60th Birthday
Author 
Day, Adam. editor. Fellows, Michael. editor. Greenberg, Noam. editor. Khoussainov, Bakhadyr. editor. Melnikov, Alexander. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-50062-1
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Guide to Computational Modelling for Decision Processes Theory, Algorithms, Techniques and Applications
Guide to Computational Modelling for Decision Processes Theory, Algorithms, Techniques and Applications
Author 
Berry, Stuart. editor. Lowndes, Val. editor. Trovati, Marcello. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-55417-4
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Random-Like Bi-level Decision Making
Random-Like Bi-level Decision Making
Author 
Xu, Jiuping. author. (orcid)0000-0003-3756-3969 Li, Zongmin. author. Tao, Zhimiao. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-1768-1
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Computer Science - Theory and Applications 11th International Computer Science Symposium in Russia, CSR 2016, St. Petersburg, Russia, June 9-13, 2016, Proceedings
Computer Science - Theory and Applications 11th International Computer Science Symposium in Russia, CSR 2016, St. Petersburg, Russia, June 9-13, 2016, Proceedings
Author 
Kulikov, Alexander S. editor. Woeginger, Gerhard J. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-34171-2
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Parallel Problem Solving from Nature - PPSN XIV 14th International Conference, Edinburgh, UK, September 17-21, 2016, Proceedings
Parallel Problem Solving from Nature - PPSN XIV 14th International Conference, Edinburgh, UK, September 17-21, 2016, Proceedings
Author 
Handl, Julia. editor. Hart, Emma. editor. Lewis, Peter R. editor. López-Ibáñez, Manuel. editor. Ochoa, Gabriela. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-45823-6
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for GPS Theory, Algorithms and Applications
GPS Theory, Algorithms and Applications
Author 
Xu, Guochang. author. Xu, Yan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-50367-6
Format: 
Availability 
Online Library~1
Available:
Copies: