Data Structures and Algorithm Analysis in C Third Edition

Author: Clifford A. Shaffer
Publisher: Courier Corporation
ISBN: 9780486172620
Release Date: 2012-07-26
Genre: Computers

Comprehensive treatment focuses on creation of efficient data structures and algorithms and selection or design of data structure best suited to specific problems. This edition uses C++ as the programming language.

Data Structures Algorithm Analysis in Java

Author: Clifford A. Shaffer
Publisher: Courier Corporation
ISBN: 9780486485812
Release Date: 2011
Genre: Computers

A comprehensive treatment focusing on the creation of efficient data structures and algorithms, this text explains how to select or design the data structure best suited to specific problems. It uses Java as the programming language and is suitable for second-year data structure courses and computer science courses in algorithmic analysis.

Logic for Computer Science

Author: Jean H. Gallier
Publisher: Courier Dover Publications
ISBN: 9780486780825
Release Date: 2015-06-18
Genre: Computers

This advanced text for undergraduate and graduate students introduces mathematical logic with an emphasis on proof theory and procedures for algorithmic construction of formal proofs. The self-contained treatment is also useful for computer scientists and mathematically inclined readers interested in the formalization of proofs and basics of automatic theorem proving. Topics include propositional logic and its resolution, first-order logic, Gentzen's cut elimination theorem and applications, and Gentzen's sharpened Hauptsatz and Herbrand's theorem. Additional subjects include resolution in first-order logic; SLD-resolution, logic programming, and the foundations of PROLOG; and many-sorted first-order logic. Numerous problems appear throughout the book, and two Appendixes provide practical background information.

The Theory and Practice of Conformal Geometry

Author: Steven G. Krantz
Publisher: Courier Dover Publications
ISBN: 9780486810324
Release Date: 2016-03-17
Genre: Mathematics

In this original text, prolific mathematics author Steven G. Krantz addresses conformal geometry, a subject that has occupied him for four decades and for which he helped to develop some of the modern theory. This book takes readers with a basic grounding in complex variable theory to the forefront of some of the current approaches to the topic. "Along the way," the author notes in his Preface, "the reader will be exposed to some beautiful function theory and also some of the rudiments of geometry and analysis that make this subject so vibrant and lively." More up-to-date and accessible to advanced undergraduates than most of the other books available in this specific field, the treatment discusses the history of this active and popular branch of mathematics as well as recent developments. Topics include the Riemann mapping theorem, invariant metrics, normal families, automorphism groups, the Schwarz lemma, harmonic measure, extremal length, analytic capacity, and invariant geometry. A helpful Bibliography and Index complete the text.

Finite Elemente Methoden

Author: Klaus-Jürgen Bathe
Publisher: DrMaster Publications
ISBN: 3540668063
Release Date: 2002
Genre: Technology & Engineering

Dieses Lehr- und Handbuch behandelt sowohl die elementaren Konzepte als auch die fortgeschrittenen und zukunftsweisenden linearen und nichtlinearen FE-Methoden in Statik, Dynamik, Festkörper- und Fluidmechanik. Es wird sowohl der physikalische als auch der mathematische Hintergrund der Prozeduren ausführlich und verständlich beschrieben. Das Werk enthält eine Vielzahl von ausgearbeiteten Beispielen, Rechnerübungen und Programmlisten. Als Übersetzung eines erfolgreichen amerikanischen Lehrbuchs hat es sich in zwei Auflagen auch bei den deutschsprachigen Ingenieuren etabliert. Die umfangreichen Änderungen gegenüber der Vorauflage innerhalb aller Kapitel - vor allem aber der fortgeschrittenen - spiegeln die rasche Entwicklung innerhalb des letzten Jahrzehnts auf diesem Gebiet wieder. TOC:Eine Einführung in den Gebrauch von Finite-Elemente-Verfahren.-Vektoren, Matrizen und Tensoren.-Einige Grundbegriffe ingenieurwissenschaftlicher Berechnungen.-Formulierung der Methode der finiten Elemente.-Formulierung und Berechnung von isoparametrischen Finite-Elemente-Matrizen.-Nichtlineare Finite-Elemente-Berechnungen in der Festkörper- und Strukturmechanik.-Finite-Elemente-Berechnungen von Wärmeübertragungs- und Feldproblemen.-Lösung von Gleichgewichtsbeziehungen in statischen Berechnungen.-Lösung von Bewegungsgleichungen in kinetischen Berechnungen.-Vorbemerkungen zur Lösung von Eigenproblemen.-Lösungsverfahren für Eigenprobleme.-Implementierung der Finite-Elemente-Methode.

Kryptografie verst ndlich

Author: Christof Paar
Publisher: Springer-Verlag
ISBN: 9783662492970
Release Date: 2016-08-23
Genre: Computers

Das Buch gibt eine umfassende Einführung in moderne angewandte Kryptografie. Es behandelt nahezu alle kryptografischen Verfahren mit praktischer Relevanz. Es werden symmetrische Verfahren (DES, AES, PRESENT, Stromchiffren), asymmetrische Verfahren (RSA, Diffie-Hellmann, elliptische Kurven) sowie digitale Signaturen, Hash-Funktionen, Message Authentication Codes sowie Schlüsselaustauschprotokolle vorgestellt. Für alle Krypto-Verfahren werden aktuelle Sicherheitseinschätzungen und Implementierungseigenschaften beschrieben.

Die Kunst des Game Designs

Author: Jesse Schell
Publisher: MITP-Verlags GmbH & Co. KG
ISBN: 9783958452848
Release Date: 2016-06-15
Genre: Computers

Grundlagen der Entwicklung und Konzeption klassischer Spiele von einem der weltweit führenden Game Designer Mehr als 100 Regeln und zentrale Fragen zur Inspiration für den kreativen Prozess Zahlreiche wertvolle Denkanstöße für die Konzeption eines erfolgreichen Spiels Jeder kann die Grundlagen des Game Designs meistern – dazu bedarf es keines technischen Fachwissens. Dabei zeigt sich, dass die gleichen psychologischen Grundprinzipien, die für Brett-, Karten- und Sportspiele funktionieren, ebenso der Schlüssel für die Entwicklung qualitativ hochwertiger Videospiele sind. Mit diesem Buch lernen Sie, wie Sie im Prozess der Spielekonzeption und -entwicklung vorgehen, um bessere Games zu kreieren. Jesse Schell zeigt, wie Sie Ihr Game durch eine strukturierte methodische Vorgehensweise Schritt für Schritt deutlich verbessern. Mehr als 100 gezielte Fragestellungen eröffnen Ihnen dabei neue Perspektiven auf Ihr Game, so dass Sie die Features finden, die es erfolgreich machen. Hierzu gehören z.B. Fragen wie: Welche Herausforderungen stellt mein Spiel an die Spieler? Fördert es den Wettbewerb unter den Spielern? Werden sie dazu motiviert, gewinnen zu wollen? So werden über hundert entscheidende Charakteristika für ein gut konzipiertes Spiel untersucht. Mit diesem Buch wissen Sie, worauf es bei einem guten Game ankommt und was Sie alles bedenken sollten, damit Ihr Game die Erwartungen Ihrer Spieler erfüllt und gerne gespielt wird. Zugleich liefert es Ihnen jede Menge Inspiration – halten Sie beim Lesen Zettel und Stift bereit, um Ihre neuen Ideen sofort festhalten zu können

Algorithmen Eine Einf hrung

Author: Thomas H. Cormen
Publisher: Walter de Gruyter GmbH & Co KG
ISBN: 9783110522013
Release Date: 2013-01-01
Genre: Computers

Der "Cormen" bietet eine umfassende und vielseitige Einführung in das moderne Studium von Algorithmen. Es stellt viele Algorithmen Schritt für Schritt vor, behandelt sie detailliert und macht deren Entwurf und deren Analyse allen Leserschichten zugänglich. Sorgfältige Erklärungen zur notwendigen Mathematik helfen, die Analyse der Algorithmen zu verstehen. Den Autoren ist es dabei geglückt, Erklärungen elementar zu halten, ohne auf Tiefe oder mathematische Exaktheit zu verzichten. Jedes der weitgehend eigenständig gestalteten Kapitel stellt einen Algorithmus, eine Entwurfstechnik, ein Anwendungsgebiet oder ein verwandtes Thema vor. Algorithmen werden beschrieben und in Pseudocode entworfen, der für jeden lesbar sein sollte, der schon selbst ein wenig programmiert hat. Zahlreiche Abbildungen verdeutlichen, wie die Algorithmen arbeiten. Ebenfalls angesprochen werden Belange der Implementierung und andere technische Fragen, wobei, da Effizienz als Entwurfskriterium betont wird, die Ausführungen eine sorgfältige Analyse der Laufzeiten der Programme mit ein schließen. Über 1000 Übungen und Problemstellungen und ein umfangreiches Quellen- und Literaturverzeichnis komplettieren das Lehrbuch, dass durch das ganze Studium, aber auch noch danach als mathematisches Nachschlagewerk oder als technisches Handbuch nützlich ist. Für die dritte Auflage wurde das gesamte Buch aktualisiert. Die Änderungen sind vielfältig und umfassen insbesondere neue Kapitel, überarbeiteten Pseudocode, didaktische Verbesserungen und einen lebhafteren Schreibstil. So wurden etwa - neue Kapitel zu van-Emde-Boas-Bäume und mehrfädigen (engl.: multithreaded) Algorithmen aufgenommen, - das Kapitel zu Rekursionsgleichungen überarbeitet, sodass es nunmehr die Teile-und-Beherrsche-Methode besser abdeckt, - die Betrachtungen zu dynamischer Programmierung und Greedy-Algorithmen überarbeitet; Memoisation und der Begriff des Teilproblem-Graphen als eine Möglichkeit, die Laufzeit eines auf dynamischer Programmierung beruhender Algorithmus zu verstehen, werden eingeführt. - 100 neue Übungsaufgaben und 28 neue Problemstellungen ergänzt. Umfangreiches Dozentenmaterial (auf englisch) ist über die Website des US-Verlags verfügbar.

Logik f r Informatiker

Author: Uwe Schöning
Publisher: Spektrum Akademischer Verlag
ISBN: 3827410053
Release Date: 2000-01-20
Genre: Computers

Das Buch macht den Leser mit den wesentlichen Teilgebieten der formalen Logik vertraut, die Bestandteil der Ausbildung in Theoretischer Informatik sind. Die Darstellung orientiert sich an den Bedürfnissen von Informatikstudierenden. Insbesondere werden viele mehr auf das Prinzipielle ausgerichtete Resultate der formalen Logik unter einem algorithmischen Gesichtspunkt behandelt. Diese Vorgehensweise erleichtert entscheidend den Zugang zu dem abstrakten Themengebiet. Prof. Schöning gelingt eine kompakte und verständliche Darstellung der Aussagen- und Prädikatenlogik, bei der die benötigten Begriffe präzise eingeführt und durch Beispiele veranschaulicht werden. Darauf beruhend werden Anwendungen der Logik in der Informatik, wie z. B. Resolution, Automatisches Beweisen und Logik-Programmierung behandelt. Zahlreiche Übungsaufgaben mit ausführlichen Lösungshinweisen erleichtern die Vertiefung des Lernstoffes.

Data mining

Author: Ian H. Witten
Publisher:
ISBN: 3446215336
Release Date: 2001
Genre: