- 5 Résultats
prix le plus bas: € 17,99, prix le plus élevé: € 48,90, prix moyen: € 37,12
1
Erweiterung der Simulation um die formale Verifikation von Schaltungen mit analogen und gemischt analog-digitalen Eingangssignalen - Christoph Holzbaur
Commander
sur Orellfuessli.ch
CHF 41,90
(environ € 43,79)
Envoi: € 18,811
Commander
Détails du fournisseur
Lien sponsorisé
Christoph Holzbaur:

Erweiterung der Simulation um die formale Verifikation von Schaltungen mit analogen und gemischt analog-digitalen Eingangssignalen - Livres de poche

2006, ISBN: 9783656997764

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 vo… Plus…

Nr. A1024492258. Frais d'envoiLieferzeiten außerhalb der Schweiz 3 bis 21 Werktage, , in stock, zzgl. Versandkosten. (EUR 18.81)
fermer(X)
2
Erweiterung der Simulation um die formale Verifikation von Schaltungen mit analogen und gemischt analog-digitalen Eingangssignalen Christoph Holzbaur
Commander
sur BarnesandNoble.com
€ 48,90
Commander
Détails et expédition
Lien sponsorisé
Erweiterung der Simulation um die formale Verifikation von Schaltungen mit analogen und gemischt analog-digitalen Eingangssignalen Christoph Holzbaur - nouveau livre

2006, ISBN: 9783656997764

Studienarbeit aus dem Jahr 2006 im Fachbereich Elektrotechnik, Note: 1, Technische Universität Darmstadt, Sprache: Deutsch, Abstract: In der digitalen Welt ist die Formal… Plus…

new in stock. Frais d'envoizzgl. Versandkosten., Livraison non-comprise
fermer(X)
3
Erweiterung der Simulation um die formale Verifikation von Schaltungen mit analogen und gemischt analog-digitalen Eingangssignalen - Christoph Holzbaur
Commander
sur BookDepository.com
€ 17,99
Envoi: € 0,001
Commander
Détails du fournisseur
Lien sponsorisé
Christoph Holzbaur:
Erweiterung der Simulation um die formale Verifikation von Schaltungen mit analogen und gemischt analog-digitalen Eingangssignalen - Livres de poche

2006

ISBN: 9783656997764

Paperback, [PU: Examicus Verlag], Studienarbeit aus dem Jahr 2006 im Fachbereich Elektrotechnik, Note: 1, Technische Universität Darmstadt, Sprache: Deutsch, Abstract: In der digitalen W… Plus…

Frais d'envoiVersandkostenfrei. (EUR 0.00)
fermer(X)
4
Erweiterung der Simulation um die formale Verifikation von Schaltungen mit analogen und gemischt analog-digitalen Eingangssignalen - Holzbaur, Christoph
Commander
sur Achtung-Buecher.de
€ 27,95
Envoi: € 2,951
Commander
Détails du fournisseur
Lien sponsorisé
Holzbaur, Christoph:
Erweiterung der Simulation um die formale Verifikation von Schaltungen mit analogen und gemischt analog-digitalen Eingangssignalen - nouveau livre

2012, ISBN: 3656997764

2. Auflage Kartoniert / Broschiert, mit Schutzumschlag 11, [PU:Examicus Verlag]

Frais d'envoiVersandkosten innerhalb der BRD. (EUR 2.95) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
fermer(X)
5
Erweiterung der Simulation um die formale Verifikation von Schaltungen mit analogen und gemischt analog-digitalen Eingangssignalen - Christoph Holzbaur
Commander
sur Rakuten.fr
€ 46,95
Envoi: € 11,001
Commander
Détails du fournisseur
Lien sponsorisé
Christoph Holzbaur:
Erweiterung der Simulation um die formale Verifikation von Schaltungen mit analogen und gemischt analog-digitalen Eingangssignalen - livre d'occasion

ISBN: 9783656997764

Livre

1 Offers. Frais d'envoiFrance. (EUR 11.00) Priceminister
fermer(X)
1Comme certaines plateformes ne transmettent pas les conditions d'expédition et que celles-ci peuvent dépendre du pays de livraison, du prix d'achat, du poids et de la taille de l'article, d'une éventuelle adhésion de la plateforme, d'une livraison directe par la plateforme ou via un prestataire tiers (Marketplace), etc. il est possible que les frais de livraison indiqués par eurolivre ne correspondent pas à ceux de la plateforme qui propose l'article.

Données bibliographiques du meilleur livre correspondant

Détails sur le livre
Erweiterung der Simulation um die formale Verifikation von Schaltungen mit analogen und gemischt analog-digitalen Eingangssignalen Christoph Holzbaur
Auteur:
Titre:
ISBN:

9783656997764


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.

Informations détaillées sur le livre - Erweiterung der Simulation um die formale Verifikation von Schaltungen mit analogen und gemischt analog-digitalen Eingangssignalen Christoph Holzbaur


EAN (ISBN-13): 9783656997764
ISBN (ISBN-10): 3656997764
Version reliée
Livre de poche
Date de parution: 2012
Editeur: Examicus Verlag Core >1

Livre dans la base de données depuis 2012-09-29T19:26:14+02:00 (Zurich)
Page de détail modifiée en dernier sur 2024-03-02T12:27:45+01:00 (Zurich)
ISBN/EAN: 9783656997764

ISBN - Autres types d'écriture:
3-656-99776-4, 978-3-656-99776-4
Autres types d'écriture et termes associés:
Titre du livre: der analog, think analog, analoge schaltungen, die erweiterung

Autres livres qui pourraient ressembler au livre recherché:

Dernier livre similaire:
9783656997719 Erweiterung der Simulation um die formale Verifikation von Schaltungen mit analogen und gemischt analog-digitalen Eingangssignalen (Christoph Holzbaur)

< pour archiver...