Examples with "Algorithmik am" and their translation in Engels
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.
Das Radarsystem in der Messkammer: Die Hardware entstand an der RUB, die Algorithmik am KIT.
The radar system in the measurement chamber: The hardware was developed by RUB, algorithmics by KIT.
TOP Verifikation 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).
TOP Verification The research group Verification meets Algorithm at the Institute for Theoretical Informatics deals with quality assurance processes (verification) for hard- and software including the related fundamental field of research (algorithmics).
Andere resultaten
Seit Oktober 2017 bin ich Mitglied der Arbeitsgruppe Algorithmik I am Institut für Theoretische Informatik.
Since October 2017 I am a member of the work group Algorithmics I at the Institute of Theoretical Informatics.
Promoviert habe ich von 2004 bis 2007 an der Universität Konstanz am Lehrstuhl Algorithmik von Ulrik Brandes als Doktorand im Rahmen dieses Graduiertenkollegs.
From 2004 to 2007 I was a Ph.D. student at University of Konstanz as a member of the Algorithmics group of Ulrik Brandes and within the departmental Graduiertenkolleg.
Dr. Carsten Sinz und Florian Merz entwickeln in der Forschungsgruppe „Verifikation trifft Algorithmik" am Institut für Theoretische Informatik des KIT das Statische-Analyse-Werkzeug LLBMC (Softwarequalitätsprüfung.
Dr. Carsten Sinz and Florian Merz work in the group "Verification Meets Algorithmics" at the KIT Institute of Theoretical Informatics and develop the static analysis tool LLBMC (Low-level Bounded Model Checker) for automatic software quality checks.
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).
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 Studierenden vertiefen ihr Wissen auf dem Gebiet der Algorithmik.
Students extend and deepen their knowledge in the area of algorithms.
Keine Vorbedingung, aber dennoch sehr nützlich, sind Grundkenntnisse in Algorithmik.
Basic knowledge in algorithmics is not a precondition but nevertheless very useful.
Diese Sichtweise der Algorithmik wird auch als Algorithm Engineering bezeichnet.
This view of algorithmics is also known as algorithm engineering.
Algebra schöpft ihre Methoden aus dem Wechselspiel zwischen Theorie, Algorithmik und Experiment.
Algebra draws its methodology from an interaction between theory, algorithmics and experimentation.
Diese Spezialisten bedürfen genauster Kenntnisse der aktuellen Forschungsergebnisse der Algorithmik.
These specialists require most exact knowledge of the current algorithmic research results.
In dieser Veranstaltung wird ein vertiefter Einblick in die Welt der Algorithmik gegeben.
This lecture gives a more detailed insight into the world of algorithmics.
Unsere Algorithmik-Spezialisten sind Informatiker und Mathematiker mit zusätzlichen akademischen Auszeichnungen.
Our specialists in algorithms are computer scientists and mathematicians with additional academic honors.
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.
