Examples with "Research Group of Algorithm Engineering" and their translation in Duits
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.
The Research Group of Algorithm Engineering, led by Prof. Tobias Friedrich, deals with the theoretical foundation of computer science.
Wissenschaftliche Algorithm Engineering, welches von Prof. Dr. Tobias Friedrich geleitet wird, beschäftigt sich mit den theoretischen Grundlagen der Informatik.
Andere resultaten
In close cooperation with scientific groups SimLabs also pursue research study in field of computer driven simulations of phenomenas in natural and engineering sciences developing corresponding algorithms and tools for that.
The research group "Verification meets Algorithm Engineering" at the Institute for Theoretical Computer Science deals with new methods and algorithm design for the verification of hardware and software.
Die Forschungsgruppe "Verifikation trifft Algorithmik" am Institut für Theoretische Informatik befasst sich mit Verfahren zur Qualitätssicherung (Verifkation) von Hard- und Software einschließlich der zugehörigen Grundlagenforschung (Algorithmik).
Presentation and scientific visit at HPI of the algorithm engineering research group of Prof. Dr. Tobias Friedrich, June 2016 in Potsdam (Germany)
Präsentation und wissenschaftlicher Besuch des HPI im Bereich Algorithm Engineering von Prof. Dr. Tobias Friedrich, Juni 2016 in Potsdam (Deutschland)
The research group headed by Cox develops algorithms to meet these complex requirements.
Das Team um Cox entwickelt Algorithmen, die dieser Vielschichtigkeit gerecht werden.
Her research on new algorithms combines engineering sciences, informatics and mathematics.
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.