Listing 1 - 9 of 9 |
Sort by
|
Choose an application
This volume contains the proceedings of the 14th International Colloquium on Automata Languages and Programming, organized by the European Association for Theoretical Computer Science (EATCS) and held in Karlsruhe, July 13-17, 1987. The papers report on original research in theoretical computer science and cover topics such as algorithms and data structures, automata and formal languages, computability and complexity theory, semantics of programming languages, program specification, transformation and verification, theory of data bases, logic programming, theory of logical design and layout, parallel and distributed computation, theory of concurrency, symbolic and algebraic computation, term rewriting systems, cryptography, and theory of robotics. The authors are young scientists and leading experts in these areas.
Computer science --- Formal languages --- Machine theory --- Computer programming --- Langages formels --- Automates mathématiques, Théorie des --- Programmation (Informatique) --- Congresses --- Congrès --- 681.3*F0 --- 681.3*I1 --- 681.3*I23 --- Computerwetenschap--?*F0 --- Algebraic manipulation (Computing methodologies) --- Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) --- 681.3*I23 Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) --- 681.3*I1 Algebraic manipulation (Computing methodologies) --- Automates mathématiques, Théorie des --- Congrès --- Computer network architectures. --- Information theory. --- Computer software. --- Computer System Implementation. --- Theory of Computation. --- Algorithm Analysis and Problem Complexity. --- Software, Computer --- Computer systems --- Communication theory --- Communication --- Cybernetics --- Architectures, Computer network --- Network architectures, Computer --- Computer architecture
Choose an application
Algorithms are a central concept in computer science. The German Science Foundation (DFG) started a special joint initiative on data structures and efficient algorithms in 1986 with the aim of encouraging collaborative research on algorithms. For a period of five years about a dozen projects were funded with an emphasis on algorithms and data structures for geometric problems, on the one hand, and parallel and distributed algorithms, on the other. This volume contains 18 papers that are intended to give an impression of the achievements of this joint research initiative. The first group of papers addresses research on fundamental data structures, computational geometry, graph algorithms, computer graphics, and spatial databases. The second group of papers centers on the following problems: the design of parallel architectures and routing strategies, simulation of parallel machines, and the design of distributed algorithms for solving difficult problems.
Algorithmes (Ordinateur) --- Algoritmen (Computer) --- Computer algorithms --- Data structures (Computer science) --- Données [Structures de ] (Informatique) --- Gegevensstructuren (Informatica) --- Structures de données (Informatique) --- 681.3*H28 --- -Data structures (Computer science) --- -681.3*A0 --- Algorithms --- Database applications --- Congresses --- General --- Congresses. --- 681.3*A0 General --- 681.3*H28 Database applications --- 681.3*A0 --- Information theory. --- Computer science. --- Computer network architectures. --- Computer software. --- Computer graphics. --- Data structures (Computer scienc. --- Theory of Computation. --- Programming Techniques. --- Computer System Implementation. --- Algorithm Analysis and Problem Complexity. --- Computer Graphics. --- Data Structures. --- Automatic drafting --- Graphic data processing --- Graphics, Computer --- Computer art --- Graphic arts --- Electronic data processing --- Engineering graphics --- Image processing --- Software, Computer --- Computer systems --- Architectures, Computer network --- Network architectures, Computer --- Computer architecture --- Informatics --- Science --- Communication theory --- Communication --- Cybernetics --- Digital techniques
Choose an application
Choose an application
Dieses bestens eingeführte Lehrbuch wendet sich an Studierende der Informatik in Grund- und Hauptstudium. Es behandelt gut verständlich alle Themen, die üblicherweise in der Standardvorlesung "Algorithmen und Datenstrukturen” vermittelt werden. Die einzelnen Algorithmen werden theoretisch fundiert dargestellt; ihre Funktionsweise wird ausführlich anhand vieler Beispiele erläutert. Zusätzlich zur halbformalen Beschreibung werden wichtige Algorithmen in Java formuliert. Das Themenspektrum reicht von Algorithmen zum Suchen und Sortieren über Hashverfahren, Bäume, Manipulation von Mengen bis hin zu Geometrischen Algorithmen und Graphenalgorithmen. Dabei werden sowohl der Entwurf effizienter Algorithmen und Datenstrukturen als auch die Analyse ihres Verhaltens mittels mathematischer Methoden behandelt. Durch eine übersichtliche Gliederung, viele Abbildungen und eine präzise Sprache gelingt den Autoren in vorbildlicher Weise die Vermittlung des vielschichtigen Themengebiets. Die 5. Auflage ist vollständig durchgesehen und überarbeitet. Neu aufgenommen wurden Einführungen in die Themen Dynamisches Programmieren, Backtracking, Onlinealgorithmen, Approximationsalgorithmen sowie einige Algorithmen für spezielle Probleme wie die schnelle Multiplikation von Matrizen, von ganzen Zahlen, und die Konstruktion der konvexen Hülle von Punkten in der Ebene. Das Buch eignet sich zur Vorlesungsbegleitung, zum Selbststudium und zum Nachschlagen. Eine Vielzahl von Aufgaben dient der weiteren Vertiefung des Gelernten. Unter http://ad.informatik.uni-freiburg.de/bibliothek/books/ad-buch/ werden Java-Programme für die wichtigsten Algorithmen und ergänzende Materialien zum Buch bereitgestellt.
Choose an application
Dieses bestens eingeführte Lehrbuch wendet sich an Studierende der Informatik in Grund- und Hauptstudium. Die einzelnen Algorithmen werden theoretisch fundiert dargestellt; ihre Funktionsweise wird ausführlich anhand vieler Beispiele erläutert. Zusätzlich zur halbformalen Beschreibung werden wichtige Algorithmen in Java formuliert. Das Themenspektrum reicht von Algorithmen zum Suchen und Sortieren über Hashverfahren, Bäume, Manipulation von Mengen bis hin zu Geometrischen Algorithmen und Graphenalgorithmen. Dabei werden sowohl der Entwurf effizienter Algorithmen und Datenstrukturen als auch die Analyse ihres Verhaltens mittels mathematischer Methoden behandelt. Das Buch eignet sich zur Vorlesungsbegleitung, zum Selbststudium und zum Nachschlagen. Eine Vielzahl von Aufgaben dient der weiteren Vertiefung des Gelernten. Java-Programme für die wichtigsten Algorithmen und ergänzende Materialien zum Buch werden online bereitgestellt. Der Inhalt Grundlagen Sortieren Suchen Hashverfahren Bäume Manipulation von Mengen Weitere Algorithmenentwurfstechniken Geometrische Algorithmen Graphenalgorithmen Suchen in Texten Die Autoren Prof. Dr. Dr. h. c. Thomas Ottmann, Institut für Informatik, Universität Freiburg Prof. Dr. Peter Widmayer, Institut für Theoretische Informatik, ETH Zürich.
Choose an application
Choose an application
Choose an application
Choose an application
Listing 1 - 9 of 9 |
Sort by
|