Limit Search Results
Author
SpringerLink (Online service)
(316)
Riolo, Rick. editor.
(10)
Machado, Penousal. editor.
(7)
Cagnoni, Stefano. editor.
(6)
Moore, Jason H. editor.
(6)
Language
Publication Date
-
Subject
Programming Techniques.
(316)
Computer science.
(315)
Theory of Computation.
(296)
Algorithms.
(145)
Artificial intelligence.
(120)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
316 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Theory and Applications of Models of Computation 7th Annual Conference, TAMC 2010, Prague, Czech Republic, June 7-11, 2010. Proceedings
Theory and Applications of Models of Computation 7th Annual Conference, TAMC 2010, Prague, Czech Republic, June 7-11, 2010. Proceedings
by 
Kratochvil, Jan. editor.
https://doi.org/10.1007/978-3-642-13562-0
Format: 
Excerpt: 
Theory and Applications of Models of Computation 7th Annual Conference, TAMC 2010, Prague, Czech
2. 
Cover image for Fundamentals of Computation Theory 17th International Symposium, FCT 2009, Wroclaw, Poland, September 2-4, 2009, Proceedings
Fundamentals of Computation Theory 17th International Symposium, FCT 2009, Wroclaw, Poland, September 2-4, 2009, Proceedings
by 
Kutylowski, Miroslaw. editor.
https://doi.org/10.1007/978-3-642-03409-1
Format: 
Excerpt: 
Fundamentals of Computation Theory 17th International Symposium, FCT 2009, Wroclaw, Poland
3. 
Cover image for Theory of Quantum Computation, Communication and Cryptography 4th Workshop, TQC 2009, Waterloo, Canada, May 11-13. Revised Selected Papers
Theory of Quantum Computation, Communication and Cryptography 4th Workshop, TQC 2009, Waterloo, Canada, May 11-13. Revised Selected Papers
by 
Childs, Andrew. editor.
https://doi.org/10.1007/978-3-642-10698-9
Format: 
Excerpt: 
Theory of Quantum Computation, Communication and Cryptography 4th Workshop, TQC 2009, Waterloo
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
by 
Kawano, Yasuhito. editor.
https://doi.org/10.1007/978-3-540-89304-2
Format: 
Excerpt: 
Theory of Quantum Computation, Communication, and Cryptography Third Workshop, TQC 2008 Tokyo
5. 
Cover image for Inductive Logic Programming 23rd International Conference, ILP 2013, Rio de Janeiro, Brazil, August 28-30, 2013, Revised Selected Papers
Inductive Logic Programming 23rd International Conference, ILP 2013, Rio de Janeiro, Brazil, August 28-30, 2013, Revised Selected Papers
by 
Zaverucha, Gerson. editor.
https://doi.org/10.1007/978-3-662-44923-3
Format: 
Excerpt: 
Theory of Computation.
6. 
Cover image for Genetic Programming Theory and Practice XI
Genetic Programming Theory and Practice XI
by 
Riolo, Rick. editor.
https://doi.org/10.1007/978-1-4939-0375-7
Format: 
Excerpt: 
Theory of Computation.
7. 
Cover image for Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
Programming Languages and Systems 23rd European Symposium on Programming, ESOP 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 
Shao, Zhong. editor.
https://doi.org/10.1007/978-3-642-54833-8
Format: 
Excerpt: 
of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France
8. 
Cover image for Programming Languages and Operational Semantics A Concise Overview
Programming Languages and Operational Semantics A Concise Overview
by 
Fernández, Maribel. author.
https://doi.org/10.1007/978-1-4471-6368-8
Format: 
Excerpt: 
Theory of Computation.
9. 
Cover image for Search-Based Software Engineering 6th International Symposium, SSBSE 2014, Fortaleza, Brazil, August 26-29, 2014, Proceedings
Search-Based Software Engineering 6th International Symposium, SSBSE 2014, Fortaleza, Brazil, August 26-29, 2014, Proceedings
by 
Le Goues, Claire. editor.
https://doi.org/10.1007/978-3-319-09940-8
Format: 
Excerpt: 
Theory of Computation.
10. 
Cover image for Declarative Programming and Knowledge Management Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013, Revised Selected Papers
Declarative Programming and Knowledge Management Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013, Revised Selected Papers
by 
Hanus, Michael. editor. (orcid)0000-0002-4953-8202
https://doi.org/10.1007/978-3-319-08909-6
Format: 
Excerpt: 
Theory of Computation.
11. 
Cover image for Rewriting Logic and Its Applications 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers
Rewriting Logic and Its Applications 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers
by 
Escobar, Santiago. editor. (orcid)0000-0002-3550-4781
https://doi.org/10.1007/978-3-319-12904-4
Format: 
Excerpt: 
Models of Computation.
12. 
Cover image for Search Based Software Engineering 5th International Symposium, SSBSE 2013, St. Petersburg, Russia, August 24-26, 2013. Proceedings
Search Based Software Engineering 5th International Symposium, SSBSE 2013, St. Petersburg, Russia, August 24-26, 2013. Proceedings
by 
Ruhe, Günther. editor.
https://doi.org/10.1007/978-3-642-39742-4
Format: 
Excerpt: 
Theory of Computation.
Go to:Search Results
|
Search Facets
|
Top of Page