- Weitere Titel
-
Sichere Berechnungen auf Nicht-Ganzzahligen Werten
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
Darmstadt, Technische Universität Darmstadt, Dissertation, 2011
- Ereignis
-
Veröffentlichung
- (wo)
-
Darmstadt
- (wer)
-
Universitäts- und Landesbibliothek Darmstadt
- (wann)
-
2011
- Urheber
- Beteiligte Personen und Organisationen
-
Katzenbeisser, Stefan
Jha, Somesh
- URN
-
urn:nbn:de:tuda-tuprints-28112
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:51 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Hochschulschrift
Beteiligte
- Franz, Martin
- Katzenbeisser, Stefan
- Jha, Somesh
- Universitäts- und Landesbibliothek Darmstadt
Entstanden
- 2011
Ähnliche Objekte (12)
On sequences of integers of quadratic fields and computations
Computations with Disjunctive Cuts for Two-Stage Stochastic Mixed 0-1 Integer Programs
Adaptive piecewise linear relaxations for enclosure computations for nonconvex multiobjective mixed-integer quadratically constrained programs
Persistent Computations
Improving lazy non-deterministic computations by demand analysis
Logic and computations
Atomic Cascade Computations
Intégrer
Advanced turbulent flow computations
Complexity of pushdown computations
Computations in higher types
Inroduction to interval computations
On sequences of integers of quadratic fields and computations
Computations with Disjunctive Cuts for Two-Stage Stochastic Mixed 0-1 Integer Programs
Adaptive piecewise linear relaxations for enclosure computations for nonconvex multiobjective mixed-integer quadratically constrained programs
Persistent Computations
Improving lazy non-deterministic computations by demand analysis
Logic and computations
Atomic Cascade Computations
Intégrer
Advanced turbulent flow computations
Complexity of pushdown computations
Computations in higher types
Inroduction to interval computations
On sequences of integers of quadratic fields and computations
Computations with Disjunctive Cuts for Two-Stage Stochastic Mixed 0-1 Integer Programs
Adaptive piecewise linear relaxations for enclosure computations for nonconvex multiobjective mixed-integer quadratically constrained programs
Persistent Computations
Improving lazy non-deterministic computations by demand analysis
Logic and computations
Atomic Cascade Computations
Intégrer
Advanced turbulent flow computations
Complexity of pushdown computations
Computations in higher types