Suchergebnisse - Automated and Algorithmic Debugging

zum Haupt-Inhalt

zur Seitenleiste (falls vorhanden)

zum Footer mit externen Links

Bücher, Zeitschriften, Online-Medien und mehr aus Ihrer Bibliothek

1

Automated and Algorithmic Debugging : First International Workshop, AADEBUG '93 Linköping, Sweden, May 3–5, 1993 Proceedings

Fritzson, Peter (Verfasser)

Berlin, Heidelberg : Springer-Verlag, 1993

E-Book

2

Why programs fail : a guide to systematic debugging

Zeller, Andreas (Verfasser)

Amsterdam : Elsevier, Morgan Kaufmann Publ., 2006

Buch

3

Tools and Algorithms for the Construction and Analysis of Systems : 11th International Conference, TACAS 2005, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2004, Proceedings

Halbwachs, Nicolas (Herausgeber)

1st ed. 2005

Berlin, Heidelberg : Springer Berlin Heidelberg, 2005

E-Book

4

Logic-Based Program Synthesis and Transformation : 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers

Puebla, Germán (Herausgeber)

1st ed. 2007

Berlin, Heidelberg : Springer Berlin Heidelberg, 2007

E-Book

5

Recent Advances in the Message Passing Interface : 17th European MPI User's Group Meeting, EuroMPI 2010, Stuttgart, Germany, September12-15, 2010, Proceedings

Keller, Rainer (Herausgeber)

1st ed. 2010

Berlin, Heidelberg : Springer Berlin Heidelberg, 2010

E-Book

6

Organic computing : with 1 table

Würtz, Rolf (Herausgeber)

Berlin : Springer, 2008

Buch

7

Reconfigurable computing : the theory and practice of FPGA-based computation

Hauck, Scott (Hrsg.)

Amsterdam [u.a.] : Morgan Kaufmann/Elsevier, 2008

Buch