EBookClubs

Read Books & Download eBooks Full Online

EBookClubs

Read Books & Download eBooks Full Online

Book W  rterbuch der Elektronik  Datentechnik  Telekommunikation und Medien

Download or read book W rterbuch der Elektronik Datentechnik Telekommunikation und Medien written by Victor Ferretti and published by Springer Science & Business Media. This book was released on 2003-12-10 with total page 1054 pages. Available in PDF, EPUB and Kindle. Book excerpt: Since the first edition was published, new technologies have emerged, especially in the area of convergence of computing and communications, accompanied by a lot of new technical terms. This third expanded and updated edition has been adaptetd to cope with this situation. The number of entries has been incremented by 35%. This dictionary offers a valuable guide to navigate through the entanglement of German and English terminology. The lexicographic concept (indication of the subject field for every term, short definitions, references to synonyms, antonyms, general and derivative terms) has been maintained, as well as the tabular layout.

Book Theoretische Informatik

Download or read book Theoretische Informatik written by Juraj Hromkovic and published by Springer-Verlag. This book was released on 2011-05-18 with total page 415 pages. Available in PDF, EPUB and Kindle. Book excerpt: Das Buch versteht sich als einfache Einführung in die grundlegenden algorithmischen Konzepte der Informatik. Die Konzepte werden in ihrer historischen Entwicklung und in größeren Zusammenhängen dargestellt, um so die eigentliche Faszination der Informatik, die viel kontraintuitive Überraschungen bereithält, zu wecken.

Book Theoretische Informatik

    Book Details:
  • Author : Juraj Hromkovič
  • Publisher : Springer-Verlag
  • Release : 2014-08-18
  • ISBN : 3658064331
  • Pages : 349 pages

Download or read book Theoretische Informatik written by Juraj Hromkovič and published by Springer-Verlag. This book was released on 2014-08-18 with total page 349 pages. Available in PDF, EPUB and Kindle. Book excerpt: Das Ziel dieses Buches ist es, den Leser an den Grundlagen der Informatik zu begeistern. Um dies zu erreichen, bieten wir außer der üblichen rigorosen und detaillierten Präsentation eine leicht verständliche und anschauliche Darstellung der Grundkonzepte und Ideen und erweitern die klassischen Themen wie Berechenbarkeit und Komplexität um die faszinierenden Errungenschaften neuer Gebiete wie Randomisierung, Kryptographie und Kommunikation in Netzen.

Book Theoretische Informatik

Download or read book Theoretische Informatik written by Klaus W. Wagner and published by Springer-Verlag. This book was released on 2013-03-11 with total page 236 pages. Available in PDF, EPUB and Kindle. Book excerpt: Diese kompakte Einführung in die Theoretische Informatik stellt die wichtigsten Modelle für zentrale Probleme der Informatik vor. Dabei werden u.a. folgende Fragestellungen behandelt: Welche Probleme sind algorithmisch lösbar? (Theorie der Berechenbarkeit und Entscheidbarkeit) Wie schwierig ist es algorithmische Probleme zu lösen? (Theorie der Berechnungskomplexität, NP-Theorie) Wie sind informationsverarbeitende Systeme prinzipiell aufgebaut? (Theorie der endlichen Automaten) Welche Strukturen besitzen Programmiersprachen? (Theorie der formalen Sprachen) In der Erarbeitung dieser Themen wird der Abstraktionsprozeß von den realen Gegenständen der Informatik zu den in der Theoretischen Infromatik etabliertern Modellen, wie z.B. Random-Access-Maschinen, Turingmaschinen und endliche Automaten, nachvollzogen und umgekehrt verdeutlicht, was diese Modelle aufgrund der über sie gewonnenen Erkenntnisse für die Praxis leisten können.

Book Algorithms Unplugged

    Book Details:
  • Author : Berthold Vöcking
  • Publisher : Springer Science & Business Media
  • Release : 2010-12-10
  • ISBN : 3642153283
  • Pages : 389 pages

Download or read book Algorithms Unplugged written by Berthold Vöcking and published by Springer Science & Business Media. This book was released on 2010-12-10 with total page 389 pages. Available in PDF, EPUB and Kindle. Book excerpt: Algorithms specify the way computers process information and how they execute tasks. Many recent technological innovations and achievements rely on algorithmic ideas – they facilitate new applications in science, medicine, production, logistics, traffic, communi¬cation and entertainment. Efficient algorithms not only enable your personal computer to execute the newest generation of games with features unimaginable only a few years ago, they are also key to several recent scientific breakthroughs – for example, the sequencing of the human genome would not have been possible without the invention of new algorithmic ideas that speed up computations by several orders of magnitude. The greatest improvements in the area of algorithms rely on beautiful ideas for tackling computational tasks more efficiently. The problems solved are not restricted to arithmetic tasks in a narrow sense but often relate to exciting questions of nonmathematical flavor, such as: How can I find the exit out of a maze? How can I partition a treasure map so that the treasure can only be found if all parts of the map are recombined? How should I plan my trip to minimize cost? Solving these challenging problems requires logical reasoning, geometric and combinatorial imagination, and, last but not least, creativity – the skills needed for the design and analysis of algorithms. In this book we present some of the most beautiful algorithmic ideas in 41 articles written in colloquial, nontechnical language. Most of the articles arose out of an initiative among German-language universities to communicate the fascination of algorithms and computer science to high-school students. The book can be understood without any prior knowledge of algorithms and computing, and it will be an enlightening and fun read for students and interested adults.

Book Lectures on Proof Verification and Approximation Algorithms

Download or read book Lectures on Proof Verification and Approximation Algorithms written by Ernst W. Mayr and published by Springer. This book was released on 2006-06-08 with total page 351 pages. Available in PDF, EPUB and Kindle. Book excerpt: During the last few years, we have seen quite spectacular progress in the area of approximation algorithms: for several fundamental optimization problems we now actually know matching upper and lower bounds for their approximability. This textbook-like tutorial is a coherent and essentially self-contained presentation of the enormous recent progress facilitated by the interplay between the theory of probabilistically checkable proofs and aproximation algorithms. The basic concepts, methods, and results are presented in a unified way to provide a smooth introduction for newcomers. These lectures are particularly useful for advanced courses or reading groups on the topic.

Book Theoretische Informatik

Download or read book Theoretische Informatik written by Dirk W. Hoffmann and published by Hanser Verlag. This book was released on 2009 with total page 431 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Book Algorithm Engineering

    Book Details:
  • Author : Matthias Müller-Hannemann
  • Publisher : Springer Science & Business Media
  • Release : 2010-08-05
  • ISBN : 3642148654
  • Pages : 527 pages

Download or read book Algorithm Engineering written by Matthias Müller-Hannemann and published by Springer Science & Business Media. This book was released on 2010-08-05 with total page 527 pages. Available in PDF, EPUB and Kindle. Book excerpt: Algorithms are essential building blocks of computer applications. However, advancements in computer hardware, which render traditional computer models more and more unrealistic, and an ever increasing demand for efficient solution to actual real world problems have led to a rising gap between classical algorithm theory and algorithmics in practice. The emerging discipline of Algorithm Engineering aims at bridging this gap. Driven by concrete applications, Algorithm Engineering complements theory by the benefits of experimentation and puts equal emphasis on all aspects arising during a cyclic solution process ranging from realistic modeling, design, analysis, robust and efficient implementations to careful experiments. This tutorial - outcome of a GI-Dagstuhl Seminar held in Dagstuhl Castle in September 2006 - covers the essential aspects of this process in ten chapters on basic ideas, modeling and design issues, analysis of algorithms, realistic computer models, implementation aspects and algorithmic software libraries, selected case studies, as well as challenges in Algorithm Engineering. Both researchers and practitioners in the field will find it useful as a state-of-the-art survey.

Book Theoretische Informatik

Download or read book Theoretische Informatik written by and published by Springer-Verlag. This book was released on 2013-03-08 with total page 259 pages. Available in PDF, EPUB and Kindle. Book excerpt: Dieses Lehrbuch bietet in handlichem Format und zu attraktivem Ladenpreis allen Studenten an Fach- und sonstigen Hochschulen eine anwendungsorientierte Sicht der Theoretischen Informatik. Es eignet sich in hervorragender Weise für die gängigen Lehrveranstaltungen, in denen die Grundzüge der Theoretischen Informatik vermittelt werden, wie auch dafür, das Selbststudium zu unterstützen. Es richtet sich dabei sowohl an Informatiker wie auch an Ingenieure und Praktiker, die sich mit den grundlegenden Gehalten der Informatik vertraut machen wollen.

Book Einf  hrung in die Theoretische Informatik

Download or read book Einf hrung in die Theoretische Informatik written by Ulrich Hedtstück and published by Walter de Gruyter. This book was released on 2012-10-18 with total page 192 pages. Available in PDF, EPUB and Kindle. Book excerpt: Dieses Lehrbuch bietet eine prägnante und leicht verständliche Einführung in die Gebiete Formale Sprachen und Automatentheorie für das Informatik-Grundstudium an Fachhochschulen und Universitäten. Die behandelten Themen Formale Sprachen, Grammatikformalismen, endliche Automaten, Kellerautomaten und Turingmaschinen bilden die zentralen Grundlagen für das Verständnis wichtiger Informatikkonzepte wie die Spezifikation von Programmiersprachen, das Übersetzen von Programmen oder die Verarbeitung natürlicher Sprache, d.h. für die Formalisierung und algorithmische Behandlung von Problemen, die durch den Computer gelöst werden. Ein neuer Abschnitt ist der aktuellen Technologie XML gewidmet und gibt insbesondere einen ersten Einblick in XML-Schemata, dem neuen Spezifikationsstandard für XML-Dokumente.

Book Informatik

    Book Details:
  • Author : Manfred Broy
  • Publisher : Springer-Verlag
  • Release : 2013-03-07
  • ISBN : 3642589111
  • Pages : 404 pages

Download or read book Informatik written by Manfred Broy and published by Springer-Verlag. This book was released on 2013-03-07 with total page 404 pages. Available in PDF, EPUB and Kindle. Book excerpt: Diese in der Neuauflage zweibändige Einführung behandelt die fundamentalen Modelle, Formalismen und sprachlichen Konstruktionen sowie die wichtigsten Anwendungsgebiete und technischen Konzeptionen der Informatik. Die Darstellung zeichnet sich durch saubere formale Fundierung und begriffliche Klarheit aus. Der vorliegende Band 2 faßt die in der 1. Auflage getrennt erschienenen Teile III und IV zusammen. Teil III behandelt Grundbegriffe und Beschreibungstechniken für verteilte informationsverarbeitende Systeme sowie systemnahe Programmierung und Betriebssysteme. Teil IV geht auf die wesentlichen Inhalte der Theoretischen Informatik ein bis hin zur Objektorientierung und stellt mit einem abschließenden Ausblick auf Anwendungen der Informatik den Bezug zu aktuellen Fragen her.

Book Theoretische Informatik

Download or read book Theoretische Informatik written by Katrin Erk and published by Springer-Verlag. This book was released on 2013-03-14 with total page 428 pages. Available in PDF, EPUB and Kindle. Book excerpt: Diese Einführung in die Theoretische Informatik zeichnet sich durch Verständlichkeit und gute Lesbarkeit aus. Sie umfaßt die Theorie der formalen Sprachen, die Theorie der Berechenbarkeit und einen Überblick über die Komplexitätstheorie. Das Buch eignet sich insbesondere für Anfänger: Alle Beweise sind im Detail ausgeführt - insofern ist es auch eine Einführung in die Technik des Beweisens. Für Dozenten ist das Buch ebenfalls interessant, da die Beweise nicht nur wie vielfach üblich skizziert sind und auch Nicht-Standard-Berechnungsmodelle vorgestellt werden. Das Buch basiert auf Vorlesungen der letzten zehn Jahre für Studierende der Informatik im Grundstudium an den Universitäten Paderborn und Koblenz.

Book Theoretische Grundlagen der Informatik

Download or read book Theoretische Grundlagen der Informatik written by Clemens H. Cap and published by Springer-Verlag. This book was released on 2013-03-08 with total page 330 pages. Available in PDF, EPUB and Kindle. Book excerpt: Angesichts der Komplexität der Produkte der modernen Informatik wird eine saubere, theoretische Fundierung immer wichtiger. Das Buch wendet sich an Studierende im ersten Studienabschnitt und an Praktiker und gibt eine Einführung in die theoretischen und zumeist mathematischen Grundlagen der Informatik. Lesern ohne mathematische Vorbildung wird eine Vorstellung von der Denk- und Arbeitsweise der theoretischen Informatik vermittelt. Angesichts der Stoffülle und Komplexität dieses Gebietes werden detaillierte oder auch nur ausführlichere Kenntnisse in theoretischer Informatik wohl dem Spezialisten vorbehalten bleiben. Das Buch ist deshalb betont breit gehalten und zielt auf einen Überblick unterschiedlichster Techniken und Ansätze ab. Der Autor behandelt nach einer Einführung in mathematische Grundbegriffe die klassischen Themen wie formale Sprachen oder Berechenbarkeit, wendet sich aber auch der Semantik von Programmiersprachen und der Codierungstheorie zu und beantwortet die Frage, wie Information gemessen werden kann.

Book Theory and Practice of Algorithms in  Computer  Systems

Download or read book Theory and Practice of Algorithms in Computer Systems written by Alberto Marchetti-Spaccamela and published by Springer. This book was released on 2011-03-29 with total page 273 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the First International ICST Conference on Theory and Practice of Algorithms in (Computer) Systems, TAPAS 2011, held in Rome, Italy, in April 2011. The 25 papers presented, including three short papers by invited speakers, were carefully reviewed and selected from 45 submissions. The papers all feature original research in the design, implementation and evaluation of algorithms with special focus on algorithms for combinatorial optimization problems, and to real-world applications, engineering and experimental analysis of algorithms - thus fostering the cooperation among researchers in computer science, networking, discrete mathematics, mathematical programming and operations research.

Book Theoretische Informatik f  r Dummies

Download or read book Theoretische Informatik f r Dummies written by Roland Schmitz and published by John Wiley & Sons. This book was released on 2019-10-01 with total page 361 pages. Available in PDF, EPUB and Kindle. Book excerpt: Theoretische Informatik stellt für viele Studenten ein Angstfach dar, sie gilt als abstrakt, stark formalisiert und dem Alltag entrückt. Das vorliegende Buch macht die Grundideen der Theoretischen Informatik auch für Studenten verständlich, deren erster Schwerpunkt nicht Informatik und schon gar nicht Mathematik ist. Automatentheorie, formale Sprachen und Grammatiken, Komplexität und Berechenbarkeit sind die wesentlichen Inhalte der Theoretischen Informatik, die in diesem Buch behandelt werden. Durch die Vielzahl der Beispiele, auch aus dem täglichen Leben, und den lockeren Schreibstil kann jeder interessierte Studierende die Hürde "Theoretische Informatik" nehmen - und vielleicht sogar etwas von der Faszination spüren, die von ihr ausgeht.

Book Theoretische Informatik   ganz praktisch

Download or read book Theoretische Informatik ganz praktisch written by Lukas König and published by Walter de Gruyter GmbH & Co KG. This book was released on 2016-09-26 with total page 568 pages. Available in PDF, EPUB and Kindle. Book excerpt: Die theoretische Informatik ist für viele Studierende ein Schreckgespenst, weil formale Einstiegshürden die Bezüge zur Praxis verschleiern. In diesem Lehrbuch wird das Theoretische aufgerollt, wie es ursprünglich entstanden ist: zur Lösung ganz praktischer Probleme. So ergeben sich Formalismen als logische Notwendigkeit, mathematische Eigenarten werden greifbar, komplexe Theorien verlieren ihren Schrecken. Radikal studierendenorientiert führt das Buch in Automatentheorie, Grammatiken, Berechenbarkeits- und Komplexitätstheorie ein. Die Autoren erhielten 2013 gemeinsam den Fakultätslehrpreis für herausragende Lehre am Karlsruher Institut für Technologie (KIT). Lukas König studierte Informatik an der Universität Stuttgart und promovierte 2014 am Institut für angewandte Informatik und formale Beschreibungsverfahren (AIFB) des KIT. Derzeit forscht er zum Einsatz computergestützter Methoden im Informatikunterricht. Friederike Pfeiffer-Bohnen studierte Wirtschaftsingenieurwesen am KIT. Am Institut AIFB promoviert sie derzeit im Bereich Hochschuldidaktik mit Schwerpunkt eLearning. Im Jahr 2016 erlangte sie das Baden-Württemberg-Zertifikat für Hochschuldidaktik. Hartmut Schmeck hat seit 1991 eine Professur am Institut AIFB des KIT. Er forscht und lehrt über Algorithmen und Architekturen, in den letzten Jahren vor allem für selbstorganisierende, adaptive Systeme mit Anwendungen in Energie- und Verkehrssystemen.

Book Die Fakult  t f  r Informatik The Faculty of Informatics

Download or read book Die Fakult t f r Informatik The Faculty of Informatics written by Gerald Steinhardt and published by Böhlau Verlag Wien. This book was released on 2016-01-20 with total page 150 pages. Available in PDF, EPUB and Kindle. Book excerpt: The Faculty of Informatics at the TU Wien stands for excellence in research, quality in teaching, and passion for innovation. Its core is formed by application-oriented fundamental research, the topics of which are inspired by practical problems. The Faculty of Informatics is characterised by ongoing top achievements in research, and by its relentless dedication to providing students with the best possible learning environment. The strategic focus of the degree programmes is on the comprehensive interconnection of research and teaching, thus ensuring the absolute topicality and relevance of course contents. Another goal of the faculty is to provide innovative problem-solving solutions which meet the challenges of the information and knowledge society.