Limit Search Results
Author
SpringerLink (Online service)
(21)
Atallah, Mikhail J.
(2)
Blanton, Marina.
(2)
Kawano, Yasuhito. editor.
(2)
Mosca, Michele. editor.
(2)
Language
Publication Date
-
Subject
Computer science.
(21)
Computer software.
(12)
Information theory.
(12)
Theory of Computation.
(9)
Logic design.
(7)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
26 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Theory and Applications of Models of Computation 6th Annual Conference, TAMC 2009, Changsha, China, May 18-22, 2009. Proceedings
Theory and Applications of Models of Computation 6th Annual Conference, TAMC 2009, Changsha, China, May 18-22, 2009. Proceedings
Author 
Chen, Jianer. editor. Cooper, S. Barry. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02017-9
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Theory of Quantum Computation, Communication, and Cryptography 4th Workshop,TQC 2009, Waterloo, Canada, May 11-13, 2009, Revised Selected Papers
Theory of Quantum Computation, Communication, and Cryptography 4th Workshop,TQC 2009, Waterloo, Canada, May 11-13, 2009, Revised Selected Papers
Author 
Childs, Andrew. editor. Mosca, Michele. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-10698-9
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Fundamentals of Computation Theory 17th International Symposium, FCT 2009, Wrocław, Poland, September 2-4, 2009. Proceedings
Fundamentals of Computation Theory 17th International Symposium, FCT 2009, Wrocław, Poland, September 2-4, 2009. Proceedings
Author 
Kutyłowski, Mirosław. editor. Charatonik, Witold. editor. Gębala, Maciej. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-03409-1
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Theory of Quantum Computation, Communication, and Cryptography Third Workshop, TQC 2008 Tokyo, Japan, January 30 - February 1, 2008. Revised Selected Papers
Theory of Quantum Computation, Communication, and Cryptography Third Workshop, TQC 2008 Tokyo, Japan, January 30 - February 1, 2008. Revised Selected Papers
Author 
Kawano, Yasuhito. editor. Mosca, Michele. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-89304-2
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Fundamentals of Computation Theory 16th International Symposium, FCT 2007, Budapest, Hungary, August 27-30, 2007. Proceedings
Fundamentals of Computation Theory 16th International Symposium, FCT 2007, Budapest, Hungary, August 27-30, 2007. Proceedings
Author 
Csuhaj-Varjú, Erzsébet. editor. Ésik, Zoltán. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-74240-1
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Fundamentals of Computation Theory 15th International Symposium, FCT 2005, Lübeck, Germany, August 17-20, 2005. Proceedings
Fundamentals of Computation Theory 15th International Symposium, FCT 2005, Lübeck, Germany, August 17-20, 2005. Proceedings
Author 
Liśkiewicz, Maciej. editor. Reischuk, Rüdiger. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11537311
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Principle of Petri Nets
Principle of Petri Nets
Author 
Yuan, Chongyi. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-97-7336-7
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
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:
9. 
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:
10. 
Cover image for Limits of computation : an introduction to the undecidable and the intractable
Limits of computation : an introduction to the undecidable and the intractable
Author 
Reiter, Edna E. (Edna Elizabeth), author. Johnson, Clayton Matthew.
Preferred Shelf Number 
QA267.7 .R445 2013
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Frontiers in Algorithmics and Algorithmic Aspects in Information and Management Third Joint International Conference, FAW-AAIM 2013, Dalian, China, June 26-28, 2013. Proceedings
Frontiers in Algorithmics and Algorithmic Aspects in Information and Management Third Joint International Conference, FAW-AAIM 2013, Dalian, China, June 26-28, 2013. Proceedings
Author 
Fellows, Michael. editor. Tan, Xuehou. editor. Zhu, Binhai. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334663.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38756-2
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Logic, Rationality, and Interaction 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings
Logic, Rationality, and Interaction 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings
Author 
Grossi, Davide. editor. Roy, Olivier. editor. Huang, Huaxin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335032.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40948-6
Format: 
Availability 
Online Library~1
Available:
Copies: