Search Results
Results 1 - 10 of 20
(page 1 of 2)
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 |
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 |
Java Methods for Financial Engineering Applications in Finance and Investment
E-book
E-book
| Publisher: | London : Springer London, 2007. |
| ISBN: | 9781846287411 |
| Phys. Desc.: | XV, 561 p. online resource. |
| Electronic resource | Texto completo |
The Fortran 2003 Handbook The Complete Syntax, Features and Procedures
E-book
E-book
| Publisher: | London : Springer London : 2009. |
| ISBN: | 9781846287466 |
| Phys. Desc.: | online resource. |
| Electronic resource | Texto completo |
Computational Science and Its Applications – ICCSA 2009 International Conference, Seoul, Korea, June 29-July 2, 2009, Proceedings, Part II
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. |
| ISBN: | 9783642024573 |
| Phys. Desc.: | online resource. |
| Electronic resource | Texto completo |
