Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
HOL
Definitie
Vertaling van "HOL" in Duits
Definitie NEW
Academic and industrial sites world-wide are using HOL.
Weltweit arbeiten akademische und industrielle Einrichtungen mit HOL.
The HOL has been refreshed.
Der angeforderte Inhalt wurde entfernt.
When a given egress exceeds a cell capacity threshold, an HOL (head of line) blocking exists.
Wenn ein gegebener Ausgang einen Zellenkapazitätsschwellwert überschreitet, existiert eine HOL-(Leitungskopfl-Blockierung.
Our main contributions are an extensible encoding of object-oriented data structures in HOL, a datatype package for object-oriented specifications, and the development of several equational and tableaux calculi for object-oriented specifications.
Die Hauptbeiträge dieser Arbeit sind die Entwicklung einer erweiterbaren Kodierung objektorientierter Datenstrukturen in HOL, ein Datentyp-Paket für objektorientierte Spezifikationen und die Entwicklung verschiedener Kalküle für objektorientierte Spezifikationen.
Topic In this seminar, we discuss theoretical and practical aspects of interactive and automated theorem proving in classical higher-order logic (HOL).
In diesem Seminar werden sowohl theoretische Grundlagen als auch aktuelle Techniken zur Realisation von interaktiven und automatischen Theorembeweisern für klassische Logik höherer Stufe (HOL) diskutiert.
Another register also specifies the priority queuing algorithm, including a strict priority mode, a weighted round-robin mode and a deficit round There are also register provided that store the priority ratings for the service classes and the respective HOL blocking limit.
Ein anderes Register spezifiziert auch den Prioritätswarteschlangenbildungsalgorithmus, einschließlich eines robin mode. Es sind auch Register vorgesehen, die die Prioritätswertungen für die Dienstklassen und das jeweilige HOL-Blockierungslimit speichern.
Sat, Sun and HOL, approaches without restrictions; on these days, glider operations north and south of the ft.
Sat, Sun und HOL Anflug ohne Einschränkungen; an diesen Tagen Segelflugbetrieb nördlich und südlich der RWY.
From the simple and elegant ISALA coffee table to the quirky yet practical HOL range that offers plenty of storage, we've got the table for all tastes and budgets.
Die Auswahl reicht vom schlicht-eleganten ISALA Couchtisch bis zum interessanten HOL Sortiment mit viel Platz zum Aufbewahren.
Robin: I'm working with my husband on the new HOL CD.
Robin: Ich arbeite mit meinem Mann an der neuen House Of Lords-CD.
In 2000, we acquired the HOL 080 CNC bending press-brake.
Im Jahr 2000 wurde eine neue Abkantpresse HOL 080 CNC angeschafft.
Sat, Sun and HOL approach without restrictions.
Sat, Sun und HOL Anflug ohne Einschränkungen.
Not only does the program contain your own information, but also features a holiday database supporting the MS Outlook HOL format.
Darüber hinaus bietet euch das Programm eine Feiertagedatenbank, die MS Outlook HOL Format unterstützt.
Hall of Light (HOL) has been updated, this website has all information about the games released on the Amiga's.
Der Hall of Light (HOL) Website ist aktualisiert worden. Diese Website hat die ganze Information über die auf dem Amiga veröffentlichten Spiele.
Synoniemen voor HOL in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Suggesties
Resultaten: 315. Exact: 315. Verstreken tijd: 42 ms.
