Advanced topics in exception handling techniques
/ Christophe Dony ... (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 4119)
ISBN 978-3-540-37445-9
Lizenzpflichtig
Quelle: DNB
Automated and algorithmic debugging
: first international workshop ; proceedings / AADEBUG '93, Linköping, Sweden, May 3 - 5, 1993. Peter A. Fritzson (ed.). - Berlin : Springer, 1993. - VIII, 367 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 749)
ISBN 978-3-540-57417-0 / 3-540-57417-4 kart. : DM 72.00
Literaturangaben
Quelle: DNB
Cooperative bug isolation
: winning thesis of the 2005 ACM doctoral dissertation competition / Ben Liblit. - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4440)
ISBN 978-3-540-71878-9
Lizenzpflichtig
Quelle: DNB
Brummayer, Robert: Efficient SMT solving for bit vectors and the extensional theory of arrays
/ Robert Brummayer. - Linz : Trauner, 2010. - 142 S. : graph. Darst.; 21 cm - (Schriften der Johannes-Kepler-Universität Linz : Reihe C, Technik und Naturwissenschaften; 61)
ISBN 978-3-85499-707-8 kart.
Quelle: DNB
Chao, Ingo: Fortgeschrittene CSS-Techniken
: inkl. CSS-Debugging und Performance-Optimierung ; [inkl. neuer Konzepte CSS3 ; DVD-ROM Video-Lektionen zu CSS3 u.v.m.] / Ingo Chao ; Corina Rudel. - 3., aktualisierte Aufl. - Bonn : Galileo Press, 2012. - 452 S. : Ill.; 25 cm - (Galileo computing)
ISBN 978-3-8362-1695-1 / 3-8362-1695-7 Pp. : EUR 44.90 (DE), EUR 46.20 (AT), sfr 64.90 (freier Pr.)
Zusätzliches Online-Angebot unter www.galileocomputing.de
Quelle: DNB
Hardware and software verification and testing
: revised selected papers / First International Haifa Verification Conference, Haifa, Israel, November 13 - 16, 2005. Shmuel Ur ... (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 3875)
ISBN 978-3-540-32605-2
Lizenzpflichtig
Quelle: DNB
Hardware and software, verification and testing
: revised selected papers / Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23 - 26, 2006. Eyal Bin ... (ed.). - Berlin : Springer, 2007. - XII, 234 S. : Ill., graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 4383)
ISBN 978-3-540-70888-9 / 3-540-70888-X kart. : EUR 44.94 (freier Pr.), sfr 69.00 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Hardware and software, verification and testing
: revised selected papers / Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23 - 26, 2006. Eyal Bin ... (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4383)
ISBN 978-3-540-70889-6
Lizenzpflichtig
Quelle: DNB
Langer, Josef: Testing, tracing und debugging bei embedded systems
/ Josef Langer. - Linz : Trauner, 2008. - 169 S. : Ill., graph. Darst.; 21 cm, 218 gr. - (Schriften der Johannes-Kepler-Universität Linz : Reihe C, Technik und Naturwissenschaften; 58)
ISBN 978-3-85499-567-8 kart. : EUR 19.80 (DE), EUR 19.80 (AT), sfr 35.90 (freier Pr.)
Quelle: DNB Verlagsmeldungen
Test und Verlässlichkeit von Rechnern
/ Günter Kemnitz. - Berlin : Springer, 2007. - Online-Ressource - (eXamen.press)
ISBN 978-3-540-71355-5
Lizenzpflichtig
Quelle: DNB