Search Results
Results 451 - 460 of 922
(page 46 of 93)
Transactions on Rough Sets VI Commemorating the Life and Work of Zdzisław Pawlak, Part I
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2007. |
| ISBN: | 9783540712008 |
| Phys. Desc.: | XII, 499 p. Also available online. online resource. |
| Electronic resource | Texto completo |
Transactions on Rough Sets V
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2006. |
| ISBN: | 9783540393832 |
| Phys. Desc.: | X, 507 p. Also available online. online resource. |
| Electronic resource | Texto completo |
Transactions on Rough Sets IV
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2005. |
| ISBN: | 9783540320166 |
| Phys. Desc.: | X, 375 p. Also available online. online resource. |
| Electronic resource | Texto completo |
Transactions on Rough Sets III
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2005. |
| ISBN: | 9783540318507 |
| Phys. Desc.: | IX, 461 p. Also available online. online resource. |
| Electronic resource | Texto completo |
The Multivariate Algorithmic Revolution and Beyond Essays Dedicated to Michael R. Fellows on the Occasion of His 60th Birthday
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2012. |
| ISBN: | 9783642308918 |
| Phys. Desc.: | XXII, 506p. 32 illus. online resource. |
| Electronic resource | Texto completo |
Theorem Proving in Higher Order Logics 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. |
| ISBN: | 9783642033599 |
| Phys. Desc.: | online resource. |
| Electronic resource | Texto completo |
Types for Proofs and Programs International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2006. |
| ISBN: | 9783540314295 |
| Phys. Desc.: | VIII, 275 p. Also available online. online resource. |
| Electronic resource | Texto completo |
Tools for Practical Software Verification LASER, International Summer School 2011, Elba Island, Italy, Revised Tutorial Lectures
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg : 2012. |
| ISBN: | 9783642357466 |
| Phys. Desc.: | VIII, 183 p. 31 illus. online resource. |
| Electronic resource | Texto completo |
Logic, Language, Information and Computation 14th International Workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2007. |
| ISBN: | 9783540734451 |
| Phys. Desc.: | X, 363 p. online resource. |
| Electronic resource | Texto completo |
Types for Proofs and Programs International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. |
| ISBN: | 9783642024443 |
| Phys. Desc.: | online resource. |
| Electronic resource | Texto completo |
