Search Results
Results 661 - 670 of 922
(page 67 of 93)
Algebra and Coalgebra in Computer Science Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. |
| ISBN: | 9783642037412 |
| Phys. Desc.: | online resource. |
| Electronic resource | Texto completo |
Theoretical Aspects of Computing - ICTAC 2009 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. |
| ISBN: | 9783642034664 |
| Phys. Desc.: | online resource. |
| Electronic resource | Texto completo |
Theoretical Aspects of Computing - ICTAC 2008 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2008. |
| ISBN: | 9783540857624 |
| Phys. Desc.: | online resource. |
| Electronic resource | Texto completo |
Interactive Theorem Proving Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg : 2012. |
| ISBN: | 9783642323478 |
| Phys. Desc.: | XI, 419 p. 37 illus. online resource. |
| Electronic resource | Texto completo |
Combinatorics on Words 9th International Conference, WORDS 2013, Turku, Finland, September 16-20. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg : 2013. |
| ISBN: | 9783642405792 |
| Phys. Desc.: | X, 263 p. 37 illus. online resource. |
| Electronic resource | Texto completo |
Artificial General Intelligence 4th International Conference, AGI 2011, Mountain View, CA, USA, August 3-6, 2011. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. |
| ISBN: | 9783642228872 |
| Phys. Desc.: | XIV, 416 p. online resource. |
| Electronic resource | Texto completo |
The Mathematics of Language 10th and 11th Biennial Conference, MOL 10, Los Angeles, CA, USA, July 28-30, 2007, and MOL 11, Bielefeld, Germany, August 20-21, 2009, Revised Selected Papers
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2010. |
| ISBN: | 9783642143229 |
| Phys. Desc.: | VIII, 297p. 55 illus. online resource. |
| Electronic resource | Texto completo |
Progress in Cryptology - INDOCRYPT 2009 10th International Conference on Cryptology in India, New Delhi, India, December 13-16, 2009. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. |
| ISBN: | 9783642106286 |
| Phys. Desc.: | online resource. |
| Electronic resource | Texto completo |
Computational Linguistics and Intelligent Text Processing 9th International Conference, CICLing 2008, Haifa, Israel, February 17-23, 2008. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2008. |
| ISBN: | 9783540781356 |
| Phys. Desc.: | online resource. |
| Electronic resource | Texto completo |
Computational Linguistics and Intelligent Text Processing 8th International Conference, CICLing 2007, Mexico City, Mexico, February 18-24, 2007. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2007. |
| ISBN: | 9783540709398 |
| Phys. Desc.: | XVI, 648 p. Also available online. online resource. |
| Electronic resource | Texto completo |
