Search Results
Results 631 - 640 of 922
(page 64 of 93)
OMDoc – An Open Markup Format for Mathematical Documents [version 1.2] Foreword by Allan Bundy
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2006. |
| ISBN: | 9783540378983 |
| Phys. Desc.: | XIX, 428 p. Also available online. online resource. |
| Electronic resource | Texto completo |
Correct Hardware Design and Verification Methods 13th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2005. |
| ISBN: | 9783540320302 |
| Phys. Desc.: | XII, 412 p. Also available online. online resource. |
| Electronic resource | Texto completo |
Applications of Graph Transformations with Industrial Relevance Third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2008. |
| ISBN: | 9783540890201 |
| Phys. Desc.: | online resource. |
| Electronic resource | Texto completo |
Logic Programming and Nonmonotonic Reasoning 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg : 2013. |
| ISBN: | 9783642405648 |
| Phys. Desc.: | XVIII, 570 p. 70 illus. online resource. |
| Electronic resource | Texto completo |
Logic Programming and Nonmonotonic Reasoning 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. |
| ISBN: | 9783642208959 |
| Phys. Desc.: | XIII, 406 p. online resource. |
| Electronic resource | Texto completo |
Logic Programming and Nonmonotonic Reasoning 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. |
| ISBN: | 9783642042386 |
| Phys. Desc.: | online resource. |
| Electronic resource | Texto completo |
FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science 25th International Conference, Hyderabad, India, December 15-18, 2005. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2005. |
| ISBN: | 9783540324195 |
| Phys. Desc.: | XIV, 566 p. Also available online. online resource. |
| Electronic resource | Texto completo |
Verification, Model Checking, and Abstract Interpretation 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg : 2013. |
| ISBN: | 9783642358739 |
| Phys. Desc.: | XII, 556 p. 123 illus. online resource. |
| Electronic resource | Texto completo |
Graph Transformations 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg : 2012. |
| ISBN: | 9783642336546 |
| Phys. Desc.: | XII, 427 p. 166 illus. online resource. |
| Electronic resource | Texto completo |
Graph Transformations 5th International Conference, ICGT 2010, Enschede, The Netherlands, September 27–October 2, 2010. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2010. |
| ISBN: | 9783642159282 |
| Phys. Desc.: | XII, 419p. online resource. |
| Electronic resource | Texto completo |
