Domain lerntools.de kaufen?
Wir ziehen mit dem Projekt
lerntools.de um.
Sind Sie am Kauf der Domain
lerntools.de interessiert?
domain@kv-gmbh.de · 0541-91531010
Domain lerntools.de kaufen?
Springer EduTech: Computer-Aided Design Meets Computer-Aided Learning (Englisch, Softcover, Abelardo Pardo, Carlos Delgado Kloos) (55530085)
Springer EduTech: Computer-Aided Design Meets Computer-Aided Learning (Englisch, Softcover, Abelardo Pardo, Carlos Delgado Kloos) (55530085)
53,49 €*
Versand: 0,00 €
Sichere Weiterleitung zum Anbieter
Springer New Trends and Technologies in Computer-Aided Learning for Computer-Aided Design (Englisch, Softcover, Achim Rettberg, Christophe Bobda) (55580628)
Springer New Trends and Technologies in Computer-Aided Learning for Computer-Aided Design (Englisch, Softcover, Achim Rettberg, Christophe Bobda) (55580628)
53,49 €*
Versand: 0,00 €
Sichere Weiterleitung zum Anbieter
Ähnliche Suchbegriffe für Aided
Top-Angebote
Produkte zum Begriff Aided:
-
Computer Aided Verification, Fachbücher von Sharon Shoham, Yakir VizelDas zweibändige Set "Computer Aided Verification" (LNCS 13371 und 13372) umfasst die begutachteten Tagungsberichte der 34. Internationalen Konferenz über Computer Aided Verification (CAV 2022), die im August 2022 in Haifa, Israel, stattfand. In diesem Werk sind 40 vollständige Beiträge, 9 Tool-Papiere und 2 Fallstudien enthalten, die aus insgesamt 209 eingereichten Arbeiten sorgfältig ausgewählt wurden. Die Beiträge sind in verschiedene thematische Abschnitte gegliedert, die sich mit aktuellen Entwicklungen in der formalen Verifikation, probabilistischen Programmen, neuronalen Netzwerken, Softwareverifikation, Modellprüfung sowie Sicherheitsaspekten befassen. Die zweite Hälfte des Werkes behandelt probabilistische Techniken, Automaten und Logik, deduktive Verifikation, maschinelles Lernen sowie Synthese und Parallelität. Dieses Buch ist als Open Access verfügbar und bietet somit eine breite Zugänglichkeit zu den neuesten Forschungsergebnissen in diesem wichtigen Bereich der Technik und IT.42,79 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
-
Digitale Lehr-/Lernressourcen und digitale KompetenzDigitale Lehr-/Lernressourcen und digitale Kompetenz , Forschung aus dem Hochschulkontext , Kabel, Kabelbäume & Steckverbinder > Audio, Kommunikation & Navigation , Erscheinungsjahr: 20241101, Titel der Reihe: Studien Deutsch als Fremd- und Zweitsprache#21#, Redaktion: Feick, Diana~Biebighäuser, Katrin, Seitenzahl/Blattzahl: 200, Keyword: Deutsch als Fremdsprache; Deutsch als Zweitsprache; Fremdsprachenlernen; Lernprozesse; Mediendidaktik; Medienunterricht; Sprachunterricht; digitale Kompetenz, Fachschema: Medientheorie~Medienwissenschaft, Fachkategorie: Fremdsprachenerwerb, Fremdsprachendidaktik, Warengruppe: HC/Medienwissenschaften/Sonstiges, UNSPSC: 49019900, Warenverzeichnis für die Außenhandelsstatistik: 49019900, Länge: 210, Breite: 144, Höhe: 16, Gewicht: 450, Produktform: Gebunden, Genre: Sozialwissenschaften/Recht/Wirtschaft,69,95 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
Top-Angebote
Produkte zum Begriff Aided:
-
Springer EduTech: Computer-Aided Design Meets Computer-Aided Learning (Englisch, Softcover, Abelardo Pardo, Carlos Delgado Kloos) (55530085)Springer EduTech: Computer-Aided Design Meets Computer-Aided Learning (Englisch, Softcover, Abelardo Pardo, Carlos Delgado Kloos) (55530085)53,49 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
-
Springer New Trends and Technologies in Computer-Aided Learning for Computer-Aided Design (Englisch, Softcover, Achim Rettberg, Christophe Bobda) (55580628)Springer New Trends and Technologies in Computer-Aided Learning for Computer-Aided Design (Englisch, Softcover, Achim Rettberg, Christophe Bobda) (55580628)53,49 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
-
Computer Aided Verification, Fachbücher von Sharon Shoham, Yakir VizelDas zweibändige Set "Computer Aided Verification" (LNCS 13371 und 13372) umfasst die begutachteten Tagungsberichte der 34. Internationalen Konferenz über Computer Aided Verification (CAV 2022), die im August 2022 in Haifa, Israel, stattfand. In diesem Werk sind 40 vollständige Beiträge, 9 Tool-Papiere und 2 Fallstudien enthalten, die aus insgesamt 209 eingereichten Arbeiten sorgfältig ausgewählt wurden. Die Beiträge sind in verschiedene thematische Abschnitte gegliedert, die sich mit aktuellen Entwicklungen in der formalen Verifikation, probabilistischen Programmen, neuronalen Netzwerken, Softwareverifikation, Modellprüfung sowie Sicherheitsaspekten befassen. Die zweite Hälfte des Werkes behandelt probabilistische Techniken, Automaten und Logik, deduktive Verifikation, maschinelles Lernen sowie Synthese und Parallelität. Dieses Buch ist als Open Access verfügbar und bietet somit eine breite Zugänglichkeit zu den neuesten Forschungsergebnissen in diesem wichtigen Bereich der Technik und IT.42,79 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
-
Digitale Lehr-/Lernressourcen und digitale KompetenzDigitale Lehr-/Lernressourcen und digitale Kompetenz , Forschung aus dem Hochschulkontext , Kabel, Kabelbäume & Steckverbinder > Audio, Kommunikation & Navigation , Erscheinungsjahr: 20241101, Titel der Reihe: Studien Deutsch als Fremd- und Zweitsprache#21#, Redaktion: Feick, Diana~Biebighäuser, Katrin, Seitenzahl/Blattzahl: 200, Keyword: Deutsch als Fremdsprache; Deutsch als Zweitsprache; Fremdsprachenlernen; Lernprozesse; Mediendidaktik; Medienunterricht; Sprachunterricht; digitale Kompetenz, Fachschema: Medientheorie~Medienwissenschaft, Fachkategorie: Fremdsprachenerwerb, Fremdsprachendidaktik, Warengruppe: HC/Medienwissenschaften/Sonstiges, UNSPSC: 49019900, Warenverzeichnis für die Außenhandelsstatistik: 49019900, Länge: 210, Breite: 144, Höhe: 16, Gewicht: 450, Produktform: Gebunden, Genre: Sozialwissenschaften/Recht/Wirtschaft,69,95 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
Ähnliche Suchbegriffe für Aided
* Alle Preise verstehen sich inklusive der gesetzlichen Mehrwertsteuer und ggf. zuzüglich Versandkosten. Die Angebotsinformationen basieren auf den Angaben des jeweiligen Shops und werden über automatisierte Prozesse aktualisiert. Eine Aktualisierung in Echtzeit findet nicht statt, so dass es im Einzelfall zu Abweichungen kommen kann. ** Hinweis: Teile dieses Inhalts wurden von KI erstellt.