Numerical Software with Result Verification International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 19-24, 2003. Revised Papers /

Numerical Software with Result Verification International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 19-24, 2003. Revised Papers /

Reliable computing techniques are essential if the validity of the output of a - merical algorithm is to be guaranteed to be correct. Our society relies more and more on computer systems. Usually, our systems appear to work successfully, but there are sometimes serious, and often minor, errors. Vali...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Άλλοι συγγραφείς:	Alt, René (Επιμελητής έκδοσης), Frommer, Andreas (Επιμελητής έκδοσης), Kearfott, R. Baker (Επιμελητής έκδοσης), Luther, Wolfram (Επιμελητής έκδοσης)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Berlin, Heidelberg : Springer Berlin Heidelberg, 2004.
Σειρά:	Lecture Notes in Computer Science, 2991
Θέματα:	Computer science. Software engineering. Programming languages (Electronic computers). Algorithms. Numerical analysis. Computer Science. Numeric Computing. Software Engineering/Programming and Operating Systems. Numerical Analysis. Software Engineering. Programming Languages, Compilers, Interpreters. Algorithm Analysis and Problem Complexity.
Διαθέσιμο Online:	Full Text via HEAL-Link

Παρόμοια τεκμήρια

Facing the Multicore-Challenge Aspects of New Paradigms and Technologies in Parallel Computing /
Έκδοση: (2010)

Facing the Multicore - Challenge II Aspects of New Paradigms and Technologies in Parallel Computing /
Έκδοση: (2012)

Recent Advances in Constraints 13th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2008, Rome, Italy, June 18-20, 2008, Revised Selected Papers /
Έκδοση: (2009)

Mathematics and Computation, a Contemporary View The Abel Symposium 2006 Proceedings of the Third Abel Symposium, Alesund, Norway, May 25–27, 2006 /
Έκδοση: (2008)

Methods and Tools of Parallel Programming Multicomputers Second Russia-Taiwan Symposium, MTPP 2010, Vladivostok, Russia, May 16-19, 2010, Revised Selected Papers /
Έκδοση: (2010)

Solving PDEs in Python The FEniCS Tutorial I /
ανά: Langtangen, Hans Petter, κ.ά.
Έκδοση: (2016)

Mathematical Software – ICMS 2016 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings /
Έκδοση: (2016)

Experimental Algorithms 7th International Workshop, WEA 2008 Provincetown, MA, USA, May 30-June 1, 2008 Proceedings /
Έκδοση: (2008)

Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques 9th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems, APPROX 2006 and 10th International Workshop on Randomization and Computation, RANDOM 2006, Barcelona, Spain, August 28-30 2006. Proceedings /
Έκδοση: (2006)

Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques 10th International Workshop, APPROX 2007, and 11th International Workshop, RANDOM 2007, Princeton, NJ, USA, August 20-22, 2007. Proceedings /
Έκδοση: (2007)

Value-Range Analysis of C Programs Towards Proving the Absence of Buffer Overflow Vulnerabilities /
Έκδοση: (2008)

Introduction to Programming with Fortran With Coverage of Fortran 90, 95, 2003, 2008 and 77 /
ανά: Chivers, Ian, κ.ά.
Έκδοση: (2012)

Recent Advances in Algorithmic Differentiation
Έκδοση: (2012)

Algorithms and Programming Problems and Solutions /
ανά: Shen, Alexander
Έκδοση: (2010)

Numerical Computations with GPUs
Έκδοση: (2014)

Mathematical Software – ICMS 2010 Third International Congress on Mathematical Software, Kobe, Japan, September 13-17, 2010. Proceedings /
Έκδοση: (2010)

Mathematical Software – ICMS 2014 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings /
Έκδοση: (2014)

Numerical Methods and Applications 6th International Conference, NMA 2006, Borovets, Bulgaria, August 20-24, 2006. Revised Papers /
Έκδοση: (2007)

Numerical Methods and Applications 7th International Conference, NMA 2010, Borovets, Bulgaria, August 20-24, 2010. Revised Papers /
Έκδοση: (2011)

Numerical Methods and Applications 8th International Conference, NMA 2014, Borovets, Bulgaria, August 20-24, 2014, Revised Selected Papers /
Έκδοση: (2015)

Parallel Computing Technologies 10th International Conference, PaCT 2009, Novosibirsk, Russia, August 31-September 4, 2009. Proceedings /
Έκδοση: (2009)

Large-Scale Scientific Computing 8th International Conference, LSSC 2011, Sozopol, Bulgaria, June 6-10, 2011, Revised Selected Papers /
Έκδοση: (2012)

High Performance Computing - HiPC 2003 10th International Conference, Hyderabad, India, December 17-20, 2003. Proceedings /
Έκδοση: (2003)

Parallel Computing Technologies 11th International Conference, PaCT 2011, Kazan, Russia, September 19-23, 2011. Proceedings /
Έκδοση: (2011)

Artificial Evolution 6th International Conference, Evolution Artificielle, EA 2003, Marseilles, France, October 27-30, 2003, Revised Selected Papers /
Έκδοση: (2004)

Elementary Numerical Mathematics for Programmers and Engineers
ανά: Stoyan, Gisbert, κ.ά.
Έκδοση: (2016)

Approximation and Online Algorithms First International Workshop, WAOA 2003, Budapest, Hungary, September 16-18, 2003. Revised Papers /
Έκδοση: (2004)

Parallel Computing Technologies 13th International Conference, PaCT 2015, Petrozavodsk, Russia, August 31-September 4, 2015, Proceedings /
Έκδοση: (2015)

Parallel Computing Technologies 14th International Conference, PaCT 2017, Nizhny Novgorod, Russia, September 4-8, 2017, Proceedings /
Έκδοση: (2017)

Parallel Computing Technologies 12th International Conference, PaCT 2013, St. Petersburg, Russia, September 30 - October 4, 2013. Proceedings /
Έκδοση: (2013)

Mathematical Software - ICMS 2006 Second International Congress on Mathematical Software, Castro Urdiales, Spain, September 1-3, 2006. Proceedings /
Έκδοση: (2006)

Guide to Scientific Computing in C++
ανά: Pitt-Francis, Joe, κ.ά.
Έκδοση: (2012)

Integer Programming and Combinatorial Optimization 12th International IPCO Conference, Ithaca, NY, USA, June 25-27, 2007. Proceedings /
Έκδοση: (2007)

The Fortran 2003 Handbook The Complete Syntax, Features and Procedures /
ανά: Adams, Jeanne C., κ.ά.
Έκδοση: (2009)

Scientific Computing - An Introduction using Maple and MATLAB
ανά: Gander, Walter, κ.ά.
Έκδοση: (2014)

Eigenvalue Problems: Algorithms, Software and Applications in Petascale Computing EPASA 2015, Tsukuba, Japan, September 2015 /
Έκδοση: (2017)

Verification, Model Checking, and Abstract Interpretation 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings /
Έκδοση: (2010)

Artificial Evolution 8th International Conference, Evolution Artificielle, EA 2007, Tours, France, October 29-31, 2007, Revised Selected Papers /
Έκδοση: (2008)

Approximation and Online Algorithms 4th International Workshop, WAOA 2006, Zurich, Switzerland, September 14-15, 2006. Revised Papers /
Έκδοση: (2007)

Experimental Algorithms 6th International Workshop, WEA 2007, Rome, Italy, June 6-8, 2007. Proceedings /
Έκδοση: (2007)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών

Cannot write session to /tmp/vufind_sessions/sess_oudetqtupfoqc2gd1ciqdva7bh