Search Results
Results 1 - 10 of 79
(page 1 of 8)
Personal Author
Topic Subject
Handbook of Floating-Point Arithmetic
E-book
E-book
| Publisher: | Boston : Birkhäuser Boston, 2010. |
| ISBN: | 9780817647056 |
| Edition: | 1. |
| Phys. Desc.: | XXIV, 572 p. online resource. |
| Electronic resource | Texto completo |
Guide to Programming and Algorithms Using R
E-book
E-book
| Publisher: | London : Springer London : 2013. |
| ISBN: | 9781447153283 |
| Phys. Desc.: | XI, 182 p. 28 illus. online resource. |
| Electronic resource | Texto completo |
Tools and Algorithms for the Construction and Analysis of Systems 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg : 2013. |
| ISBN: | 9783642367427 |
| Phys. Desc.: | XXIV, 646 p. 137 illus. online resource. |
| Electronic resource | Texto completo |
Principles of Programming Languages
E-book
E-book
| Publisher: | London : Springer London, 2009. |
| ISBN: | 9781848820326 |
| Phys. Desc.: | XII, 159 p. online resource. |
| Electronic resource | Texto completo |
Formal Methods and Software Engineering 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. |
| ISBN: | 9783642103735 |
| Phys. Desc.: | online resource. |
| Electronic resource | Texto completo |
Formal Methods and Software Engineering 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2008. |
| ISBN: | 9783540881940 |
| Phys. Desc.: | online resource. |
| Electronic resource | Texto completo |
Advanced Parallel Processing Technologies 10th International Symposium, APPT 2013, Stockholm, Sweden, August 27-28, 2013, Revised Selected Papers
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg : 2013. |
| ISBN: | 9783642452932 |
| Phys. Desc.: | XII, 410 p. 187 illus. online resource. |
| Electronic resource | Texto completo |
Search Based Software Engineering 5th International Symposium, SSBSE 2013, St. Petersburg, Russia, August 24-26, 2013. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg : 2013. |
| ISBN: | 9783642397424 |
| Phys. Desc.: | XVI, 326 p. 83 illus. online resource. |
| Electronic resource | Texto completo |
OpenMP in the Era of Low Power Devices and Accelerators 9th International Workshop on OpenMP, IWOMP 2013, Canberra, ACT, Australia, September 16-18, 2013. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg : 2013. |
| ISBN: | 9783642406980 |
| Phys. Desc.: | X, 201 p. 80 illus. online resource. |
| Electronic resource | Texto completo |
OpenMP in a Heterogeneous World 8th International Workshop on OpenMP, IWOMP 2012, Rome, Italy, June 11-13, 2012. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2012. |
| ISBN: | 9783642309618 |
| Phys. Desc.: | XI, 280p. online resource. |
| Electronic resource | Texto completo |
Personal Author
Topic Subject
