for at udvide
kategorilisten.
Søgning på underkategorier- og emner:
Bemærk: Kan ikke leveres før jul.
Die Autoren legen den Schwerpunkt auf automatisierte formale Verifikationsmethoden sowie auf fortgeschrittene, abdeckungsgeleitete Analyse- und Testtechniken, die auf SystemC-basierte VP und die zugehörige Software (SW) zugeschnitten sind.
Bemærk: Kan ikke leveres før jul.
Das Buch beschreibt Digital-Oszilloskope, Netzwerk- und Spektrumanalysatoren, die in Forschung, Lehre und... Læs mere
Bemærk: Kan ikke leveres før jul.
Das Lehrbuch gibt einen systematischen Einstieg in die Signaltheorie und... Læs mere
Bemærk: Kan ikke leveres før jul.
Dieses Open Buch schlägt eine Brücke zwischen Theorie und Praxis für das produzierende Gewerbe im Zeitalter der Digitalisierung, der Industrie 4.0 und der Künstlichen Intelligenz.
Bemærk: Kan ikke leveres før jul.
Gegenstand des Buchs ist daher die Frage, welche Konsequenzen die Datenschutz-Grundverordnung sowie die... Læs mere
Bemærk: Kan ikke leveres før jul.
Bemærk: Kan ikke leveres før jul.
Softwareentwicklung erfordert – ausgehend von informellen Problemstellungen – Spezifikationen unter Festlegung der Daten- und Rechenstrukturen, Implementierungen und die Verifikation der Korrektheit.
Bemærk: Kan ikke leveres før jul.
The book focuses on the nonlinear dynamics based on the vector fields with bivariate quadratic functions. Such a book provides different points of view about nonlinear dynamics and bifurcations of the quadratic dynamical systems on linear and nonlinear bivariate manifolds.
Bemærk: Kan ikke leveres før jul.
Dieses Buch ist eine leicht verständliche Einführung in die Theorie und praktische Handhabung der Laplace-, Fourier- und z-Transformation, die in vielen Fachgebieten wie der Elektrotechnik , Informations- und Kommunikationstechnik, Mechatronik, Regelungstechnik etc.
Bemærk: Kan ikke leveres før jul.
Bemærk: Kan ikke leveres før jul.
Bemærk: Kan ikke leveres før jul.