Angebote zu "Steffen" (23 Treffer)

Logik und Logikprogrammierung 1
€ 29.80 *
ggf. zzgl. Versand

Die zweibändig angelegte Neuausgabe des bewährten Standardwerks, das sich insbesondere an Studienanfänger/innen der Informatik und benachbarter Disziplinen richtet, bietet eine Einführung in die grundlegenden Techniken und Methoden der formalen Logik und in die Möglichkeiten der Logikprogrammierung am Beispiel der Programmiersprache PROLOG. Der Schwerpunkt des ersten Bandes, der die theoretischen Grundlagen präsentiert, liegt neben der Darstellung von Syntax und Semantik der Aussagen- und der Prädikatenlogik auf der Entwicklung von automatisierten Beweisverfahren (Resolutions- und Tableauverfahren, Konnektionsmethode, Hilbert-Systeme u.a.) sowie dem sog. Kalkül des natürlichen Schließens, der zahlreiche auch in der Mathematik verwendete Beweistechniken vermittelt. Die Logik-Programmiersprache PROLOG wird zunächst informell eingeführt, um in diesem Rahmen die Spezifizierung und Prüfung von Algorithmen zu ermöglichen. Im Schlussteil wird dann der Übergang vom automatischen Beweisen zum Programmieren in PROLOG vollzogen und eine formale Semantik für die deklarativen Anteile von PROLOG vorgestellt. Der zweite Band ist als Übungsband konzipiert und bietet eine Vielzahl von Aufgaben samt Musterlösungen, die eine vertiefende Einarbeitung in die in Band 1 dargestellten Methoden ermöglichen. Inhaltsverzeichnis: Formalisierung - Kalkülbildung - Mechanisierung - Algorithmierung der Logik - Deduktionssysteme - Logikprogrammierung am Beispiel PROLOG: Einfache Daten; Variablenumbenennung; Komplexe Daten; Der Cut - Aussagenlogik: Syntax; Semantik; Aquivalenz und Normalformen; Beweisverfahren - Prädikatenlogik: Syntax; Substitutionen; Semantik; Aquivalenz und Normalformen; Unifikation; Beweisverfahren; Eigenschaften - Grundlagen der Logikprogrammierung: Definite Programme; Normale Programme - Ausblick

Anbieter: buecher.de
Stand: Oct 16, 2018
Zum Angebot
Einführung in die Kryptologie
€ 29.99 *
ggf. zzgl. Versand

Mit großem didaktischen Geschick gelingt es den Autoren, Begeisterung für die Welt der geheimen Botschaften zu wecken. So gelingt der Einstieg in die Kryptologie ganz leicht. Viele Beispiele und Aufgaben regen dazu an, sich selbständig mit diesem faszinierenden Gebiet zu beschäftigen und helfen dabei, den erlernten Stoff weiter zu vertiefen.

Anbieter: buecher.de
Stand: Sep 25, 2018
Zum Angebot
Software entwickeln mit Verstand
€ 29.90 *
ggf. zzgl. Versand

Wie und warum funktionieren eigentlich erfolgreiche Softwareentwicklungsprojekte? Programmiersprachen, Werkzeuge und Prozesse sind wichtig und in zahlreichen Büchern ausführlich beschrieben. Entscheidend sind aber oft die beteiligten Menschen und ihre Arbeitsweise. Daher sollte man weiter fragen: Wie denken und arbeiten Menschen bei der Entwicklung von Software? Wie lösen sie Probleme, individuell und im Team? Antworten darauf geben die Autoren dieses Buches, indem sie Grundlagen der Kognitionspsychologie mit der täglichen Erfahrung in Softwareprojekten verbinden. -- Der Leser erfährt, welche Mechanismen bei der Problemlösung und bei der Kommunikation innerhalb von Teams wirken. Ein Verständnis dieser Aspekte ermöglicht es, die Produktivität in der Projektarbeit bewusst zu steigern. -- Eine genaue Betrachtung der aktuell am häufigsten eingesetzten Entwicklungsprozesse wie V-Modell, RUP oder Scrum befähigen den Leser, eigene Erfahrungen mit diesen Vorgehensmodellen besser zu verstehen. -- Die darauf aufbauenden Kapitel zur Produktivitätssteigerung, zum Management sowie zu den Merkmalen eines ´´idealen´´ Prozesses versetzen den Leser in die Lage, Softwareentwicklungsprojekte erfolgreicher zu planen und durchzuführen und sie dabei laufend zu optimieren. Software Engineering erreicht damit eine neue Dimension, da die Hauptakteure Softwareentwickler, Architekten, Projektleiter und Manager nun genau wissen, wie jeder Einzelne und ganze Teams produktiver arbeiten.

Anbieter: buecher.de
Stand: Sep 25, 2018
Zum Angebot
Informatik und Alltag, Profilband - Friedrich, ...
€ 1.19 *
zzgl. € 3.99 Versand
Anbieter: reBuy.de
Stand: Oct 8, 2018
Zum Angebot
SOA in Practice
€ 26.99 *
ggf. zzgl. Versand

As this book demonstrates, service-oriented architecture (SOA) is finally becoming a concrete discipline rather than a hopeful collection of cloud charts. Based on the author´s experience rolling out an SOA at a major mobile phone company, SOA in Practice explains how SOA can simplify the creation of large-scale applications. Whether your project involves a large set of web service-based components, or is a means to connect legacy applications to more modern workflows, this book clarifies how - and whether - SOA fits your needs. In fact, this is the only book that gives you a real understanding of what SOA is about, offering a fundamental overview of what it means to realize SOA in practice without getting lost in theory. After defining SOA´s many facets, examining typical use patterns, and exploring how loose coupling helps build stronger applications, Josuttis presents a framework to help you determine when to take advantage of SOA. With SOA in Practice, you will: - Focus squarely on real deployment and technology, not just standards maps - Examine business problems to determine which ones fit an SOA approach before plastering an SOA solution on top of them - Get concrete paths for building solutions without getting trapped in the mire of changing web services details - Gain the experience of a systems analyst intimately involved with SOA Earlier books on SOA suffered from too much vision and not enough reality. This one describes the real-world problems of implementing and running an SOA in practice. Not only will you learn how to categorize different SOA layers and different SOA stages of extension, you´ll learn how performance, security, and other real-life aspects influence the business case of SOA and the way a SOA is realized.If you´re serious about SOA, rely on the experience of someone who´s been in the trenches and achieved success. You´ll find it with SOA in Practice. This book demonstrates service-oriented architecture (SOA) as a concrete discipline rather than a hopeful collection of cloud charts. Built upon the author´s firsthand experience rolling out a SOA at a major corporation, SOA in Practice explains how SOA can simplify the creation and maintenance of large-scale applications. Whether your project involves a large set of Web Services-based components, or connects legacy applications to modern business processes, this book clarifies how -- and whether -- SOA fits your needs. SOA has been a vision for years. This book brings it down to earth by describing the real-world problems of implementing and running a SOA in practice. After defining SOA´s many facets, examining typical use patterns, and exploring how loose coupling helps build stronger applications, SOA in Practice presents a framework to help you determine when to take advantage of SOA. In this book you will: * Focus squarely on real deployment and technology, not just standards maps * Examine business problems to determine which ones fit a SOA approach before plastering a SOA solution on top of them * Find clear paths for building solutions without getting trapped in the mire of changing web services details * Gain the experience of a systems analyst intimately involved with SOA ´´The principles and experiences described in this book played an important role in making SOA at T-Mobile a success story, with more than 10 million service calls per day.´´ --Dr. Steffen Roehn, Member of the Executive Committee T-Mobile International (CIO) ´´Nicolai Josuttis has produced something that is rare in the over-hyped world of SOA; a thoughtful work with deep insights based on hands-on experiences. This book is a significant milestone in promoting practical disciplines for all SOA practitioners.´´ --John Schmidt, Chairman, Integration Consortium ´´The book belongs in the hands of every CIO, IT Director and IT planning manager.´´ --Dr. Richard Mark Soley, Chairman and CEO, Object Management Group; Executive Director, SOA Consortium

Anbieter: buecher.de
Stand: Sep 25, 2018
Zum Angebot
Mathematik für Informatiker als Buch von Steffe...
€ 27.99 *
ggf. zzgl. Versand

Mathematik für Informatiker:Eine aus der Informatik motivierte Einführung mit zahlreichen Anwendungs- und Programmbeispielen. Auflage 2014 Steffen Goebbels, Jochen Rethmann

Anbieter: Hugendubel.de
Stand: Sep 25, 2018
Zum Angebot
Mathematik für Informatiker als eBook Download ...
€ 27.99
Angebot
€ 19.99 *
ggf. zzgl. Versand
(€ 27.99 / in stock)

Mathematik für Informatiker:Eine aus der Informatik motivierte Einführung mit zahlreichen Anwendungs- und Programmbeispielen Steffen Goebbels, Jochen Rethmann

Anbieter: Hugendubel.de
Stand: Sep 11, 2018
Zum Angebot
Grundlagen der höheren Informatik als Buch von ...
€ 25.00 *
ggf. zzgl. Versand

Grundlagen der höheren Informatik:Induktives Vorgehen eXamen. press. Auflage 2014 Bernhard Steffen, Oliver Rüthing, Malte Isberner

Anbieter: Hugendubel.de
Stand: Sep 14, 2018
Zum Angebot
Mathematik für Informatiker
€ 27.99 *
ggf. zzgl. Versand

Im Studienalltag ist oft die Mathematik von den Inhalten der Informatik durch separate Vorlesungen abgegrenzt. Dadurch wird es schwierig einzusehen, warum im Informatik-Studium so viel Mathematik unterrichtet wird. In diesem Buch werden daher Fragestellungen der Informatik in den Mittelpunkt gestellt, für die dann die benötigte Mathematik entwickelt wird. Da das Buch als Einführung geschrieben ist, genügen elementare Schulkenntnisse in Mathematik. Bruchrechnung oder das Umstellen von Gleichungen setzen wir aber als bekannt voraus. Sie sollten auch schon ein wenig programmiert haben, um die (einfachen) Programmbeispiele unmittelbar zu verstehen. Da viele Querbezüge zur Informatik dargestellt werden, eignet sich das Buch insbesondere auch zum Auffrischen der Mathematikkenntnisse - z. B. nach einer Pause zwischen Bachelor- und Master-Studium. Bei der Stoffauswahl haben wir uns an den Kernfächern der Informatik orientiert: Logik und Rechnen mit Bits, Relationen und endliche Automaten, Graphen und Graphenalgorithmen, Zahlen und ihre Darstellung im Computer, Primzahlen und Verschlüsselung, Differenzial- und Integralrechnung in Verbindung mit Aufwandsabschätzungen, Lineare Algebra und Codes. Wir möchten mit dem Buch auch die Grundlage dafür legen, dass Sie sich weitere Themen der Mathematik aneignen können, wenn Sie diese bei der Anwendung der Informatik für andere Disziplinen benötigen.

Anbieter: buecher.de
Stand: Oct 4, 2018
Zum Angebot
Grundlagen der höheren Informatik als eBook Dow...
€ 25.00
Angebot
€ 14.99 *
ggf. zzgl. Versand
(€ 25.00 / in stock)

Grundlagen der höheren Informatik:Induktives Vorgehen Bernhard Steffen, Oliver Rüthing, Malte Isberner

Anbieter: Hugendubel.de
Stand: Sep 11, 2018
Zum Angebot