Angebote zu "Funktionale" (42 Treffer)

Funktionale Programmierung
€ 32.99 *
ggf. zzgl. Versand

Gegenstand dieses Werkes sind die Theorie und Praxis der modernen funktionalen Programmierung. Dabei betrachten die Autoren aber nicht nur das, was mittels der heute implementierten Sprachen wie HASKELL, OPAL, ML usw. machbar ist, sondern weisen auch auf aktuelle Entwicklungen hin. Zum einen werden fortgeschrittene Programmiertechniken vorgestellt, wie z.B. die Verwendung unendlicher Datenstrukturen, Parser als Funktionen höherer Ordnung, Approximations-Algorithmen, Lösung von Gleichungssystemen usw. Zum anderen werden aber auch Sprachkonzepte diskutiert, wie z.B. eine systematische Form der Modularisierung oder besonders ausdrucksstarke und flexible Formen der Typisierung. Ein besonderes Gewicht wird generell auf die Integration verschiedener Paradigmen gelegt, wie etwa die Verbindung mit Konzepten der objektorientierten, der nebenläufigen oder der Constraint-basierten Programmierung. In diesem Zusammenhang wird speziell auch die Bedeutung von Monaden analysiert und kritisch hinterfragt.

Anbieter: buecher.de
Stand: Sep 25, 2018
Zum Angebot
Vorlesungen über Informatik 1
€ 17.99 *
ggf. zzgl. Versand

Dieses Lehrbuch ist eine moderne Einführung in die Informatik für das Grundstudium an Universitäten und Fachhochschulen. Der Autor stellt die Prinzipien der ´´Systemmodellierung´´ und der ´´ingenieurmäßigen Softwarekonstruktion´´ in den Mittelpunkt seiner Darstellung. In vier Bänden deckt dieses Werk die Informatik-Grundvorlesung bis zum Vordiplom ab. Der nun in dritter Auflage vorliegende erste Band bietet den Einstieg in den Vorlesungszyklus und vermittelt die Grundbegriffe, mit denen die Informatik umgeht, und die theoretischen Grundlagen (Algebren, Relationen, Logikgrundlagen, funktionales Programmieren, abstrakte Datentypen), die benötigt werden, um das systematische Konstruieren von Informatiksystemen zu erlernen.

Anbieter: buecher.de
Stand: Sep 25, 2018
Zum Angebot
Modellbildung in der Informatik
€ 39.99 *
ggf. zzgl. Versand

Leitlinie dieser Einführung in die Informatik ist die Frage, welche Vorgehensweisen einem Problem informatische Kontur verleihen und welche Techniken zur Verfügung stehen, um Informatiksysteme analysieren oder entwerfen zu können.Modelle enstehen in der Zusammenschau unterschiedlicher Ansichten eines Systems, die durch prägnante Diagramme beschrieben werden: Entity-Relationship-, Systemstruktur-, Zustandsübergangs- und Sequenzdiagramme. Inhärenter Bestandteil dieser grafischen Beschreibungstechniken ist die Charakterisierung der zugrundeliegenden Daten (z.B. in funktionaler Programmierung). Die Autoren verwenden in Ihrem Werk AutoFOCUS zum Diagramm-orientierten Systementwurf, zur Konsistenzprüfung und zur Simulation. Sie gehen den Fragen nach, wie sich Diagramme in formale Spezifikationen übertragen lassen, woher eine Systementwicklung ihre Argumente nimmt, nach welchen Methoden verifiziert wird und wie interaktive Theorembeweiser, wie z.B. Isabelle/HOL, arbeiten.

Anbieter: buecher.de
Stand: Oct 18, 2018
Zum Angebot
Informatik Eine grundlegende Einführung / Infor...
€ 37.99 *
ggf. zzgl. Versand

Diese Einführung in die Informatik behandelt die fundamentalen Modelle, Methoden, technischen Strukturen, Formalismen und programmiersprachlichen Konstruktionen der Informatik. Die Darstellung zeichnet sich durch saubere, formale Fundierung und begriffliche Klarheit aus. Der vorliegende Band 1 fasst die in der 1. Auflage getrennt erschienenen Teile I und II zusammen. Teil I stellt das gesamte Gebiet der problemnahen Programmierung vor, von den begrifflichen und methodischen Grundlagen zu Datenstrukturen und Techniken der funktionalen, prozeduralen und - in der 2. Auflage neu - objektorientierten Programmierung. Teil II behandelt ergänzend die technische Informationsverarbeitung, von der Binärcodierung über digitale Schaltungen und Rechnerarchitekturen zur maschinenennahen Programmierung.

Anbieter: buecher.de
Stand: Oct 10, 2018
Zum Angebot
Übungen zur Einführung in die Informatik
€ 49.99 *
ggf. zzgl. Versand

Der vorliegende Übungsband enthält Aufgaben zu einer viersemestrigen Vorlesung ´´Einführung in die Informatik´´. Er ist eng abgestimmt auf die zweibändige Informatik-Einführung von M. Broy - das Gelernte kann so von der Theorie in die Praxis umgesetzt werden. Neben Aufgaben, die alle wichtigen Themengebiete der Einführung abdecken, werden vertiefende und weiterführende Aufgaben angeboten. Darüber hinaus umfaßt das Buch Programmieraufgaben in den funktionalen bzw. objektorientierten Sprachen Gofer und Java sowie der Assemblersprache MI, ergänzt durch kurze Einführungen in diese modernen Programmiersprachen.

Anbieter: buecher.de
Stand: Oct 5, 2018
Zum Angebot
Grundlagen der Informatik 1. Programmierung, Al...
€ 49.95 *
ggf. zzgl. Versand

Dieser erste Band der Informatik erklärt die grundlegenden Konzepte: Programmierung, Algorithmen und Datenstrukturen. Nach einer Einführung zum Aufbau von Rechnersystemen und zur Darstellung von Informationen folgt ein Einstieg in die Programmierung mit der Sprache Python. Dabei werden grundsätzliche Prinzipien von Programmiersprachen erläutert, darunter Schleifen, Rekursion, imperative, funktionale und objektorientierte Programmierkonzepte. Einige konkrete Projekte werden in Python realisiert, so etwa zur Datenbeschaffung im Internet und deren Aufbereitung oder zum Umgang mit diversen Sensoren und zur Steuerung externer Geräte mit dem Raspberry-Pi. Dem Objektorientierten Programmieren und insbesondere der Programmiersprache Java ist ein eigenes Kapitel gewidmet. Diese Sprache und ihre Infrastruktur unterstützen besonders die professionelle Entwicklung großer Projekte. Auch die neuesten Konzepte von Java (Lambdas, Ströme und Funktionale) werden anschaulich erläutert. Das letzte Kapitel behandelt klassische Algorithmen und Datenstrukturen: Such- und Sortieralgorithmen, Listen, Bäume, Graphen, Maps, und diverse andere Datentypen zum effi zienten Speichern, Wiederauffi nden und Transformieren von Daten. Diese werden mit ihren Vor- und Nachteilen und anhand von Java-Programmen dargestellt. Das Buch richtet sich an alle Einsteiger, die sich ernsthaft mit Informatik beschäftigen wollen, sei es zum Selbststudium oder zur Begleitung von Vorlesungen. In den folgenden Bänden dieses Buches werden die Themen, Rechnerarchitektur, Betriebssysteme, Rechnernetze, Internet, Compilerbau und Theoretische Informatik vertieft. Prof. Dr. Heinz-Peter Gumm ist Professor für Theoretische Informatik in Marburg. Nach dem Studium in Darmstadt und Winnipeg (Kanada) von 1970 bis 1975 und der Habilitation 1981 folgten Professuren in Hawaii, Kalifornien und New York. Seine Forschungsgebiete sind Formale Methoden, Allgemeine Algebren und Coalgebren. Prof. Dr. Manfred Sommer ist emeritierter Professor für Praktische Informatik in Marburg. Nach dem Studium in Göttingen und München von 1964 bis 1969, war er Assistent am ersten Informatik-Institut in Deutschland an der TU München. Es folgten zehn Jahre bei Siemens in München und von 1984 bis 2014 war er Informatik-Professor in Marburg.

Anbieter: buecher.de
Stand: Sep 25, 2018
Zum Angebot
Algorithmen und Datenstrukturen
€ 44.90 *
ggf. zzgl. Versand

Kenntnisse von Algorithmen und Datenstrukturen sind ein Grundbaustein des Studiums der Informatik und verwandter Fachrichtungen. Das Buch behandelt diese Thematik in Verbindung mit der Programmiersprache Java und schlägt so eine Brücke zwischen den klassischen Lehrbüchern zur Theorie von Algorithmen und Datenstrukturen und den praktischen Einführungen in eine konkrete Programmiersprache. Die konkreten Algorithmen und deren Realisierung in Java werden umfassend dargestellt. Daneben werden die theoretischen Grundlagen vermittelt, die in Programmiersprachen-Kursen oft zu kurz kommen: abstrakte Maschinenmodelle, Berechenbarkeit, Algorithmenparadigmen sowie parallele und verteilte Abläufe. Einen weiteren Schwerpunkt bilden Datenstrukturen wie Listen, Bäume, Graphen und Hashtabellen sowie deren objektorientierte Implementierung mit modernen Methoden der Softwareentwicklung. Die 5. Auflage wurde überarbeitet und gibt u.a. einen Überblick über die mit Java 8 eingeführten Lambda-Ausdrücke, die eine Anwendung des applikativen (funktionalen) Paradigmas darstellen. Weiter wurden neue Beispiele, die aus dem Einsatz des Buches in einigen Einführungsvorlesungen entstanden sind, aufgenommen. Das Buch richtet sich an Studierende im Grundstudium an Universitäten und Fachhochschulen sowie an alle, die die Grundlagen der praktischen Informatik strukturiert erlernen wollen. Sie erwerben damit die Basis für die theoretischen und praktischen Vertiefungen im Hauptstudium und lernen gleichzeitig die Umsetzung in den ´´Alltag´´ der Softwareentwicklung kennen.

Anbieter: buecher.de
Stand: Sep 25, 2018
Zum Angebot
Praxiswissen Softwaretest - Test Analyst und Te...
€ 44.90 *
ggf. zzgl. Versand

Das Buch deckt sowohl funktionale als auch technische Aspekte des Softwaretestens ab und vermittelt damit das notwendige Praxiswissen für Test Analysts und Technical Test Analysts beides entscheidende Rollen in Testteams. Der Test Analyst fokussiert dabei stärker auf betriebswirtschaftliche Aspekte, während der Technical Test Analyst technisch orientiert ist und in den meisten Fällen bereits viel Erfahrung mit Softwareentwicklung und Softwaretesten mitbringt. Die Autoren behandeln das Testen aller Qualitätsmerkmale nach der ISO-Norm 9126. Mit einer durchgängigen Beispielanwendung, Erfahrungsberichten und Lernkontrollen vermitteln sie hilfreiche Testverfahren und -methoden für die Berufspraxis. Jedes Qualitätsmerkmal wird entsprechend der einzelnen Schritte des vom International Software Testing Qualifications Board (ISTQB) festgelegten Standardtestprozesses dargestellt. Das Buch deckt alle Inhalte ab, die für den Erwerb der ISTQB Advanced-Level-Zertifikate ´´Test Analyst´´ und ´´Technical Test Analyst´´ erforderlich sind. Der Lehrstoff wurde um zusätzliche Informationen und Beispiele aus der Praxis erweitert. Die 3. Auflage wurde überarbeitet und ist konform zur aktuellen Ausgabe der ISTQBLehrpläne Advanced Level von Oktober 2012. Aus dem Inhalt - Spezifikationsorientierte, strukturbasierte, fehlerbasierte, erfahrungsbasierte Testverfahren - Testen der funktionalen wie auch der nicht funktionalen Softwareeigenschaften - Statische und dynamische Analysetechniken - Reviews - Werkzeugkonzepte - Management der Fehlerzustände

Anbieter: buecher.de
Stand: Sep 25, 2018
Zum Angebot
Echtzeit und Sicherheit
€ 39.99 *
ggf. zzgl. Versand

Mit seinem Workshop 2018 zum Thema ´´Echtzeit und Sicherheit´´ bietet der GI/GMA/ITG-Fachausschuss Echtzeitsysteme Wissenschaftlern, Nutzern und Herstellern ein Forum, auf dem neue Trends und Entwicklungen zu folgenden Programmschwerpunkten vorgestellt werden: Eingebettete Systeme, Echtzeitkommunikation, Leistungssteuerung und -bewertung, Logistik und Echtzeit sowie funktionale Sicherheit. Berichte zu aktuellen Anwendungen und zur Ausbildung runden die Publikation ab.

Anbieter: buecher.de
Stand: Oct 15, 2018
Zum Angebot
Basiswissen Testautomatisierung
€ 34.90 *
ggf. zzgl. Versand

Testautomatisierung ist ein mächtiges Werkzeug, um Tests wiederholbar zu machen und effizienter zu gestalten. Dieses Buch erklärt, wie Testautomatisierung mit Fokus auf den funktionalen Systemtest konzipiert und in bestehende Projekte und die Organisation eingegliedert wird. Dabei werden sowohl fachliche als auch technische Konzepte vorgestellt. Beispiele aus verschiedenen Einsatzgebieten (z.B. Webapplikationen, Data-Warehouse-Systeme) und Projektarten (z.B. Scrum, V-Modell) erläutern die methodischen Grundlagen. Eingehend behandelt werden darüber hinaus Werkzeuge sowie Qualitätsgewinne und Einsparpotenziale durch Testautomatisierung. Die 2. Auflage vertieft neue, wesentliche Aspekte der Testautomatisierung wie den automatisierten Test mobiler Applikationen und das Thema Service-Virtualisierung als Voraussetzung stabiler komplexer Testabläufe.

Anbieter: buecher.de
Stand: Sep 25, 2018
Zum Angebot