- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Bibliographic citation
-
Reihe CI ; 247-08
- Classification
-
Mathematik
Informatik
- Event
-
Veröffentlichung
- (where)
-
Dortmund
- (who)
-
Universitätsbibliothek Dortmund
- (when)
-
2008
- Creator
-
Oliveto, Pietro S.
Witt, Carsten
- Handle
-
2003/26154
- URN
-
urn:nbn:de:101:1-201606152849
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:44 PM CET
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Oliveto, Pietro S.
- Witt, Carsten
- Universitätsbibliothek Dortmund
Time of origin
- 2008
Other Objects (12)
Proving bounds for real linear programs in Isabelle, HOL : (extended abstract)
Proving Non-Termination and Lower Runtime Bounds with LoAT (System Description)
Visual Proving
Upper Bounds for the Maximum of a Random Walk with Negative Drift
Automated theorem proving
Automated theorem proving
Computation of wave drift forces for dynamic positioning within the early ship design
Computation of wave drift forces for dynamic positioning within the early ship design
Arbitrage pricing simplified
German verbs simplified
Cyclopaedic Science Simplified
drift
Proving bounds for real linear programs in Isabelle, HOL : (extended abstract)
Proving Non-Termination and Lower Runtime Bounds with LoAT (System Description)
Visual Proving
Upper Bounds for the Maximum of a Random Walk with Negative Drift
Automated theorem proving
Automated theorem proving
Computation of wave drift forces for dynamic positioning within the early ship design
Computation of wave drift forces for dynamic positioning within the early ship design
Arbitrage pricing simplified
German verbs simplified
Cyclopaedic Science Simplified
drift
Proving bounds for real linear programs in Isabelle, HOL : (extended abstract)
Proving Non-Termination and Lower Runtime Bounds with LoAT (System Description)
Visual Proving
Upper Bounds for the Maximum of a Random Walk with Negative Drift
Automated theorem proving
Automated theorem proving
Computation of wave drift forces for dynamic positioning within the early ship design
Computation of wave drift forces for dynamic positioning within the early ship design
Arbitrage pricing simplified
German verbs simplified
Cyclopaedic Science Simplified