Domain kmbt.de kaufen?
Wir ziehen mit dem Projekt
kmbt.de um.
Sind Sie am Kauf der Domain
kmbt.de interessiert?
domain@kv-gmbh.de · 0541-91531010
Domain kmbt.de kaufen?
Aspects and Prospects of Theoretical Computer Science, Fachbücher von Jozef Kelemen, Jürgen Dassow
Das Fachbuch "Aspects and Prospects of Theoretical Computer Science" bietet eine umfassende Sammlung von Beiträgen, die während des 6. Internationalen Treffens junger Informatiker in Smolenice, Tschechoslowakei, im November 1990 präsentiert wurden. Die Herausgeber Jürgen Dassow und Jozef Kelemen haben eine Vielzahl von Themen aus der theoretischen Informatik zusammengestellt, die sowohl aktuelle Entwicklungen als auch zukünftige Perspektiven beleuchten. Mit 308 Seiten bietet das Buch eine fundierte Grundlage für Studierende und Fachleute, die sich mit den theoretischen Aspekten der Informatik auseinandersetzen möchten. Die Beiträge sind in englischer Sprache verfasst und decken ein breites Spektrum an Themen ab, die für die Forschung und Lehre in der Informatik von Bedeutung sind. Dieses Buch ist eine wertvolle Ressource für alle, die sich für die theoretischen Grundlagen und deren Anwendungen in der Informatik interessieren.
49,40 €*
Versand: 0,00 €
Sichere Weiterleitung zum Anbieter
Theoretical Computer Science for the Working Category Theorist, Schulbücher von Noson S. Yanofsky
Mit grundlegender Kategorientheorie beschreibt dieses Element alle zentralen Konzepte und beweist die wichtigsten Theoreme der theoretischen Informatik. Die Kategorientheorie, die mit Funktionen, Prozessen und Strukturen arbeitet, ist besonders geeignet, um die grundlegenden Ergebnisse der theoretischen Informatik darzustellen. In diesem Element treffen die Leser auf einige der tiefsten Ideen und Theoreme der modernen Computer- und Mathematik, wie Turingmaschinen, unlösbare Probleme, die P=NP-Frage, Kurt Gödels Unvollständigkeitssatz, schwer lösbare Probleme, kryptografische Protokolle, Alan Turings Halteproblem und vieles mehr. Die Konzepte werden durch zahlreiche Beispiele und Übungen lebendig.
28,40 €*
Versand: 0,00 €
Sichere Weiterleitung zum Anbieter
Ähnliche Suchbegriffe für Theoretical-Computer-Science-Fachbücher
Top-Angebote
Produkte zum Begriff Theoretical-Computer-Science-Fachbücher:
-
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,90 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
-
Connecting Discrete Mathematics and Computer Science, Fachbücher von David Liben-Nowell"Connecting Discrete Mathematics and Computer Science" ist ein Fachbuch, das speziell für Studierende der Informatik konzipiert wurde, die sich mit den mathematischen Grundlagen der Computerwissenschaften auseinandersetzen möchten. Das Buch bietet eine umfassende Behandlung zentraler Themen der diskreten Mathematik, darunter Logik, Beweise, Zahlentheorie, Kombinatorik, Wahrscheinlichkeit und Graphen. Es hebt die Relevanz dieser mathematischen Konzepte für die Informatik hervor, indem es etwa 60 Seiten mit praktischen Anwendungen präsentiert, die die Verbindung zwischen Theorie und Praxis verdeutlichen. Diese Anwendungen reichen von Spielbäumen in der Logik bis hin zu Differential Privacy in der Wahrscheinlichkeitstheorie. Das Buch ist nicht nur informativ, sondern auch didaktisch wertvoll, mit zahlreichen Übungen, Beispielen und zusätzlichen Ressourcen, die das Lernen unterstützen.70,50 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
-
Theoretical Fluid Mechanics, Fachbücher von Raj SpielmannDas Fachbuch "Theoretical Fluid Mechanics" bietet eine anwendungsorientierte Einführung in die theoretische Fluidmechanik. Es richtet sich an Studierende im frühen Hochschulstudium und vermittelt grundlegende Konzepte sowie detaillierte Ableitungen, die für das Verständnis der Materie unerlässlich sind. Der kartonierte Einband sorgt für eine ansprechende und langlebige Präsentation des Inhalts. Verfasst von Raj Spielmann, ist das Buch in englischer Sprache verfasst und eignet sich ideal für Lernende, die sich mit den Prinzipien der Fluidmechanik auseinandersetzen möchten. Die umfassende Darstellung der Thematik ermöglicht es den Leserinnen und Lesern, sowohl theoretische als auch praktische Aspekte der Fluidmechanik zu erfassen. Mit seiner klaren Struktur und den präzisen Erklärungen ist dieses Werk ein wertvolles Hilfsmittel für alle, die sich in diesem Fachgebiet weiterbilden möchten. Das Buch wird in den Niederlanden produziert und ist ab dem 17. Dezember 2025 erhältlich.28,30 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
-
Essential Logic for Computer Science (The ), Fachbücher von Ruben Gamboa, Rex PageEine Einführung in die Anwendung der Prädikatenlogik für das Testen und die Verifikation von Software und digitalen Schaltungen, die sich auf Anwendungen statt auf Theorie konzentriert. Informatiker nutzen Logik für das Testen und die Verifikation von Software und digitalen Schaltungen, aber viele Informatikstudierende beschäftigen sich mit Logik nur im Kontext der traditionellen Mathematik und begegnen dem Thema in wenigen Vorlesungen und einer Handvoll Aufgaben in einem Kurs über diskrete Mathematik. Dieses Buch bietet einen substantielleren und rigoroseren Ansatz zur Logik, der sich auf Anwendungen in der Informatik konzentriert. Behandelte Themen sind Prädikatenlogik, gleichungsbasierte Software, automatisiertes Testen und Theorembeweisen sowie grossangelegte Berechnungen. Der Formalismus wird betont, und das Buch verwendet drei formale Notationen: traditionelle algebraische Formeln der Aussagen- und Prädikatenlogik; digitale Schaltpläne; und den weit verbreiteten teilweise automatisierten Theorembeweiser ACL2, der eine zugängliche Einführung in den mechanisierten Formalismus bietet. Für Leser, die die Formalisierung in Aktion sehen möchten, präsentiert der Text Beispiele mit Proof Pad, einer leichtgewichtigen ACL2-Umgebung. Die Leser werden keine Experten in ACL2, aber sie lernen, wie mechanisierte Logik Software- und Hardware-Ingenieuren zugutekommen kann. Darüber hinaus bieten 180 Übungen, von denen einige äusserst herausfordernd sind, Gelegenheiten zur Problemlösung. Es gibt keine Voraussetzungen über die Algebra der Oberstufe hinaus. Programmiererfahrung ist nicht erforderlich, um den gleichungsbasierten Ansatz des Buches zu verstehen. Das Buch kann in Bachelor-Kursen zur Logik für Informatik und zur Einführung in die Informatik sowie in Mathematik-Kursen für Informatikstudierende verwendet werden.63,59 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
Theoretical and Computational Chemistry, Fachbücher von Emanuele Curotto
Das Fachbuch "Theoretical and Computational Chemistry" von Emanuele Curotto bietet eine umfassende Einführung in die mathematischen Grundlagen der Eichfeldtheorie und deren Anwendung in der computergestützten Chemie. Es behandelt zwei bedeutende Methoden der modernen computergestützten Chemie: den Diffusion Monte Carlo-Algorithmus und die Ring-Polymer-Molekulardynamik. Die Inhalte sind klar und kohärent strukturiert, sodass sie auch für Studierende der Bachelor-Studiengänge zugänglich sind. Das Buch enthält zahlreiche Übungen, die den Leserinnen und Lesern helfen, ein tiefes Verständnis der behandelten Themen zu erlangen. Zudem werden aktuelle Fortschritte in der theoretischen und computergestützten Chemie vorgestellt, was das Buch zu einer wertvollen Ressource für Studierende und Fachleute macht.
69,60 €*
Versand: 0,00 €
Sichere Weiterleitung zum Anbieter
Lecture Notes on Theoretical Mechanics, Fachbücher von Jianlin Liu
Das Buch "Lecture Notes on Theoretical Mechanics" von Jianlin Liu bietet eine umfassende Einführung in die grundlegenden und wesentlichen Themen der theoretischen Mechanik. Es ist in drei Hauptteile gegliedert: Statik, Kinematik und Kinetik. Der erste Teil behandelt die Geschichte der klassischen und modernen Mechanik und bereitet die Leser mit grundlegenden Kenntnissen auf die folgenden Kapitel vor. Die Statik wird in den Kapiteln 3 bis 7 behandelt, wobei Themen wie Kraftanalyse und das Gleichgewicht von Kräften im Vordergrund stehen. Die Kinematik, die die Bewegung von Partikeln und starren Körpern behandelt, wird in den Kapiteln 8 bis 10 behandelt. Der Kinetik-Teil, der die Gesetze von Newton und die Theoreme von Impuls und kinetischer Energie behandelt, rundet das Buch ab. Mit zahlreichen Beispielen aus der Ingenieurpraxis, Illustrationen und schrittweisen Anleitungen ist das Buch sowohl für den Unterricht als auch für das Selbststudium geeignet. Es dient als Lehrbuch für Studierende in verschiedenen Ingenieurdisziplinen und bereitet sie auf weiterführende Studien und Forschungen vor.
69,90 €*
Versand: 0,00 €
Sichere Weiterleitung zum Anbieter
Top-Angebote
Produkte zum Begriff Theoretical-Computer-Science-Fachbücher:
-
Aspects and Prospects of Theoretical Computer Science, Fachbücher von Jozef Kelemen, Jürgen DassowDas Fachbuch "Aspects and Prospects of Theoretical Computer Science" bietet eine umfassende Sammlung von Beiträgen, die während des 6. Internationalen Treffens junger Informatiker in Smolenice, Tschechoslowakei, im November 1990 präsentiert wurden. Die Herausgeber Jürgen Dassow und Jozef Kelemen haben eine Vielzahl von Themen aus der theoretischen Informatik zusammengestellt, die sowohl aktuelle Entwicklungen als auch zukünftige Perspektiven beleuchten. Mit 308 Seiten bietet das Buch eine fundierte Grundlage für Studierende und Fachleute, die sich mit den theoretischen Aspekten der Informatik auseinandersetzen möchten. Die Beiträge sind in englischer Sprache verfasst und decken ein breites Spektrum an Themen ab, die für die Forschung und Lehre in der Informatik von Bedeutung sind. Dieses Buch ist eine wertvolle Ressource für alle, die sich für die theoretischen Grundlagen und deren Anwendungen in der Informatik interessieren.49,40 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
-
Theoretical Computer Science for the Working Category Theorist, Schulbücher von Noson S. YanofskyMit grundlegender Kategorientheorie beschreibt dieses Element alle zentralen Konzepte und beweist die wichtigsten Theoreme der theoretischen Informatik. Die Kategorientheorie, die mit Funktionen, Prozessen und Strukturen arbeitet, ist besonders geeignet, um die grundlegenden Ergebnisse der theoretischen Informatik darzustellen. In diesem Element treffen die Leser auf einige der tiefsten Ideen und Theoreme der modernen Computer- und Mathematik, wie Turingmaschinen, unlösbare Probleme, die P=NP-Frage, Kurt Gödels Unvollständigkeitssatz, schwer lösbare Probleme, kryptografische Protokolle, Alan Turings Halteproblem und vieles mehr. Die Konzepte werden durch zahlreiche Beispiele und Übungen lebendig.28,40 €*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,90 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
-
Connecting Discrete Mathematics and Computer Science, Fachbücher von David Liben-Nowell"Connecting Discrete Mathematics and Computer Science" ist ein Fachbuch, das speziell für Studierende der Informatik konzipiert wurde, die sich mit den mathematischen Grundlagen der Computerwissenschaften auseinandersetzen möchten. Das Buch bietet eine umfassende Behandlung zentraler Themen der diskreten Mathematik, darunter Logik, Beweise, Zahlentheorie, Kombinatorik, Wahrscheinlichkeit und Graphen. Es hebt die Relevanz dieser mathematischen Konzepte für die Informatik hervor, indem es etwa 60 Seiten mit praktischen Anwendungen präsentiert, die die Verbindung zwischen Theorie und Praxis verdeutlichen. Diese Anwendungen reichen von Spielbäumen in der Logik bis hin zu Differential Privacy in der Wahrscheinlichkeitstheorie. Das Buch ist nicht nur informativ, sondern auch didaktisch wertvoll, mit zahlreichen Übungen, Beispielen und zusätzlichen Ressourcen, die das Lernen unterstützen.70,50 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
Ähnliche Suchbegriffe für Theoretical-Computer-Science-Fachbücher
-
Theoretical Fluid Mechanics, Fachbücher von Raj SpielmannDas Fachbuch "Theoretical Fluid Mechanics" bietet eine anwendungsorientierte Einführung in die theoretische Fluidmechanik. Es richtet sich an Studierende im frühen Hochschulstudium und vermittelt grundlegende Konzepte sowie detaillierte Ableitungen, die für das Verständnis der Materie unerlässlich sind. Der kartonierte Einband sorgt für eine ansprechende und langlebige Präsentation des Inhalts. Verfasst von Raj Spielmann, ist das Buch in englischer Sprache verfasst und eignet sich ideal für Lernende, die sich mit den Prinzipien der Fluidmechanik auseinandersetzen möchten. Die umfassende Darstellung der Thematik ermöglicht es den Leserinnen und Lesern, sowohl theoretische als auch praktische Aspekte der Fluidmechanik zu erfassen. Mit seiner klaren Struktur und den präzisen Erklärungen ist dieses Werk ein wertvolles Hilfsmittel für alle, die sich in diesem Fachgebiet weiterbilden möchten. Das Buch wird in den Niederlanden produziert und ist ab dem 17. Dezember 2025 erhältlich.28,30 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
-
Essential Logic for Computer Science (The ), Fachbücher von Ruben Gamboa, Rex PageEine Einführung in die Anwendung der Prädikatenlogik für das Testen und die Verifikation von Software und digitalen Schaltungen, die sich auf Anwendungen statt auf Theorie konzentriert. Informatiker nutzen Logik für das Testen und die Verifikation von Software und digitalen Schaltungen, aber viele Informatikstudierende beschäftigen sich mit Logik nur im Kontext der traditionellen Mathematik und begegnen dem Thema in wenigen Vorlesungen und einer Handvoll Aufgaben in einem Kurs über diskrete Mathematik. Dieses Buch bietet einen substantielleren und rigoroseren Ansatz zur Logik, der sich auf Anwendungen in der Informatik konzentriert. Behandelte Themen sind Prädikatenlogik, gleichungsbasierte Software, automatisiertes Testen und Theorembeweisen sowie grossangelegte Berechnungen. Der Formalismus wird betont, und das Buch verwendet drei formale Notationen: traditionelle algebraische Formeln der Aussagen- und Prädikatenlogik; digitale Schaltpläne; und den weit verbreiteten teilweise automatisierten Theorembeweiser ACL2, der eine zugängliche Einführung in den mechanisierten Formalismus bietet. Für Leser, die die Formalisierung in Aktion sehen möchten, präsentiert der Text Beispiele mit Proof Pad, einer leichtgewichtigen ACL2-Umgebung. Die Leser werden keine Experten in ACL2, aber sie lernen, wie mechanisierte Logik Software- und Hardware-Ingenieuren zugutekommen kann. Darüber hinaus bieten 180 Übungen, von denen einige äusserst herausfordernd sind, Gelegenheiten zur Problemlösung. Es gibt keine Voraussetzungen über die Algebra der Oberstufe hinaus. Programmiererfahrung ist nicht erforderlich, um den gleichungsbasierten Ansatz des Buches zu verstehen. Das Buch kann in Bachelor-Kursen zur Logik für Informatik und zur Einführung in die Informatik sowie in Mathematik-Kursen für Informatikstudierende verwendet werden.63,59 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
-
Theoretical and Computational Chemistry, Fachbücher von Emanuele CurottoDas Fachbuch "Theoretical and Computational Chemistry" von Emanuele Curotto bietet eine umfassende Einführung in die mathematischen Grundlagen der Eichfeldtheorie und deren Anwendung in der computergestützten Chemie. Es behandelt zwei bedeutende Methoden der modernen computergestützten Chemie: den Diffusion Monte Carlo-Algorithmus und die Ring-Polymer-Molekulardynamik. Die Inhalte sind klar und kohärent strukturiert, sodass sie auch für Studierende der Bachelor-Studiengänge zugänglich sind. Das Buch enthält zahlreiche Übungen, die den Leserinnen und Lesern helfen, ein tiefes Verständnis der behandelten Themen zu erlangen. Zudem werden aktuelle Fortschritte in der theoretischen und computergestützten Chemie vorgestellt, was das Buch zu einer wertvollen Ressource für Studierende und Fachleute macht.69,60 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
-
Lecture Notes on Theoretical Mechanics, Fachbücher von Jianlin LiuDas Buch "Lecture Notes on Theoretical Mechanics" von Jianlin Liu bietet eine umfassende Einführung in die grundlegenden und wesentlichen Themen der theoretischen Mechanik. Es ist in drei Hauptteile gegliedert: Statik, Kinematik und Kinetik. Der erste Teil behandelt die Geschichte der klassischen und modernen Mechanik und bereitet die Leser mit grundlegenden Kenntnissen auf die folgenden Kapitel vor. Die Statik wird in den Kapiteln 3 bis 7 behandelt, wobei Themen wie Kraftanalyse und das Gleichgewicht von Kräften im Vordergrund stehen. Die Kinematik, die die Bewegung von Partikeln und starren Körpern behandelt, wird in den Kapiteln 8 bis 10 behandelt. Der Kinetik-Teil, der die Gesetze von Newton und die Theoreme von Impuls und kinetischer Energie behandelt, rundet das Buch ab. Mit zahlreichen Beispielen aus der Ingenieurpraxis, Illustrationen und schrittweisen Anleitungen ist das Buch sowohl für den Unterricht als auch für das Selbststudium geeignet. Es dient als Lehrbuch für Studierende in verschiedenen Ingenieurdisziplinen und bereitet sie auf weiterführende Studien und Forschungen vor.69,90 €*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.