Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 2 of 2 for “"Berechenbarkeit"”.
-
Stabilitätsuntersuchungen an Asteroidenbahnen in ausgewählten Bahnresonanzen des Edgeworth-Kuiper-Gürtels
… Arbeit bildet die Untersuchung der numerischen Berechenbarkeit der Lyapunov-Zeit von Asteroidenbahnen. Ausgehend von einer allgemeinen Beschreibung der bei numerischen Berechnungen auftretenden Rundungs- und Diskretisierungsfehler wird deren Wachstum bei numerischen Integrationen ermittelt. …
-
Abstract state machines: verification problems and computational power
Abstract State Machines (ASMs) provide the basis of a a formal method combining advantages of informal methods (understandability, executability) and advantages of formal methods (precision and applicability of mathematical methods and results). Applications of this method motivate numerous …