Zjistit stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zapomenuté heslo
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma
0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
Kurýr DPD 69 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Zásilkovna 39 Kč Výdejní místo DPD 49 Kč PPL shop 49 Kč Balíkovna 49 Kč
phone Kontakt phoneJak nakupovat
Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

ITG-Fb. 320: MBMV 2025, CD-ROM

Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltu 28. Workshop, 11. - 12. März 2025 in Rostock

Jazyk AngličtinaAngličtina
Digital Digital CD
Digital ITG-Fb. 320: MBMV 2025, CD-ROM VDE ITG
Libristo kód: 48560336
Nakladatelství VDE-Verlag, listopad 2024
Der 28. Workshop der GMM, ITG und GI-Fachgruppen FG3 und FG4 "Methoden und Beschreibungssprachen zur... Celý popis
? points 251 b
2 505 Kč
50 % šance Prohledáme celý svět Kdy knihu dostanu?

Až 30 dní na vrácení zboží

Zákazníci také koupili

Dag clubwebsite Richard List / E-kniha Adobe ePub DRM
common.buy 172 Kč
Ne güzel! A1 Dogan Tezel / Audio Audio CD
common.buy 273 Kč
Mit Stickern Lesen lernen - Abenteuer im Dinopark Frau Annika / Kniha Brožovaná
common.buy 181 Kč
Zabójcze istoty Rory Power / Kniha Brožovaná
common.buy 255 Kč
Japao e Alemanha na segunda metade do seculo XX. / Kniha Brožovaná
common.buy 1 065 Kč
Старинные русские мотивы для вышивания крестом. Более 300 аутентичных узоров в виде подробных схем / Kniha Pevná
common.buy 403 Kč
Einsterns Schwester - Sprache und Lesen 2. Schuljahr. Themenheft 2 - Leihmaterial Katrin Pfeifer / Kniha List
common.buy 259 Kč
Pukk, a fekete unikornis Maja von Vogel / Kniha Pevná
common.buy 258 Kč
Top
Ahoj, bábätko! / Kniha Leporelo
common.buy 167 Kč
Evangelios y oraciones del cristiano Antonio Fuentes Mendiola / E-kniha Adobe ePub DRM
common.buy 133 Kč
Construyendo la felicidad Jimena Casillas Castaneda / E-kniha Adobe ePub DRM
common.buy 319 Kč
Levně
Gecko Run, Speed Kick / Hra/Hračka Hra
common.buy 224 Kč
Qui soc? Cries d'animals - Terres polars PELAYO / Kniha Pevná
common.buy 339 Kč
Vaters Werkstatt (Puzzle) Steve Read / Hra/Hračka Hra
common.buy 302 Kč
Markedsføring på sosiale medier for små bedrifter Jon Law / E-kniha Adobe ePub DRM
common.buy 130 Kč
Top
Ne engedj el... Kazuo Ishiguro / Kniha Pevná
common.buy 259 Kč
Sešívačka E 15 Fresh, 15 listů, petrolejová lesk / Papírenské zboží Papírenské zboží
common.buy 102 Kč
Ventilationsmaschinen der Bergwerke Julius Ritter von Hauer / Kniha Brožovaná
common.buy 541 Kč
Novemberleuchten Evelyn Rheydt-Zillessen / Kniha Pevná
common.buy 370 Kč
Trainingsbuch Zum Kurzgesprach Timm H. Lohse / Kniha Brožovaná
common.buy 972 Kč
Ambivalenz Heinz Otto Luthe / Kniha Brožovaná
common.buy 1 214 Kč
Dissensions Et Persecutions, Dans l'Arrondissement Du Vigan, Departement Du Gard Arman-A / Kniha Brožovaná
common.buy 364 Kč
Viaje al centro de la tierra Jules Verne / Kniha Brožovaná
common.buy 382 Kč
Teresa de Lisieux : un camino evangélico para el siglo XXI José Luis Vázquez Borau / Kniha Brožovaná
common.buy 348 Kč

Der 28. 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

Herečka & Polyglotka
EWA KASP pro
Přehrát video
Ewa Kasp
Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.

Informace o knize

Plný název ITG-Fb. 320: MBMV 2025, CD-ROM
Autor VDE ITG, VDE/VDI GMM, GI
Jazyk Angličtina
Vazba Digital - Digital CD
Datum vydání 2025
Počet stran 174
EAN 9783800765157
Libristo kód 48560336
Nakladatelství VDE-Verlag
Váha 58
Rozměry 124 x 140

Kategorie

Technologie, strojírenství, zemědělství > Elektronické a komunikační inženýrství > Elektrotechnické inženýrství > Elektronika: obvody a komponenty
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Mohlo by vás také zajímat

Marshal Shawn Felton & the Wild Bunch TERRY LARKIN / Kniha Brožovaná
common.buy 576 Kč
A Time to Remember: The Empty House and the Day of the Storm Rosamunde Pilcher / Kniha Brožovaná
common.buy 425 Kč
Sylvia Plachy: Goings on about Town: Photographs for the New Yorker Elisabeth Biondi / Kniha Pevná
common.buy 881 Kč
Tales from Muggleswick Wood Charlie Mackesy / Kniha Pevná
common.buy 479 Kč
Land and Fresh Water Shells of Onondaga County William Martin Beauchamp / Kniha Brožovaná
common.buy 244 Kč
Speeches of Willam L. Yancey, Senator from the State of Alabama William Lowndes Yancey / Kniha Brožovaná
common.buy 267 Kč
The Trial Before Chief Justice Sir James Mansfield and a Special Jury of Merchants, at Guildhall, Between Philip Parry Price Myddelton, Plaintiff, and T Jenkin / Kniha Brožovaná
common.buy 338 Kč
More Than Just Money: Practical and Provocative Steps to Nonprofit Success Allen Proctor / Kniha Brožovaná
common.buy 339 Kč
The Curious Case of Cut-Throat Cate: The 2nd Case for Inspector Capstan David Blake / Kniha Brožovaná
common.buy 258 Kč
The Healer Marcel Georges Mendes / Kniha Brožovaná
common.buy 237 Kč
Grandad's Funeral: A Heartbreaking True Story of Child Abuse, Betrayal and Revenge Kate Skylark / Kniha Brožovaná
common.buy 237 Kč
Czechoslovak Republic; Its Economical, Industrial and Cultural Resources Paul Selver / Kniha Pevná
common.buy 685 Kč
Slothilda Dante Fabiero / Kniha Pevná
common.buy 415 Kč
Sovereignty Bertrand de JouvenelJ. F. Huntington / Kniha Brožovaná
common.buy 914 Kč
Classic Vegetarian Cooking from the Middle East and North Africa Habeeb Salloum / E-kniha Adobe ePub DRM
common.buy 468 Kč
Earl Grey with Ephesians Sandra Glahn / Kniha Brožovaná
common.buy 318 Kč
Zombie Diaries Summer Break Junior Year R W K Clark / Kniha Brožovaná
common.buy 299 Kč
Harding's Luck E. Nesbit / Audiokniha MP3
common.buy 489 Kč
Wolf Girl Doniga Markegard / Kniha Brožovaná
common.buy 386 Kč
The Mysteries of Sexual Purity: The Secret Key to Revelations and Creativity Henry Appiahkorang Duodu / Kniha Brožovaná
common.buy 326 Kč
Aston Martin Bellu / Kniha Pevná
common.buy 874 Kč
Winter Len Deighton / Kniha Brožovaná
common.buy 282 Kč
ESV Expository Commentary James M. Hamilton Jr / Kniha Pevná
common.buy 951 Kč
New European Central Bank: Taking Stock and Looking Ahead Thomas Beukers / Kniha Pevná
common.buy 4 431 Kč

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné
Zapomenuté heslo

Nemáte účet? Získejte výhody Libristo účtu!

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet
Knižní rádce Libroamiko
Ahoj, jsem Libroamiko, můžu pomoct?