Search Results
Results 91 - 100 of 922
(page 10 of 93)
Grammars for Language and Genes Theoretical and Empirical Investigations
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2012. |
| ISBN: | 9783642204449 |
| Phys. Desc.: | XII, 120 p. online resource. |
| Electronic resource | Texto completo |
Comprehensive Mathematics for Computer Scientists 2 Calculus and ODEs, Splines, Probability, Fourier and Wavelet Theory, Fractals and Neural Networks, Categories and Lambda Calculus
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2005. |
| ISBN: | 9783540269373 |
| Phys. Desc.: | X, 355 p. 114 illus. online resource. |
| Electronic resource | Texto completo |
Reasoning Web. Semantic Technologies for Intelligent Data Access 9th International Summer School 2013, Mannheim, Germany, July 30 – August 2, 2013. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg : 2013. |
| ISBN: | 9783642397844 |
| Phys. Desc.: | X, 285 p. 49 illus. online resource. |
| Electronic resource | Texto completo |
Schema Matching and Mapping
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. |
| ISBN: | 9783642165184 |
| Phys. Desc.: | XII, 314p. digital. |
| Electronic resource | Texto Completo |
The Seventeen Provers of the World Foreword by Dana S. Scott
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2006. |
| ISBN: | 9783540328889 |
| Phys. Desc.: | XVI, 159 p. Also available online. online resource. |
| Electronic resource | Texto completo |
Ernst Zermelo - Collected Works/Gesammelte Werke Volume I - Set Theory, Miscellanea / Band I - Mengenlehre, Varia
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2010. |
| ISBN: | 9783540793847 |
| Phys. Desc.: | online resource. |
| Electronic resource | Texto completo |
Grammatical Inference: Algorithms and Applications 9th International Colloquium, ICGI 2008 Saint-Malo, France, September 22-24, 2008 Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2008. |
| ISBN: | 9783540880097 |
| Phys. Desc.: | online resource. |
| Electronic resource | Texto completo |
Abstraction, Reformulation, and Approximation 7th International Symposium, SARA 2007, Whistler, Canada, July 18-21, 2007. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2007. |
| ISBN: | 9783540735809 |
| Phys. Desc.: | XI, 418 p. online resource. |
| Electronic resource | Texto completo |
Grammatical Inference: Algorithms and Applications 8th International Colloquium, ICGI 2006, Tokyo, Japan, September 20-22, 2006. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2006. |
| ISBN: | 9783540452652 |
| Phys. Desc.: | XII, 359 p. Also available online. online resource. |
| Electronic resource | Texto completo |
Tools for Teaching Logic Third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. |
| ISBN: | 9783642213502 |
| Phys. Desc.: | XI, 257p. online resource. |
| Electronic resource | Texto completo |
