- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
Wuppertal, Univ., Diss., 2007
- Urheber
- URN
-
urn:nbn:de:hbz:468-20070700
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
14.08.2025, 11:00 MESZ
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
Ähnliche Objekte (12)
On the Solution of Interval Linear Systems
verifiedSCION: Verified Secure Routing
Interval-Valued Linear Model
Verified solution of finite element models with uncertain node locations
Verified linear programming in control system analysis and design
Non-linear parametric optimization
Parametric Linear Complementarity Problems
A verified compiler for a linear imperative / functional intermediate language
Regression models for interval censored data using parametric pseudo-observations
Adaptive use of extended systems for the efficient verified solution of nonlinear systems
FM8501 : a verified microprocessor
Verified Java bytecode verification
On the Solution of Interval Linear Systems
verifiedSCION: Verified Secure Routing
Interval-Valued Linear Model
Verified solution of finite element models with uncertain node locations
Verified linear programming in control system analysis and design
Non-linear parametric optimization
Parametric Linear Complementarity Problems
A verified compiler for a linear imperative / functional intermediate language
Regression models for interval censored data using parametric pseudo-observations
Adaptive use of extended systems for the efficient verified solution of nonlinear systems
FM8501 : a verified microprocessor
Verified Java bytecode verification
On the Solution of Interval Linear Systems
verifiedSCION: Verified Secure Routing
Interval-Valued Linear Model
Verified solution of finite element models with uncertain node locations
Verified linear programming in control system analysis and design
Non-linear parametric optimization
Parametric Linear Complementarity Problems
A verified compiler for a linear imperative / functional intermediate language
Regression models for interval censored data using parametric pseudo-observations
Adaptive use of extended systems for the efficient verified solution of nonlinear systems
FM8501 : a verified microprocessor