Search Results
Results 1 - 10 of 80
(page 1 of 8)
Personal Author
Topic Subject
Guide to Programming and Algorithms Using R
E-book
E-book
| Publisher: | London : Springer London : 2013. |
| ISBN: | 9781447153283 |
| Phys. Desc.: | XI, 182 p. 28 illus. online resource. |
| Electronic resource | Texto completo |
Principles and Practice of Constraint Programming 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg : 2013. |
| ISBN: | 9783642406270 |
| Phys. Desc.: | XVIII, 898 p. 226 illus. online resource. |
| Electronic resource | Texto completo |
Principles and Practice of Constraint Programming 18th International Conference, CP 2012, Québec City, QC, Canada, October 8-12, 2012. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg : 2012. |
| ISBN: | 9783642335587 |
| Phys. Desc.: | XXII, 1015 p. 237 illus. 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 |
FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science 27th International Conference, New Delhi, India, December 12-14, 2007. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2007. |
| ISBN: | 9783540770503 |
| Phys. Desc.: | online resource. |
| Electronic resource | Texto completo |
FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science 26th International Conference, Kolkata, India, December 13-15, 2006. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2006. |
| ISBN: | 9783540499954 |
| Phys. Desc.: | XIII, 430 p. Also available online. online resource. |
| Electronic resource | Texto completo |
FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science 24th International Conference, Chennai, India, December 16-18, 2004. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2005. |
| ISBN: | 9783540305385 |
| Phys. Desc.: | XVI, 532 p. Also available online. online resource. |
| Electronic resource | Texto completo |
Tools and Algorithms for the Construction and Analysis of Systems 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg : 2013. |
| ISBN: | 9783642367427 |
| Phys. Desc.: | XXIV, 646 p. 137 illus. online resource. |
| Electronic resource | Texto completo |
Principles of Programming Languages
E-book
E-book
| Publisher: | London : Springer London, 2009. |
| ISBN: | 9781848820326 |
| Phys. Desc.: | XII, 159 p. online resource. |
| Electronic resource | Texto completo |
Formal Methods and Software Engineering 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. |
| ISBN: | 9783642103735 |
| Phys. Desc.: | online resource. |
| Electronic resource | Texto completo |
Personal Author
Topic Subject
