Search Results
Results 701 - 710 of 860
(page 71 of 86)
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 |
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 |
