Search Results
Results 1 - 10 of 95
(page 1 of 10)
Personal Author
Topic Subject
Value-Range Analysis of C Programs Towards Proving the Absence of Buffer Overflow Vulnerabilities
E-book
E-book
| Publisher: | London : Springer London, 2008. |
| ISBN: | 9781848000179 |
| Phys. Desc.: | online resource. |
| Electronic resource | Texto completo |
Introduction to Programming with Fortran With Coverage of Fortran 90, 95, 2003, 2008 and 77
E-book
E-book
| Publisher: | London : Springer London : 2012. |
| ISBN: | 9780857292339 |
| Edition: | 2nd ed. 2012. |
| Phys. Desc.: | XXII, 621 p. 5 illus. online resource. |
| Electronic resource | Texto completo |
Automated Reasoning 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2012. |
| ISBN: | 9783642313653 |
| Phys. Desc.: | XIV, 568p. 90 illus. online resource. |
| Electronic resource | Texto completo |
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 |
Guide to Scientific Computing in C++
E-book
E-book
| Publisher: | London : Springer London, 2012. |
| ISBN: | 9781447127369 |
| Phys. Desc.: | XII, 250p. 11 illus. online resource. |
| Electronic resource | Texto completo |
Euro-Par 2007 Parallel Processing 13th International Euro-Par Conference, Rennes ,France , August 28-31, 2007. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2007. |
| ISBN: | 9783540744665 |
| Phys. Desc.: | XXVII, 974 p. online resource. |
| Electronic resource | Texto completo |
Euro-Par 2006 Parallel Processing 12th International Euro-Par Conference, Dresden, Germany, August 28 – September 1, 2006. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2006. |
| ISBN: | 9783540377849 |
| Phys. Desc.: | XXXIII, 1221 p. online resource. |
| Electronic resource | Texto completo |
Euro-Par 2005 Parallel Processing 11th International Euro-Par Conference, Lisbon, Portugal, August 30 - September 2, 2005. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2005. |
| ISBN: | 9783540319252 |
| Phys. Desc.: | XXXVI, 1299 p. Also available online. online resource. |
| Electronic resource | Texto completo |
Uncertainty Quantification in Scientific Computing 10th IFIP WG 2.5 Working Conference, WoCoUQ 2011, Boulder, CO, USA, August 1-4, 2011, Revised Selected Papers
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg : 2012. |
| ISBN: | 9783642326776 |
| Phys. Desc.: | XVI, 319 p. 46 illus., 26 illus. in color. online resource. |
| Electronic resource | Texto completo |
Personal Author
Topic Subject
