Beispiele für die Verwendung von "algebraic data type" im Englischen

<>
An affine algebraic group over a field k is a representable covariant functor from the category of commutative algebras over k to the category of groups such that the representing algebra is finitely generated. Eine affine algebraische Gruppe über einem Körper k ist ein darstellbarer kovarianter Funktor von der Kategorie der kommutativen Algebren über k in die Kategorie der Gruppen derart, dass die darstellende Algebra endlich erzeugt ist.
This data isn't accurate at all. Diese Daten sind überhaupt nicht genau.
I can type 50 words a minute. Ich kann 50 Wörter pro Minute tippen.
This data is incorrect. Diese Daten sind falsch.
They started to sell a new type of car in Tokyo. Sie begannen einen neuen Autotyp in Tokio zu verkaufen.
We have new data about production and sale of electric fly swatters worldwide. Wir haben neue Daten über Produktion und Verkauf von elektrischen Fliegenklatschen weltweit.
He is my type! Er ist mein Typ!
The data suggest that the optimum length of a lecture may be 30 instead of 60 minutes. Die Sachverhalte deuten an, dass die optimale Dauer einer Vorlesung 30 statt 60 Minuten wäre.
This is not my type. Er ist nicht mein Typ.
You are not the owner of this save data. You will not be able to save your progression. Trophies will be disabled. Du bist nicht der Besitzer dieser Speicherdaten. Du kannst deine Fortschritte nicht speichern. Die Trophäen werden deaktiviert.
I used to type my letters, but now I use a word processor. Früher habe ich meine Briefe mit der Schreibmaschine getippt; jetzt benutze ich eine Textverarbeitung dafür.
There is always the risk of losing all the data on your hard disk. Es besteht immer das Risiko, dass sämtliche Daten auf der Festplatte verloren gehen.
I'm opposed to any type of war. Ich bin gegen jede Art von Krieg.
- Correct mistaken/missing characters in the text data. Korrigieren Sie falsche / fehlende Buchstaben in den Textdaten.
Who buys this type of art? Wer kauft diese Art von Kunst?
A cost-effective way to explore the Solar System was to send thousands of robotic probes to scour celestial bodies for data. Eine kostengünstige Art der Erforschung des Sonnensystems bestand darin, Tausende Robotersonden loszuschicken, damit diese von den Himmelskörpern Daten sammelten.
I don't like this type of house. Ich mag diese Art Haus nicht.
But you know, it would be sad to collect all these sentences, and keep them for ourselves. Because there's so much you can do with them. Which is why Tatoeba is open. Our source code is open. Our data is open. Aber es wäre doch schade, all diese Sätze zu sammeln, um sie dann nur für uns zu behalten. Denn es gibt so viel, was man damit machen kann. Darum ist Tatoeba offen. Unser Quellcode ist offen. Unsere Daten sind offen.
A haiku is one type of poem. Ein Haiku ist eine Gedichtform.
The saved game appears to be damaged and cannot be used. Please quit the game and then restart after removing the save data. Der Spielstand scheint beschädigt zu sein und kann nicht benutzt werden. Verlasse das Spiel, lösche den Spielstand und starte das Spiel erneut.
Beispiele für den Wortgebrauch in verschiedenen Kontexten werden ausschließlich zu linguistischen Zwecken bereitgestellt, d. h. um den Wortgebrauch in einer Sprache und Varianten ihrer Übersetzung in eine andere zu untersuchen. Alle Beispiele werden automatisch aus offenen Quellen mit Hilfe einer zweisprachigen Suchtechnologie gesammelt. Wenn Sie einen Rechtschreib-, Zeichensetzungs- oder anderen Fehler im Original oder in der Übersetzung finden, nutzen Sie die Option „Problem melden“ oder schreiben Sie uns.

In diesem Abschnitt können Sie anhand professioneller Übersetzungen sehen, wie einzelne Wörter und Ausdrücke in verschiedenen Kontexten verwendet werden. Kontexte helfen Ihnen, Englisch, Deutsch, Französisch, Spanisch und andere Sprachen zu lernen. Hier finden Sie Beispiele mit Phrasal verbs im Englischen, idiomatischen Ausdrücken und mehrdeutigen Wörtern in einer Vielzahl von Stilen und Themen. Die Beispiele können nach Übersetzung und Themen sortiert werden, und anhand der gefundenen Beispiele kann eine Verfeinerungssuche durchgeführt werden.

Lernen Sie Fremdsprachen und prüfen Sie Verwendung von Wörtern an realen zweisprachigen Beispielen.