We konden deze vermelding niet vinden. Er worden benaderende resultaten weergegeven. Controleer je spelling of stel voor deze term aan het woordenboek toe te voegen.
programs automatically
Diese Verknüpfung minimiert Risiken, da alle Daten in verschiedenen Programmen automatisch miteinander "sprechen".
This exchange minimizes risk, because all the data in different programs automatically "talk" to each other.
In dem Seminar werden verschiedene Techniken und Tools vorgestellt, um die Terminierung von Programmen automatisch zu untersuchen. Hierbei betrachten wir unterschiedliche Arten von Programmiersprachen (z.B. Termersetzungssysteme, logische, funktionale, und imperative Programmiersprachen).
In the seminar, we present techniques and tools to prove termination of programs automatically, where we focus on different types of programming languages (e.g., term rewrite systems, logic, functional, and imperative programming languages).
Damit dem Mac OS X irgendwelche Schriften direkt beim Programmstart bekannt sind und Sie sie in allen Programmen automatisch mitbenutzen können, müssen diese Schriften auf der Festplatte, von der aus das Mac OS X startet, in bestimmten Verzeichnissen sein.
In order to let Mac OS X know any fonts directly after booting and let you use these fonts in all programs automatically, these fonts have to be placed in distinct locations on the hard drive from which Mac OS X boots.
Es wird gezeigt, wie solche Induktionsbeweise zur Verifikation von Programmen in einer einfachen funktionalen Programmiersprache automatisch durchgeführt werden können und es wird darauf eingegangen, wie auch die Terminierung von Programmen automatisch gezeigt werden kann.
Hence, we will introduce techniques to mechanize induction proofs for the verification of programs in a simple functional language. Moreover, we will also present methods to prove the termination of programs automatically. Sprache
Desweiteren wird der mime-Typ von den meisten Programmen automatisch richtig zugeordnet.
Alle statisch relevanten Daten wie spezielle Beiwerte, die Definition spezieller Laststellungen oder die Festlegung von Kombinationslastfällen werden im Normalfall von den Programmen automatisch ermittelt.
All relevant data like coefficients, the special definition of load positions or combinations of loading conditions normally are automatically calculated.
Sachgebiete: Abhängigkeit von der Topographie und der Anzahl der Fahrgäste wählt das Schaltprogramm aus fünf vorhandenen Programmen automatisch das Beste aus. DE
In response to the topography and the number of passengers, the shift program automatically selects the best choice from the five available programs.
Es wird gezeigt, wie Induktionsbeweise zur Verifikation von Programmen in einer einfachen funktionalen Programmiersprache automatisch durchgeführt werden können und es wird darauf eingegangen, wie auch die Terminierung von Programmen automatisch gezeigt werden kann.
The essential proof technique required to handle programs with loops or recursion is induction. Hence, we introduce techniques to mechanize induction proofs for the verification of programs in a simple functional language.
Die im Fibu-Stamm hinterlegten Stammdaten werden bei den betreffenden Programmen automatisch ermittelt.
The master files defined in the FNA master files are automatically determined in the programs concerned.
Potentieel gevoelige of ongepaste informatie
Er worden alleen voorbeelden gegeven om u te helpen het woord of de woordcombinatie waarop u hebt gezocht, te vertalen. Deze worden niet door ons geselecteerd of gevalideerd en kunnen ongepaste taal bevatten. Wij vragen u melding te maken van voorbeelden die dienen te worden aangepast of verwijderd. Vertalingen met grof of informeel taalgebruik worden meestal rood of oranje gemarkeerd.
