Engels

Arabisch Catalaans Chinees Deens Duits Engels Frans Grieks Hebreeuws Hindi Hongaars Italiaans Japans Koreaans Nederlands Oekraïens Perzisch Pools Portugees Roemeens Russisch Slowaaks Spaans Thai Tsjechisch Turks Vietnamees Zweeds

Duits

Definitie Arabisch Catalaans Chinees Deens Duits Engels Frans Grieks Hebreeuws Hindi Hongaars Italiaans Japans Koreaans Nederlands Oekraïens Perzisch Pools Portugees Roemeens Russisch Slowaaks Spaans Thai Tsjechisch Turks Vietnamees Zweeds

Favorieten

Publiciteit

fixed-parameter model-checking algorithms

Examples with "fixed-parameter model-checking algorithms" 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.

Gaifman normal form serves as a first step in fixed-parameter model-checking algorithms, parameterised by the size of the formula, on sparse graph classes.

Sie haben eine wichtige Rolle in Model-Checking Algorithmen für Klassen dünn besetzter Graphen, deren Laufzeit durch die Größe der auszuwertenden Formel parametrisiert ist.

Andere resultaten

Notice that we don't mean to propose a faster model checking algorithm.

Es ist dabei nicht das Ziel, einen schnelleren Model Checking Algorithmus vorzulegen.

Er zijn geen resultaten gevonden voor deze term.

Woord & uitdrukking van de dag

tacky

let off steam

Afbeelding van de dag

Ontdek het woord

hand fan

Publiciteit

Meer functies met onze gratis app

Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes

Resultaten: 2. Exact: 1. Verstreken tijd: 38 ms.