Falls Sie nur an einem bestimmten Exempar interessiert sind, können Sie aus der folgenden Liste jenes wählen, an dem Sie interessiert sind:
Nur diese Ausgabe anzeigen…
Nur diese Ausgabe anzeigen…
Erweiterung der Simulation um die formale Verifikation von Schaltungen mit analogen und gemischt analog-digitalen Eingangssignalen (German Edition)
10 Angebote vergleichen
Preise | 2013 | 2014 | 2015 |
---|---|---|---|
Schnitt | € 24,53 | € 31,51 | € 30,81 |
Nachfrage |
Erweiterung Der Simulation Um Die Formale Verifikation Von Schaltungen Mit Analogen Und Gemischt Analog-Digitalen Eingangssignalen (2006)
ISBN: 9783656997764 bzw. 3656997764, in Deutsch, GRIN Verlag, Taschenbuch, neu.
Paperback. 56 pages. Dimensions: 8.3in. x 5.8in. x 0.1in.Studienarbeit aus dem Jahr 2006 im Fachbereich Elektrotechnik, Note: 1, Technische Universitt 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 ungefhr 50 der Fehler, die zu einer Neuimplementierung fhren. Daher ist es von groem Interesse den analogen Teil ebenfalls verifizieren zu knnen. Dieser Text entstand im Zuge einer Studienarbeit im Bereich Rechnersysteme an der Technischen Universitt in Darmstadt. Die Motivation dieser Arbeit ist es, einen bereits bestehenden Ansatz zur Verifikation von analogen Schaltungen unter Verwendung des Model-Checking-Verfahrens zu vervollstndigen 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 Mglichkeit der Verifikation von analogen Schaltungen mit verschiedenen Arten von Eingangssignalen erweitern lsst. This item ships from multiple locations. Your book may arrive from Roseburg,OR, La Vergne,TN.
Erweiterung der Simulation um die formale Verifikation von Schaltungen mit analogen und gemischt analog-digitalen Eingangssignalen (2013)
ISBN: 9783656997764 bzw. 3656997764, in Deutsch, Taschenbuch, neu, Nachdruck.
This item is printed on demand - Print on Demand Titel. Neuware - 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. 56 pp. Deutsch.
Erweiterung der Simulation um die formale Verifikation von Schaltungen mit analogen und gemischt analog-digitalen Eingangssignalen (2013)
ISBN: 9783656997764 bzw. 3656997764, in Deutsch, Examicus Verlag Sep 2013, Taschenbuch, neu, Nachdruck.
This item is printed on demand - Print on Demand Titel. Neuware - 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. 56 pp. Deutsch.
Erweiterung der Simulation um die formale Verifikation von Schaltungen mit analogen und gemischt analog-digitalen Eingangssignalen (2012)
ISBN: 3656997713 bzw. 9783656997719, in Deutsch, 49 Seiten, GRIN Verlag, neu, E-Book, elektronischer Download.
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. 2012, 49 Seiten, eBooks.
Erweiterung der Simulation um die formale Verifikation von Schaltungen mit analogen und gemischt analog-digitalen Eingangssignalen (German Edition) (2006)
ISBN: 9783656997764 bzw. 3656997764, in Deutsch, Taschenbuch, neu.
This item is printed on demand. Paperback. Studienarbeit aus dem Jahr 2006 im Fachbereich Elektrotechnik, Note: 1, Technische Universitt 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 ungefhr 50 der Fehler, die zu einer Neuimplementierung fhren. Daher ist es von groem Interesse den analogen Teil ebenfalls verifizieren zu knnen. Dieser Text entstand im Zuge einer Studienarbeit im Bereich Rechnersysteme an der Technischen Universitt in Darmstadt. Die Motivation dieser Arbeit ist es, einen bereits bestehenden Ansatz zur Verifikation von analogen Schaltungen unter Verwendung des Model-Checking-Verfahrens zu vervollstndigen 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 Mglichkeit der Verifikation von analogen Schaltungen mit verschiedenen Arten von Eingangssignalen erweitern lsst. This item ships from La Vergne,TN.
Erweiterung Der Simulation Um Die Formale Verifikation Von Schaltungen Mit Analogen Und Gemischt Analog-Digitalen Eingangssignalen (Paperback) (2013)
ISBN: 9783656997764 bzw. 3656997764, in Deutsch, GRIN Verlag, Germany, Taschenbuch, neu, Nachdruck.
Von Händler/Antiquariat, The Book Depository EURO [60485773], Slough, United Kingdom.
Language: German Brand New Book ***** Print on Demand *****.Studienarbeit aus dem Jahr 2006 im Fachbereich Elektrotechnik, Note: 1, Technische Universitat 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 ungefahr 50 der Fehler, die zu einer Neuimplementierung fuhren. Daher ist es von grossem Interesse den analogen Teil ebenfalls verifizieren zu konnen. Dieser Text entstand im Zuge einer Studienarbeit im Bereich Rechnersysteme an der Technischen Universitat in Darmstadt. Die Motivation dieser Arbeit ist es, einen bereits bestehenden Ansatz zur Verifikation von analogen Schaltungen unter Verwendung des Model-Checking-Verfahrens zu vervollstandigen 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 Moglichkeit der Verifikation von analogen Schaltungen mit verschiedenen Arten von Eingangssignalen erweitern lasst.
Erweiterung der Simulation um die formale Verifikation von Schaltungen mit analogen und gemischt analog-digitalen Eingangssignalen
ISBN: 9783656997719 bzw. 3656997713, in Deutsch, GRIN Verlag, neu, Erstausgabe, E-Book.
*Erweiterung der Simulation um die formale Verifikation von Schaltungen mit analogen und gemischt analog-digitalen Eingangssignalen* - 1. Auflage / pdf eBook für 18.99 € / Aus dem Bereich: eBooks, Sachthemen & Ratgeber, Technik.
Erweiterung der Simulation um die formale Verifikation von Schaltungen mit analogen und gemischt analog-digitalen Eingangssignalen als eBook von C.
ISBN: 9783656997719 bzw. 3656997713, in Deutsch, Examicus Verlag, neu.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Erweiterung der Simulation um die formale Verifikation von Schaltungen mit analogen und gemischt analog-digitalen Eingangssignalen
ISBN: 9783656997719 bzw. 3656997713, vermutlich in Deutsch, neu, E-Book, elektronischer Download.
Erweiterung der Simulation um die formale Verifikation von Schaltungen mit analogen und gemischt analog-digitalen Eingangssignalen
ISBN: 9783656997719 bzw. 3656997713, in Deutsch, GRIN Verlag, GRIN Verlag, neu, Erstausgabe, E-Book.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen