. .
Deutsch
Deutschland
Ähnliche Bücher
Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Buch verkaufen
Anbieter, die das Buch mit der ISBN 9783656997764 ankaufen:
Suchtools
Anmelden

Anmelden mit Facebook:

Registrieren
Passwort vergessen?


Such-Historie
Merkliste
Links zu eurobuch.de

Dieses Buch teilen auf…
Buchtipps
Aktuelles
Tipp von eurobuch.de
Werbung
FILTER
- 0 Ergebnisse
Kleinster Preis: 24,99 €, größter Preis: 30,13 €, Mittelwert: 26,89 €
Erweiterung Der Simulation Um Die Formale Verifikation Von Schaltungen Mit Analogen Und Gemischt Analog-Digitalen Eingangssignalen (German Edition) - Christoph Holzbaur
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Christoph Holzbaur:
Erweiterung Der Simulation Um Die Formale Verifikation Von Schaltungen Mit Analogen Und Gemischt Analog-Digitalen Eingangssignalen (German Edition) - Taschenbuch

2006, ISBN: 3656997764

Paperback, [EAN: 9783656997764], GRIN Verlag, GRIN Verlag, Book, [PU: GRIN Verlag], GRIN Verlag, Studienarbeit aus dem Jahr 2006 im Fachbereich Elektrotechnik, Note: 1, Technische Universität Darmstadt, Sprache: Deutsch, Abstract: In der digitalen Welt ist die Formale Verifikation von Schaltungen sehr verbreitet und wird mit Erfolg eingesetzt. Die Verifikation von nichtlinearen, analogen Schaltungen hingegen ist noch neu. In Schaltkreisen mit digitalen wie auch analogen Teilen entstehen im analogen Anteil ungefähr 50% der Fehler, die zu einer Neuimplementierung führen. Daher ist es von großem Interesse den analogen Teil ebenfalls verifizieren zu können. Dieser Text entstand im Zuge einer Studienarbeit im Bereich Rechnersysteme an der Technischen Universität in Darmstadt. Die Motivation dieser Arbeit ist es, einen bereits bestehenden Ansatz zur Verifikation von analogen Schaltungen unter Verwendung des Model-Checking-Verfahrens zu vervollständigen und effizienter zu gestalten. Dieser verwendete Ansatz von Scholz und Ehrenfried basiert auf der Arbeit von Hartong. Im Zuge der Arbeit wurde weiterhin untersucht, inwiefern sich der verwendete Ansatz um die Möglichkeit der Verifikation von analogen Schaltungen mit verschiedenen Arten von Eingangssignalen erweitern lässt., 227544, Electrical & Electronics, 13698, Circuits, 227545, Digital Design, 226994, Electric Machinery & Motors, 13707, Electronics, 13709, Fiber Optics, 3747, Networks, 13731, Superconductivity, 173515, Engineering, 173507, Engineering & Transportation, 1000, Subjects, 283155, Books, 465600, New, Used & Rental Textbooks, 468220, Business & Finance, 468226, Communication & Journalism, 468204, Computer Science, 468224, Education, 468212, Engineering, 468206, Humanities, 468222, Law, 468228, Medicine & Health Sciences, 684283011, Reference, 468216, Science & Mathematics, 468214, Social Sciences, 684300011, Test Prep & Study Guides, 2349030011, Specialty Boutique, 283155, Books

Neues Buch Amazon.com
Book Depository US
Neuware Versandkosten:Usually ships in 1-2 business days, zzgl. Versandkosten
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Erweiterung der Simulation um die formale Verifikation von Schaltungen mit analogen und gemischt analog-digitalen Eingangssignalen - Christoph Holzbaur
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Christoph Holzbaur:
Erweiterung der Simulation um die formale Verifikation von Schaltungen mit analogen und gemischt analog-digitalen Eingangssignalen - neues Buch

2013, ISBN: 9783656997764

ID: 118612908

Studienarbeit aus dem Jahr 2006 im Fachbereich Elektrotechnik, Note: 1, Technische Universität Darmstadt, Sprache: Deutsch, Abstract: In der digitalen Welt ist die Formale Verifikation von Schaltungen sehr verbreitet und wird mit Erfolg eingesetzt. Die Verifikation von nichtlinearen, analogen Schaltungen hingegen ist noch neu. In Schaltkreisen mit digitalen wie auch analogen Teilen entstehen im analogen Anteil ungefähr 50% der Fehler, die zu einer Neuimplementierung führen. Daher ist es von grossem Interesse den analogen Teil ebenfalls verifizieren zu können.Dieser Text entstand im Zuge einer Studienarbeit im Bereich Rechnersysteme an der Technischen Universität in Darmstadt. Die Motivation dieser Arbeit ist es, einen bereits bestehenden Ansatz zur Verifikation von analogen Schaltungen unter Verwendung des Model-Checking-Verfahrens zu vervollständigen und effizienter zu gestalten. Dieser verwendete Ansatz von Scholz und Ehrenfried basiert auf der Arbeit von Hartong.Im Zuge der Arbeit wurde weiterhin untersucht, inwiefern sich der verwendete Ansatz um die Möglichkeit der Verifikation von analogen Schaltungen mit verschiedenen Arten von Eingangssignalen erweitern lässt. Erweiterung der Simulation um die formale Verifikation von Schaltungen mit analogen und gemischt analog-digitalen Eingangssignalen Bücher > Sachbücher > Naturwissenschaften & Technik > Ingenieurwissenschaft & Technik > Elektro- & Nachrichtentechnik Taschenbuch 04.09.2013 Buch (dtsch.), Examicus Verlag, .201

Neues Buch Buch.ch
No. 32473515 Versandkosten:zzgl. Versandkosten
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Erweiterung der Simulation um die formale Verifikation von Schaltungen mit analogen und gemischt analog-digitalen Eingangssignalen - Christoph Holzbaur
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Christoph Holzbaur:
Erweiterung der Simulation um die formale Verifikation von Schaltungen mit analogen und gemischt analog-digitalen Eingangssignalen - neues Buch

2006, ISBN: 9783656997764

ID: d1bdcf6ccdc51ac0dc96e370efeef619

Erweiterung der Simulation um die formale Verifikation von Schaltungen mit analogen und gemischt analog-digitalen Eingangssignalen Studienarbeit aus dem Jahr 2006 im Fachbereich Elektrotechnik, Note: 1, Technische Universität Darmstadt, Sprache: Deutsch, Abstract: In der digitalen Welt ist die Formale Verifikation von Schaltungen sehr verbreitet und wird mit Erfolg eingesetzt. Die Verifikation von nichtlinearen, analogen Schaltungen hingegen ist noch neu. In Schaltkreisen mit digitalen wie auch analogen Teilen entstehen im analogen Anteil ungefähr 50% der Fehler, die zu einer Neuimplementierung führen. Daher ist es von großem Interesse den analogen Teil ebenfalls verifizieren zu können.Dieser Text entstand im Zuge einer Studienarbeit im Bereich Rechnersysteme an der Technischen Universität in Darmstadt. Die Motivation dieser Arbeit ist es, einen bereits bestehenden Ansatz zur Verifikation von analogen Schaltungen unter Verwendung des Model-Checking-Verfahrens zu vervollständigen und effizienter zu gestalten. Dieser verwendete Ansatz von Scholz und Ehrenfried basiert auf der Arbeit von Hartong.Im Zuge der Arbeit wurde weiterhin untersucht, inwiefern sich der verwendete Ansatz um die Möglichkeit der Verifikation von analogen Schaltungen mit verschiedenen Arten von Eingangssignalen erweitern lässt. Bücher / Sachbücher / Naturwissenschaften & Technik / Ingenieurwissenschaft & Technik / Elektro- & Nachrichtentechnik 978-3-656-99776-4, Examicus Verlag

Neues Buch Buch.de
Nr. 32473515 Versandkosten:Bücher und alle Bestellungen die ein Buch enthalten sind versandkostenfrei, sonstige Bestellungen innerhalb Deutschland EUR 3,-, ab EUR 20,- kostenlos, Bürobedarf EUR 4,50, kostenlos ab EUR 45,-, Versandfertig in 5 - 7 Tagen, DE. (EUR 0.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Erweiterung der Simulation um die formale Verifikation von Schaltungen mit analogen und gemischt analog-digitalen Eingangssignalen als Buch von Ch... - Christoph Holzbaur
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Christoph Holzbaur:
Erweiterung der Simulation um die formale Verifikation von Schaltungen mit analogen und gemischt analog-digitalen Eingangssignalen als Buch von Ch... - gebunden oder broschiert

ISBN: 9783656997764

ID: 269309720

Erweiterung der Simulation um die formale Verifikation von Schaltungen mit analogen und gemischt analog-digitalen Eingangssignalen:1. Auflage. Christoph Holzbaur Erweiterung der Simulation um die formale Verifikation von Schaltungen mit analogen und gemischt analog-digitalen Eingangssignalen:1. Auflage. Christoph Holzbaur Bücher > Wissenschaft > Technik, Examicus Publishing

Neues Buch Hugendubel.de
No. 19276118 Versandkosten:, , DE (EUR 0.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Erweiterung Der Simulation Um Die Formale Verifikation Von Schaltungen Mit Analogen Und Gemischt Analog-Digitalen Eingangssignalen - Holzbaur, Christoph
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Holzbaur, Christoph:
Erweiterung Der Simulation Um Die Formale Verifikation Von Schaltungen Mit Analogen Und Gemischt Analog-Digitalen Eingangssignalen - Taschenbuch

2013, ISBN: 9783656997764

ID: 14079258700

Trade paperback, New., Text in German. Trade paperback (US). Glued binding. 56 p. Contains: Illustrations, black & white., Norderstedt, [PU: Grin Verlag]

Neues Buch Alibris.com
Alibris
Versandkosten:zzgl. Versandkosten
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.

Details zum Buch
Erweiterung Der Simulation Um Die Formale Verifikation Von Schaltungen Mit Analogen Und Gemischt Analog-Digitalen Eingangssignalen
Autor:

Christoph Holzbaur

Titel:

Erweiterung Der Simulation Um Die Formale Verifikation Von Schaltungen Mit Analogen Und Gemischt Analog-Digitalen Eingangssignalen

ISBN-Nummer:

Detailangaben zum Buch - Erweiterung Der Simulation Um Die Formale Verifikation Von Schaltungen Mit Analogen Und Gemischt Analog-Digitalen Eingangssignalen


EAN (ISBN-13): 9783656997764
ISBN (ISBN-10): 3656997764
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2012
Herausgeber: GRIN Verlag

Buch in der Datenbank seit 29.09.2012 19:26:14
Buch zuletzt gefunden am 30.06.2017 14:19:44
ISBN/EAN: 9783656997764

ISBN - alternative Schreibweisen:
3-656-99776-4, 978-3-656-99776-4


< zum Archiv...
Benachbarte Bücher