Dokumentation und Information Retrieval, also das gezielte Wiederauffinden von Informationen zu thematisch-inhaltlichen Fragestellungen sind wichtiger als je zuvor. Die hier vorliegende theoretisch fundierte und praxisorientierte Darstellung der Literatur-, Daten- und Faktendokumentation enthalt viele instruktive Beispiele und praktische Ubungen sowie einen umfassenden Beispielthesaurus und behandelt ausfuhrlich Ordnungs- und Retrievalsysteme. Jedes Thema wird mit zahlreichen Prufungsfragen abgeschlossen. Die detaillierten Antworten zu den insgesamt 195 Fragen umfassen alleine etwa 60...

Absolut praxisnah und immer eher mit einem zwinkernden Auge, statt mit dem erhobenen Zeigefinger beantwortet der vorliegende Leitfaden folgende Fragestellungen und Themen rund um die Erstellung einer wissenschaftlichen Ausarbeitung: - Wie und wo recherchiere ich? Wie verwalte ich die Quellen?- Wie zitiere und referenziere ich korrekt?- Welches Material darf ich hinsichtlich der Urheberrechte verwenden?- Wie baue ich meine Gliederung auf?- Welche Software-Tools sind fur welche Aufgaben besonders geeignet?- Wie erstelle ich Grafiken, Charts, Formeln, Diagramme?- Wie bette ich sie ein?- Wie...

Dieses Lehrbuch bietet eine fundierte Einfuhrung in die grundlegenden Begriffe und Methoden der Informatik. Die Autoren stellen dabei die Prinzipien der System-Modellierung und der Entwicklung von Software in den Mittelpunkt der Darstellung.

Der hier vorliegende Band vermittelt die wesentlichen Grundbegriffe und theoretischen Grundlagen der Informatik, wie z.B. Algebren, Relationen, elementare Logik, funktionales Programmieren, abstrakte Datentypen. Die vierte Auflage des bewahrten Lehrbuches ist grundlegend uberarbeitet und aktualisiert worden.

Der Text...

Das V-Modell XT ist ein umfassendes Prozessmodell fur die Planung und Durchfuhrung der Systementwicklung in IT-Projekten. Es ist seit Februar 2005 fur alle IT-Projekte der deutschen Bundesbehorden verbindlich und liegt seit Juni 2006 in der wesentlich erweiterten Version 1.2.1 vor.

Das Buch fuhrt an die etablierte Fachsprache anbindend in alle Konzepte des V-Modell XT und deren Begrifflichkeit ein und ist Mediator zwischen der Lehre des System Engineering, dem V-Modell-XT-Katalog und der Anwendungspraxis. Es dient als Begleiter fur die Konfiguration von V-Modell XT-basierten...

Die Constraint-Programmierung liefert Methoden zur effizienten Modellierung von Systemen oder zur Losung von Problemen, fur die nur unvollstandige Informationen vorliegen. Ebenso hilft sie kombinatorische Probleme zu losen oder komplexe Deduktionssysteme zu entwickeln. Dieses kompakte Lehrbuch fuhrt in die Constraint-Programmierung ein. Neben den Grundlagen stellen die Autoren Sprachen, Methoden und Verfahren zur Modellierung und Losung von Constraint-Problemen vor. Daruber hinaus betrachten sie deren Anwendungsfelder und veranschaulichen diese anhand typischer Beispiele wie Terminplanung,...

Diese Einfuhrung in die Numerische Mathematik behandelt die Themenbereiche Rechengenauigkeit, lineare Gleichungssysteme, Interpolation, Integration, Fouriertransformation, Nullstellenbestimmung sowie gewohnliche und partielle Differentialgleichungen sehr anschaulich. Der Schwerpunkt liegt auf effizienten, rechnergestutzten Losungsansatzen, z. B. Wavelets, Splines und Mehrgitterverfahren. Viel Wert wird dabei auf aktuelle Anwendungsbeispiele aus dem Umfeld Computer Science gelegt, wie Bildverarbeitung, Computer-Graphik, Data Mining und Wettervorhersage. Historische Beispiele erganzen die...

Algorithmen und Methoden der Peer-to-Peer-Netzwerke mit einem Einblick in die aktuelle Forschung: ursprunglich nur fur File-Sharing konzipiert, aber mittlerweile Paradigma fur Rechnernetzwerke. Dieses Buch vermittelt Lesern ein grundlegendes Verstandnis und stellt Algorithmen vor, die vielleicht erst in einigen Jahren umgesetzt werden. Das Buch richtet sich in erster Linie an Informatiker (Studenten ab dem 5. Semester). Aber auch interessierte Nichtinfomatiker profitieren von diesem Buch, wobei es grundlegende Kenntnisse der Mathematik und Informatik voraussetzt. Ziele, Kernaussagen und...

Requirements-Engineering befasst sich mit Vorgehensweisen zur Prazisierung der Problemstellung am Beginn einer Systementwicklung. Es ist eine Teildisziplin im Grenzbereich zwischen Informatik, Systems Engineering und Anwendungswissenschaften.

Im Mittelpunkt stehen Methoden, Beschreibungsmittel und Werkzeuge zur Ermittlung, Formulierung und Analyse von Aufgabenstellungen und Anforderungen an Systeme mit dem Ziel, die Qualitat zu verbessern, "Fehlverhalten" zu vermeiden und so Entwicklungsrisiken und -kosten zu senken.

Praxisorientiert, gibt dieses Buch sowohl Einsteigern als...

Wahrend die Kryptologie Konzepte und Methoden aus der Komplexitatstheorie verwendet, ist die Forschung in der Komplexitatstheorie wiederum oft durch Fragen aus der Kryptologie motiviert. Der Band hebt die enge Verflechtung dieser beiden Gebiete hervor und fuhrt auf verstandlicher Weise in das faszinierende Gebiet der "Kryptokomplexitat" ein. Das Buch enthalt zahlreiche Abbildungen und Ubungsaufgaben sowie ein ausfuhrliches Stichwort- und Literaturverzeichnis. Es eignet sich fur Studierende der Informatik, Mathematik oder Ingenieurswissenschaften.