Domain uohs.de kaufen?
Wir ziehen mit dem Projekt
uohs.de um.
Sind Sie am Kauf der Domain
uohs.de interessiert?
domain@kv-gmbh.de · 0541-91531010
Domain uohs.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
-
Logics for Coalgebras and Application to Computer Science, Paperback von Alexander Kurz, BoD – Books on Demand, 978-3-8311-1249-4Logics For Coalgebras And Application To Computer Science, Paperback 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
Graph-Theoretic Concepts in Computer Science, Fachbücher von Andreas Brandstädt, Klaus Jansen, Rüdiger Reischuk
Das Buch "Graph-Theoretic Concepts in Computer Science" präsentiert die überarbeiteten Beiträge des 39. Internationalen Workshops zu graphentheoretischen Konzepten in der Informatik, der im Juni 2013 in Lübeck stattfand. Es umfasst 34 sorgfältig ausgewählte und begutachtete Volltexte, die aus 61 eingereichten Arbeiten hervorgegangen sind. Die behandelten Themen decken ein breites Spektrum an Aspekten der Graphentheorie ab, die für die Informatik von Bedeutung sind. Dazu gehören unter anderem strukturelle Graphentheorie mit algorithmischen oder komplexitätstheoretischen Anwendungen, die Entwicklung und Analyse von Algorithmen für sequentielle, parallele, randomisierte, parametrische und verteilte Graphen und Netzwerke sowie die rechnerische Komplexität von Graphen- und Netzwerkproblemen. Das Buch bietet auch Einblicke in graphische Modelle, Zeichnungen und Layouts sowie in die Unterstützung dieser Konzepte durch geeignete Implementierungen und Anwendungen.
53,49 €*
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:
-
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
-
Logics for Coalgebras and Application to Computer Science, Paperback von Alexander Kurz, BoD – Books on Demand, 978-3-8311-1249-4Logics For Coalgebras And Application To Computer Science, Paperback 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
-
Graph-Theoretic Concepts in Computer Science, Fachbücher von Andreas Brandstädt, Klaus Jansen, Rüdiger ReischukDas Buch "Graph-Theoretic Concepts in Computer Science" präsentiert die überarbeiteten Beiträge des 39. Internationalen Workshops zu graphentheoretischen Konzepten in der Informatik, der im Juni 2013 in Lübeck stattfand. Es umfasst 34 sorgfältig ausgewählte und begutachtete Volltexte, die aus 61 eingereichten Arbeiten hervorgegangen sind. Die behandelten Themen decken ein breites Spektrum an Aspekten der Graphentheorie ab, die für die Informatik von Bedeutung sind. Dazu gehören unter anderem strukturelle Graphentheorie mit algorithmischen oder komplexitätstheoretischen Anwendungen, die Entwicklung und Analyse von Algorithmen für sequentielle, parallele, randomisierte, parametrische und verteilte Graphen und Netzwerke sowie die rechnerische Komplexität von Graphen- und Netzwerkproblemen. Das Buch bietet auch Einblicke in graphische Modelle, Zeichnungen und Layouts sowie in die Unterstützung dieser Konzepte durch geeignete Implementierungen und Anwendungen.53,49 €*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.