Search Results
Results 701 - 710 of 859
(page 71 of 86)
Algebraic Methodology and Software Technology 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2008. |
| ISBN: | 9783540799801 |
| Phys. Desc.: | online resource. |
| Electronic resource | Texto completo |
Algebraic Methodology and Software Technology 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2006. |
| ISBN: | 9783540356363 |
| Phys. Desc.: | XI, 389 p. Also available online. online resource. |
| Electronic resource | Texto completo |
Fundamentals of Algebraic Graph Transformation
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2006. |
| ISBN: | 9783540311881 |
| Phys. Desc.: | XIII, 388 p. 41 illus. online resource. |
| Electronic resource | Texto completo |
Representation Theory and Complex Geometry
E-book
E-book
| Publisher: | Boston : Birkhäuser Boston, 2010. |
| ISBN: | 9780817649388 |
| Edition: | 1st. |
| Phys. Desc.: | X, 495p. 10 illus., 5 illus. in color. online resource. |
| Electronic resource | Texto completo |
Certified Programs and Proofs Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings
E-book
E-book
| Publisher: | Cham : Springer International Publishing : 2013. |
| ISBN: | 9783319035451 |
| Phys. Desc.: | XII, 309 p. 44 illus. online resource. |
| Electronic resource | Texto completo |
Automated Deduction in Geometry 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg : 2013. |
| ISBN: | 9783642406720 |
| Phys. Desc.: | X, 193 p. 55 illus. online resource. |
| Electronic resource | Texto completo |
Automated Deduction in Geometry 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Selected Papers
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. |
| ISBN: | 9783642250705 |
| Phys. Desc.: | X, 259 p. online resource. |
| Electronic resource | Texto completo |
How the World Computes Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2012. |
| ISBN: | 9783642308703 |
| Phys. Desc.: | XVIII, 756p. 42 illus. online resource. |
| Electronic resource | Texto completo |
Models of Computation in Context 7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. |
| ISBN: | 9783642218750 |
| Phys. Desc.: | XIII, 319p. online resource. |
| Electronic resource | Texto completo |
Intelligent Computer Mathematics 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2012. |
| ISBN: | 9783642313745 |
| Phys. Desc.: | XVIII, 473p. 117 illus. online resource. |
| Electronic resource | Texto completo |
