Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Zur Ergebnisliste
    Datensatz exportieren als...
  • BibTeX
Symbolic algebraic methods and verification methods
Springer mathematics
2001
Signatur: TAY990197

Details

Autor(en) / Beteiligte
Titel
Symbolic algebraic methods and verification methods
Ist Teil von
  • Springer mathematics
Ort / Verlag
Wien [u.a.] : Springer
Erscheinungsjahr
2001
Link zu anderen Inhalten
Sprache
Englisch
Identifikatoren
ISBN: 3211835938
OCLC-Nummer: 248076699, 248076699
Titel-ID: 990008338820106463
Format
IX, 266 S. : graph. Darst.
Systemstelle
TAY
Schlagworte
Computeralgebra

Lade weitere Informationen...