Diplomarbeit aus dem Jahr 2007 im Fachbereich Informatik - Theoretische Informatik, Note: 1, Technische Universität Darmstadt, Sprache: Deutsch, Abstract: Diese Arbeit baut auf einem Programm auf, das einen analogen Schaltkreis in das entsprechende VHDL-Modell zur späteren formalen Verifikation überführt. Das Programm wurde an der Technischen Universität in Darmstadt im Fachbereich Rechnersysteme entwickelt und ist durch die Erfolge dieser Arbeit letztendlich einsatzbereit.
Parametrische 3D-CAD-Programme sind heute das zentrale Werkzeug im Entwicklungs- und Konstruktionsprozess. Das CAD-System Pro/ENGINEER hat in der Industrie weite Verbreitung gefunden. Die neue…
Parametrische 3D-CAD-Programme sind heute das zentrale Werkzeug im Entwicklungs- und Konstruktionsprozess. Das CAD-System Pro/ENGINEER hat in der Industrie weite Verbreitung gefunden. Die neue…
Der Citrix MetaFrame Presentation Server ist unangefochtener Marktführer unter den Terminalservern für Windows-Systeme. Unternehmen setzen ihn ein, um die Systemverwaltung von Windows-Netzwerken…
Der Citrix MetaFrame Presentation Server ist unangefochtener Marktführer unter den Terminalservern für Windows-Systeme. Unternehmen setzen ihn ein, um die Systemverwaltung von Windows-Netzwerken…
Home Networking - das bedeutet die Verbindung der unterschiedlichsten im Haushalt vorhandenen elektronischen Geräte, sei es per Kabel oder drahtlos per Funk. Das beginnt meist mit der Vernetzung von…
Fahrerassistenzsysteme unterstützen den Fahrer in seiner Fahraufgabe und entlasten ihn dadurch gezielt. Viele Experten erwarten, dass Fahrerassistenzsysteme zur Sicherheit des Straßenverkehrs…
Fahrerassistenzsysteme unterstützen den Fahrer in seiner Fahraufgabe und entlasten ihn dadurch gezielt. Viele Experten erwarten, dass Fahrerassistenzsysteme zur Sicherheit des Straßenverkehrs…
Fahrerassistenzsysteme unterstützen den Fahrer in seiner Fahraufgabe und entlasten ihn dadurch gezielt. Viele Experten erwarten, dass Fahrerassistenzsysteme zur Sicherheit des Straßenverkehrs…
Fahrerassistenzsysteme unterstützen den Fahrer in seiner Fahraufgabe und entlasten ihn dadurch gezielt. Viele Experten erwarten, dass Fahrerassistenzsysteme zur Sicherheit des Straßenverkehrs…
Fahrerassistenzsysteme unterstützen den Fahrer in seiner Fahraufgabe und entlasten ihn dadurch gezielt. Viele Experten erwarten, dass Fahrerassistenzsysteme zur Sicherheit des Straßenverkehrs…
ARCH+ ist eine unabhängige, konzeptuelle Zeitschrift für Architektur und Urbanismus. Der Name ist zugleich Programm: mehr als Architektur. Jedes vierteljährlich erscheinende Heft beleuchtet ...
Medizin und Gesundheit Aktuell zu Konzepten, Forschung, Therapie, Diagnostik und Klinik
Seit April 1991 erscheint regelmäßig eine monatliche Fachzeitschrift für den jungen niedergelassenen ...
»Berufsstart Gehalt« erscheint jährlich zum Sommersemester im Mai mit einer Auflage von 50.000 Exemplaren und ermöglicht Unternehmen sich bei Studenten und Absolventen mit einer ...
Freizeit- und Gastronomieführer mit umfangreichem Serviceteil, mehr als 700 Tipps und Adressen für Tag- und Nachtschwärmer
Bielefeld genießen Westfälisch und weltoffen – das zeichnet nicht ...
Zeitschrift für Banking - die führende Fachzeitschrift für den Markt und Wettbewerb der Finanzdienstleister, erscheint seit 1972 monatlich.
Leitthemen
Absatz und Akquise im Multichannel ...
Unter dem Motto „DRIVEN" steht das BMW Magazin für Antrieb, Leidenschaft und Energie − und die Haltung, im Leben niemals stehen zu bleiben.Das Kundenmagazin der BMW AG inszeniert die neuesten ...
Card Forum International, Magazine for Card Technologies and Applications, is a leading source for information in the field of card-based payment systems, related technologies, and required reading ...
Card-Forum ist das marktführende Magazin im Themenbereich der kartengestützten Systeme für Zahlung und Identifikation, Telekommunikation und Kundenbindung sowie der damit verwandten und ...
Die COMPUTERWOCHE berichtet schnell und detailliert über alle Belange der Informations- und Kommunikationstechnik in Unternehmen – über Trends, neue Technologien, Produkte und Märkte. IT-Manager ...
Vom Deutschen Patent- und Markenamt erteilte Patente. Bibliographie, Patentanspruch, wichtigste Zeichnung.
Thomson Reuters is the world’s leading source of intelligent information for businesses ...