Search Results
Results 201 - 210 of 922
(page 21 of 93)
The Mathematics of Language 12th Biennial Conference, MOL 12, Nara, Japan, September 6-8, 2011. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. |
| ISBN: | 9783642232114 |
| Phys. Desc.: | IV, 227p. online resource. |
| Electronic resource | Texto completo |
Automated Reasoning and Mathematics Essays in Memory of William W. McCune
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg : 2013. |
| ISBN: | 9783642366758 |
| Phys. Desc.: | XX, 259 p. 27 illus. online resource. |
| Electronic resource | Texto completo |
Rough Sets and Knowledge Technology 4th International Conference, RSKT 2009, Gold Coast, Australia, July 14-16, 2009. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. |
| ISBN: | 9783642029622 |
| Phys. Desc.: | online resource. |
| Electronic resource | Texto completo |
Trends in Functional Programming 11th International Symposium, TFP 2010, Norman, OK, USA, May 17-19, 2010. Revised Selected Papers
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. |
| ISBN: | 9783642229411 |
| Phys. Desc.: | X, 215 p. online resource. |
| Electronic resource | Texto completo |
Practical Aspects of Declarative Languages 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2010. |
| ISBN: | 9783642115035 |
| Phys. Desc.: | XI, 297p. 78 illus. online resource. |
| Electronic resource | Texto completo |
Machines, Computations, and Universality 5th International Conference, MCU 2007, Orléans, France, September 10-13, 2007. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2007. |
| ISBN: | 9783540745938 |
| Phys. Desc.: | X, 325 p. online resource. |
| Electronic resource | Texto completo |
Machines, Computations, and Universality 4th International Conference, MCU 2004, Saint Petersburg, Russia, September 21-24, 2004, Revised Selected Papers
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2005. |
| ISBN: | 9783540318347 |
| Phys. Desc.: | VIII, 329 p. Also available online. online resource. |
| Electronic resource | Texto completo |
Compiler Construction 17th International Conference, CC 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2008. |
| ISBN: | 9783540787914 |
| Phys. Desc.: | online resource. |
| Electronic resource | Texto completo |
Compiler Construction 16th International Conference, CC 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 26-30, 2007. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2007. |
| ISBN: | 9783540712299 |
| Phys. Desc.: | XIV, 233 p. Also available online. online resource. |
| Electronic resource | Texto completo |
Compiler Construction 15th International Conference, CC 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 30-31, 2006. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2006. |
| ISBN: | 9783540330516 |
| Phys. Desc.: | XIII, 277 p. Also available online. online resource. |
| Electronic resource | Texto completo |
