Limit Search Results
Author
SpringerLink (Online service)
(2440)
Rozenberg, Grzegorz. editor.
(24)
Huang, De-Shuang. editor.
(21)
Dongarra, Jack. editor.
(18)
Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X
(17)
Language
Publication Date
-
2008
(291)
2006
(285)
2005
(269)
2010
(259)
2009
(255)
Subject
Computer science.
(1858)
Theory of Computation.
(1776)
Artificial intelligence.
(891)
Algorithms.
(688)
Software engineering.
(494)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
2451 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Theory of Computation
Theory of Computation
by 
Kozen, Dexter C. author.
https://doi.org/10.1007/1-84628-477-5
Format: 
Excerpt: 
Theory of Computation Kozen, Dexter C. author.
2. 
Cover image for Theory of Fuzzy Computation
Theory of Fuzzy Computation
by 
Syropoulos, Apostolos. author.
https://doi.org/10.1007/978-1-4614-8379-3
Format: 
Excerpt: 
Theory of Fuzzy Computation Syropoulos, Apostolos. author.
3. 
Cover image for Elements of Computation Theory
Elements of Computation Theory
by 
Singh, Arindama. author.
https://doi.org/10.1007/978-1-84882-497-3
Format: 
Excerpt: 
Elements of Computation Theory Singh, Arindama. author.
4. 
Cover image for The Language of Design Theory and Computation
The Language of Design Theory and Computation
by 
Dong, Andy An-Si. author.
https://doi.org/10.1007/978-1-84882-021-0
Format: 
Excerpt: 
The Language of Design Theory and Computation / Dong, Andy An-Si. author.
5. 
Cover image for Language, Culture, Computation: Computing - Theory and Technology Essays Dedicated to Yaacov Choueka on the Occasion of His 75 Birthday, Part I
Language, Culture, Computation: Computing - Theory and Technology Essays Dedicated to Yaacov Choueka on the Occasion of His 75 Birthday, Part I
by 
Dershowitz, Nachum. editor.
https://doi.org/10.1007/978-3-642-45321-2
Format: 
Excerpt: 
Theory of Computation.
6. 
Cover image for Theory of Quantum Computation, Communication, and Cryptography 6th Conference, TQC 2011, Madrid, Spain, May 24-26, 2011, Revised Selected Papers
Theory of Quantum Computation, Communication, and Cryptography 6th Conference, TQC 2011, Madrid, Spain, May 24-26, 2011, Revised Selected Papers
by 
Bacon, Dave. editor.
https://doi.org/10.1007/978-3-642-54429-3
Format: 
Excerpt: 
Theory of Quantum Computation, Communication, and Cryptography 6th Conference, TQC 2011, Madrid
7. 
Cover image for Foundations of Software Science and Computation Structures 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
Foundations of Software Science and Computation Structures 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
by 
Muscholl, Anca. editor.
https://doi.org/10.1007/978-3-642-54830-7
Format: 
Excerpt: 
2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014
8. 
Cover image for Dynamics and Control of Trajectory Tubes Theory and Computation
Dynamics and Control of Trajectory Tubes Theory and Computation
by 
Kurzhanski, Alexander B. author.
https://doi.org/10.1007/978-3-319-10277-1
Format: 
Excerpt: 
Dynamics and Control of Trajectory Tubes Theory and Computation / Kurzhanski, Alexander B. author.
9. 
Cover image for Theory and Applications of Models of Computation 11th Annual Conference, TAMC 2014, Chennai, India, April 11-13, 2014, Proceedings
Theory and Applications of Models of Computation 11th Annual Conference, TAMC 2014, Chennai, India, April 11-13, 2014, Proceedings
by 
Gopal, T V. editor.
https://doi.org/10.1007/978-3-319-06089-7
Format: 
Excerpt: 
Theory and Applications of Models of Computation 11th Annual Conference, TAMC 2014, Chennai, India
10. 
Cover image for In Search of Elegance in the Theory and Practice of Computation Essays dedicated to Peter Buneman
In Search of Elegance in the Theory and Practice of Computation Essays dedicated to Peter Buneman
by 
Tannen, Val. editor.
https://doi.org/10.1007/978-3-642-41660-6
Format: 
Excerpt: 
In Search of Elegance in the Theory and Practice of Computation Essays dedicated to Peter Buneman /
11. 
Cover image for Theory of Quantum Computation, Communication, and Cryptography 7th Conference, TQC 2012, Tokyo, Japan, May 17-19, 2012, Revised Selected Papers
Theory of Quantum Computation, Communication, and Cryptography 7th Conference, TQC 2012, Tokyo, Japan, May 17-19, 2012, Revised Selected Papers
by 
Iwama, Kazuo. editor.
https://doi.org/10.1007/978-3-642-35656-8
Format: 
Excerpt: 
Theory of Quantum Computation, Communication, and Cryptography 7th Conference, TQC 2012, Tokyo
12. 
Cover image for Foundations of Software Science and Computation Structures 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings
Foundations of Software Science and Computation Structures 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings
by 
Pfenning, Frank. editor.
https://doi.org/10.1007/978-3-642-37075-5
Format: 
Excerpt: 
2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013
Go to:Search Results
|
Search Facets
|
Top of Page