Vertaling van "Institute for Theoretical Computer Science" 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.
Institut für Theoretische Informatik
Since 2003 she has held a chair at the University of Karlsruhe Institute for Theoretical Computer Science and has been head of the algorithmics research group there.
Seit 2003 ist sie Lehrstuhlinhaberin am Institut für Theoretische Informatik der Universität Karlsruhe und Leiterin des dortigen Forschungsbereichs Algorithmik.
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).
A team of researchers lead by Professor Peter Sanders from the Institute for Theoretical Computer Science has now taken the lead in two categories of SortBenchmark.
Ein Forscherteam um Professor Peter Sanders am Institut für Theoretische Informatik hat sich nun in zwei Kategorien des SortBenchmark gegen die Konkurrenz durchgesetzt.
I studied Computer Science in Karlsruhe before finishing my PhD there, at the Institute for Theoretical Computer Science at the Karlsruhe Institute of Technology.
In Karlsruhe habe ich zunächst Informatik studiert und mich dann am Institut für Theoretische Informatik des Karlsruher Instituts für Technologie promoviert.
Robert Legenstein is also conducting research on neuronal processes at the Institute for Theoretical Computer Science (IGI).
Robert Legenstein arbeitet ebenfalls am Institut für Grundlagen der Informationsverarbeitung an der Erforschung neuronaler Prozesse.
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.