Limit Search Results
Author
SpringerLink (Online service)
(609)
Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782
(11)
Sloot, Peter M. A. editor. (orcid)0000-0002-3848-5395
(11)
Fehr, Serge. editor.
(10)
Chung, Kai-Min. editor. (orcid)0000-0002-3356-369X
(9)
Language
Publication Date
-
Subject
Computer science.
(454)
Theory of Computation.
(432)
Artificial intelligence.
(287)
Computer networks .
(184)
Computer science -- Mathematics.
(155)
Material Type
Shelf Location
Switch to list view
Switch to thumbnail view
Select an Action
664 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 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:
7. 
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:
8. 
Cover image for Theory of Computation Automata, Formal Languages, Computation and Complexity
Theory of Computation Automata, Formal Languages, Computation and Complexity
Author 
Chowdhary, K.R. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-6234-7
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for An Introduction to Theory of Computation An Algorithmic Approach
An Introduction to Theory of Computation An Algorithmic Approach
Author 
Ogihara, Mitsunori. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-84740-0
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Foundations of Software Science and Computation Structures 28th International Conference, FoSSaCS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings
Foundations of Software Science and Computation Structures 28th International Conference, FoSSaCS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings
Author 
Abdulla, Parosh Aziz. editor. (orcid)0000-0001-6832-6611 Kesner, Delia. editor. (orcid)0000-0003-4254-3129 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-90897-2
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Theory and computation of electromagnetic fields in layered media
Theory and computation of electromagnetic fields in layered media
Author 
Okhmatovski, Vladimir, author. Zheng, Shucheng, author.
Preferred Shelf Number 
QC665 .E4 O55 2024
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119763222
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Foundations of Software Science and Computation Structures 27th International Conference, FoSSaCS 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
Foundations of Software Science and Computation Structures 27th International Conference, FoSSaCS 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 
Kobayashi, Naoki. editor. Worrell, James. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-57228-9
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action