Search Results
Results 341 - 350 of 922
(page 35 of 93)
Theory and Applications of Satisfiability Testing 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2005. |
| ISBN: | 9783540315803 |
| Phys. Desc.: | XIII, 393 p. Also available online. online resource. |
| Electronic resource | Texto completo |
Theory and Applications of Satisfiability Testing 8th International Conference, SAT 2005, St Andrews, UK, June 19-23, 2005. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2005. |
| ISBN: | 9783540316794 |
| Phys. Desc.: | XII, 492 p. Also available online. online resource. |
| Electronic resource | Texto completo |
Programming Languages and Systems 17th European Symposium on Programming, ESOP 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2008. |
| ISBN: | 9783540787396 |
| Phys. Desc.: | online resource. |
| Electronic resource | Texto completo |
Programming Languages and Systems 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2006. |
| ISBN: | 9783540330967 |
| Phys. Desc.: | XII, 343 p. Also available online. online resource. |
| Electronic resource | Texto completo |
Programming Languages and Systems 14th European Symposium on Programming, ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2005. |
| ISBN: | 9783540319870 |
| Phys. Desc.: | XIII, 439 p. Also available online. online resource. |
| Electronic resource | Texto completo |
Theoretical Aspects of Computing – ICTAC 2011 8th International Colloquium, Johannesburg, South Africa, August 31 – September 2, 2011. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. |
| ISBN: | 9783642232831 |
| Phys. Desc.: | X, 267p. online resource. |
| Electronic resource | Texto completo |
Generic and Indexed Programming International Spring School, SSGIP 2010, Oxford, UK, March 22-26, 2010, Revised Lectures
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg : 2012. |
| ISBN: | 9783642322020 |
| Phys. Desc.: | VII, 259 p. 24 illus. online resource. |
| Electronic resource | Texto completo |
Structured Object-Oriented Formal Language and Method Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg : 2013. |
| ISBN: | 9783642392771 |
| Phys. Desc.: | X, 149 p. 83 illus. online resource. |
| Electronic resource | Texto completo |
Theoretical Introduction to Programming
E-book
E-book
| Publisher: | London : Springer London, 2006. |
| ISBN: | 9781846282638 |
| Phys. Desc.: | XI, 358 p. 29 illus. online resource. |
| Electronic resource | Texto completo |
Cryptology and Network Security 8th International Conference, CANS 2009, Kanazawa, Japan, December 12-14, 2009. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. |
| ISBN: | 9783642104336 |
| Phys. Desc.: | online resource. |
| Electronic resource | Texto completo |
