Limit Search Results
Author
SpringerLink (Online service)
(43)
Finkbeiner, Bernd. editor.
(3)
Kovács, Laura. editor.
(3)
Taylor and Francis.
(3)
Baldimtsi, Foteini. editor.
(2)
Language
Publication Date
-
Subject
Proof theory.
(24)
Computer science.
(21)
Formal Languages and Automata Theory.
(12)
Logic, Symbolic and mathematical.
(12)
Machine theory.
(12)
Material Type
Shelf Location
Switch to list view
Switch to thumbnail view
Select an Action
89 Results Found Subscribe to search results
000000000000DEFAULT
Print
13. 
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:
14. 
Cover image for Maximal Planar Graph Theory and the Four-Color Conjecture
Maximal Planar Graph Theory and the Four-Color Conjecture
Author 
Xu, Jin. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-96-4745-3
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for A bridge to higher mathematics
A bridge to higher mathematics
Author 
Kirkwood, James R., author. Robeva, Raina S., author.
Preferred Shelf Number 
QA9.54
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781032623849
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Taking the "oof!" out of proofs
Taking the "oof!" out of proofs
Author 
Draganov, Alexandr, author.
Preferred Shelf Number 
QA9.54
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003456766
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Attribute-based encryption (ABE) : foundations and applications within blockchain and cloud environments
Attribute-based encryption (ABE) : foundations and applications within blockchain and cloud environments
Author 
Xia, Qi, author.
Preferred Shelf Number 
TK5102.94 .G365 2024
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119989387
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Automated Reasoning 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part I
Automated Reasoning 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part I
Author 
Benzmüller, Christoph. editor. (orcid)0000-0002-3392-3093 Heule, Marijn J.H. editor. (orcid)0000-0002-5587-8801 Schmidt, Renate A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-63498-7
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Automated Reasoning 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part II
Automated Reasoning 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part II
Author 
Benzmüller, Christoph. editor. (orcid)0000-0002-3392-3093 Heule, Marijn J.H. editor. (orcid)0000-0002-5587-8801 Schmidt, Renate A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-63501-4
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for Financial Cryptography and Data Security 27th International Conference, FC 2023, Bol, Brač, Croatia, May 1-5, 2023, Revised Selected Papers, Part II
Financial Cryptography and Data Security 27th International Conference, FC 2023, Bol, Brač, Croatia, May 1-5, 2023, Revised Selected Papers, Part II
Author 
Baldimtsi, Foteini. editor. Cachin, Christian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-47751-5
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Financial Cryptography and Data Security 27th International Conference, FC 2023, Bol, Brač, Croatia, May 1-5, 2023, Revised Selected Papers, Part I
Financial Cryptography and Data Security 27th International Conference, FC 2023, Bol, Brač, Croatia, May 1-5, 2023, Revised Selected Papers, Part I
Author 
Baldimtsi, Foteini. editor. Cachin, Christian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-47754-6
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Programming-Based Formal Languages and Automata Theory Design, Implement, Validate, and Prove
Programming-Based Formal Languages and Automata Theory Design, Implement, Validate, and Prove
Author 
Morazán, Marco T. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-43973-5
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for Limits of AI - theoretical, practical, ethical
Limits of AI - theoretical, practical, ethical
Author 
Mainzer, Klaus. author. Kahle, Reinhard. author. (orcid)0000-0002-9064-877X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-68290-6
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part I
Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part I
Author 
Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-57246-3
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action