Search Results
Results 561 - 570 of 922
(page 57 of 93)
Theory and Practice of Algorithms in (Computer) Systems First International ICST Conference, TAPAS 2011, Rome, Italy, April 18-20, 2011. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. |
| ISBN: | 9783642197543 |
| Phys. Desc.: | X, 266 p. online resource. |
| Electronic resource | Texto completo |
Algorithm Engineering Bridging the Gap between Algorithm Theory and Practice
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2010. |
| ISBN: | 9783642148668 |
| Phys. Desc.: | XVI, 513 p. 72 illus. online resource. |
| Electronic resource | Texto completo |
Stochastic Coalgebraic Logic
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. |
| ISBN: | 9783642029950 |
| Phys. Desc.: | XV, 231p. 162 illus., 81 illus. in color. online resource. |
| Electronic resource | Texto completo |
Software Engineering and Formal Methods 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg : 2012. |
| ISBN: | 9783642338267 |
| Phys. Desc.: | XIV, 384 p. 103 illus. online resource. |
| Electronic resource | Texto completo |
Mathematics of Program Construction 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2012. |
| ISBN: | 9783642311130 |
| Phys. Desc.: | X, 363p. online resource. |
| Electronic resource | Texto completo |
PRICAI 2012: Trends in Artificial Intelligence 12th Pacific Rim International Conference on Artificial Intelligence, Kuching, Malaysia, September 3-7, 2012. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg : 2012. |
| ISBN: | 9783642326950 |
| Phys. Desc.: | XXIV, 905 p. 332 illus. online resource. |
| Electronic resource | Texto completo |
Computer Aided Verification 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2010. |
| ISBN: | 9783642142956 |
| Phys. Desc.: | XVI, 676p. 169 illus. online resource. |
| Electronic resource | Texto completo |
Algorithmic Learning Theory 17th International Conference, ALT 2006, Barcelona, Spain, October 7-10, 2006. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2006. |
| ISBN: | 9783540466505 |
| Phys. Desc.: | XIII, 393 p. Also available online. online resource. |
| Electronic resource | Texto completo |
Algorithmic Learning Theory 16th International Conference, ALT 2005, Singapore, October 8-11, 2005. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2005. |
| ISBN: | 9783540316961 |
| Phys. Desc.: | XII, 491 p. Also available online. online resource. |
| Electronic resource | Texto completo |
The Language of Mathematics A Linguistic and Philosophical Investigation
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg : 2013. |
| ISBN: | 9783642370120 |
| Phys. Desc.: | XX, 260 p. 15 illus. online resource. |
| Electronic resource | Texto completo |
