Search Results
Results 261 - 270 of 922
(page 27 of 93)
Machine Learning: ECML 2007 18th European Conference on Machine Learning, Warsaw, Poland, September 17-21, 2007. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2007. |
| ISBN: | 9783540749585 |
| Phys. Desc.: | XXIV, 809 p. online resource. |
| Electronic resource | Texto completo |
Machine Learning: ECML 2006 17th European Conference on Machine Learning Berlin, Germany, September 18-22, 2006 Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2006. |
| ISBN: | 9783540460565 |
| Phys. Desc.: | XXIII, 851 p. Also available online. online resource. |
| Electronic resource | Texto completo |
Machine Learning: ECML 2005 16th European Conference on Machine Learning, Porto, Portugal, October 3-7, 2005. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2005. |
| ISBN: | 9783540316923 |
| Phys. Desc.: | XXIII, 769 p. Also available online. online resource. |
| Electronic resource | Texto completo |
Foundations of Software Science and Computational Structures 11th International Conference, FOSSACS 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: | 9783540784999 |
| Phys. Desc.: | online resource. |
| Electronic resource | Texto completo |
Foundations of Software Science and Computational Structures 10th International Conference, FOSSACS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2007. |
| ISBN: | 9783540713890 |
| Phys. Desc.: | XVI, 379 p. Also available online. online resource. |
| Electronic resource | Texto completo |
Foundations of Software Science and Computation Structures 9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-31, 2006. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2006. |
| ISBN: | 9783540330462 |
| Phys. Desc.: | XV, 447 p. Also available online. online resource. |
| Electronic resource | Texto completo |
Foundations of Software Science and Computational Structures 8th International Conference, FOSSACS 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: | 9783540319825 |
| Phys. Desc.: | XIII, 521 p. Also available online. online resource. |
| Electronic resource | Texto completo |
All About Maude - A High-Performance Logical Framework How to Specify, Program and Verify Systems in Rewriting Logic
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2007. |
| ISBN: | 9783540719991 |
| Phys. Desc.: | XXII, 797p. online resource. |
| Electronic resource | Texto completo |
Foundations of Software Science and Computational Structures 14th International Conference, FOSSACS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. |
| ISBN: | 9783642198052 |
| Phys. Desc.: | XV, 473 p. online resource. |
| Electronic resource | Texto completo |
Foundations of Software Science and Computational Structures 13th International Conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2010. |
| ISBN: | 9783642120329 |
| Phys. Desc.: | XV, 389p. 47 illus. online resource. |
| Electronic resource | Texto completo |
