Search Results
Results 371 - 380 of 922
(page 38 of 93)
Objects, Models, Components, Patterns 49th International Conference, TOOLS 2011, Zurich, Switzerland, June 28-30, 2011. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. |
| ISBN: | 9783642219528 |
| Phys. Desc.: | X, 307p. online resource. |
| Electronic resource | Texto completo |
Objects, Models, Components, Patterns 48th International Conference, TOOLS 2010, Málaga, Spain, June 28–July 2, 2010. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2010. |
| ISBN: | 9783642139536 |
| Phys. Desc.: | 316p. 103 illus. online resource. |
| Electronic resource | Texto completo |
Computational Linguistics and Intelligent Text Processing 6th International Conference, CICLing 2005, Mexico City, Mexico, February 13-19, 2005. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2005. |
| ISBN: | 9783540305866 |
| Phys. Desc.: | XVII, 829 p. Also available online. online resource. |
| Electronic resource | Texto completo |
Programming Languages and Systems 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2008. |
| ISBN: | 9783540893301 |
| Phys. Desc.: | online resource. |
| Electronic resource | Texto completo |
Programming Languages and Systems 5th Asian Symposium, APLAS 2007, Singapore, November 29-December 1, 2007. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2007. |
| ISBN: | 9783540766377 |
| Phys. Desc.: | XI, 436 p. online resource. |
| Electronic resource | Texto completo |
Programming Languages and Systems 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2006. |
| ISBN: | 9783540489382 |
| Phys. Desc.: | XI, 423 p. Also available online. online resource. |
| Electronic resource | Texto completo |
Programming Languages and Systems Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2005. |
| ISBN: | 9783540322474 |
| Phys. Desc.: | XIII, 435 p. Also available online. online resource. |
| Electronic resource | Texto completo |
Logic and Program Semantics Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2012. |
| ISBN: | 9783642294853 |
| Phys. Desc.: | XIII, 357 p. 45 illus. online resource. |
| Electronic resource | Texto completo |
Automated Technology for Verification and Analysis 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. |
| ISBN: | 9783642047619 |
| Phys. Desc.: | online resource. |
| Electronic resource | Texto completo |
Incomplete Information System and Rough Set Theory Models and Attribute Reductions
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg : 2012. |
| ISBN: | 9783642259357 |
| Phys. Desc.: | XIV, 232 p. online resource. |
| Electronic resource | Texto completo |
