Search Results
Results 611 - 620 of 922
(page 62 of 93)
Certified Programs and Proofs Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg : 2012. |
| ISBN: | 9783642353086 |
| Phys. Desc.: | X, 305 p. 64 illus. online resource. |
| Electronic resource | Texto completo |
Certified Programs and Proofs First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. |
| ISBN: | 9783642253799 |
| Phys. Desc.: | XV, 401p. 87 illus. online resource. |
| Electronic resource | Texto completo |
Modeling Decisions for Artificial Intelligence Third International Conference, MDAI 2006, Tarragona, Spain, April 3-5, 2006. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2006. |
| ISBN: | 9783540327813 |
| Phys. Desc.: | XII, 374 p. Also available online. online resource. |
| Electronic resource | Texto completo |
Relations and Kleene Algebra in Computer Science 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009, Doha, Qatar, November 1-5, 2009. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. |
| ISBN: | 9783642046391 |
| Phys. Desc.: | online resource. |
| Electronic resource | Texto completo |
Transactions on Computational Science IX Special Issue on Voronoi Diagrams in Science and Engineering
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2010. |
| ISBN: | 9783642160073 |
| Phys. Desc.: | XIII, 203p. 87 illus. online resource. |
| Electronic resource | Texto completo |
Language, Games, and Evolution Trends in Current Research on Language and Game Theory
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. |
| ISBN: | 9783642180064 |
| Phys. Desc.: | VII, 189p. online resource. |
| Electronic resource | Texto completo |
Theoretical Computer Science 7th IFIP TC 1/WG 2.2 International Conference, TCS 2012, Amsterdam, The Netherlands, September 26-28, 2012. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg : 2012. |
| ISBN: | 9783642334757 |
| Phys. Desc.: | X, 393 p. 76 illus. online resource. |
| Electronic resource | Texto completo |
Algorithmic Learning Theory 21st International Conference, ALT 2010, Canberra, Australia, October 6-8, 2010. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2010. |
| ISBN: | 9783642161087 |
| Phys. Desc.: | XIII, 421p. 45 illus. online resource. |
| Electronic resource | Texto completo |
Computer Aided Systems Theory – EUROCAST 2005 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7 – 11, 2005, Revised Selected Papers
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2005. |
| ISBN: | 9783540318293 |
| Phys. Desc.: | XIV, 629 p. Also available online. online resource. |
| Electronic resource | Texto completo |
Semantics and Algebraic Specification Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. |
| ISBN: | 9783642041648 |
| Phys. Desc.: | online resource. |
| Electronic resource | Texto completo |
