Domain dmed.de kaufen?
Wir ziehen mit dem Projekt
dmed.de um.
Sind Sie am Kauf der Domain
dmed.de interessiert?
domain@kv-gmbh.de · 0541-91531010
Domain dmed.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 Maintenance, Fachbücher von Ben Wang, Jay LeeDas Buch "Computer-aided Maintenance" bietet eine umfassende Analyse der Bedeutung von Zuverlässigkeit und Wartung in der heutigen Geschäftswelt. Es beleuchtet, wie diese Faktoren die Wettbewerbsfähigkeit in Bezug auf Qualität, Kosten und Produktionszeit beeinflussen. Durch die Anwendung von computerunterstützter Wartung und Diagnosetechniken wird aufgezeigt, wie Unternehmen ihre Produktionsabläufe optimieren können. Das Werk behandelt die grundlegenden Prinzipien der prädiktiven Wartung und der Diagnosetechnik und bietet eine ausgewogene Mischung aus theoretischen Grundlagen und praktischen Anwendungen. Zahlreiche Fallstudien und Beispiele veranschaulichen die erfolgreiche Implementierung der besprochenen Methoden und Techniken, was es zu einer wertvollen Ressource für Fachleute im Bereich Wartungstechnik macht.160,49 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
-
Computer Aided Verification, Fachbücher von Ruzica Piskac, Zvonimir RakamaricDas Buch "Computer Aided Verification" ist eine umfassende Sammlung von Forschungsbeiträgen, die während der 37. Internationalen Konferenz über Computerunterstützte Verifikation (CAV 2025) in Zagreb, Kroatien, präsentiert wurden. Herausgegeben von Ruzica Piskac und Zvonimir Rakamarić, bietet dieses Fachbuch einen tiefen Einblick in die neuesten Entwicklungen und Techniken im Bereich der Informatik, insbesondere in der Verifikation von Software und Systemen. Mit einem Umfang von 404 Seiten ist das Werk in englischer Sprache verfasst und richtet sich an Fachleute, Forscher und Studierende, die sich mit den Herausforderungen und Lösungen in der Computerverifikation auseinandersetzen. Der kartonierte Einband sorgt für eine ansprechende und praktische Handhabung. Die Konferenzbeiträge decken ein breites Spektrum an Themen ab, die für die Weiterentwicklung der Computerverifikation von Bedeutung sind, und bieten wertvolle Erkenntnisse für die akademische und industrielle Gemeinschaft.42,79 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
-
Computer Aided Verification, Fachbücher von Ruzica Piskac, Zvonimir RamaricDas Buch "Computer Aided Verification" ist eine umfassende Sammlung von Forschungsbeiträgen, die im Rahmen der 37. Internationalen Konferenz über Computerunterstützte Verifikation präsentiert werden. Die Konferenz findet vom 23. bis 25. Juli 2025 in Zagreb, Kroatien, statt und versammelt führende Wissenschaftler und Praktiker aus dem Bereich der Informatik. Die Herausgeber Zvonimir Rakamarić und Ruzica Piskac haben eine Vielzahl von Themen zusammengetragen, die sich mit den neuesten Entwicklungen und Techniken in der Computerverifikation befassen. Das Buch ist in englischer Sprache verfasst und umfasst 410 Seiten, die in einem kartonierten Einband präsentiert werden. Es richtet sich an Fachleute, Studierende und Forschende, die sich für die theoretischen und praktischen Aspekte der Verifikation von Software und Systemen interessieren. Die Publikation bietet wertvolle Einblicke in aktuelle Trends und Herausforderungen in diesem dynamischen Forschungsfeld und ist ein unverzichtbares Nachschlagewerk für alle, die sich mit der Verbesserung der Zuverlässigkeit und Sicherheit von Computersystemen beschäftigen.42,79 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
-
Computer Aided Verification, Fachbücher von Natasha Sharygina, Helmut VeithDas Buch "Computer Aided Verification" dokumentiert die vollständig begutachteten Beiträge der 25. Internationalen Konferenz zur Computerunterstützten Verifikation (CAV 2013), die im Juli 2013 in St. Petersburg, Russland, stattfand. Es umfasst eine Vielzahl von Themen, die für die Forschung und Entwicklung im Bereich der Verifikation von Computersystemen von Bedeutung sind. Aus insgesamt 209 eingereichten Arbeiten wurden 54 reguläre und 16 Tool-Papiere ausgewählt, die sich mit verschiedenen Aspekten der Computerverifikation befassen. Die Beiträge sind in thematische Abschnitte unterteilt, die unter anderem Biologie, Nebenläufigkeit, Hardware, hybride Systeme, Interpolation, Schleifen und Terminierung, neue Domänen, Wahrscheinlichkeit und Statistik, SAT und SMZ, Sicherheit, Formanalyse, Synthese und Zeit abdecken. Diese Sammlung bietet wertvolle Einblicke in aktuelle Trends und Herausforderungen in der Computerverifikation.106,99 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
Computer Aided Verification, Fachbücher von Sharon Shoham, Yakir Vizel
Das 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
Computer Aided Engineering of Batteries, Fachbücher von Shriram Santhanagopalan
Das Buch "Computer Aided Engineering of Batteries" bietet eine umfassende Analyse der Implementierung von Batteriemodellen in realen Geometrien. Es basiert auf den Beiträgen des Computer Aided Engineering for Batteries (CAEBAT) Programms und beleuchtet sowohl praktische Beispiele als auch bestehende Wissenslücken. Die Autoren, darunter führende Akademiker, Automobilhersteller und Softwareentwickler, haben über einen Zeitraum von zehn Jahren zusammengearbeitet, um fortschrittliche, validierte Modellierungswerkzeuge zu entwickeln, die das Design, die Leistung, die Sicherheit und die Lebensdauer von Automobilbatterien simulieren. Dieses Fachbuch richtet sich an ein breiteres Publikum aus Industrie und Wissenschaft und ist besonders wertvoll für Fachleute im Bereich der Batterietechnik, die über begrenzte praktische Erfahrung im Programmieren verfügen.
192,59 €*
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 Maintenance, Fachbücher von Ben Wang, Jay LeeDas Buch "Computer-aided Maintenance" bietet eine umfassende Analyse der Bedeutung von Zuverlässigkeit und Wartung in der heutigen Geschäftswelt. Es beleuchtet, wie diese Faktoren die Wettbewerbsfähigkeit in Bezug auf Qualität, Kosten und Produktionszeit beeinflussen. Durch die Anwendung von computerunterstützter Wartung und Diagnosetechniken wird aufgezeigt, wie Unternehmen ihre Produktionsabläufe optimieren können. Das Werk behandelt die grundlegenden Prinzipien der prädiktiven Wartung und der Diagnosetechnik und bietet eine ausgewogene Mischung aus theoretischen Grundlagen und praktischen Anwendungen. Zahlreiche Fallstudien und Beispiele veranschaulichen die erfolgreiche Implementierung der besprochenen Methoden und Techniken, was es zu einer wertvollen Ressource für Fachleute im Bereich Wartungstechnik macht.160,49 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
-
Computer Aided Verification, Fachbücher von Ruzica Piskac, Zvonimir RakamaricDas Buch "Computer Aided Verification" ist eine umfassende Sammlung von Forschungsbeiträgen, die während der 37. Internationalen Konferenz über Computerunterstützte Verifikation (CAV 2025) in Zagreb, Kroatien, präsentiert wurden. Herausgegeben von Ruzica Piskac und Zvonimir Rakamarić, bietet dieses Fachbuch einen tiefen Einblick in die neuesten Entwicklungen und Techniken im Bereich der Informatik, insbesondere in der Verifikation von Software und Systemen. Mit einem Umfang von 404 Seiten ist das Werk in englischer Sprache verfasst und richtet sich an Fachleute, Forscher und Studierende, die sich mit den Herausforderungen und Lösungen in der Computerverifikation auseinandersetzen. Der kartonierte Einband sorgt für eine ansprechende und praktische Handhabung. Die Konferenzbeiträge decken ein breites Spektrum an Themen ab, die für die Weiterentwicklung der Computerverifikation von Bedeutung sind, und bieten wertvolle Erkenntnisse für die akademische und industrielle Gemeinschaft.42,79 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
Ähnliche Suchbegriffe für Aided
-
Computer Aided Verification, Fachbücher von Ruzica Piskac, Zvonimir RamaricDas Buch "Computer Aided Verification" ist eine umfassende Sammlung von Forschungsbeiträgen, die im Rahmen der 37. Internationalen Konferenz über Computerunterstützte Verifikation präsentiert werden. Die Konferenz findet vom 23. bis 25. Juli 2025 in Zagreb, Kroatien, statt und versammelt führende Wissenschaftler und Praktiker aus dem Bereich der Informatik. Die Herausgeber Zvonimir Rakamarić und Ruzica Piskac haben eine Vielzahl von Themen zusammengetragen, die sich mit den neuesten Entwicklungen und Techniken in der Computerverifikation befassen. Das Buch ist in englischer Sprache verfasst und umfasst 410 Seiten, die in einem kartonierten Einband präsentiert werden. Es richtet sich an Fachleute, Studierende und Forschende, die sich für die theoretischen und praktischen Aspekte der Verifikation von Software und Systemen interessieren. Die Publikation bietet wertvolle Einblicke in aktuelle Trends und Herausforderungen in diesem dynamischen Forschungsfeld und ist ein unverzichtbares Nachschlagewerk für alle, die sich mit der Verbesserung der Zuverlässigkeit und Sicherheit von Computersystemen beschäftigen.42,79 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
-
Computer Aided Verification, Fachbücher von Natasha Sharygina, Helmut VeithDas Buch "Computer Aided Verification" dokumentiert die vollständig begutachteten Beiträge der 25. Internationalen Konferenz zur Computerunterstützten Verifikation (CAV 2013), die im Juli 2013 in St. Petersburg, Russland, stattfand. Es umfasst eine Vielzahl von Themen, die für die Forschung und Entwicklung im Bereich der Verifikation von Computersystemen von Bedeutung sind. Aus insgesamt 209 eingereichten Arbeiten wurden 54 reguläre und 16 Tool-Papiere ausgewählt, die sich mit verschiedenen Aspekten der Computerverifikation befassen. Die Beiträge sind in thematische Abschnitte unterteilt, die unter anderem Biologie, Nebenläufigkeit, Hardware, hybride Systeme, Interpolation, Schleifen und Terminierung, neue Domänen, Wahrscheinlichkeit und Statistik, SAT und SMZ, Sicherheit, Formanalyse, Synthese und Zeit abdecken. Diese Sammlung bietet wertvolle Einblicke in aktuelle Trends und Herausforderungen in der Computerverifikation.106,99 €*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
-
Computer Aided Engineering of Batteries, Fachbücher von Shriram SanthanagopalanDas Buch "Computer Aided Engineering of Batteries" bietet eine umfassende Analyse der Implementierung von Batteriemodellen in realen Geometrien. Es basiert auf den Beiträgen des Computer Aided Engineering for Batteries (CAEBAT) Programms und beleuchtet sowohl praktische Beispiele als auch bestehende Wissenslücken. Die Autoren, darunter führende Akademiker, Automobilhersteller und Softwareentwickler, haben über einen Zeitraum von zehn Jahren zusammengearbeitet, um fortschrittliche, validierte Modellierungswerkzeuge zu entwickeln, die das Design, die Leistung, die Sicherheit und die Lebensdauer von Automobilbatterien simulieren. Dieses Fachbuch richtet sich an ein breiteres Publikum aus Industrie und Wissenschaft und ist besonders wertvoll für Fachleute im Bereich der Batterietechnik, die über begrenzte praktische Erfahrung im Programmieren verfügen.192,59 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
* 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.