Auflistung CAR Ausgabe 48 (März 2011) nach Titel - Digitale Bibliothek - Gesellschaft für Informatik e.V.

Anzeige der Dokumente 1-5 von 5

«
»

Code-Generierung für die numerische Auswertung von mathematischen Ausdrücken mit haggies

Reiter, Thomas
Computeralgebra Rundbrief Nr. 48, März 2011

GI-FG Computeralgebra
Computereinsatz in der Veranstaltung Didaktik der Analytischen Geometrie und Linearen Algebra

Henn, Hans-Wolfgang; Link, Frauke
Veriﬁkation digitaler Systeme mit P OLY B O R I – Ein Fallbeispiel

Brickenstein, Michael; Dreyer, Alexander
Wurzeln einer Matrix

Meyer, Jörg

Anzeige der Dokumente 1-5 von 5

«
»