Fenster schließen ☓
Suchbegriff:
Was suchen Sie? (Suchworte, EAN-Nr.)  Such-Tipps

Produktvorschläge:
Herz-Lungen-Wiederbelebung
Herz-Lungen-Wiederbelebung
Akute Notfallsituationen stellen Pflegende vor besondere Herausforderungen. Gerade alte Menschen, bei denen sich bestehende Erkrankungen akut zuspitzen oder plötzlich eintretende Ereignisse wie z.B. ein Herz-Kreislauf-Stillstand[...]
EAN 9783899932300
Hersteller: Schlütersche Verlag
Bester Preis:
32,99€
von: Thalia-Fremdsprachen
Alle Preise
Elektronisches Wörterbuch Auslandsprojekte/Dt.-Eng.
Elektronisches Wörterbuch Auslandsprojekte/Dt.-Eng.
:Das elektronische Fachwörterbuch Auslandsprojekte ist für alle unentbehrlich, die im Auslandsbau mit fremdsprachigen Bauunternehmen, Bauherren oder Fachingenieuren auf Englisch kommunizieren[...]
EAN 9783834808837
Hersteller: Vieweg+Teubner Verlag
Bester Preis:
137,99€
von: Thalia-Fremdsprachen
Alle Preise
CESAR home Lesen 1
CESAR home Lesen 1
12 unabhänige Lernspiele die die Kompetenzenfür Raum-Lage, Identifizieren von Buchstaben, Lautanalyse- und Syntheseprozesse sowei Lese-Sinn-Verstämdnis trainieren. Für Kinder der ersten und zweiten Klasse geeigent sowie für LRS-Kinder auch in der dritten[...]
EAN 9783933651112
Hersteller: Ces Verlag
Bester Preis:
3,15€
von: Studibuch-Shop-G
Alle Preise
Prüfungstrainer Elektrotechnik
Prüfungstrainer Elektrotechnik
Der Prüfungstrainer ist die ideale Ergänzung zur erfolgreichen Buchreihe 'Die Meisterprüfung'. Die Kombination von bewährter Lerntechnik mit den Möglichkeiten des Computers steht für den nachhaltigen Lernerfolg. Auf Basis[...]
EAN 9783834332486
Hersteller: Vogel Buchverlag
Bester Preis:
32,99€
von: Thalia-Fremdsprachen
Alle Preise
Tommys Gebärdenwelt 1 Version 3.0
Tommys Gebärdenwelt 1 Version 3.0
Wunderschöne Illustrationen zeigen Tommys Welt, sein Haus, den Garten, den Wald, die Schule, die Stadt, den Zoo, seine Gefühle und vieles mehr. In jedem dieser Bilder können eine Vielzahl von einzelnen Begriffen gelernt werden[...]
EAN 9783981070996
Hersteller: Verlag Karin Kestner
Bester Preis:
44,99€
von: Thalia-Fremdsprachen
Alle Preise

ITG-Fb. 296: MBMV 2021

Hersteller: Vde Verlag / EAN-Nummer: 9783800755004

TOP PREIS!
ITG-Fb. 296: MBMV 2021

Anbieter: Thalia-Fremdsprachen

ITG-Fb. 296: MBMV 2021
Der 24. Workshop der GMM/ITG/GI-Fachgruppen 3 und 4 ist ein Forum, um neue Trends, Ergebnisse und aktuelle Fragen auf dem Gebiet der Modellierung und Verifikation von Schaltungen und Systemen zu diskutieren. Es sind gleichermaßen Beiträge aus Forschung und industrieller Anwendung willkommen. Inhaltlich konzentriert sich der Workshop auf die folgenden Themengebiete im Kontext der Modellierung und Verifikation von Systemen:- Formale, semi-formale und andere Mittel zur Spezifikation und Modellierung- Standards und Erweiterungen von Modellierungssprachen für Hardware, Hardware/Software-Systeme, Modellbasierte Entwicklung- Verhaltensmodellierung, KI-basierte Modelle, Modellverfeinerung- Modelle und Methoden für die domänenübergreifende Entwicklung: Analog/Digital, Hardware/Software, Mechatronik, Cyber/Physisch- 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- Special Focus Topic MBMV2021: Open Source Werkzeuge zur Modellierung und Verifikation von Schaltungen und Systemen [...]

Anbieter-Kategorie: Software

Preis: 78,00 Euro (+ Versandkosten 0,00 Euro)

ID: 20228405778
TOP PREIS!
ITG-Fb. 296: MBMV 2021

Anbieter: Thalia Software

ITG-Fb. 296: MBMV 2021
Der 24. Workshop der GMM/ITG/GI-Fachgruppen 3 und 4 ist ein Forum, um neue Trends, Ergebnisse und aktuelle Fragen auf dem Gebiet der Modellierung und Verifikation von Schaltungen und Systemen zu diskutieren. Es sind gleichermaßen Beiträge aus Forschung und industrieller Anwendung willkommen. Inhaltlich konzentriert sich der Workshop auf die folgenden Themengebiete im Kontext der Modellierung und Verifikation von Systemen:- Formale, semi-formale und andere Mittel zur Spezifikation und Modellierung- Standards und Erweiterungen von Modellierungssprachen für Hardware, Hardware/Software-Systeme, Modellbasierte Entwicklung- Verhaltensmodellierung, KI-basierte Modelle, Modellverfeinerung- Modelle und Methoden für die domänenübergreifende Entwicklung: Analog/Digital, Hardware/Software, Mechatronik, Cyber/Physisch- 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- Special Focus Topic MBMV2021: Open Source Werkzeuge zur Modellierung und Verifikation von Schaltungen und Systemen [...]

Anbieter-Kategorie: Software

Preis: 78,00 Euro (+ Versandkosten 0,00 Euro)

ID: 20233535046
Schlagworte der gewählten Anbieter-Kategorien:
software, press, university, 2023, of, 2024, band, chessbase, in, cambridge, wiley, and, 2022, dvd, fb, verlag, die, schroedel, der, ausgabe, und, für, the, vde, gmbh, cd, chess, base, rom, media