Search Results
Results 191 - 200 of 922
(page 20 of 93)
Static Analysis 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2007. |
| ISBN: | 9783540740612 |
| Phys. Desc.: | XI, 469 p. Also available online. online resource. |
| Electronic resource | Texto completo |
Program Analysis and Compilation, Theory and Practice Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2007. |
| ISBN: | 9783540713227 |
| Phys. Desc.: | X, 361 p. Also available online. online resource. |
| Electronic resource | Texto completo |
Static Analysis 13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2006. |
| ISBN: | 9783540377580 |
| Phys. Desc.: | XIII, 443 p. Also available online. online resource. |
| Electronic resource | Texto completo |
25 Years of Model Checking History, Achievements, Perspectives
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2008. |
| ISBN: | 9783540698500 |
| Phys. Desc.: | online resource. |
| Electronic resource | Texto completo |
Theorem Proving in Higher Order Logics 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2008. |
| ISBN: | 9783540710677 |
| Phys. Desc.: | online resource. |
| Electronic resource | Texto completo |
Theorem Proving in Higher Order Logics 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2007. |
| ISBN: | 9783540745914 |
| Phys. Desc.: | IX, 401 p. online resource. |
| Electronic resource | Texto completo |
Theorem Proving in Higher Order Logics 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2005. |
| ISBN: | 9783540318200 |
| Phys. Desc.: | IX, 409 p. Also available online. online resource. |
| Electronic resource | Texto completo |
Implementation and Application of Functional Languages 23rd International Symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011, Revised Selected Papers
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg : 2012. |
| ISBN: | 9783642344077 |
| Phys. Desc.: | X, 181 p. 68 illus. online resource. |
| Electronic resource | Texto completo |
Implementation and Application of Functional Languages 22nd International Symposium, IFL 2010, Alphen aan den Rijn, The Netherlands, September 1-3, 2010, Revised Selected Papers
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. |
| ISBN: | 9783642242762 |
| Phys. Desc.: | X, 217 p. 29 illus., 4 illus. in color. online resource. |
| Electronic resource | Texto completo |
Static Analysis 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2005. |
| ISBN: | 9783540319719 |
| Phys. Desc.: | X, 369 p. Also available online. online resource. |
| Electronic resource | Texto completo |
