Search Results
Results 391 - 400 of 922
(page 40 of 93)
Theory and Practice of Model Transformations Third International Conference, ICMT 2010, Malaga, Spain, June 28-July 2, 2010. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2010. |
| ISBN: | 9783642136887 |
| Phys. Desc.: | X, 278p. 95 illus. online resource. |
| Electronic resource | Texto completo |
Testing – Practice and Research Techniques 5th International Academic and Industrial Conference, TAIC PART 2010, Windsor, UK, September 3-5, 2010. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2010. |
| ISBN: | 9783642155857 |
| Phys. Desc.: | XIII, 219p. 82 illus. online resource. |
| Electronic resource | Texto completo |
Logic-Based Program Synthesis and Transformation 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. |
| ISBN: | 9783642005152 |
| Phys. Desc.: | online resource. |
| Electronic resource | Texto completo |
Concise Computer Mathematics Tutorials on Theory and Problems
E-book
E-book
| Publisher: | Cham : Springer International Publishing : 2013. |
| ISBN: | 9783319017518 |
| Phys. Desc.: | XII, 109 p. 17 illus. online resource. |
| Electronic resource | Texto completo |
Runtime Verification 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg : 2013. |
| ISBN: | 9783642407871 |
| Phys. Desc.: | XVII, 426 p. 113 illus. online resource. |
| Electronic resource | Texto completo |
Runtime Verification Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg : 2013. |
| ISBN: | 9783642356322 |
| Phys. Desc.: | XII, 322 p. 93 illus. online resource. |
| Electronic resource | Texto completo |
Runtime Verification Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2012. |
| ISBN: | 9783642298608 |
| Phys. Desc.: | XII, 458 p. online resource. |
| Electronic resource | Texto completo |
Runtime Verification First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2010. |
| ISBN: | 9783642166129 |
| Phys. Desc.: | XIII, 492p. 145 illus. online resource. |
| Electronic resource | Texto completo |
Formal Methods for Industrial Critical Systems 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg : 2013. |
| ISBN: | 9783642410109 |
| Phys. Desc.: | XIV, 199 p. 46 illus. online resource. |
| Electronic resource | Texto completo |
Verification, Model Checking, and Abstract Interpretation 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2012. |
| ISBN: | 9783642279409 |
| Phys. Desc.: | X, 457p. 111 illus. online resource. |
| Electronic resource | Texto completo |
