Domain kh24.de kaufen?
Wir ziehen mit dem Projekt
kh24.de um.
Sind Sie am Kauf der Domain
kh24.de interessiert?
domain@kv-gmbh.de · 0541-91531010
Domain kh24.de kaufen?
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:
-
Computer Science and Education in Computer Science, Fachbücher von Georgi Tuparov, Tanya ZlatevaDas Fachbuch "Computer Science and Education in Computer Science" bietet eine umfassende Sammlung von Beiträgen, die auf der 21. EAI International Conference, CSECS 2025, in Bratislava präsentiert wurden. Herausgegeben von Tanya Zlateva und Georgi Tuparov, behandelt das Buch aktuelle Themen und Entwicklungen im Bereich der Informatik und deren Anwendung in der Bildung. Mit 389 Seiten bietet es eine Vielzahl von Perspektiven und Forschungsergebnissen, die sowohl für Studierende als auch für Fachleute von Interesse sind. Die Beiträge sind in englischer Sprache verfasst und decken ein breites Spektrum an Aspekten der Computerwissenschaften ab, von theoretischen Grundlagen bis hin zu praktischen Anwendungen. Dieses Buch ist eine wertvolle Ressource für alle, die sich mit der Schnittstelle zwischen Informatik und Bildung auseinandersetzen.80,24 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
-
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 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
Top-Angebote
Produkte zum Begriff Logics-in-Computer-Science:
-
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
-
Computer Science and Education in Computer Science, Fachbücher von Georgi Tuparov, Tanya ZlatevaDas Fachbuch "Computer Science and Education in Computer Science" bietet eine umfassende Sammlung von Beiträgen, die auf der 21. EAI International Conference, CSECS 2025, in Bratislava präsentiert wurden. Herausgegeben von Tanya Zlateva und Georgi Tuparov, behandelt das Buch aktuelle Themen und Entwicklungen im Bereich der Informatik und deren Anwendung in der Bildung. Mit 389 Seiten bietet es eine Vielzahl von Perspektiven und Forschungsergebnissen, die sowohl für Studierende als auch für Fachleute von Interesse sind. Die Beiträge sind in englischer Sprache verfasst und decken ein breites Spektrum an Aspekten der Computerwissenschaften ab, von theoretischen Grundlagen bis hin zu praktischen Anwendungen. Dieses Buch ist eine wertvolle Ressource für alle, die sich mit der Schnittstelle zwischen Informatik und Bildung auseinandersetzen.80,24 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
-
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
Ähnliche Suchbegriffe für 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
* 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.