德语 » 英语

词条„labelled“在德语 » 英语中的译文 (跳至 英语 » 德语)

互联网提供的例句(未经PONS编辑处理)

, erklärt Ramon Duivenvoorden, CEO von Vigour.

"Mit Vigour Video bieten wir unser erstes Produkt als white-labelled Template für Mediananbieter an, die ihren Nutzern die Möglichkeit schaffen wollen, ihre vorhandenen Endgeräte nahtlos in eine Video-Anwendung zu integrieren.

www.telekom.com

Using that technology, we are creating revolutionary products and user experiences ”, explains Ramon Duivenvoorden, CEO of Vigour.

“ With Vigour Video we launch our first product as a white-labelled template for media companies that want to give their viewers the ability to seamlessly connect different devices into a unified video experience. ”

www.telekom.com

Greentube bietet schlüsselfertige Skill Gaming Lösungen für Internet, mobile Endgeräte und iTV, mit denen unsere Partner ab dem ersten User Geld verdienen.

Unsere White-Labelled-Solution ermöglicht es Greentube, Spieleportale für Kunden problemlos im gewünschtem „Look & Feel“ darzustellen.

www.greentube.com

Greentube offers ready-to-use Skill Gaming solutions for the Internet, mobile devices and iTV, which enable our partners to earn money starting with the first user.

Our White Label solution enables us to generate gaming portals that fit the client’s desired „look & feel“.

www.greentube.com

Obwohl diese heterogenen Sprachen mehr Prägnanz beim Spezifizieren versprechen und von modernen, Verfeinerungs basierten Ansätzen des Software Entwurfs begleitet werden, fehlt ihnen jeweils eine mathematisch robuste Semantik, die auch die Nebenläufigkeitsaspekte reaktiver Systeme berücksichtigt.

Unsere Forschung soll diese Unzulänglichkeiten mittels Techniken der Logic Labelled Transition Systems ( Logic LTS ), die an dem Bamberger Lehrstuhl Softwaretechnik und Programmiersprachen mitentwickelt worden sind, beheben.

www.uni-bamberg.de

While these heterogeneous languages promise more concise specifications and are accompanied by modern refinement-based approaches to software design, they lack mathematically robust semantics that respect the concurrency inherent in reactive systems.

Our research applies the setting of Logic Labelled Transition Systems ( Logic LTS ), which was co-developed by Bamberg s Software Technologies Research Group, to fix this shortcoming.

www.uni-bamberg.de

是否要添加一些单词、短语或翻译?

请发送新条目。

语言 Deutsch | Български | Ελληνικά | English | Español | Français | Italiano | Polski | Português | Русский | Slovenščina | Srpski | Türkçe | 中文