Normale Ansicht MARC-Ansicht ISBD

C++ toolbox for verified computing / R. Hammer ...

Mitwirkende(r):

Hammer, Rolf [oth]

Resource type: Ressourcentyp: GesamtaufnahmeGesamtaufnahmeSprache: Englisch Bände: Zeige BändeVerlag: Berlin ; Heidelberg [u.a.] : Springer, 19XX-Schlagwörter:

C++
Numerisches Verfahren
Richtigkeit von Ergebnissen
Numerical analysis
C++ (Computer program language)

RVK: RVK: ST 250PPN: PPN: 1116993988

Exemplare ( 0 )

Dieser Titel hat keine Exemplare

Druck
Zitieren
Meinem Korb hinzufügen (Entfernen)
Datensatz speichern
BIBTEX Dublin Core MARCXML MARC (Nicht-Unicode/MARC-8) MARC (Unicode/UTF-8) MARC (Unicode/UTF-8, Standard) MODS (XML) RIS ISBD
Weitere Suchen

Suche nach diesem Titel in:
Karlsruher Virtueller Katalog Bibliotheksportal Karlsruhe Google Scholar Andere Bibliotheken (WorldCat)