Sprawdzić stan zamówienia
LIBRISTO
LIBROAMANTO
obowiązkowe
Zapomniane hasło
Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie
0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost Kurier 12.99 zł Punkt DPD 13.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

ITG-Fb. 314: MBMV 2024, CD-ROM

Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 27. Workshop, 14. - 15.Februar 2024 in Kaiserslautern

Język NiemieckiNiemiecki
Digital Digital CD
Digital ITG-Fb. 314: MBMV 2024, CD-ROM VDE ITG
Kod Libristo: 45240694
Wydawnictwo VDE-Verlag, listopad 2023
Der 27. Workshop der GMM, ITG und GI-Fachgruppen FG3 und FG4 "Methoden und Beschreibungssprachen zur... Cały opis
? points 287 b
508.26 zł
50 % szansa Przeszukamy cały świat Kiedy dostanę książkę?

Nawet do 30 dni na zwrot

Klienci kupili także

101 Python Challenges: With Solutions / Code Listings Philippe Kerampran / Książka Miękka
common.buy 102.15 zł
Two Lectures on the Life and Writings of Maimonides: Delivered at the Jews' and General Literary and Scientific Institution (1847) Abraham Benisch / Książka Miękka
common.buy 86.93 zł
Attyla i hunowie ekspansja barbarzyńskich nomadów iv - v wiek Michel Rouche / Książka Miękka
common.buy 97.18 zł
Entrepreneuring the Future of Higher Education Mary Landon Darden / Książka Miękka
common.buy 184.33 zł
Nuevas Tendencias. Volumen 2. Prótesis BOTTINO / Książka binding.
common.buy 460.38 zł
Employer's Guide to Health Care Reform: 2021 Edition Lisa Campbell / Książka Miękka
common.buy 3 168.95 zł
Wheels of Steel Book 6 Pepper Pace / Książka Miękka
common.buy 63.70 zł
Here's to Haiti: Kiss America Kiss: An Illustrated Story Yolantha Harrison-Pace / Książka Miękka
common.buy 69.38 zł
Good Wives Louisa May Alcott / Książka Twarda
common.buy 83.38 zł
AVERNO CON HACHE / Książka Twarda
common.buy 112.40 zł
Hemlock - (à travers les meurtrières) Gabrielle WITTKOP / Książka Miękka
common.buy 85.21 zł
Funny Story Emily Henry / Książka Miękka
common.buy 85.31 zł
LE SILENCE ET LA COLERE (2 VOLUMES) Lemaitre / Książka Miękka
common.buy 276.55 zł
Japanese Cookbook: The Simple Art of Japanese Cooking Carla Hale / Książka Miękka
common.buy 55.99 zł
La Loi Du Calame: Loi géométrique sur les chiffres et lettres arabes Emmanuel Wayanne / Książka Miękka
common.buy 72.73 zł
Human Work Interaction Design. Work Analysis and HCI Pedro Campos / Książka Twarda
common.buy 221.36 zł
Flags of the World Series (Oceania and Antartica), adult coloring book M L Gutierrez / Książka Miękka
common.buy 28.19 zł
The Spiritual Canticle of the Soul and the Bridegroom of Christ St John of the Cross / Książka Miękka
common.buy 155.82 zł
Goshen Edward P. Connor / Książka Twarda
common.buy 105.40 zł
TOP
Solo Training Loren W. Christensen / Książka Miękka
common.buy 70.60 zł
Papers by Command, Volume 88 Great Britain Parliament House of Comm / Książka Twarda
common.buy 196.20 zł
How to Destroy a Monster That Feeds on Itself Norman Powell / Książka Miękka
common.buy 48.48 zł
Possibility Factor Prayer Journal Latania Michelle / Książka Miękka
common.buy 64.31 zł
History of Garden Art Marie Luise Schroeter Gothein / Książka Miękka
common.buy 297.85 zł

Der 27. Workshop der GMM, ITG und GI-Fachgruppen FG3 und FG4 "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" ist ein Forum zu neuen Trends, Ergebnissen und aktuellen Fragen auf dem Gebiet der Modellierung. Diskussionsbeiträge zu folgenden Themen sind im Blickpunkt:- Formale, semi-formale und andere Mittel zur Spezifikation und Modellierung- Standards und Erweiterungen von Modellierungssprachen für Hardware oder HW/SW-Systeme- Modelle und Methoden für die domänenübergreifende Entwicklung: analog-digital, cyber-physisch, HW/SW- Verhaltensmodellierung, KI-basierte Modelle- Modellbasierte Entwicklung- Synthese und formale Synthese, Eigenschaftsverfeinerung aus Spezifikationen- Formale Verifikation (Äquivalenz- und Eigenschaftsbeweise)- Schaltungen und Systeme in sicherheitsrelevanten Produkten- Verifikation nichtfunktionaler Eigenschaften- Simulationsbasierte Verifikation und Validierung- Digitalisierung der Entwicklung z.B. durch Machine Learning oder Datenanalyse

Aktorka & Poliglotka
EWA KASP dla
Odtworzyć wideo
Ewa Kasp
Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.

Informacje o książce

Pełna nazwa ITG-Fb. 314: MBMV 2024, CD-ROM
Autor VDE ITG, VDE/VDI GMM, GI
Język Niemiecki
Oprawa Digital - Digital CD
Data wydania 2024
Liczba stron 221
EAN 9783800762675
Kod Libristo 45240694
Wydawnictwo VDE-Verlag
Waga 58
Wymiary 124 x 140

Kategoria

Technika, inżynieria i rolnictwo, procesy przemysłowe > Elektronika i telekomunikacja > Inżynieria elektroniczna > Obwody i komponenty elektroniczne
Podaruj tę książkę jeszcze dziś
To łatwe
1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Mogłoby Cię także zainteresować

Postoperative Antibiotikatherapie und akute Cholezystitis Leila Khennaf / Książka Miękka
common.buy 110.98 zł
360 Grad Feedback - Theorie und Praxis Maik Steude / Książka Miękka
common.buy 256.97 zł
Grifftabelle für Blockflöte (Sopran, Tenor) Ursula Schmidt-Laukamp / Książka Karta
common.buy 46.05 zł
Politische Kultur und Aussenpolitik im Vergleich Jürgen Bellers / Książka Twarda
common.buy 426.39 zł
Tragodie in drei Akten Agatha Christie / Książka Miękka
common.buy 54.37 zł
English Matters Teacher's Book 2 with CD-ROM Julia Sander / Książka binding.
common.buy 80.54 zł
Developing Numeracy in the Secondary School Alyson Davies / Książka Miękka
common.buy 257.78 zł
50 Things to Spot in London Jones Rob Lloyd / Prasa Karty
common.buy 53.86 zł
Zapowiedź
Titanic Unseen Senan Moloney / Książka Twarda
common.buy 113.31 zł

Logowanie

Zaloguj się do swojego konta. Nie masz jeszcze konta Libristo? Utwórz je teraz!

 
obowiązkowe
obowiązkowe
Zapomniane hasło

Nie masz konta? Zyskaj korzyści konta Libristo!

Dzięki kontu Libristo będziesz mieć wszystko pod kontrolą.

Utwórz konto Libristo
Doradca książkowy Libroamiko
Cześć, jestem Libroamiko, w czym mogę pomóc?