Search Results
Results 311 - 320 of 922
(page 32 of 93)
Transactions on Rough Sets VIII
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2008. |
| ISBN: | 9783540850649 |
| Phys. Desc.: | online resource. |
| Electronic resource | Texto completo |
Studies in Complexity and Cryptography. Miscellanea on the Interplay between Randomness and Computation In Collaboration with Lidor Avigad, Mihir Bellare, Zvika Brakerski, Shafi Goldwasser, Shai Halevi, Tali Kaufman, Leonid Levin, Noam Nisan, Dana Ron, Madhu Sudan, Luca Trevisan, Salil Vadhan, Avi Wigderson, David Zuckerman
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. |
| ISBN: | 9783642226700 |
| Phys. Desc.: | XI, 563p. online resource. |
| Electronic resource | Texto completo |
Inductive Logic Programming 21st International Conference, ILP 2011, Windsor Great Park, UK, July 31 – August 3, 2011, Revised Selected Papers
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg : 2012. |
| ISBN: | 9783642319518 |
| Phys. Desc.: | XI, 406 p. 130 illus. online resource. |
| Electronic resource | Texto completo |
Verification of Object-Oriented Software. The KeY Approach Foreword by K. Rustan M. Leino
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2007. |
| ISBN: | 9783540690610 |
| Phys. Desc.: | XXIX, 658 p. Also available online. online resource. |
| Electronic resource | Texto completo |
M-Solid Varieties of Algebras
E-book
E-book
| Publisher: | Boston, MA : Springer US, 2006. |
| ISBN: | 9780387308067 |
| Phys. Desc.: | XIII, 341 p. online resource. |
| Electronic resource | Texto completo |
Mathematics in Computing An Accessible Guide to Historical, Foundational and Application Contexts
E-book
E-book
| Publisher: | London : Springer London : 2013. |
| ISBN: | 9781447145349 |
| Phys. Desc.: | XIX, 285 p. 131 illus. online resource. |
| Electronic resource | Texto completo |
Verified Software: Theories, Tools, Experiments Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2008. |
| ISBN: | 9783540878735 |
| Phys. Desc.: | online resource. |
| Electronic resource | Texto completo |
Neural-Symbolic Cognitive Reasoning
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. |
| ISBN: | 9783540732464 |
| Phys. Desc.: | online resource. |
| Electronic resource | Texto completo |
Algebra, Meaning, and Computation Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2006. |
| ISBN: | 9783540354642 |
| Phys. Desc.: | XXXVIII, 643 p. Also available online. online resource. |
| Electronic resource | Texto completo |
Theory and Practice of Model Transformations 5th International Conference, ICMT 2012, Prague, Czech Republic, May 28-29, 2012. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2012. |
| ISBN: | 9783642304767 |
| Phys. Desc.: | X, 297p. 115 illus. online resource. |
| Electronic resource | Texto completo |
