Domain büro-total.de kaufen?
Wir ziehen mit dem Projekt
büro-total.de um.
Sind Sie am Kauf der Domain
büro-total.de interessiert?
domain@kv-gmbh.de · 0541-91531010
Domain büro-total.de kaufen?
Theoretical Computer Science, Fachbücher von Jialin Zhang, Zhiping Cai, Yitong Yin
Das Buch "Theoretical Computer Science" präsentiert die refereed Proceedings der 42. Nationalen Konferenz für Theoretische Informatik (NCTCS 2024), die vom 19. bis 21. Juli 2024 in Qingdao, China, stattfand. Es umfasst 13 ausgewählte Volltexte, die aus 75 eingereichten Arbeiten sorgfältig ausgewählt wurden. Die Beiträge sind in thematische Abschnitte gegliedert, die sich mit verschiedenen Aspekten der theoretischen Informatik befassen, darunter Algorithmendesign, Approximationsalgorithmen, Logik sowie Theorien und Algorithmen der Künstlichen Intelligenz. Dieses Fachbuch bietet wertvolle Einblicke in aktuelle Forschungstrends und Entwicklungen in der theoretischen Informatik und ist eine wichtige Ressource für Studierende, Forschende und Fachleute auf diesem Gebiet.
69,54 €*
Versand: 0,00 €
Sichere Weiterleitung zum Anbieter
Ähnliche Suchbegriffe für Springer-Computer-Aided-Innovation-CAI
Top-Angebote
Produkte zum Begriff Springer-Computer-Aided-Innovation-CAI:
-
Computer Aided Verification, Fachbücher von Philipp Rümmer, Anthony W. Lin, Eva DarulovaDas Fachbuch 'Computer Aided Verification' bietet eine umfassende Sammlung von Beiträgen, die im Rahmen der 38. Internationalen Konferenz CAV 2026 in Lissabon, Portugal, präsentiert wurden. Die Publikation, die in englischer Sprache verfasst ist, richtet sich an Fachleute und Wissenschaftler im Bereich Technik und IT. Mit einem kartonierten Einband und 512 Seiten bietet das Buch eine solide Grundlage für das Verständnis und die Anwendung von computergestützten Verifikationsmethoden. Die Beiträge, die von renommierten Autoren wie Anthony W. Lin, Eva Darulova und Philipp Rümmer verfasst wurden, decken verschiedene Aspekte der Computer Aided Verification ab und bieten sowohl theoretische als auch praktische Einblicke. Das Buch ist ein wertvolles Nachschlagewerk für Forscher und Praktiker, die sich mit der Validierung und Verifikation von Systemen beschäftigen. Es kombiniert wissenschaftliche Tiefe mit praxisrelevanten Ansätzen und stellt somit eine wichtige Ressource in der Fachliteratur dar.42,79 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
-
Frick, Jonas: Computer LiberationComputer Liberation , Zur Imaginationsgeschichte der Computer- und Netzwerkkultur, 1960-2000 , Messgeräte & Anzeige > Innenausstattung , Erscheinungsjahr: 20250327, Titel der Reihe: Digitale Gesellschaft#65#, Autoren: Frick, Jonas, Seitenzahl/Blattzahl: 1008, Abbildungen: 23 schwarz-weiße Abbildungen, Themenüberschrift: SOCIAL SCIENCE / Media Studies, Keyword: Digitalisierung; Digitalization; History of Technology; Internet; Media History; Media Studies; Mediengeschichte; Medienwissenschaft; Technikgeschichte, Fachschema: Internet / Politik, Gesellschaft, Fachkategorie: Geschichte, Warengruppe: HC/Geschichte/Neuzeit, UNSPSC: 49019900, Warenverzeichnis für die Außenhandelsstatistik: 49019900, Länge: 240, Breite: 155, Höhe: 59, Gewicht: 1645, Produktform: Klappenbroschur,64,00 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
Top-Angebote
Produkte zum Begriff Springer-Computer-Aided-Innovation-CAI:
-
Theoretical Computer Science, Fachbücher von Jialin Zhang, Zhiping Cai, Yitong YinDas Buch "Theoretical Computer Science" präsentiert die refereed Proceedings der 42. Nationalen Konferenz für Theoretische Informatik (NCTCS 2024), die vom 19. bis 21. Juli 2024 in Qingdao, China, stattfand. Es umfasst 13 ausgewählte Volltexte, die aus 75 eingereichten Arbeiten sorgfältig ausgewählt wurden. Die Beiträge sind in thematische Abschnitte gegliedert, die sich mit verschiedenen Aspekten der theoretischen Informatik befassen, darunter Algorithmendesign, Approximationsalgorithmen, Logik sowie Theorien und Algorithmen der Künstlichen Intelligenz. Dieses Fachbuch bietet wertvolle Einblicke in aktuelle Forschungstrends und Entwicklungen in der theoretischen Informatik und ist eine wichtige Ressource für Studierende, Forschende und Fachleute auf diesem Gebiet.69,54 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
-
Computer Aided Verification, Fachbücher von Philipp Rümmer, Anthony W. Lin, Eva DarulovaDas Fachbuch 'Computer Aided Verification' bietet eine umfassende Sammlung von Beiträgen, die im Rahmen der 38. Internationalen Konferenz CAV 2026 in Lissabon, Portugal, präsentiert wurden. Die Publikation, die in englischer Sprache verfasst ist, richtet sich an Fachleute und Wissenschaftler im Bereich Technik und IT. Mit einem kartonierten Einband und 512 Seiten bietet das Buch eine solide Grundlage für das Verständnis und die Anwendung von computergestützten Verifikationsmethoden. Die Beiträge, die von renommierten Autoren wie Anthony W. Lin, Eva Darulova und Philipp Rümmer verfasst wurden, decken verschiedene Aspekte der Computer Aided Verification ab und bieten sowohl theoretische als auch praktische Einblicke. Das Buch ist ein wertvolles Nachschlagewerk für Forscher und Praktiker, die sich mit der Validierung und Verifikation von Systemen beschäftigen. Es kombiniert wissenschaftliche Tiefe mit praxisrelevanten Ansätzen und stellt somit eine wichtige Ressource in der Fachliteratur dar.42,79 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
-
Frick, Jonas: Computer LiberationComputer Liberation , Zur Imaginationsgeschichte der Computer- und Netzwerkkultur, 1960-2000 , Messgeräte & Anzeige > Innenausstattung , Erscheinungsjahr: 20250327, Titel der Reihe: Digitale Gesellschaft#65#, Autoren: Frick, Jonas, Seitenzahl/Blattzahl: 1008, Abbildungen: 23 schwarz-weiße Abbildungen, Themenüberschrift: SOCIAL SCIENCE / Media Studies, Keyword: Digitalisierung; Digitalization; History of Technology; Internet; Media History; Media Studies; Mediengeschichte; Medienwissenschaft; Technikgeschichte, Fachschema: Internet / Politik, Gesellschaft, Fachkategorie: Geschichte, Warengruppe: HC/Geschichte/Neuzeit, UNSPSC: 49019900, Warenverzeichnis für die Außenhandelsstatistik: 49019900, Länge: 240, Breite: 155, Höhe: 59, Gewicht: 1645, Produktform: Klappenbroschur,64,00 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
Ähnliche Suchbegriffe für Springer-Computer-Aided-Innovation-CAI
* 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.