Tests and proofs
: first international conference ; revised papers / TAP 2007, Zurich, Switzerland, February 12 - 13, 2007. Yuri Gurevich ... (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4454)
ISBN 978-3-540-73770-4
Lizenzpflichtig
Quelle: DNB
Tests and proofs
: first international conference ; revised papers / TAP 2007, Zurich, Switzerland, February 12 - 13, 2007. Yuri Gurevich ; Bertrand Meyer (ed.). - Berlin : Springer, 2007. - VIII, 216 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 4454)
ISBN 978-3-540-73769-8 / 3-540-73769-3 kart. : EUR 44.94 (freier Pr.), sfr 73.50 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Tests and proofs
: second international conference ; proceedings / TAP 2008, Prato, Italy, April 9 - 11, 2008. Bernhard Beckert ; Reiner Hähnle (ed.). - Berlin : Springer, 2008. - X, 191 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 4966)
ISBN 978-3-540-79123-2 kart. : EUR 44.94 (freier Pr.), ca. sfr 73.50 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Recchia, Martino: Test statistici
: practica ed interpretazione dei risultati / Martino Recchia. - Berlin : Springer, 1994. - 85 S. : graph. Darst.; 24 cm
ISBN 978-3-540-75002-4 / 3-540-75002-9 kart. : DM 73.00
Quelle: DNB
Strassacker, Dirk: Testumgebung für die Implementierung und Inbetriebnahme eines adaptierbaren Leitsteuerungssystems
/ Dirk Strassacker. - Berlin : Springer, 1997. - 162 S. : graph. Darst.; 21 cm - (ISW-Forschung und -Praxis; Bd. 117)
ISBN 978-3-540-63161-3 / 3-540-63161-5 kart. : DM 88.00
Quelle: DNB
Weinmann, Alexander: Test- und Prüfungsaufgaben Regelungstechnik
: 407 durchgerechnete Beispiele mit Lösungen / Alexander Weinmann. - Wien : Springer, 1997. - 285 S. : graph. Darst.; 25 cm
ISBN 978-3-211-82965-3 / 3-211-82965-2 kart. : DM 53.00, S 370.00
Quelle: DNB
Weinmann, Alexander: Test- und Prüfungsaufgaben Regelungstechnik
: 457 durchgerechnete Beispiele mit analytischen, nummerischen und computeralgebraischen Lösungen in MATLAB und MAPLE / Alexander Weinmann. - 2., erw. und überarb. Aufl. - Wien : Springer, 2007. - 310 S. : graph. Darst.; 25 cm, 555 gr. - (Springer-Lehrbuch Technik)
ISBN 978-3-211-37135-0 / 3-211-37135-4 kart. : ca. EUR 35.00 (DE), ca. EUR 35.00 (AT), ca. sfr 59.50
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
Daehn, Wilfried: Testverfahren in der Mikroelektronik
: Methoden und Werkzeuge ; mit 27 Tabellen / Wilfried Daehn. - Berlin : Springer, 1997. - XI, 219 S. : graph. Darst.; 25 cm - (Mikroelektronik)
ISBN 978-3-540-61728-0 / 3-540-61728-0 Pp. : DM 128.00
Literaturverz. S. 209 - 219
Quelle: DNB
TEX in practice
/ Stephan von Bechtolsheim. - New York : Springer, 1993. - XL, 368 S.
ISBN 978-3-540-97596-0 / 3-540-97596-9 Pp. : DM 98.00
Quelle: DNB
