Limit Search Results
Author
SpringerLink (Online service)
(92)
Cooper, S. Barry. editor.
(5)
Li, Angsheng. editor.
(5)
Agrawal, Manindra. editor.
(3)
Atallah, Mikhail J.
(3)
Language
Publication Date
-
Subject
Computer science.
(55)
Information theory.
(47)
Theory of Computation.
(36)
Computational complexity.
(21)
Computer software.
(21)
Material Type
Shelf Location
Switch to list view
Switch to thumbnail view
Select an Action
114 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Theory of computation
Theory of computation
Author 
Tourlakis, George J.
Preferred Shelf Number 
ONLINE
Electronic Access 
Available by subscription from Safari Books Online
Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=837606
Wiley http://dx.doi.org/10.1002/9781118315361
http://site.ebrary.com/lib/alltitles/Doc?id=10560654
ebrary http://site.ebrary.com/id/10560654
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Theory of Computation
Theory of Computation
Author 
Kozen, Dexter C. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-84628-477-5
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Elements of Computation Theory
Elements of Computation Theory
Author 
Singh, Arindama. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84882-497-3
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Theory and computation of electromagnetic fields
Theory and computation of electromagnetic fields
Author 
Jin, Jian-Ming, 1962-
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5628376
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Theory and Computation of Hydrodynamic Stability
Theory and Computation of Hydrodynamic Stability
Author 
Criminale, W. O.. Jackson, T. L.. Joslin, R. D..
Preferred Shelf Number 
ONLINE
Electronic Access 
Access by subscription
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Algorithms and theory of computation handbook
Algorithms and theory of computation handbook
Author 
Atallah, Mikhail J.
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for The Language of Design Theory and Computation
The Language of Design Theory and Computation
Author 
Dong, Andy. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84882-021-0
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for The computation and theory of optimal control
The computation and theory of optimal control
Author 
Dyer, Peter. McReynolds, Stephen R.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780122262500
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Foundations of Software Science and Computation Structures 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings
Foundations of Software Science and Computation Structures 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings
Author 
Kupferman, Orna. editor. Sobocinski, Pawel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-30829-1
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Fundamentals of Computation Theory 24th International Symposium, FCT 2023, Trier, Germany, September 18-21, 2023, Proceedings
Fundamentals of Computation Theory 24th International Symposium, FCT 2023, Trier, Germany, September 18-21, 2023, Proceedings
Author 
Fernau, Henning. editor. Jansen, Klaus. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-43587-4
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Fundamentals of Computation Theory 22nd International Symposium, FCT 2019, Copenhagen, Denmark, August 12-14, 2019, Proceedings
Fundamentals of Computation Theory 22nd International Symposium, FCT 2019, Copenhagen, Denmark, August 12-14, 2019, Proceedings
Author 
Gąsieniec, Leszek Antoni. editor. (orcid)0000-0003-1809-9814 Jansson, Jesper. editor. (orcid)0000-0001-6859-8932 Levcopoulos, Christos. editor. (orcid)0000-0003-0983-7862 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-25027-0
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Foundations of Software Science and Computation Structures 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings
Foundations of Software Science and Computation Structures 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings
Author 
Bojańczyk, Mikołaj. editor. Simpson, Alex. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-17127-8
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action