Search Results
Results 651 - 660 of 922
(page 66 of 93)
Scalable Uncertainty Management Third International Conference, SUM 2009, Washington, DC, USA, September 28-30, 2009. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. |
| ISBN: | 9783642043888 |
| Phys. Desc.: | online resource. |
| Electronic resource | Texto completo |
Developments in Language Theory 12th International Conference, DLT 2008, Kyoto, Japan, September 16-19, 2008. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2008. |
| ISBN: | 9783540857808 |
| Phys. Desc.: | online resource. |
| Electronic resource | Texto completo |
Logic-Based Program Synthesis and Transformation 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg : 2013. |
| ISBN: | 9783642381973 |
| Phys. Desc.: | X, 245 p. 36 illus. online resource. |
| Electronic resource | Texto completo |
Automated Reasoning with Analytic Tableaux and Related Methods 22th International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg : 2013. |
| ISBN: | 9783642405372 |
| Phys. Desc.: | X, 289 p. 34 illus. online resource. |
| Electronic resource | Texto completo |
Logic-Based Program Synthesis and Transformation 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg : 2012. |
| ISBN: | 9783642322112 |
| Phys. Desc.: | X, 254 p. 61 illus. online resource. |
| Electronic resource | Texto completo |
Membrane Computing 12th International Conference, CMC 2011, Fontainebleau, France, August 23-26, 2011, Revised Selected Papers
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2012. |
| ISBN: | 9783642280245 |
| Phys. Desc.: | 380p. 83 illus. online resource. |
| Electronic resource | Texto completo |
Formal Concept Analysis Third International Conference, ICFCA 2005, Lens, France, February 14-18, 2005. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2005. |
| ISBN: | 9783540322627 |
| Phys. Desc.: | XI, 419 p. Also available online. online resource. |
| Electronic resource | Texto completo |
Anaphora Processing and Applications 7th Discourse Anaphora and Anaphor Resolution Colloquium, DAARC 2009 Goa, India, November 5-6, 2009 Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. |
| ISBN: | 9783642049750 |
| Phys. Desc.: | online resource. |
| Electronic resource | Texto completo |
Anaphora: Analysis, Algorithms and Applications 6th Discourse Anaphora and Anaphor Resolution Colloquium, DAARC 2007, Lagos, Portugal, March 29-30, 2007. Selected Papers
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2007. |
| ISBN: | 9783540714125 |
| Phys. Desc.: | X, 191 p. Also available online. online resource. |
| Electronic resource | Texto completo |
Algebra and Coalgebra in Computer Science 4th International Conference, CALCO 2011, Winchester, UK, August 30 – September 2, 2011. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. |
| ISBN: | 9783642229442 |
| Phys. Desc.: | XI, 420p. online resource. |
| Electronic resource | Texto completo |
