Provjerite status narudžbe
LIBRISTO
LIBROAMANTO
obvezno
Zaboravljena zaporka
Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun
0
Besplatna dostava Overseas kurirskom službom iznad 69.99 €
DPD kurir 3.99 € DPD točka 3.49 € GLS Kurir 4.99 € GLS paketomat 3.99 € Hrvatska pošta 4.99 € Dostava Overseas 4.99 € Box Now 4.49 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

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

Jezik NjemačkiNjemački
Digital Digital CD
Digital ITG-Fb. 314: MBMV 2024, CD-ROM VDE ITG
Libristo kod: 45240694
Nakladnici VDE-Verlag, studeni 2023
Der 27. Workshop der GMM, ITG und GI-Fachgruppen FG3 und FG4 "Methoden und Beschreibungssprachen zur... Cijeli opis
? points 272 b
111.96 €
50 % šanse Pretražit ćemo cijeli svijet Kada ću dobiti knjigu?

Do 30 dana za povrat

Kupci su kupili i

101 Python Challenges: With Solutions / Code Listings Philippe Kerampran / Knjiga Meki uvez
common.buy 23.77 €
Two Lectures on the Life and Writings of Maimonides: Delivered at the Jews' and General Literary and Scientific Institution (1847) Abraham Benisch / Knjiga Meki uvez
common.buy 20.25 €
Attyla i hunowie ekspansja barbarzyńskich nomadów iv - v wiek Michel Rouche / Knjiga Meki uvez
common.buy 22.26 €
Entrepreneuring the Future of Higher Education Mary Landon Darden / Knjiga Meki uvez
common.buy 42.82 €
Nuevas Tendencias. Volumen 2. Prótesis BOTTINO / Knjiga binding.
common.buy 102.08 €
Employer's Guide to Health Care Reform: 2021 Edition Lisa Campbell / Knjiga Meki uvez
common.buy 736.91 €
Wheels of Steel Book 6 Pepper Pace / Knjiga Meki uvez
common.buy 14.81 €
Here's to Haiti: Kiss America Kiss: An Illustrated Story Yolantha Harrison-Pace / Knjiga Meki uvez
common.buy 16.12 €
Good Wives Louisa May Alcott / Knjiga Tvrdi uvez
common.buy 19.34 €
AVERNO CON HACHE / Knjiga Tvrdi uvez
common.buy 24.98 €
Hemlock - (à travers les meurtrières) Gabrielle WITTKOP / Knjiga Meki uvez
common.buy 18.84 €
Funny Story Emily Henry / Knjiga Meki uvez
common.buy 18.94 €
LE SILENCE ET LA COLERE (2 VOLUMES) Lemaitre / Knjiga Meki uvez
common.buy 61.47 €
Japanese Cookbook: The Simple Art of Japanese Cooking Carla Hale / Knjiga Meki uvez
common.buy 12.99 €
La Loi Du Calame: Loi géométrique sur les chiffres et lettres arabes Emmanuel Wayanne / Knjiga Meki uvez
common.buy 16.92 €
Human Work Interaction Design. Work Analysis and HCI Pedro Campos / Knjiga Tvrdi uvez
common.buy 51.49 €
Flags of the World Series (Oceania and Antartica), adult coloring book M L Gutierrez / Knjiga Meki uvez
common.buy 6.54 €
The Spiritual Canticle of the Soul and the Bridegroom of Christ St John of the Cross / Knjiga Meki uvez
common.buy 36.27 €
Goshen Edward P. Connor / Knjiga Tvrdi uvez
common.buy 24.48 €
Solo Training Loren W. Christensen / Knjiga Meki uvez
common.buy 16.42 €
Papers by Command, Volume 88 Great Britain Parliament House of Comm / Knjiga Tvrdi uvez
common.buy 45.64 €
How to Destroy a Monster That Feeds on Itself Norman Powell / Knjiga Meki uvez
common.buy 11.28 €
Possibility Factor Prayer Journal Latania Michelle / Knjiga Meki uvez
common.buy 14.91 €
History of Garden Art Marie Luise Schroeter Gothein / Knjiga Meki uvez
common.buy 72.96 €

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

Glumica & Poliglotkinja
EWA KASP za
Pusti video
Ewa Kasp
Libristo ima najveći izbor literature na stranim jezicima. Zato svoje knjige kupujem ovdje.

Informacije o knjizi

Puni naziv ITG-Fb. 314: MBMV 2024, CD-ROM
Autor VDE ITG, VDE/VDI GMM, GI
Jezik Njemački
Uvez Digital - Digital CD
Datum izdanja 2024
Broj stranica 221
EAN 9783800762675
Libristo kod 45240694
Nakladnici VDE-Verlag
Težina 58
Dimenzije 124 x 140

Kategorija

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Electronics: circuits & components
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimca

Moglo bi vas zanimati i

Postoperative Antibiotikatherapie und akute Cholezystitis Leila Khennaf / Knjiga Meki uvez
common.buy 24.48 €
360 Grad Feedback - Theorie und Praxis Maik Steude / Knjiga Meki uvez
common.buy 56.63 €
Grifftabelle für Blockflöte (Sopran, Tenor) Ursula Schmidt-Laukamp / Knjiga List
common.buy 10.17 €
Politische Kultur und Aussenpolitik im Vergleich Jürgen Bellers / Knjiga Tvrdi uvez
common.buy 99.16 €
Tragodie in drei Akten Agatha Christie / Knjiga Meki uvez
common.buy 12.59 €
English Matters Teacher's Book 2 with CD-ROM Julia Sander / Knjiga binding.
common.buy 18.74 €
Developing Numeracy in the Secondary School Alyson Davies / Knjiga Meki uvez
common.buy 62.98 €
50 Things to Spot in London Jones Rob Lloyd / Tiskanica Karte
common.buy 11.88 €
Pripremamo
Titanic Unseen Senan Moloney / Knjiga Tvrdi uvez
common.buy 26.29 €

Prijava

Prijavite se na svoj račun. Još nemate Libristo račun? Otvorite ga odmah!

 
obvezno
obvezno
Zaboravljena zaporka

Nemate račun? Ostvarite pogodnosti uz Libristo račun!

Sve ćete imati pod kontrolom uz Libristo račun.

Otvoriti Libristo račun
Književni savjetnik Libroamiko
Dobar dan, ja sam Libroamiko, mogu li vam pomoći?