Domain fwvo.de kaufen?
Wir ziehen mit dem Projekt
fwvo.de um.
Sind Sie am Kauf der Domain
fwvo.de interessiert?
domain@kv-gmbh.de · 0541-91531010
Domain fwvo.de kaufen?
Grus, Joel: Einführung in Data Science
Einführung in Data Science , Grundprinzipien der Datenanalyse mit Python , Querlenker > Sportfederung , Auflage: 2. Auflage, Erscheinungsjahr: 201912, Produktform: Kartoniert, Titel der Reihe: Animals##, Autoren: Grus, Joel, Übersetzung: Rother, Kristian~Demmig, Thomas, Auflage: 20002, Auflage/Ausgabe: 2. Auflage, Themenüberschrift: COMPUTERS / Programming Languages / Python, Keyword: Big Data; Statistik; Data Mining; Algorithmen; Wahrscheinlichkeit; Mathematik; MapReduce, Fachschema: Data Mining (EDV)~Analyse / Datenanalyse~Datenanalyse~Programmiersprachen, Fachkategorie: Data Mining, Warengruppe: HC/Programmiersprachen, Fachkategorie: Programmier- und Skriptsprachen, allgemein, Thema: Verstehen, Text Sprache: ger, Originalsprache: eng, Seitenanzahl: XVII, Seitenanzahl: 379, UNSPSC: 49019900, Warenverzeichnis für die Außenhandelsstatistik: 49019900, Verlag: Dpunkt.Verlag GmbH, Verlag: Dpunkt.Verlag GmbH, Verlag: O'Reilly, Länge: 238, Breite: 164, Höhe: 27, Gewicht: 757, Produktform: Kartoniert, Genre: Mathematik/Naturwissenschaften/Technik/Medizin, Genre: Mathematik/Naturwissenschaften/Technik/Medizin, Vorgänger EAN: 9783960090212, andere Sprache: 9781492041139, Herkunftsland: DEUTSCHLAND (DE), Katalog: deutschsprachige Titel, Katalog: Gesamtkatalog, Katalog: Kennzeichnung von Titeln mit einer Relevanz > 30, Katalog: Lagerartikel, Book on Demand, ausgew. Medienartikel, Relevanz: 0030, Tendenz: 0, Unterkatalog: AK, Unterkatalog: Bücher, Unterkatalog: Hardcover, Unterkatalog: Lagerartikel,
36,90 €*
Versand: 0,00 €
Sichere Weiterleitung zum Anbieter
Logics in Computer Science, Fachbücher von Fabio Mogavero
Das Buch "Logics in Computer Science" von Fabio Mogavero bietet eine umfassende Einführung in vier neuartige temporale Logikformalisierungen, die als Spezifikationssprachen für die automatisierte Verifikation der Zuverlässigkeit von Hardware- und Softwaredesigns dienen. Die Monographie ist in zwei Hauptteile gegliedert. Der erste Teil behandelt zwei Logiken für Berechnungen, nämlich die graduierte Berechnungbaumlogik und die Berechnungbaumlogik mit minimalen Modellquantoren. Diese Logiken haben sich als nützlich erwiesen, um korrekte Ausführungen monolithischer geschlossener Systeme zu beschreiben. Der zweite Teil konzentriert sich auf Logiken für Strategien, einschliesslich der Strategielogik und der speicherfähigen alternierenden temporalen Logik, die erfolgreich zur Formalisierung verschiedener Eigenschaften interaktiver Spiele in Multi-Entitäten-Systemen eingesetzt wurden, die als Mehragentenspiele modelliert sind.
53,49 €*
Versand: 0,00 €
Sichere Weiterleitung zum Anbieter
Ähnliche Suchbegriffe für Logics-in-Computer-Science
Top-Angebote
Produkte zum Begriff Logics-in-Computer-Science:
-
Logics for Coalgebras and Application to Computer Science, Taschenbuch von Alexander Kurz, BoD – Books on Demand, 978-3-8311-1249-4Logics For Coalgebras And Application To Computer Science, Taschenbuch Von Alexander Kurz, Bod – Books On Demand, 978-3-8311-1249-4, Seitenanzahl: 20014,32 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
-
Computer Science From Scratch, Fachbücher von David Kopec"Computer Science From Scratch" ist ein umfassendes Fachbuch, das sich an alle richtet, die ein fundiertes Verständnis der Informatik entwickeln möchten. Verfasst von David Kopec, bietet dieses Buch eine praxisorientierte Einführung in die Programmierung mit Python. Es behandelt zentrale Themen wie den Aufbau von Interpretern, die Erstellung von Kunstwerken, Emulatoren und maschinellem Lernen. Mit 280 Seiten bietet es eine detaillierte Erkundung der Konzepte und Techniken, die für die Entwicklung von Software und Anwendungen erforderlich sind. Der kartonierte Einband sorgt für eine ansprechende und langlebige Präsentation des Inhalts. Dieses Buch ist in englischer Sprache verfasst und richtet sich an Leserinnen und Leser, die sich für Technik und IT interessieren. Es ist eine wertvolle Ressource für Studierende, Fachleute und alle, die ihre Kenntnisse in der Informatik vertiefen möchten. Die Veröffentlichung im Jahr 2025 stellt sicher, dass die Inhalte aktuell und relevant sind, um den Anforderungen der sich ständig weiterentwickelnden Technologielandschaft gerecht zu werden.38,70 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
Advances in Machine Intelligence and Computer Science Applications, Fachbücher von Imad Hafidi, Noureddine Aboutabit
Das Buch "Advances in Machine Intelligence and Computer Science Applications" gehört zu einer anerkannten Reihe, die sich den neuesten Fortschritten und der aktuellen Forschung im Bereich der künstlichen Intelligenz und deren Anwendungen in der Informatik widmet. Es bietet eine umfassende Plattform für Studierende, Forschende, Akademiker, Fachleute aus der Industrie und Entscheidungsträger, um innovative Methoden und Lösungen, die auf Techniken der künstlichen Intelligenz basieren, zu erkunden, zu verstehen und zu verbreiten. Darüber hinaus bietet das Buch einen konsolidierten Überblick über aktuelle wissenschaftliche Beiträge und aufkommende Trends, die in der Literatur berichtet werden. Es betont originale Forschungsarbeiten und neuartige Entwicklungen in multidisziplinären Bereichen, insbesondere in Bezug auf die Anwendung von künstlicher Intelligenz in der Informatik, Kommunikationssystemen und fortschrittlichen Technologien. Die Inhalte stammen aus ausgewählten und erweiterten hochwertigen Beiträgen, die auf der International Conference on Machine Intelligence and Computer Science Applications präsentiert wurden. Alle Beiträge durchliefen einen strengen Peer-Review-Prozess und spiegeln sowohl die wissenschaftliche Qualität als auch die Vielfalt der während der Konferenz behandelten Forschungsthemen wider.
213,99 €*
Versand: 0,00 €
Sichere Weiterleitung zum Anbieter
Top-Angebote
Produkte zum Begriff Logics-in-Computer-Science:
-
Grus, Joel: Einführung in Data ScienceEinführung in Data Science , Grundprinzipien der Datenanalyse mit Python , Querlenker > Sportfederung , Auflage: 2. Auflage, Erscheinungsjahr: 201912, Produktform: Kartoniert, Titel der Reihe: Animals##, Autoren: Grus, Joel, Übersetzung: Rother, Kristian~Demmig, Thomas, Auflage: 20002, Auflage/Ausgabe: 2. Auflage, Themenüberschrift: COMPUTERS / Programming Languages / Python, Keyword: Big Data; Statistik; Data Mining; Algorithmen; Wahrscheinlichkeit; Mathematik; MapReduce, Fachschema: Data Mining (EDV)~Analyse / Datenanalyse~Datenanalyse~Programmiersprachen, Fachkategorie: Data Mining, Warengruppe: HC/Programmiersprachen, Fachkategorie: Programmier- und Skriptsprachen, allgemein, Thema: Verstehen, Text Sprache: ger, Originalsprache: eng, Seitenanzahl: XVII, Seitenanzahl: 379, UNSPSC: 49019900, Warenverzeichnis für die Außenhandelsstatistik: 49019900, Verlag: Dpunkt.Verlag GmbH, Verlag: Dpunkt.Verlag GmbH, Verlag: O'Reilly, Länge: 238, Breite: 164, Höhe: 27, Gewicht: 757, Produktform: Kartoniert, Genre: Mathematik/Naturwissenschaften/Technik/Medizin, Genre: Mathematik/Naturwissenschaften/Technik/Medizin, Vorgänger EAN: 9783960090212, andere Sprache: 9781492041139, Herkunftsland: DEUTSCHLAND (DE), Katalog: deutschsprachige Titel, Katalog: Gesamtkatalog, Katalog: Kennzeichnung von Titeln mit einer Relevanz > 30, Katalog: Lagerartikel, Book on Demand, ausgew. Medienartikel, Relevanz: 0030, Tendenz: 0, Unterkatalog: AK, Unterkatalog: Bücher, Unterkatalog: Hardcover, Unterkatalog: Lagerartikel,36,90 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
-
Logics in Computer Science, Fachbücher von Fabio MogaveroDas Buch "Logics in Computer Science" von Fabio Mogavero bietet eine umfassende Einführung in vier neuartige temporale Logikformalisierungen, die als Spezifikationssprachen für die automatisierte Verifikation der Zuverlässigkeit von Hardware- und Softwaredesigns dienen. Die Monographie ist in zwei Hauptteile gegliedert. Der erste Teil behandelt zwei Logiken für Berechnungen, nämlich die graduierte Berechnungbaumlogik und die Berechnungbaumlogik mit minimalen Modellquantoren. Diese Logiken haben sich als nützlich erwiesen, um korrekte Ausführungen monolithischer geschlossener Systeme zu beschreiben. Der zweite Teil konzentriert sich auf Logiken für Strategien, einschliesslich der Strategielogik und der speicherfähigen alternierenden temporalen Logik, die erfolgreich zur Formalisierung verschiedener Eigenschaften interaktiver Spiele in Multi-Entitäten-Systemen eingesetzt wurden, die als Mehragentenspiele modelliert sind.53,49 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
-
Logics for Coalgebras and Application to Computer Science, Taschenbuch von Alexander Kurz, BoD – Books on Demand, 978-3-8311-1249-4Logics For Coalgebras And Application To Computer Science, Taschenbuch Von Alexander Kurz, Bod – Books On Demand, 978-3-8311-1249-4, Seitenanzahl: 20014,32 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
Ähnliche Suchbegriffe für Logics-in-Computer-Science
-
Computer Science From Scratch, Fachbücher von David Kopec"Computer Science From Scratch" ist ein umfassendes Fachbuch, das sich an alle richtet, die ein fundiertes Verständnis der Informatik entwickeln möchten. Verfasst von David Kopec, bietet dieses Buch eine praxisorientierte Einführung in die Programmierung mit Python. Es behandelt zentrale Themen wie den Aufbau von Interpretern, die Erstellung von Kunstwerken, Emulatoren und maschinellem Lernen. Mit 280 Seiten bietet es eine detaillierte Erkundung der Konzepte und Techniken, die für die Entwicklung von Software und Anwendungen erforderlich sind. Der kartonierte Einband sorgt für eine ansprechende und langlebige Präsentation des Inhalts. Dieses Buch ist in englischer Sprache verfasst und richtet sich an Leserinnen und Leser, die sich für Technik und IT interessieren. Es ist eine wertvolle Ressource für Studierende, Fachleute und alle, die ihre Kenntnisse in der Informatik vertiefen möchten. Die Veröffentlichung im Jahr 2025 stellt sicher, dass die Inhalte aktuell und relevant sind, um den Anforderungen der sich ständig weiterentwickelnden Technologielandschaft gerecht zu werden.38,70 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
-
Advances in Machine Intelligence and Computer Science Applications, Fachbücher von Imad Hafidi, Noureddine AboutabitDas Buch "Advances in Machine Intelligence and Computer Science Applications" gehört zu einer anerkannten Reihe, die sich den neuesten Fortschritten und der aktuellen Forschung im Bereich der künstlichen Intelligenz und deren Anwendungen in der Informatik widmet. Es bietet eine umfassende Plattform für Studierende, Forschende, Akademiker, Fachleute aus der Industrie und Entscheidungsträger, um innovative Methoden und Lösungen, die auf Techniken der künstlichen Intelligenz basieren, zu erkunden, zu verstehen und zu verbreiten. Darüber hinaus bietet das Buch einen konsolidierten Überblick über aktuelle wissenschaftliche Beiträge und aufkommende Trends, die in der Literatur berichtet werden. Es betont originale Forschungsarbeiten und neuartige Entwicklungen in multidisziplinären Bereichen, insbesondere in Bezug auf die Anwendung von künstlicher Intelligenz in der Informatik, Kommunikationssystemen und fortschrittlichen Technologien. Die Inhalte stammen aus ausgewählten und erweiterten hochwertigen Beiträgen, die auf der International Conference on Machine Intelligence and Computer Science Applications präsentiert wurden. Alle Beiträge durchliefen einen strengen Peer-Review-Prozess und spiegeln sowohl die wissenschaftliche Qualität als auch die Vielfalt der während der Konferenz behandelten Forschungsthemen wider.213,99 €*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.