Computer programming / software engineering Books
Springer International Publishing AG Composability, Comprehensibility and Correctness
Book SynopsisThis book constitutes the revised selected papers of the 8th Summer School, CEFP 2019, held in Budapest, Hungary, during June 2019.The 7 full papers and the 4 short papers included in this volume were carefully reviewed and selected. The lectures cover various programming subjects with a focus on composability, comprehensibility, and correctness of working software.Table of ContentsMain Lectures.- PhD Workshop.
£56.99
Springer International Publishing AG Recent Trends in Algebraic Development
Book SynopsisThis book constitutes the thoroughly refereed post-conference proceedings of the 26th International Workshop on Algebraic Development Techniques, WADT 2022, held in Aveiro, Portugal, in June 2022.The 6 revised papers presented together with 2 invited papers were carefully reviewed and selected from 25 submissions. The contributed presentations covered a range of topics about the algebraic approach to system specification, which encompasses many aspects of the formal design of software systems. Originally born as formal method for reasoning about abstract data types, the algebraic approach now covers new specification frameworks and programming paradigms (such as object-oriented, aspect-oriented, agent-oriented, logic, and higher-order functional programming) as well as a wide range of application areas (including information systems, concurrent, distributed, and mobile systems).Table of ContentsInvited Talks.- Taming Distributed System Complexity through Formal Patterns.- Why Adjunctions Matter — a Functional Programmer Perspective.- Standard Contributions.- A Computability Perspective on (Verified Machine Learning.- A Presheaf Semantics for Quantifie Temporal Logics.- Shades of Iteration: from Elgot to Kleene.- Automated QoS-Aware Service Selection Based on Soft Constraints.- Runtime Composition Of Systems of Interacting Cyber-Physical Components.- SpeX: a rewriting-based formal specificatio environment.
£42.74
Springer International Publishing AG ObjectOriented Analysis Design and Implementation
Book SynopsisThis new edition demonstrates a modeling-based approach to object-oriented development. It is a significant and comprehensive revision of the book. While the central focus remains the same as in previous editions, the reader will notice substantial improvements in the presentation. Salient featuresAll expected background materials are now in one chapter, making it easier for both the teacher and the learner. The treatment of modeling concepts and UML diagrams is both broader anddeeper. Securing the software is considered in the design and implementation phases. The design is evaluated for bad smells, which are corrected by refactoring. Implementation is carried out in both JavaFX and Swing. Software reuse is dealt with in much greater depth. The role of substitutability is examined and explained in this context. Comparison of the finite state machine and use case models is provided. A procedure to assist readers in analysis and design using the finite state machine model is included.
£47.49
De Gruyter Linear Algebra
Book Synopsis
£73.80
Springer International Publishing AG LaTeX in 24 Hours: A Practical Guide for
Book SynopsisThis book presents direct and concise explanations and examples to many LaTeX syntax and structures, allowing students and researchers to quickly understand the basics that are required for writing and preparing book manuscripts, journal articles, reports, presentation slides and academic theses and dissertations for publication. Unlike much of the literature currently available on LaTeX, which takes a more technical stance, focusing on the details of the software itself, this book presents a user-focused guide that is concerned with its application to everyday tasks and scenarios. It is packed with exercises and looks at topics like formatting text, drawing and inserting tables and figures, bibliographies and indexes, equations, slides, and provides valuable explanations to error and warning messages so you can get work done with the least time and effort needed. This means LaTeX in 24 Hours can be used by students and researchers with little or no previous experience with LaTeX to gain quick and noticeable results, as well as being used as a quick reference guide for those more experienced who want to refresh their knowledge on the subject.Trade Review“This work is a great option for people who want to quickly and efficiently learn how to prepare a document in LaTeX. Every aspect of writing a document is presented with enough detail to cover the preparation of a thesis, a scientific textbook, a research article, a conference presentation, a poster, and other relevant works. So researchers of all levels, from lower to high, will find the information needed to complete their work in style.” (Lazaros Moysis, zbMATH 1447.68001, 2020)Table of ContentsIntroduction.- Fonts Selection.- Formatting Texts I.- Formatting Texts II.- Page Layout and Style.- Listing and Tabbing Texts.- Table Preparation I.- Table Preparation II.- Figure Insertion 77.- Figure Drawing.- Equation Writing I.- Equation Writing II.- User-Defined Macros.- Bibliographies with LATEX.- Bibliographies with BIBTEX.- Lists of Contents and Indexes.- Miscellaneous I.- Miscellaneous II.- Letters and Articles.- Book and Report.- Slide Preparation I.- Slide Preparation II.- Error and Warning Messages.- Exercises- Appendix A: Symbols and Notations.
£999.99
Springer Fachmedien Wiesbaden Kompakt im Doppelpack: HTML und JavaScript:
Book SynopsisMit diesem Buch schlagen Sie drei Fliegen mit einer Klappe: Sie lernen HTML und JavaScript und zugleich die Kunst des Programmierens. Man benötigt nur einen Editor und einen Browser und schon kann man mit den ersten Beispielen starten. Das Buch regt mit vielen praxisnahen Aufgaben zum eigenen Programmieren an. Es enthält viele Aufgaben, die anhand der Beispielprogramme gelöst werden können. Schrittweise treten Sie damit in die faszinierende Welt des Webdesigns ein. Beispiele, Lösungen und Ergänzungen lassen sich aus dem Internet problemlos herunterladen.Table of ContentsTextgestaltung.- Protokolle, Verweise und Bilder.- Listen und Tabellen.- Formatvorlagen (CCS).- Formulare und Ereignisse.- Grundlagen von JavaScript.- Operatoren.- Ablaufkontrolle.- Objekte und Arrays.- Rahmen und Fenster.- Funktionen.
£24.69
Springer Fachmedien Wiesbaden Programmieren in C#: Von den ersten Gehversuchen
Book SynopsisLernen Sie Programmieren mit Freude. Zahlreiche Beispiele machen den Einstieg in schwierige Themen einfach. Datenstrukturen und Algorithmen werden so in ihrem vollen Umfang anschaulich dargestellt. Anhand vieler Übungsaufgaben kann das Erlernte direkt ausprobiert werden. Ausführliche Lösungen erleichtern das Selbststudium und sichern den Lernerfolg. Table of ContentsEinführung in die objektorientierte Programmierung - Darstellung von Daten - Das NET-Framework - Vordefinierte Datentypen - Arrays - Operationen und Ausdrücke - Statische Methoden und Variablen - Programmsteuerung - Klassen und Objekte
£28.49
Springer Fachmedien Wiesbaden Programmieren mit PostScript: Eine umfassende
Book SynopsisTable of Contents1 Einleitung.- 1.1 Zur Entstehung von PostScript.- 1.2 Die Seitenbeschreibungssprache PostScript.- 1.3 Zielrichtung dieses Buches.- 2 Grundlagen.- 2.1 Der Stack und einfache Arithmetik.- 2.2 Weitere arithmetische Befehle.- 2.3 Koordinatensystem und aktueller Punkt.- 2.4 Einfache Textausgabe.- 2.4.1 Das Font.- 2.4.2 Strings und der Befehl »show«.- 2.4.3 Programm-Struktur.- 2.5 Linien.- 2.6 Spezielle Befehle für die Stackverwaltung.- 3 Variablen, Prozeduren und Schleifen.- 3.1 Variablen.- 3.2 Aufbau von Namen und Zahlen.- 3.3 Prozeduren.- 3.4 Schleifen.- 3.4.1 Der Befehl »loop«.- 3.4.2 Der Befehl »repeat«.- 3.4.3 Der Befehl »for«.- 4 Füllen.- 4.1 Graue Flächen und Linien.- 4.2 Die Befehle »gsave« und »grestore«.- 4.3 Die Füllregeln.- 4.3.1 Die »Non-Zero-Winding-Rule«.- 4.3.2 Die »Even-Odd-Rule«.- 5 Kurven.- 5.1 Kreise.- 5.2 Bezier-Kurven.- 5.3 Abgerundete Ecken.- 6 Arrays, Dictionaries und Strings.- 6.1 Die Arrays.- 6.1.1 Der Befehl »setdash«.- 6.1.2 Spezielle Befehle für Arrays.- 6.1.3 Spezielle Befehle für Markierungen.- 6.2 Die Dictionaries.- 6.3 Eintragungen in Dictionaries.- 6.4 Spezielle Befehle für Strings.- 6.4.1 Die Befehle »string« und »cvs«.- 6.4.2 Der Suchbefehl »search«.- 6.5 Gemeinsame Befehle für Arrays, Dictionaries und Strings.- 6.5.1 Der Befehl »put«.- 6.5.2 Der Befehl »get«.- 6.5.3 Der Befehl »length«.- 6.5.4 Der Befehl »copy«.- 6.5.5 Die Befehle »putinterval« und »getinterval«.- 6.5.6 Der Befehl »forall«.- 6.6 Zugriffsrechte.- 7 Abfragen in PostScript.- 7.1 Die Vergleichsoperationen.- 7.2 Verknüpfung von logischen Werten.- 7.3 Die Befehle »if« und »ifelse«.- 8 Fonts.- 8.1 Die Organisation der Fonts.- 8.2 Ausgabe einer Liste aller verfügbaren Fonts.- 8.3 Aktivierung von Umlauten in PostScript.- 8.4 Outline-Fonts.- 8.5 Userfonts.- 8.5.1 Ein einfaches Userfont.- 8.5.2 Ein vollwertiges Userfont.- 8.5.3 Spezialitäten mit Userfonts.- 9 Transformationen.- 9.1 Der Befehl »translate«.- 9.2 Der Befehl »scale«.- 9.3 Rotation.- 9.4 Der Aufbau der Transformationsmatrix.- 9.5 Die Befehle »transform« und »itransform«.- 9.6 Transformation eines Fonts.- 10 Clipping.- 11 Bildverarbeitung.- 11.1 Aufbau des Bildes.- 11.2 Der Befehl »image«.- 11.3 Der Befehl »imagemask«.- 11.4 Rasterzellen.- 11.5 Der Aufbau der Rasterzelle.- 11.6 Die Transferfunktion.- 12 Ein- und Ausgaben in PostScript.- 12.1 Lesen von Daten aus Datenströmen.- 12.2 Ausgabe von Daten auf Datenströme.- 12.3 Ausführung einer Datei.- 12.4 Erweiterungen für die Dateienverwaltung.- 13 Druckerspezifische Befehle.- 13.1 Allgemeine Druckereinstellungen.- 13.2 Spezielle Befehle für Laserdrucker.- 13.3 Spezielle Befehle für Belichter.- 14 Speicherverwaltung und Programmausführung.- 14.1 Der Befehl »bind« und die Funktion »//«.- 14.2 Die Speicherverwaltung.- 14.3 Die Befehle »exec« und »execstack«.- 14.4 Die Befehle »stop« und »stopped«.- 14.5 Zusammenfassung der PostScript-Typen.- 15 Der graphische Status.- 16 Fehlerbehandlung.- 16.1 Fehler und ihre möglichen Ursachen.- 17 Kommentar-Konventionen.- A ASCII-Tabellen.- B Zahlensysteme.- C Lösungen zu den Aufgaben.- D Literaturverzeichnis.- E Sachwortverzeichnis.
£49.49
Springer Fachmedien Wiesbaden Parallele Programmierung: Eine Einführung
Book SynopsisDieses Lehrbuch gibt eine Einführung in das Gebiet der parallelen Programmierung und richtet sich vor allem an Studenten der Informatik im Hauptstudium. Nach den Grundlagen folgen die Gebiete der "konventionellen" asynchronen parallelen Programmierung und der synchronen "massiv parallelen" oder daten-parallelen Programmierung mit tausend oder mehr Prozessoren. Den Abschluß bilden weitere parallele Modelle, die nicht einem dieser beiden Gebiete zugeordnet werden können, die automatische Parallelisierung und Vektorisierung sowie Leistungsbetrachtungen. Das Buch entstand aus dem Skript zur gleichnamigen Vorlesung, die vom Autor an der Universität Stuttgart gehalten wurde. Begleitende Praktika und Seminar ergänzten den Themenbereich, an denen sich die Übungen zu den jeweiligen Kapiteln orientieren.Table of ContentsGrundlagen: Klassifikationen, Parallele Operationen, Parallelrechneraufbau - Grobkörnige Parallelität (Aufbau eines MIMD-Rechners, Softwarestruktur, Synchronisation und Kommunikation, Vektorisierung, Programmiersprachen, Parallele Algorithmen) - Massive Parallelität (Aufbau eines SIMD-Rechners, Softwarestruktur, Programmiersprachen, Neuronale Netze) - Programmierumgebungen und Effizienz.
£999.99
Springer Fachmedien Wiesbaden Programmieren in Pascal: Ein einführendes
Book Synopsis0 Einleitung und Notationen.- 0.1 Historische Entwicklung.- 0.2 Einführende Beispiele.- 0.3 Schreibweisen.- 0.4 Testfragen.- 1 Einfache Datentypen und Ein/Ausgabe.- 1.1 AufZählungstypen und Unterbereichstypen.- 1.2 CHAR, siehe A.2.2.- 1.3 BOOLEAN, siehe A.2.2.- 1.4 Ordinale und Simple Typen.- 1.5 Zahlbezeichnungen.- 1.6 INTEGER, siehe A.2.2.- 1.7 REAL, siehe A.2.2.- 1.8 String, vgl. 5.3.- 1.9 Einfache Ein/Ausgabe mit READ, WRITE.- 1.10 Testfragen.- 2 Einfacher Programmaufbau.- 2.1 Verfügbarmachung externer Dateien, vgl. 8.- 2.2 Vereinbarungen.- 2.3 Testfragen.- 3 Ausdrücke.- 3.1 Primärausdrücke.- 3.2 Ausdrücke, allgemein.- 3.3 Testfragen.- 4 Anweisungen.- 4.1 Assignment Statement.- 4.2 Empty Statement.- 4.3 IF Statement.- 4.4 CASE Statement.- 4.5 Schleifen.- 4.6 Folgen von Anweisungen (compound statement).- 4.7 Label, GOTO Statement.- 4.8 Testfragen.- 5 Reihung (Array) und Mengenbildung (SET).- 5.1 Reihungstyp, Komponente.- 5.2 PACKED, vgl. A.2.5.2.- 5.3 String, vgl. 1.8.- 5.4 Potenzmengentyp, Mengen-Aggregat.- 5.5 Testfragen.- 6 Zeiger und Verbund.- 6.1 Zeiger (^ Symbol).- 6.2 Verbund (RECORD).- 6.3 Testfragen.- 7 Unterprogramme.- 7.1 Unterprogramm-Technik.- 7.2 Parameterübergabe.- 7.3 Konforme Reihungsschemata (level 1 implementation).- 7.4 Prozedur (PROCEDURE).- 7.5 Funktion (FUNCTION).- 7.6 Rundreise-Problem.- 7.7 Bereichsschachtelung.- 7.8 Testfragen.- 8 Datei (File).- 8.l Sequentieller Dateityp, Modus, Komponente.- 8.2 Text-Datei (TEXT), siehe A.2.2/5/6.- 8.3 Testfragen.- A Anhang.- A. l Syntax-Diagramme.- A.2 Standard-Bibliothek (Vordefinierte Vereinbarungen).- A.2.1 Standard-Konstanten.- A.2.2 Standard-Typen.- A.2.3 Standard-Operationen.- A.2.3.1 Arithmetic Operations.- A.2.3.2 Relational Operations.- A.2.3.3 Boolean Operations.- A.2.3.4 Set Operations.-A.2.3.5 Other Operations'.- A.2.4 Standard-Funktionen.- A.2.4.1 Arithmetic Functions.- A.2.4.2 Boolean Functions (Predicates).- A.2.4.3 Transfer Functions.- A.2.4.4 Further Standard Functions.- A.2.5 Standard-Prozeduren.- A.2.5.1 Dynamic Allocation Procedures.- A.2.5.2 Data Transfer Procedures.- A.2.5.3 File Handling Procedures.- A.2.5.4 Input- Procedures READ and READLN.- A.2.5.5 Output-Procedures WRITE and WRITELN.- A.2.6 Standard-Dateien INPUT, OUTPUT.- Übg Übungsaufgaben.- Geordnet nach dem ACM-Index.- Lit Literaturverzeichnis.- Lit. l Lehrbücher.- Lit.2 Anwendungen.- Ind Alphabetischer Index.- Fachausdrücke, deutsch/englisch.Table of Contents0 Einleitung und Notationen.- 0.1 Historische Entwicklung.- 0.2 Einführende Beispiele.- 0.2.1 Anzahl der Buchstaben E/e in einem Satz.- 0.2.2 Turm von Hanoi, rekursive Lösung.- 0.3 Schreibweisen.- 0.3.1 Quelltext-Zeichen und lexikalische Symbole.- 0.3.2 Verwendung des Syntax-Diagramms, siehe A.1.- 0.3.3 Kommentar.- 0.4 Testfragen.- 1 Einfache Datentypen und Ein/Ausgabe.- 1.1 AufZählungstypen und Unterbereichstypen.- 1.2 CHAR, siehe A.2.2.- 1.3 BOOLEAN, siehe A.2.2.- 1.4 Ordinale und Simple Typen.- 1.5 Zahlbezeichnungen.- 1.6 INTEGER, siehe A.2.2.- 1.7 REAL, siehe A.2.2.- 1.8 String, vgl. 5.3.- 1.9 Einfache Ein/Ausgabe mit READ, WRITE.- 1.10 Testfragen.- 2 Einfacher Programmaufbau.- 2.1 Verfügbarmachung externer Dateien, vgl. 8.- 2.2 Vereinbarungen.- 2.2.1 Zielvereinbarung (LABEL).- 2.2.2 Konstantenvereinbarung (CONST).- 2.2.3 Typvereinbarung (TYPE).- 2.2.4 Variablenvereinbarung (VAR).- 2.3 Testfragen.- 3 Ausdrücke.- 3.1 Primärausdrücke.- 3.1.1 Aufrufe von Standard-Funktionen, siehe A.2.4.- 3.1.2 Rundung ROUND, Abschneiden TRUNC.- 3.2 Ausdrücke, allgemein.- 3.2.1 Prioritäten von Operatoren.- 3.2.2 Ganzahlige Division DIV, Rest MOD.- 3.3 Testfragen.- 4 Anweisungen.- 4.1 Assignment Statement.- 4.2 Empty Statement.- 4.3 IF Statement.- 4.4 CASE Statement.- 4.5 Schleifen.- 4.5.1 FOR Statement.- 4.5.2 WHILE Statement.- 4.5.3 REPEAT Statement.- 4.6 Folgen von Anweisungen (compound statement).- 4.7 Label, GOTO Statement.- 4.8 Testfragen.- 5 Reihung (Array) und Mengenbildung (SET).- 5.1 Reihungstyp, Komponente.- 5.2 PACKED, vgl. A.2.5.2.- 5.3 String, vgl. 1.8.- 5.4 Potenzmengentyp, Mengen-Aggregat.- 5.5 Testfragen.- 6 Zeiger und Verbund.- 6.1 Zeiger (^ Symbol).- 6.1.1 Zeigertyp, Allokation, Selektor.- 6.2 Verbund (RECORD).- 6.2.1 Verbundtyp, Komponente, Selektor.- 6.2.2 Namensabkürzung für Komponenten (WITH).- 6.3 Testfragen.- 7 Unterprogramme.- 7.1 Unterprogramm-Technik.- 7.1.1 Unterprogramm-Vereinbarung, FORWARD- Spezifikation.- 7.1.2 Unterprogramm-Aufruf, Rekursion.- 7.2 Parameterübergabe.- 7.2.1 Wert-Parameter.- 7.2.2 VAR -Parameter.- 7.2.3 Unterprogramm-Parameter.- 7.3 Konforme Reihungsschemata (level 1 implementation).- 7.4 Prozedur (PROCEDURE).- 7.5 Funktion (FUNCTION).- 7.6 Rundreise-Problem.- 7.7 Bereichsschachtelung.- 7.7.1 Vereinbart / nicht vereinbart.- 7.7.2 Lokal / global.- 7.7.3 Erzeugt / nicht erzeugt, Ausnahmen.- 7.7.4 Aufrufbar / unterdrückt.- 7.7.5 Bereichsfreie Größen, Speicherbereinigung,u.a.m..- 7.8 Testfragen.- 8 Datei (File).- 8.l Sequentieller Dateityp, Modus, Komponente.- 8.2 Text-Datei (TEXT), siehe A.2.2/5/6.- 8.3 Testfragen.- A Anhang.- A. l Syntax-Diagramme.- A.2 Standard-Bibliothek (Vordefinierte Vereinbarungen).- A.2.1 Standard-Konstanten.- A.2.2 Standard-Typen.- A.2.3 Standard-Operationen.- A.2.3.1 Arithmetic Operations.- A.2.3.2 Relational Operations.- A.2.3.3 Boolean Operations.- A.2.3.4 Set Operations.- A.2.3.5 Other ‘Operations’.- A.2.4 Standard-Funktionen.- A.2.4.1 Arithmetic Functions.- A.2.4.2 Boolean Functions (Predicates).- A.2.4.3 Transfer Functions.- A.2.4.4 Further Standard Functions.- A.2.5 Standard-Prozeduren.- A.2.5.1 Dynamic Allocation Procedures.- A.2.5.2 Data Transfer Procedures.- A.2.5.3 File Handling Procedures.- A.2.5.4 Input- Procedures READ and READLN.- A.2.5.5 Output-Procedures WRITE and WRITELN.- A.2.6 Standard-Dateien INPUT, OUTPUT.- Übg Übungsaufgaben.- Geordnet nach dem ACM-Index.- Lit Literaturverzeichnis.- Lit. l Lehrbücher.- Lit.2 Anwendungen.- Ind Alphabetischer Index.- Fachausdrücke, deutsch/englisch.
£40.84
Springer Fachmedien Wiesbaden COBOL — Das Handbuch für den professionellen
Book SynopsisCOBOL dürfte die am meisten angewendete Programmiersprache seit ihrer ersten Veröffentlichung im Jahre 1960 sein. Man schätzt, daß etwa 40% aller geschriebenen Programme in COBOL abgefaßt worden sind, wobei der Trend eher als zunehmend zu beurteilen ist. Der Grund für dieses gesteigerte Interesse liegt vor allem in der ständig zu nehmenden Aufbereitung und Verarbeitung von Massendaten aus allen wirtschaftlich orientierten Bereichen, wofür COBOL hervorragend ge eignet ist. Da die anwenderbezogenen Anforderungen an die Verar beitung dieser Daten einer ständigen Entwicklung unterliegen, muß auch COBOL dieser Entwicklung gerecht werden. Seit 1968 hat das American National Standards Institute (ANS I) , dem auch ein inter nationaler Beraterkreis angehört, die Standardisierung der COBOL Entwicklung übernommen. Dadurch wurde der Grundstein für die Kompatibilität der Sprache gelegt. Heute sind alle publizierten COBOL Versionen aufwärtskompatibel. Das heißt, daß auch Programme, die in älteren Versionen geschrieben wurden, beim Einsatz neuer Compiler Versionen unter geringfügigen Quell-Code-Änderungen läuffähig bleiben. Damit ist COBOL zu einer lebendigen Programmiersprache geworden, die eine zukünftige Entwicklung bereits in sich trägt und universell einsetzbar ist. Da COBOL für die Verarbeitung großer Datenmengen geschaffen wurde, war ihr Einsatz in der Vergangenheit auf Großrechner be schränkt. Durch die rasche Hardware-Entwicklung, die vor allem durch immer schnellere Rechner und größere Speicherkapazitäten auf kleinstem Raum zum Ausdruck kommt, können COBOL-Programme auch zunehmend auf mittleren und Kleinanlagen eingesetzt werden. Die Computer-Hersteller haben dieser Entwicklung Rechnung getragen und eine Reihe sehr guter Compiler entwickelt, die auf dem PC einsetzbar sind.Table of Contents1 Entwicklung von COBOL.- 2 COBOL-Notation (Syntax).- 3 Die COBOL-Programmstruktur.- 3.1 Die Divisions.- 3.2 Der COBOL-Zeichenvorrat.- 3.3 COBOL-Zeichenfolgen.- 3.3.1 COBOL-Wortarten.- 3.3.1.1 Programmierer-Wörter.- 3.3.1.2 Systemnamen.- 3.3.1.3 Reservierte Wörter.- 3.3.2 Literate.- 3.3.2.1 Numerische Literate.- 3.3.2.2 Nichtnumerische Literate.- 3.3.3 PICTURE-Zeichenfolgen.- 3.4 Das Standard-COBOL-Format.- 3.4.1 Zeilenfortsetzung.- 3.4.1.1 Trennen von Wörtern und numerischen Literaten.- 3.4.1.2 Trennen von nichtnumerischen Literaten.- 3.4.2 Kommentarzeilen.- 3.4.3 Leerzeilen.- 3.5 Das COBOL-Quellprogramm.- 4 Identification Division.- 4.1 Der Paragraph PROGRAM-ID.- 4.2 Die wahlfreien Paragraphen.- 5 Environment Division.- 5.1 Configuration Section.- 5.1.1 Der Paragraph SOURCE-COMPUTER.- 5.1.1.1 WITH DEBUGGING MODE-Klausel.- 5.1.2 Der Paragraph OBJECT-COMPUTER.- 5.1.2.1 MEMORY SIZE-Klausel.- 5.1.2.2 SEGMENT-LIMIT-Klausel.- 5.1.2.3 PROGRAM COLLATING SEQUENCE-Klausel.- 5.1.3 Der Paragraph SPECIAL-NAMES.- 5.1.3.1 Funktionsname-1 IS Merkname-Klausel.- 5.1.3.2 Funktionsname-2 IS Merkname-Klausel.- 5.1.3.3 ALPHABET Alphabetname-Klausel.- 5.1.3.4 CURRENCY SIGN-Klausel.- 5.1.3.5 DECIMAL-POINT IS COMMA-Klausel.- 5.1.3.6 CLASS-Klausel.- 5.2 Input-Output Section.- 5.2.1 Dateiorganisationsformen und Zugriffsmethoden.- 5.2.1.1 Sequentielle Organisationsform.- 5.2.1.2 Indizierte Organisationsform.- 5.2.1.3 Relative Organisationsform.- 5.2.1.4 Sequentieller Zugriff.- 5.2.1.5 Wahlfreier Zugriff.- 5.2.1.6 Dynamischer Zugriff.- 5.3 Der Paragraph FILE-CONTROL.- 5.3.1 SELECT-Klausel.- 5.3.2 ASSIGN-Klausel.- 5.3.3 RESERVE-Klausel.- 5.3.4 ORGANIZATION-Klausel.- 5.3.5 ACCESS MODE-Klausel.- 5.3.6 PADDING CHARACTER-Klausel.- 5.3.7 RECORD DELIMITER-Klausel.- 5.3.8 RECORD KEY-Klausel.- 5.3.9 ALTERNATE RECORD KEY-Klausel.- 5.3.10 FILE STATUS-Klausel.- 5.4 Der Paragraph I-O-CONTROL.- 5.4.1 RERUN-Klausel.- 5.4.2 SAME AREA-Klausel.- 5.4.3 MULTIPLE FILE TAPE-Klausel.- 5.4.4 APPLY WRITE ONLY-Klausel.- 6 Data Division.- 6.1 File Section.- 6.1.1 BLOCK CONTAINS-Klausel.- 6.1.2 RECORD CONTAINS-Klausel.- 6.1.3 LABEL RECORD-Klausel.- 6.1.4 VALUE OF-Klausel.- 6.1.5 DATA RECORDS-Klausel.- 6.1.6 LINAGE-Klausel.- 6.1.7 RECORDING MODE-Klausel.- 6.1.8 CODE SET-Klausel.- 6.2 Datenbeschreibung.- 6.2.1 Stufennummern.- 6.2.1.1 Stufennummern für die Satzbeschreibung.- 6.2.1.2 Spezielle Stufennummern.- 6.3 Datenerklärung.- 6.3.1 Datennamen.- 6.3.1.1 Die Feldbezeichnung FILLER.- 6.3.2 PICTURE-Klausel.- 6.3.2.1 Datenklassen und Datenkategorien.- 6.3.2.2 Alphabetische Datenelemente.- 6.3.2.3 Numerische Datenelemente.- 6.3.2.4 Alphanumerische Datenelemente.- 6.3.2.5 Aufbau der PICTURE-Zeichenfolge.- 6.3.2.6 PICTURE-Symbole für die Druckaufbereitung.- 6.3.2.7 Mindestlange der PICTURE-Zeichenfolge.- 6.3.3 SIGN-Klausel.- 6.3.4 REDEFINES-Klausel.- 6.3.4.1 Implizite Redefinition (FILE SECTION).- 6.3.4.2 Explizite Redefinition.- 6.3.4.3 Mehrmalige Redefinition eines Datenbereichs.- 6.3.4.4 Redefinition von Einzelfeldern.- 6.3.4.5 Datenübertragungen in redefinierte und redefinierende Felder.- 6.3.5 BLANK WHEN ZERO-Klausel.- 6.3.6 JUSTIFIED RIGHT-Klausel.- 6.3.7 OCCURS-Klausel.- 6.3.8 SYNCHRONIZED-Klausel.- 6.3.8.1 Einfügung von Füll-Bytes durch den Compiler.- 6.3.8.2 Einfügung von Füll-Bytes durch den Programmierer.- 6.3.9 USAGE-Klausel.- 6.3.9.1 Usage Is Display.- 6.3.9.2 Usage Is Binary.- 6.3.9.3 Usage Is Computational (COMP).- 6.3.9.4 Usage Is Index.- 6.3.9.5 Usage Is Packed-Decimal.- 6.3.9.6 Vorzeichenverarbeitung unter VS COBOL II.- 6.3.9.7 Einfluß des Datenformats auf die Effizienz arithmetischer Operationen.- 6.3.10 VALUE-Klausel.- 6.3.11 RENAMES-Klausel.- 6.3.12 Stufennummer 88.- 7 Procedure Division.- 7.1 Die Struktur der PROCEDURE DIVISION.- 7.1.1 Der selbstdefinierte Dateistatus.- 7.2 Datenübertragungen.- 7.2.1 ACCEPT-Anweisung.- 7.2.1.1 Übertragung von Daten.- 7.2.1.2 Übertragung von Systeminformationen.- 7.2.2 DISPLAY-Anweisung.- 7.2.3 MOVE-Anweisung.- 7.2.4 MOVE CORRESPONDING-Anweisung.- 7.2.5 STRING-Anweisung.- 7.2.6 UNSTRING-Anweisung.- 7.2.7 INSPECT-Anweisung.- 7.2.8 INITIALIZE-Anweisung.- 7.2.8.1 Initialisierung von Tabellen.- 7.3 Arithmetische Ausdrücke.- 7.3.1 Arithmetische Operatoren.- 7.4 Bedingungen.- 7.4.1 Einfache Bedingungen.- 7.4.1.1 Klassenbedingungen.- 7.4.1.2 Vorzeichenbedingungen.- 7.4.1.3 Vergleichsbedingungen.- 7.4.1.4 Bedingungsnamen-Bedingungen.- 7.4.2 Zusammengesetzte Bedingungen.- 7.5 Bedingte Anweisungen.- 7.5.1 IF-Anweisung.- 7.5.1.1 Geschachtelte IF-Anweisungen.- 7.5.1.2 IF-Anweisungen mit Leerzweigen.- 7.5.2 CONTINUE-Anweisung.- 7.5.3 EVALUATE-Anweisung.- 7.5.3.1 Verarbeitung von Entscheidungstabellen.- 7.6 Arithmetische Anweisungen.- 7.6.1 ROUNDED-Angabe.- 7.6.2 ON SIZE ERROR-Angabe.- 7.6.3 NOT ON SIZE ERROR-Angabe.- 7.6.4 END-Begrenzungen.- 7.6.5 ADD-Anweisung.- 7.6.6 SUBTRACT-Anweisung.- 7.6.7 MULTIPLY-Anweisung.- 7.6.8 DIVIDE-Anweisung.- 7.6.9 COMPUTE-Anweisung.- 7.7 Eingabe-/Ausgabeanweisungen.- 7.7.1 OPEN-Anweisung.- 7.7.2 CLOSE-Anweisung.- 7.7.3 READ-Anweisung.- 7.7.4 WRITE-Anweisung.- 7.7.5 REWRITE-Anweisung.- 7.7.6 START-Anweisung.- 7.7.7 DELETE-Anweisung.- 7.8 Programmverzweigungen.- 7.8.1 PERFORM-Anweisung.- 7.8.1.1 Tabellverarbeitung mit PERFORM VARYING.- 7.8.1.2 Geschachtelte PERFORM-Anweisungen.- 7.8.2 EXIT-Anweisung.- 7.8.3 GO TO-Anweisung.- 7.8.4 GO TO ... DEPENDING ON-Anweisung.- 7.8.5 STOP-Anweisung.- 7.8.6 ALTER-Anweisung.- 7.9 Tabellenverarbeitung.- 7.9.1 OCCURS-Klausel.- 7.9.1.1 Normalindizierung (Subscripting).- 7.9.1.2 Spezialindizierung (Indexing).- 7.9.1.3 Mehrdimensionale Tabellen.- 7.9.2 SET-Anweisung.- 7.9.3 SEARCH-Anweisung.- 7.9.3.1 Sequentielles Durchsuchen einer Tabelle.- 7.9.3.2 Binares Durchsuchen einer Tabelle.- 7.10 Änderung von Quell-Text.- 7.10.1 COPY-Anweisung.- 7.10.2 REPLACING-Anweisung.- 7.10.3 BASIS-Anweisung.- 8 Externe Unterprogramme.- 8.1 CALL-Anweisung.- 8.1.1 USING-Zusatz.- 8.1.1.1 Using by Reference/Content.- 8.2 USING-Zusatz in der PROCEDURE DIVISION des Unterprogramms.- 8.3 LINKAGE SECTION.- 8.4 EXIT PROGRAM-Anweisung.- 8.5 CANCEL-Anweisung.- 8.6 ENTRY-Anweisung.- 9 Sortieren und Mischen.- 9.1 Sortieren von Dateien (SORT).- 9.1.1 SELECT/ASSIGN-Klausel.- 9.1.2 SD-Eintragung.- 9.1.3 SORT-Anweisung.- 9.1.4 RELEASE-Anweisung.- 9.1.5 RETURN-Anweisung.- 9.2 Mischen von Dateien (MERGE).- 9.2.1 MERGE-Anweisung.- 9.3 Das IBM-Dienstprogramm DFSORT.- 9.3.1 Die IBM-Sonderregister.- 10 Declaratives.- 10.1 USE-Anweisung.- 11 Dialog-orientierte Programmierung.- 11.1 Menü-Technik mit MS-COBOL.- 11.1.1 Positionierung des Cursors.- 11.1.1.1 Cursor-Klausel (CURSOR IS daten-name).- 11.1.2 Löschen des Bildschirms.- 11.1.3 Struktur der Aus- und Eingabebereiche.- 11.2 Menü-Technik mit den Mitteln des ANSI-Standards unter VS COBOL II.- 12 Grundlagen der strukturierten Programmierung.- 12.1 Der logische Aufbau eines strukturierten Programms.- 12.1.1 Der Haupt-Modul.- 12.2 COBOL-Tools für die strukturierte Programmierung.- 12.3 Allgemeine Regeln und Empfehlungen zur Erstellung eines strukturierten Programms.- 12.3.1 Maßnahmen zur Verbesserung der Lesbarkeit des Quell-Programms.- 12.3.2 Kennzeichnung der Paragraphen-Namen.- 12.3.3 Der eingeschränkte Gebrauch von GO TO.- 12.3.4 Der Programmentwurf im Strukturtext.- 12.4 Struktogramm-Technik.- 12.4.1 Einfacher Strukturblock.- 12.4.2 Bedingungs-Strukturblock.- 12.4.3 CASE-Strukturblock.- 12.4.4 CYCLE-Strukturblock.- 12.4.4.1 Realisierung eines CYCLE-Blocks durch das IN-LINE-PERFORM.- 12.4.5 Prozeduraufruf-Strukturblock.- 12.4.6 BREAK-Strukturblock.- 12.4.7 Klammer-Strukturblock.- Anhang 1: ASCII-Sortierfolge (8-Bit-Code).- Anhang 2: EBCDIC-Sortierfolge (IBM-Standard U.S.).- Anhang 3: Liste der reservierten COBOL-Wörter.- Sachwortverzeichnis.
£58.49
Springer Fachmedien Wiesbaden Pattern Recognition and Image Processing in C++
Book SynopsisParts of this text were used for several years by students in a one~term under graduate course in computer science. The students had to prepare projects in small groups (2~4 students).1 This book emphasizes practical experience with image processing. It offers a comprehensive study of • image processing and image analysis, • basics of speech processing, • object~oriented programming, • software design, • and programming in C++. The book is divided into four parts. In the first part we introduce image processing, image analysis, programming tools, and the basics of C++. In the second part we describe object~oriented programming in general and the possible applications of object~oriented concepts in C++. Several appli cations of object~oriented programming for image processing are discussed as well. The new features of C++ are introduced entirely through the use of examples. We cover the proper representation of the data that is a result of pattern analysis as well. The third part describes a complete system for image segmentation. Some of the material covered refers to the exercises found in the first and second parts: this verifies our belief that an image segmentation system of programs can be developed while simultaneously acquainting others to C++. We combine the data representation described in the second part with the algorithms that use and manipulate them here in the third part.Table of ContentsI Introductions.- 1 Pattern Recognition.- 1.1 Images and Sound.- 1.2 Applications of Pattern Recognition.- 1.3 Environment, Problem Domain, and Patterns.- 1.4 Characterization of Pattern Recognition.- 1.5 Recording of Speech Signals.- 1.6 Video Cameras and Projections.- 1.7 From Continuous to Digital Signals.- 1.8 Sampling Theorem in Practice.- 1.9 Visualization and Sound Generation.- 2 From C to C++.- 2.1 Syntax Notation.- 2.2 Principle of C++ Compilation.- 2.3 Function Calls and Arguments.- 2.4 Declaration and Definition of Variables.- 2.5 Unix-File Access via Standard Functions.- 2.6 Formatted Input and Output.- 2.7 Main Program.- 2.8 Preprocessor Directives.- 2.9 Conditional Compilation.- 3 Software Development.- 3.1 Software for Pattern Recognition.- 3.2 Principles of Software Development.- 3.3 Modular and Structured Programming.- 3.4 Comments and Program Layout.- 3.5 Documentation.- 3.6 Teamwork.- 3.7 Efficiency.- 3.8 Tools for Software Development with Unix.- 3.9 PUMA.- 4 Expressions, Statements, Functions.- 4.1 Instructions and Expressions.- 4.2 Logical Values and Conditionals.- 4.3 Function Definition.- 4.4 Loops.- 4.5 Declarations and Scope.- 4.6 Switches.- 4.7 Linkage.- 4.8 Programming with Modules.- 4.9 Control Structures.- 5 Classification and Pattern Analysis.- 5.1 Classification.- 5.2 Preprocessing.- 5.3 Feature Extraction.- 5.4 Analysis.- 5.5 Image Segmentation.- 5.6 Speech Segmentation.- 5.7 Pattern Understanding.- 5.8 Active Vision and Real Time Processing.- 5.9 Top-Level Loop for Speech Analysis.- 6 Arrays and Pointers.- 6.1 Vectors and Matrices.- 6.2 Pointers.- 6.3 Vectors vs. Pointers.- 6.4 Vector Initialization.- 6.5 Strings.- 6.6 Pointers Operations and Allocation.- 6.7 Pointer and Array Arguments.- 6.8 Pointer to Pointer.- 6.9 Main Function Arguments.- 7 Statistics for Pattern Recognition.- 7.1 Axioms.- 7.2 Discrete Random Variables.- 7.3 Continuous Random Variables.- 7.4 Mean and Variance.- 7.5 Moments of a Distribution.- 7.6 Random Vectors.- 7.7 Statistical Features and Entropy.- 7.8 Signal-to-Noise Ratio.- 7.9 Histograms.- 8 C++ as a better C.- 8.1 Type Declaration.- 8.2 Type Conversion for Pointers.- 8.3 Bit- and Shift-Operations.- 8.4 Type Specifiers and Variable Declaration.- 8.5 Type-Safe Linkage.- 8.6 Overloaded Function Names.- 8.7 Return Value and Arguments.- 8.8 Macros and Inline Functions.- 8.9 Function Pointers.- II Object-Oriented Pattern Analysis.- 9 Object-Oriented Programming.- 9.1 Object-Oriented Software Techniques.- 9.2 Basic Concepts.- 9.3 Data Abstraction and Modules.- 9.4 Inheritance.- 9.5 Abstract Classes.- 9.6 Object-Oriented Classification.- 9.7 Polymorphism.- 9.8 Other Object-Oriented Concepts.- 9.9 Class Libraries.- 10 Classes in C++.- 10.1 Structures.- 10.2 Methods and ADT’s.- 10.3 Class Declarations.- 10.4 Object Construction.- 10.5 Destruction of Objects.- 10.6 Overloaded Operators.- 10.7 Advanced Methods and Constructors.- 10.8 Vector Class.- 10.9 Class Design.- 11 Intensity Images.- 11.1 Array Class.- 11.2 Templates in C++.- 11.3 Images.- 11.4 External Data Formats.- 11.5 Binary Images.- 11.6 Color Images.- 11.7 Sub Images.- 11.8 Image Transformation and Registration.- 11.9 Neighborhood.- 12 Inheritance in C++-Classes.- 12.1 Motivation and Syntax.- 12.2 Base Class Access.- 12.3 Construction and Destruction.- 12.4 Pointer to Objects.- 12.5 Virtual Functions.- 12.6 Abstract Classes.- 12.7 Image Class Hierarchy.- 12.8 Multiple Inheritance.- 12.9 Implementation Issues.- 13 Edge Detection and Edge Images.- 13.1 Motivation.- 13.2 Strategies.- 13.3 Discrete Derivative of the Intensity.- 13.4 Sobel and Prewitt Operator.- 13.5 Bit Fields in C++.- 13.6 Unions in C++.- 13.7 Edge Class.- 13.8 Edge Images.- 13.9 Color Edge Operators.- 14 Class Libraries.- 14.1 Stream Input and Output.- 14.2 NIH Class Library.- 14.3 Dynamic Class Descriptions.- 14.4 Static Class Members.- 14.5 Input and Output for Objects.- 14.6 Strings.- 14.7 Container Classes.- 14.8 Time and Date.- 14.9 More Classes.- 15 Hierarchy of Picture Processing Objects.- 15.1 General Structure.- 15.2 Hippos Object.- 15.3 Images and Matrices.- 15.4 Chain Code Class.- 15.5 Enumerations and Scope Resolution.- 15.6 Polygonal Representation.- 15.7 Atomic Objects.- 15.8 Segmentation Objects.- 15.9 External Representation.- 16 Spectral Features and Speech Processing.- 16.1 Fourier Series and Fourier Transform.- 16.2 Discrete Fourier Transform.- 16.3 Fast Fourier Transform.- 16.4 2D Fourier Transform.- 16.5 Short time Fourier analysis.- 16.6 Linear Predictive Coding.- 16.7 Dynamic Time Warping.- 16.8 Hidden Markov Models.- 16.9 Different Types of Hidden Markov Modells.- III Pattern Recognition Algorithms.- 17 An Image Analysis System.- 17.1 Data Flow.- 17.2 Design of ANIMALS.- 17.3 XDR.- 17.4 Display and Capture.- 17.5 Graphical User Interfaces.- 17.6 Geometric Distortions.- 17.7 Polymorphic image processing.- 17.8 Efficiency.- 17.9 Image Segmentation Program.- 18 Synthetic Signals and Images.- 18.1 Synthetic Sound.- 18.2 Geometric Patterns.- 18.3 Pixel Noise.- 18.4 Gaussian Noise.- 18.5 Salt-and-Pepper Noise.- 18.6 Different Views of a 3D Polyhedral Object.- 18.7 Digits and Letters.- 18.8 Single Stereo Images.- 18.9 Spectrogram.- 19 Filtering and Smoothing Signals.- 19.1 Mean-Filter and Gaussian-Filter.- 19.2 Median-Filter.- 19.3 Smoothed Median-Filter.- 19.4 Edge Preserving Smoothing.- 19.5 K-Nearest Neighbor Averaging.- 19.6 Conditional Average Filter.- 19.7 Linear Reconstruction.- 19.8 Elimination of Noisy Image Rows.- 19.9 Resolution Hierarchies.- 20 Histogram Algorithms.- 20.1 Discriminant and Least Squares Threshold.- 20.2 Histogram Entropy Thresholding.- 20.3 Multithresholding.- 20.4 Local Histogram Equalization.- 20.5 Lookup Table Transformation.- 20.6 A Class for Histograms.- 21 Edge Images.- 21.1 Robert’s Cross.- 21.2 Second Derivative.- 21.3 Edge Model Masks.- 21.4 Alternative Methods.- 21.5 Thinning of Edge Images.- 21.6 Edge Thresholding.- 21.7 Non Maxima Suppression.- 21.8 Non Maxima Absorption.- 21.9 Class Edge Revisited.- 22 Line Detection Algorithms.- 22.1 Line Detection.- 22.2 Local Connectivity.- 22.3 Hysteresis Thresholds.- 22.4 Closing of Gaps.- 22.5 Zero crossings in Laplace-Images.- 22.6 Hough Transform.- 22.7 Canny Line Detection.- 22.8 Shen and Castan.- 22.9 Representation as Segmentation Objects.- 23 Chain Codes.- 23.1 Length of a Chain.- 23.2 Smoothing.- 23.3 Digital Linear Lines.- 23.4 Similarity.- 23.5 Intersections.- 23.6 Rotation.- 23.7 Conversion.- IV Appendix.- A Basics of C++.- A.1 History.- A.2 Identifier and Constants.- A.3 Basis Data Types in C and C++.- B Software Development Tools.- B.1 Groups and ID’s with Unix.- B.2 Program Building with make.- B.3 The Use of Libraries.- B.4 Version and Access Control with rcs.- C Source Codes and Tools.- C.1 List of Tools.- C.2 How to get the sources.- C.3 X11.- C.4 Slides.- C.5 Addresses.- C.6 Headers and Source Files.- C.7 Dummy Definitions.- C.7.1 Listing of animals/dummy/Dictionary.h.- C.7.2 Listing of animals/dummy/OIOxdr.h.- C.7.3 Listing of animals/ dummy/Represent.h.- C.7.4 Listing of animals/dummy/SeqCltn.h.- C.7.5 Listing of animals/dummy/Set.h.- C.7.6 Listing of animals/dummy/dummies. C.- References.- Figures.- Tables.- Index for Exercises.
£98.99
Springer Fachmedien Wiesbaden Einführung in die klassische und intensionale
Book SynopsisDas Buch setzt sich zum Ziel, auch mathematisch wenig vorgebildete Leser in die klassische zweiwertige Logik und ihre intensionalen Erweiterungen wie Modal-Logik, Zeit-Logik und dynamische Logik einzuführen. Die hier näher betrachteten intensionalen Systeme hängen zusammen mit Fragen aus der Beweistheorie der Peano-Arithmetik, Korrektheitsfragen in der Theorie der Programmiersprachen und mit Problemen, die die Semantik natürlicher Sprachen betreffen.Table of ContentsAussagenlogik - modale Aussagenlogik und Varianten - Grundbegriffe der Prädikatenlogik - Herbrandscher Satz - Gödelscher Vollständigkeitssatz - modale Aspekte der Gödelschen Unvollständigkeitssätze - modelltheoretische Begriffe - modale und dynamische Prädikatenlogik - höherstufige Prädikatenlogik und Typentheorie.
£49.49
Springer Fachmedien Wiesbaden Mengenlehre und ihre Logik
Book SynopsisTable of ContentsEinführung.- Erster Teil: Die Elemente.- I. Logik.- 1. Quantifizierung und Identität.- 2. Virtuelle Klassen.- 3. Virtuelle Relationen.- II. Reale Klassen.- 4. Realität, Extensionalität und Individuen.- 5. Das Virtuelle unter dem Realen.- 6. Identität und Einsetzung.- III. Klassen von Klassen.- 7. Einerklassen.- 8. Vereinigungen, Durchschnitte, Kennzeichnungen.- 9. Relationen als Klassen von Klassen.- 10. Funktionen.- IV. Natürliche Zahlen.- 11. Zahlen — naiv.- 12. Zahlen — konstituiert.- 13. Induktion.- V. Iteration und Arithmetik.- 14. Folgen und Iterierte.- 15. Die Vorfahrenrelation.- 16. Summe, Produkt, Potenz.- Zweiter Teil: Höhere Zahlformen.- VI. Reelle Zahlen.- 17. Programm; Zahlenpaare.- 18. Rationale und reelle Zahlen — konstituiert.- 19. Existenzforderungen. Operationen und Erweiterungen.- VII. Ordnung und Ordinalzahlen.- 20. Transfinite Induktion.- 21. Ordnung.- 22. Ordinalzahlen.- 23. Sätze über Ordinalzahlen.- 24. Die Ordnung der Ordinalzahlen.- VIII. Transfinite Rekursion.- 25. Transfinite Rekursion.- 26. Sätze über transfinite Rekursion.- 27. Aufzählung.- IX. Kardinalzahlen.- 28. Relative Größe von Klassen.- 29. Das Schröder-Bernsteinsche Theorem.- 30. Unendliche Kardinalzahlen.- X. Das Auswahlaxiom.- 31. Selektionen und Selektoren.- 32. Weitere äquivalente Formulierungen des Axioms.- 33. Die Stellung des Axioms.- Dritter Teil: Axiomensysteme.- XI. Die Russellsche Typentheorie.- 34. Der konstruktive Teil.- 35. Klassen und das Reduzibilitätsaxiom.- 36. Die moderne Typentheorie.- XII. Universelle Variablen und Zermelo.- 37. Die Typentheorie mit universellen Variablen.- 38. Kumulative Typen und Zermelo.- 39. Unendlichkeitsaxiome und andere.- XIII. Stratifizierung und äußerste Klassen.- 40. New foundations.- 41. Nicht-Cantorsche Klassen. Noch einmal Induktion.- 42. Hinzufügen äußerster Klassen.- XIV. Das System von von Neumann und andere Systeme.- 43. Das System von von Neumann-Bernays.- 44. Abweichungen und Vergleiche.- 45. Die Stärke der verschiedenen Systeme.- Vierter Teil: Anhang.- I. Zusammenstellung von fünf Axiomensystemen.- II. Liste durchnumerierter Formeln.- III. Bibliographie.- Sachwortverzeichnis.
£999.99
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Software Engineering 3: Domains, Requirements, and Software Design
Book SynopsisThe final installment in this three-volume set is based on this maxim: "Before software can be designed its requirements must be well understood, and before the requirements can be expressed properly the domain of the application must be well understood." The book covers the process from the development of domain descriptions, through the derivation of requirements prescriptions from domain models, to the refinement of requirements into software architectures and component design.Trade ReviewFrom the reviews: "The presentation is focused on the fundamental ideas of domain engineering, requirements engineering and computer system engineering. … The rigorous treatment and the author’s original style of viewing the software engineering approaches are important, outstanding features … . is of special interest for both software engineering theorists and practitioners … . The style is very concise, but at the same time very friendly. … Undoubtedly, readers coming from a large variety of fields of interest will appreciate the novelty and usefulness … ." (Tudor Balanescu, Zentralblatt MATH, Vol. 1095 (21), 2006)Table of ContentsOpening.- The Triptych Paradigm.- Documents.- Conceptual Framework.- Methods and Methodology.- Models and Modelling.- Descriptions: Theory and Practice.- Phenomena and Concepts.- On Defining and on Definitions.- Jackson’s Description Principles.- Domain Engineering.- Overview of Domain Engineering.- Domain Stakeholders.- Domain Attributes.- Domain Facets.- Domain Acquisition.- Domain Analysis and Concept Formation.- Domain Verification and Validation.- Towards Domain Theories.- The Domain Engineering Process Model.- Requirements Engineering.- Overview of Requirements Engineering.- Requirements Stakeholders.- Requirements Facets.- Requirements Acquisition.- Requirements Analysis and Concept Formation.- Requirements Verification and Validation.- Requirements Satisfiability and Feasibility.- The Requirements Engineering Process Model.- Computing Systems Design.- Hardware/Software Codesign.- Software Architecture Design.- A Case Study in Component Design.- Domain-Specific Architectures.- Etcetera: Coding and All That!.- The Computing Systems Design Process Model.- Closing.- The Triptych Development Process Model.- Finale.
£89.99
Springer Fachmedien Wiesbaden Grundkurs Microsoft Dynamics AX: Die
Book SynopsisPraktiker, IT-Verantwortliche und Berater erhalten eine konkrete und leicht verständliche Anleitung zur Arbeit in Microsoft Dynamics AX 2009. Dieses von Microsoft als Premium-Lösung für den Mittelstand positionierte ERP-System ist für alle Unternehmen interessant, die ein leistungsfähiges System suchen, das dennoch einfach zu bedienen ist. Über ein zur besseren Verständlichkeit einfach gehaltenes, durchgängiges Fallbeispiel - die Modellfirma "Anso Technologies GmbH" - erhalten Sie das erforderliche Fachwissen zu Grundlagen und Systemfunktionen und können sämtliche zentrale Geschäftsprozesse in Dynamics AX abwickeln. Übungsaufgaben unterstützen die Erläuterungen, sodass dieses Buch auch für das Selbststudium gut geeignet ist. Das Buch bezieht sich auf die aktuelle Version Dynamics AX 2009. Neuerungen im Vergleich zur Vorgängerversion Dynamics AX 4.0 sind hervorgehoben.Table of ContentsGrundlagen und Architektur - Oberfläche und Bedienung - Logistik und Supply Chain Management - Handel und Vertriebsabwicklung - Produktionsplanung und -steuerung - Finanzmanagement
£36.09
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Softwareprojekte erfolgreich managen: Grundlagen,
Book SynopsisWissenschaftlich belegt scheitern mehr als die Hälfte aller Softwareprojekte. Da sie nicht zum Kerngeschäft gehören, werden ihre Komplexität und Risiken unterschätzt. Angesichts der Investitionen und Folgewirkungen, die ein Softwareprojekt mit sich bringt, muss es im Interesse des Unternehmens liegen, diese Risiken zumindest zu minimieren, wenn nicht sogar abzustellen. Das Buch zeigt den Lösungsweg, der es ermöglicht, Softwareprojekte erfolgreich zum Abschluss zu bringen. Ausgehend von Studien über die Ursachen des Scheiterns dieser Projekte werden Lösungskonzepte vorgestellt. Hieraus wird dann eine Methodik entwickelt, wie Softwareprojekte nach einem fest definierten Schema in analytischer Weise bearbeitet werden, um erfolgreich zu sein. Aus der Erfahrung einer 25jährigen Praxis beschreibt der Autor, wie Auftraggeber Softwareprojekte erfolgreich managen, wie sie jederzeit die Kontrolle über den gesamten Ablauf behalten, wie sie zusätzliche Kosten vermeiden, wie sie Verträge zu ihren Gunsten durchsetzen und wie sie ungerechtfertigte Ansprüche von Lieferanten abwehren. Zusätzlich gibt es Tipps und Ratschläge für typische Praxisprobleme und Checklisten zur Qualitätsverbesserung. Table of ContentsBedeutung des Softwareprojektmanagements.- Grundlagen und Zusammenhänge.- Methodische Entwicklung des Softwareprojektmanagements.- Praktische Umsetzung.- Entwicklung des Software-Projektmanagements.
£31.34
Springer Fachmedien Wiesbaden 100 Minuten für Anforderungsmanagement: Kompaktes
Book SynopsisIn der Produkt-, System- und Softwareentwicklung spielt der professionelle Umgang mit Anforderungen eine entscheidende Rolle für den Erfolg der gesamten Entwicklung und für das entstehende Produkt. Dieses Buch vermittelt in kompakter Form das notwendige Grundwissen für Anforderungsmanagement. Begleitet werden die Ausführungen von Praxiserfahrungen und Beispielvorlagen.Table of ContentsWarum Anforderungsmanagement – Tätigkeiten und Abläufe im AM – Anforderungen finden, dokumentieren und validieren – Verwaltung und Pflege von Anforderungen – Nachverfolgbarkeit – Kontext Reifegrad- und Vorgehensmodelle – Anforderungs-Austausch-Format RIF – Werkzeuge – Praxiserfahrungen – Beispiele – Vorlagen
£999.99
Springer Fachmedien Wiesbaden Angebotserstellung und Planung von
Book SynopsisAxel Kalenborn stellt einen Mock-Up-basierten Lösungsansatz zur Unterstützung der Angebotsphase bei Internet-Projekten vor und illustriert diesen durch ein Werkzeug. Der Ansatz des Autors ist wichtig, da viele Methoden des Requirements Engineering einen zu hohen Aufwand verursachen, so dass sie in der Phase der Angebotserstellung noch nicht angewendet werden können. Vor der Umsetzung eines Software-Projektes liegt aber diese in der Literatur bisher wenig beachtete Phase, während der eine Grobkonzeption der umzusetzenden Software in Form eines Angebotes erstellt werden muss. Bestandteil eines Angebots ist eine möglichst präzise Aufwandschätzung. In der Angebotsphase erhalten die Anbieter aber keine Vergütung und stehen in Konkurrenz zueinander, weshalb unter hohem Zeit-, Erfolgs- und Kostendruck gearbeitet werden muss.Table of ContentsMotivation.- Die Vorvertragsphase von Softwareprojekten.- Anforderungserhebung in der Vorvertragsphase.- Die werkzeugbasierte Modeling by Example Methode.- Das Mobex-Werkzeug zur Realisierung der MbE-Methode.- Evaluation der Methode.- Zusammenfassung und Ausblick.
£49.49
Springer Fachmedien Wiesbaden Systemkonsolidierung und Datenmigration als
Book SynopsisDieses essential geht präzise auf die Anforderungen und Lösungsansätze in Datenmigrations- und Konsolidierungsszenarien im SAP-Umfeld ein und präsentiert Fallbeispiele von SAP-Kunden. Der Beitrag unterstützt Unternehmen, die vor Fusionen, Zu- oder Verkäufen oder Umstrukturierungsvorhaben stehen und effiziente und verlässliche Lösungen zur Datenmigration benötigen, um die Organisationsstrukturen und Prozesse innerhalb ihrer Systemlandschaft an die betrieblichen Veränderungen anzupassen. Die Autoren zeigen, wie Unternehmen ihre Systemlandschaft harmonisieren und konsolidieren können und somit einheitliche Strukturen etabliert, die Systemkomplexität reduziert und damit der Geschäftsbetrieb verbessert werden können.Table of ContentsWas Sie in diesem Essential finden können.- Die Bedeutung von Datenmigration und Systemkonsolidierung für den Unternehmenserfolg.- Vereinfachung und Standardisierung bei großen Datenvolumen (Big Data) durch Systemkonsolidierung.- Datenmigration.- Was Sie aus diesem Essential mitnehmen können.
£11.77
Springer Fachmedien Wiesbaden Mobile Anwendungen in Unternehmen: Konzepte und
Book SynopsisDas Buch vermittelt umfassende Kenntnisse über den Einsatz von mobilen Anwendungen in Unternehmen. Die Autoren stellen sowohl Grundlagen als auch Konzepte dar, um betriebliche Einsatzszenarien zu entwickeln, zu nutzen und zu bewerten. Schwerpunkte sind Software Engineering mobiler Anwendungen, ihre Sicherheit und der Einsatz in Form von konkreten Anwendungsbeispielen. Dieser Herausgeberband basiert auf Fragestellungen aus der unternehmerischen Praxis. Er wendet sich sowohl an Berater und Projektverantwortliche als auch an Studierende und Lehrende.Table of ContentsTerminologie und Technologie - Betriebswirtschaftlicher Nutzen und mobiles Ecosystem - Software Engineering mobiler Anwendungen - Sicherheit mobiler Anwendungen - Anwendungsszenarien mobiler Apps
£36.09
Springer Fachmedien Wiesbaden Mobile Computing: Grundlagen – Prozesse und
Book SynopsisDas Herausgeberwerk zeigt, welche Auswirkungen der Einsatz von mobilen Endgeräten auf betriebliche Abläufe hat und wie Anwendungsszenarien in verschiedenen Branchen aussehen können. Hierzu werden u. a. Beispiele aus dem Personalmanagement und dem Gesundheitswesen vorgestellt. Experten aus Wissenschaft und Praxis diskutieren Fragen rund um das Mobile Enterprise ebenso, wie die Gestaltung mobiler Prozesse im ERP und mobiles e-Learning.Dieser Band bietet damit all jenen Lesern und Wissenschaftlern neue Einsichten, die sich für das Thema mobile Anwendungen umfassend interessieren.Table of ContentsMobile Enterprise – Sichere mobile Unternehmensanwendungen – Sicherer Einsatz mobiler Endgeräte im Unternehmen – Mobile Prozesse im ERP – Mobile Device Management – Mobile Anwendungen im Personalmanagement – Mobile Anwendungen im Gesundheitswesen – Mobile Contracting – Mobile e-Learning
£42.74
Springer Fachmedien Wiesbaden App-Entwicklung – effizient und erfolgreich: Eine
Book SynopsisDieses Buch ermöglicht durch die Darstellung fachlicher und technologischer Grundlagen sowie der Beschreibung notwendiger Aktivitäten zur mobilen Anwendungsentwicklung einen Einstieg in die Thematik. Anhand eines standardisierten Vorgehensmodells werden die einzelnen Phasen der mobilen Anwendungsentwicklung aufgezeigt und die Unterstützung der phasenbezogenen Aktivitäten durch den Einsatz etablierter Entwicklungswerkzeuge dargestellt. Das Buch wendet sich vornehmlich an Unternehmer, IT-Verantwortliche und IT-Praktiker aus IT-anwendenden Unternehmen und IT-Unternehmen. Ferner an Lehrende und Studenten der Wirtschaftsinformatik und BWL.Table of ContentsEinleitung.- Grundlagen der mobilen Anwendungsentwicklung.- Vorgehensmodell zur mobilen Anwendungsentwicklung.- Geschäftsmodelle für mobile Anwendungen.
£999.99
Springer Fachmedien Wiesbaden Business-IT-Alignment: Gemeinsam zum
Book SynopsisDas Herausgeberwerk betrachtet das Thema Business-IT-Alignment aus verschiedenen Blickwinkeln. Ziel des Business-IT-Alignment ist eine im Sinne des Unternehmens optimierte Abstimmung zwischen den fachlichen Anforderungen und der technischen Implementierung von Lösungen. Dieses Spannungsfeld wird für den Leser aus strategischer, methodischer und operativer Sicht beleuchtet. Damit richtet sich der Sammelband der Edition HMD an Praktiker mit strategischer Verantwortung im Management, aber auch an Lehrende und Studierende der Informatik und Wirtschaftsinformatik.Trade Review“… Wer sich seit längerer Zeit professionell mit Business-IT-Alignment beschäftigt, findet in den vorliegenden Beiträgen mit Sicherheit das eine oder andere interessante Thema. Als eine Einführung in die Thematik als Ganzes taugt das Buch prinzipbedingt …” (Tam Hanna, in: OBJEKTspektrum, Heft 3, 1. April 2017)Table of ContentsGrundlagen und empirische Ergebnisse - Gemeinsame Sprachplattformen für Business und IT - Prozesse zur Integration von Business und IT - Anforderungen an Führungskräfte - Herausforderungen für Governance und Compliance - Branchenspezifische Anforderungen an das Alignment - Bewertungen und Business Impact Analysen
£49.49
Springer Fachmedien Wiesbaden Die IT-Fabrik: Der Weg zum automatisierten
Book SynopsisMit diesem kompakten Fachbuch geben die Autoren einen prägnanten Einblick in die zeitgemäße Bereitstellung und den agilen, aber dennoch sicheren Betrieb von IT-Services. Andreas Kohne und Kollegen beschreiben wie moderne IT-Leiter und Betreiber von Rechenzentren sich mit Hilfe von Standardisierung und Automatisierung an die sich schnell verändernden Marktgegebenheiten und Kundenwünsche anpassen können. Das Autorenteam nutzt dafür das Bild einer vollautomatisierten Fabrik. Für alle, die sich als moderne IT-Betreiber flexibel und agil aufstellen wollen und vertiefend mit dem Thema beschäftigen möchten, beinhaltet das Buch Checklisten und weiterführende Literaturhinweise. Trade Review“... Erfreulicherweise wird dabei ein Fokus auf die zentralen Elemente gelegt und nicht wiederum ein umfassendes Framework entwickelt und in großer Detaillierung beschrieben. Davon gibt es genügend, deshalb sind Bücher wie das vorliegende ausgesprochen wertvoll: Sie legen den Fokus auf das wirklich Wichtige!” (Susanne Strahringer, in: HMD Praxis der Wirtschaftsinfomatik, Jg. 54, 2017)Table of ContentsAnforderungsorientierte IT - Service-Katalog und IT Building Blocks - Portal und Multi-Provider-Management - Betrieb und Configuration Management Database - Shift left - IT-Sicherheit
£21.84
Springer Fachmedien Wiesbaden Qualitätsmanagement in agilen IT-Projekten – quo
Book SynopsisChristian Brandes und Michael Heller diskutieren Missverständnisse zur Koexistenz von Agilität und Qualitätsmanagement in IT-Projekten. Diese sind nach ihrer Ansicht oft Ursache von Irritationen oder gar Frustrationen bei QM-Verantwortlichen, die Transitionen von „klassischen“ zu agilen Vorgehensweisen vollziehen müssen. Die Autoren lösen diese Missverständnisse auf und präsentieren Erfolgsfaktoren aus der Praxis für hochqualitative agile Softwareentwicklung. Abschließend stellen sie aktuelle Trends aus der agilen Community vor und bewerten diese aus Qualitätssicht.Table of ContentsAgilität und Qualitätsmanagement: Eine Geschichte voller Missverständnisse.- Best Practices zu agiler Qualität.- Blick nach vorn: Trends und sich abzeichnende Veränderungen.- Agile Freiheitsgrade versus QM-Anforderungen: eine Empfehlung.
£11.77
Springer Fachmedien Wiesbaden Beschaffung unter Berücksichtigung der
Book SynopsisErnst Piller gibt praktische Hinweise zum Beschaffungsvorgang von IT-sicherer Soft- und Hardware für die eigene Infrastruktur bzw. die Produktion. Dabei beschränkt sich ‚Hardware‘ nicht nur auf IKT-Produkte, sondern impliziert auch alle Geräte, Maschinen, Steuerungen, Fahrzeuge und Produktionskomponenten aus allen Branchen, die eine Software enthalten. Der Autor behandelt Themen wie IT-Sicherheitsanforderungen, Vertrauen in Hersteller, beschaffungsrelevante Informationssysteme für IT-Sicherheit und Gütezeichen. Abgerundet wird das essential mit der Vorstellung einer herstellerunabhängigen und kostenfreien Plattform zur Unterstützung des Beschaffungsprozesses für den Einkauf von Soft- und Hardware unter Berücksichtigung der IT-Sicherheit.Table of ContentsRisikoanalyse, Schutzbedarfsfeststellung und IT-Sicherheitsanforderungen.- Herkunft IT-sicherheitskritischer Komponenten, juristische Aspekte, IT-Sicherheitsgütezeichen.- Vorstellung einer unabhängigen Beschaffungsplattform.
£11.77
Springer Fachmedien Wiesbaden Entwurfsprinzipien und Konstruktionskonzepte der
Book SynopsisDieses Buch führt Sie in die wichtigsten Entwurfsprinzipien und Konzepte der Softwaretechnik ein Entwurfsprinzipien, auch Design Patterns, sind bewährte, einfache und klare Denkkonzepte des Software Engineering, welche Entwicklern helfen, hochwertige Softwaresysteme zu konstruieren. Sie greifen in die Konstruktion eines Systems ein und betreffen die für den Entwickler sichtbare Qualität des Quellcodes. Qualitätsziele für den Entwurf sind beispielsweise:· das Vermeiden unerwünschter Kopplungen von Softwareteilen· die Einfachheit und Verständlichkeit· die Testbarkeit· die Stabilität bei Programmerweiterungen Dieses Buch führt Sie in die Grundlagen der Softwaretechnik ein und stellt Ihnen die wichtigsten Entwurfsprinzipien und Konstruktionskonzepte vor. Es gibt keine allgemein anerkannten Kataloge von Entwurfsprinzipien für die Softwareentwicklung. Daher enthält dieses Buch eine Auswahl von praxisrelevanten Entwurfsprinzipien und Konzepten, die zudem in der Clean-Code-Bewegung eine große Rolle spielen. Das Buch eignet sich nicht nur für die tägliche Arbeit in Bereich der Softwaretechnik, sondern auch als Lehrbuch für Studierende der Informatik. Die folgenden Inhalte behandelt der Autor In seinem Buch beschäftigt sich Joachim Goll unter anderem mit den folgenden Thematiken:· Das Konzept der Software-Module· Unerwünschte Abhängigkeiten und deren Abschwächung in Programmen· Erzeugung einer modularen Struktur in Programmen· Reduktion der Komplexität von Programmen· Konstruktion schwach gekoppelter Teilsysteme· Korrektheit von polymorphen Programmen· Stabilität von Programmen und Erweiterbarkeit bei Programmänderungen· Inversion of ControlTable of ContentsSoftware-Module - Ursachen von Abhängigkeiten und ihre Abschwächung - Allgemeine Entwurfsprinzipien - Konstruktion schwach gekoppelter Teilsysteme - Korrekte polymorphe Programme - Stabilität bei Erweiterungen - Übersicht der Entwurfsprinzipien und Konzepte
£26.59
Springer Fachmedien Wiesbaden JAVA Aufgaben und Übungen: Aufgaben, Lösungen,
Book SynopsisDieses Lehrbuch erklärt grundlegende JAVA-Konzepte mit Hilfe von zahlreichen Beispielen und Aufgabenstellungen. Insgesamt sind über 100 Aufgaben vorhanden mit Lösungen im Quellcode (Source). Das Buch bietet ebenfalls Präsentationsvorlagen, die auf die Syntax der Programmanweisungen eingehen.Zu der Planung von Software gehört die UML (Unified Modeling Language), eine grafische Modellierungssprache. Da sie zu den Ausbildungszielen verschiedener Berufsgruppen dazugehört, ist sie ebenfalls Bestandteil des Buches. So werden zu den Aufgaben einige Teile der UML wie PAP, Struktogramme und Klassendiagramme erläutert und die Grafiken bei den Lösungen ebenso aufgeführt.Das Lehrbuch eignet sich insbesondere für Berufskollegs, Sekundarstufen I und II, Schulungsabteilungen und für das Selbststudium.Table of ContentsVariablendeklaration - Eingabe von Daten - Mathematische Konstante und Operationen - Beschreibungsmittel für den Programmablauf - Abfragen, einseitig und zweiseitig - Vergleich von Texten - Verschachtelte Abfragen - Wiederholungen und Schleifen - Arrays - MethodenKlassen - Exceptions - Rechnen mit Kalenderdaten
£29.99
Springer Verlag GmbH Introduction to Programming Concepts with Case Studies in Python
Book SynopsisThe current text provides a clear introduction to Computer Science concepts in a programming environment. It is designed as suitable use in freshman- or introductory level coursework in CS and provides the fundamental concepts as well as abstract theorems for solving computational problems. The Python language serves as a medium for illustrating and demonstrating the concepts. Trade ReviewFrom the reviews:“It is aimed at college freshmen and teaches fundamental concepts and abstract notions, starting with the basics. … the exercises are the book’s most attractive feature. There are sample programs, and the exercises ask readers to figure out the expected outputs. These are great, and could even serve as excellent job interview questions! Overall, the book serves its purpose, and its intended audience, well.” (Naga Narayanaswamy, Computing Reviews, September, 2013)“Üçoluk and Kalkan (both, Middle East Technical Univ., Turkey) offer a self-contained, concise introduction to computer science and Python programming. The intended audience is college freshmen taking their first computer science course. … It covers basic programming in Python along with programming paradigms, data structures, and even computational complexity … . Summing Up: Recommended. Lower-division undergraduates.” (S. L. Tanimoto, Choice, Vol. 50 (11), July, 2013)Table of ContentsThe World of Programming.- Programming Languages.- Programming Paradigms.- The Zoo of Programming Languages.- How Programming Languages are Implemented.- How a Program gets “written”.- Meet Python.- Further Reading.- Exercises.- Data: The First Ingredient of a Program.- What is Data?.- What is Structured Data?.- Basic Data Types.- Basic Organization of Data: Containers.- Accessing Data or Containers by Names : Variables.- Further Reading.- Exercises.- Actions: the 2nd Ingredient of a Program.- Purpose and Scope of Actions.- Action Types.- Controlling Actions: Conditionals.- Reusable Actions: Functions.- Functional Programming Tools in Python.- Further Reading.- Exercises.- Managing the Size of a Problem.- An Action Wizard: Recursion.- Iteration.- Recursion versus Iteration.- Further Reading.- Exercises.- Complexity.- Time and Memory Complexity.- Further Reading.- Exercises.- Organizing Data.- Primitive and Composite Data Types.- Abstract Data Types.- Abstract Data Types in Python.- Further Reading.- Exercises.- Objects: Reunion of Data and Action.- The Idea behind the Object-Oriented Paradigm (OOP).- Properties of Object-Oriented Programming.- Object-Oriented Programming in Python.- Further Reading.
£33.24
Springer Verlag GmbH Introduction to Programming Concepts with Case Studies in Python
Book SynopsisThe current text provides a clear introduction to Computer Science concepts in a programming environment. It is designed as suitable use in freshman- or introductory level coursework in CS and provides the fundamental concepts as well as abstract theorems for solving computational problems. The Python language serves as a medium for illustrating and demonstrating the concepts. Trade ReviewFrom the reviews:“It is aimed at college freshmen and teaches fundamental concepts and abstract notions, starting with the basics. … the exercises are the book’s most attractive feature. There are sample programs, and the exercises ask readers to figure out the expected outputs. These are great, and could even serve as excellent job interview questions! Overall, the book serves its purpose, and its intended audience, well.” (Naga Narayanaswamy, Computing Reviews, September, 2013)“Üçoluk and Kalkan (both, Middle East Technical Univ., Turkey) offer a self-contained, concise introduction to computer science and Python programming. The intended audience is college freshmen taking their first computer science course. … It covers basic programming in Python along with programming paradigms, data structures, and even computational complexity … . Summing Up: Recommended. Lower-division undergraduates.” (S. L. Tanimoto, Choice, Vol. 50 (11), July, 2013)Table of ContentsThe World of Programming.- Programming Languages.- Programming Paradigms.- The Zoo of Programming Languages.- How Programming Languages are Implemented.- How a Program gets “written”.- Meet Python.- Further Reading.- Exercises.- Data: The First Ingredient of a Program.- What is Data?.- What is Structured Data?.- Basic Data Types.- Basic Organization of Data: Containers.- Accessing Data or Containers by Names : Variables.- Further Reading.- Exercises.- Actions: the 2nd Ingredient of a Program.- Purpose and Scope of Actions.- Action Types.- Controlling Actions: Conditionals.- Reusable Actions: Functions.- Functional Programming Tools in Python.- Further Reading.- Exercises.- Managing the Size of a Problem.- An Action Wizard: Recursion.- Iteration.- Recursion versus Iteration.- Further Reading.- Exercises.- Complexity.- Time and Memory Complexity.- Further Reading.- Exercises.- Organizing Data.- Primitive and Composite Data Types.- Abstract Data Types.- Abstract Data Types in Python.- Further Reading.- Exercises.- Objects: Reunion of Data and Action.- The Idea behind the Object-Oriented Paradigm (OOP).- Properties of Object-Oriented Programming.- Object-Oriented Programming in Python.- Further Reading.
£34.19
Spektrum Akademischer Verlag Lehrbuch der Grafikprogrammierung: Grundlagen,
Book Synopsis
£49.49
Spektrum Akademischer Verlag Lehrbuch Grundlagen der Informatik: Konzepte und
Book Synopsis
£56.99
Spektrum Akademischer Verlag IT-Projektmanagement kompakt
Book Synopsis
£17.09
Spektrum Akademischer Verlag Vorgehensmodelle kompakt
Book SynopsisVorwort.- Einführung und Übersicht.- Familien von Vorgehensmodellen.- Grundlagen. Die sequenziellen Vorgehensmodelle. Die prototypischen Vorgehensmodelle. Die wiederholenden Vorgehensmodelle. Die wiederverwendungsorientierten Vorgehensmodelle. Konkrete Methoden zur Software-Entwicklung.- Methoden der ersten Generation: OMT - Booch - Objectory - Fusion. Komponentenbasierte Entwicklung: Unified Process - Catalysis - KobrA / Marmot - UML Components - Perspective. Produktlinien: Pulse - FODA - FAST. Agile Methoden: Extreme Programming - SCRUM - Crystal - Dynamic Systems Development Method - Feature-Driven Development. Service-Orientierung. Webbasierte Entwicklung. Tipps und Tricks.- Vorgehen zur Auswahl eines konkreten Vorgehensmodells. Kriterienkatalog. Vorgehensmodelle und ihre Eigenschaften.
£17.09
Spektrum Akademischer Verlag Service-orientierte Architekturen mit Web
Book SynopsisService-orientierte Architektur.- Service-orientierte Organisation.- Web-Services-Architektur.- SOAP.- Web Services Description Language.- Verzeichnisdienste für Web Services.- Leistungsaspekte von Web Services.- Web Services und Sicherheit.- Geschäftsprozess-Modellierung und -Management.- Web Services und Transaktionen.- Nichttechnische Anforderungen.- Web Services nicht nur für Programmierer.- Anwendungen des Service-Konzepts Semantik und Wolken.- Ausblick.
£52.24
Springer Fachmedien Wiesbaden Objektorientierte Systementwicklung: Vom
Book SynopsisAnwendungssoftware soll zur Optimierung von Geschäftsprozessen beitragen. Vor diesem Hintergrund werden in diesem Lehrbuch anhand eines durchgängigen Fallbeispiels Geschäftsprozesse mit UML modelliert und die fachlichen Anforderungen an das Software-System systematisch abgeleitet. Aufgrund nachvollziehbarer Regeln und Prinzipien werden Klassenmodelle konstruiert. Alternative System-Architekturen werden vorgestellt und erläutert. Es werden Entwurfsmuster anhand anschaulicher Beispiele präsentiert und die Umsetzung des Fallbeispiels in Java anhand von annotiertem Code gezeigt.Table of ContentsObjektorientierte Software-Entwicklung - Geschäftsprozessmodellierung und Anforderungsanalyse - Analyse und Entwurf in der Spezifikationsphase - Gestaltung der Mensch-Computer-Interaktion - CASE und MDA - Entwurf der Systemarchitektur - Ausgewählte Entwurfsmuster mit Beispielen - Anwendungsbeispiel
£33.24
Springer Fachmedien Wiesbaden C++ für Ingenieure: Effizient Programmieren
Book SynopsisDer Student und Praktiker erhält Lösungen von einfachen und komplexen technischen Fragestellungen auf der Basis einer soliden C++ Programmierung. Ein Schwerpunkt liegt dabei auf der objektorientierten und generischen Programmierung. Das breite Spektrum von Anwendungsbeispielen ist leicht nachvollziehbar und erlaubt schrittweise eine Steigerung des Niveaus. Das Buch enthält ebenso Anregungen zu weiterführenden Arbeiten.Table of ContentsGrundlagen der Programmierung - Prozedurale Programmierung - Modulare Programmierung - Objektorientierte Programmierung - Generische Programmierung
£28.49
Springer Fachmedien Wiesbaden Einführung in die Mathematische Logik: Ein
Book SynopsisDieses umfassende Lehrbuch wurde geschrieben für Studenten und Dozenten der Mathematik und Informatik, und wegen der ausführlichen Darstellung der Gödelschen Unvollständigkeitssätze auch für Fachstudenten der Philosophischen Logik. Für diese Neuauflage wurde der Text sachlich und stilistisch vollständig überarbeitet, er enthält verbesserte Beweise und Übungen mit Lösungshinweisen sowie eine historisch orientierte Einleitung. Das Buch kann ganz unabhängig von Vorlesungen aber auch zum Selbststudium genutzt werden. Table of ContentsAussagenlogik - Prädikatenlogik - Syntax und Semantik - Der Gödelsche Vollständigkeitssatz - Nichtstandardmodelle - Logikprogammierung - Resolution und Unifikation - Elemente der Modelltheorie - Ehrenfeucht-Spiele und Ultraprodukte - Entscheidbarkeit, Unentscheidbarkeit und Unvollständigkeit - Lösungshinweise zu den Übungen
£27.99
Springer Fachmedien Wiesbaden Praxis der User Interface-Entwicklung:
Book SynopsisPraxis der User Interface-Entwicklung erklärt das Entwerfen und Umsetzen von Softwareoberflächen anhand typischer Aufgabenstellungen und konkreter Anforderungen. Es ist ein User Interface-Kochbuch für Entwickler, Designer und Projektleiter, das Lösungsmuster für typische Anzeige- und Bedienungssituationen aufzeigt. Übersichtliche Arbeitstafeln des nach Fallbeispielen gegliederten Workbooks veranschaulichen Schritt für Schritt die Lösungen von typischen User Interface-Aufgaben sowie die dahinter liegenden Konzepte. Ein Buch, das konkrete Anweisungen für klare Problemstellungen und eine praxistaugliche Sammlung von Dialogbausteinen für das User Interface des nächsten Softwareprojekts bietet.Table of ContentsVon der Anwendungsidee zum erlebbaren User Interface – Konzipieren von Dialogseiten und Dialogabfolgen – Auswahl und Verwenden von Kontrollelementen – Entwickeln von Anzeige- und Bedienkonzepten für Softwareanwendungen – User Interfaces skizzierren und detailliert spezifizieren – Verifizieren von UI-Anforderungen mit Prototypen – Verwenden von objektorientierten Methoden beim Design von UIs
£31.34
Springer Fachmedien Wiesbaden Java will nur spielen: Programmieren lernen mit
Book SynopsisSpielen macht nicht nur einfach Spaß – über das Spiel entwickelt der „homo ludens“ (lat. der spielende Mensch) seine Fähigkeiten. Dieser Kurs nutzt den Spieltrieb um Programmieren zu lehren und zeigt wie spannend, kreativ und gesellig es sein kann. Als Programmiersprache dient hierzu Java in der aktuellen Version 1.6. Zuerst werden einige Grundlagen des Programmierens besprochen. Die treibende Kraft zum Erlernen der Sprache ist die Entwicklung von unterschiedlichen Spielen: angefangen von einfachen Reaktionsspiele mit beweglichen Objekten im 2-dimensionalen Raum über Strategie- und Denkspiele, die über Algorithmen der künstlichen Intelligenz gelöst werden, bis hin zu verteilten Spielen in einem Netzwerk. Dabei werden nicht nur Spiele per Anwendung, Applet oder auch für das Handy entwickelt, sondern quasi nebenbei objektorientierte Programmierung und Technologien wie XML und RMI erlernt. Über den zugehörigen Online-Service können alle Quellcodes aus dem Buch sowie Lösungen zu den Aufgaben heruntergeladen werden.Trade Review"Unter dem kessen Titel 'Java will nur spielen' gibt Sven Panitz eine muntere Einführung in die Spielprogrammierung mit Java in der Version 1.6. Dabei wird ganz nebenbei die spielerische Seite des Programmierens in den Blick gerückt, um Einsteigern im Kampf mit dem Code etwas von der Lockerheit zu erhalten, der für kreative Lösungen meist Voraussetzung ist." Buchhändler heute, 03/2009Table of ContentsGrundlagen der Programmierung in Java - 2-dimensionale jump-and-run-Spiele - Denk- und Logikspiele - Netzwerkspiele - Spiele als Applet - Spiele für das Handy
£26.59
Springer Fachmedien Wiesbaden Webprojekte realisieren nach neuesten
Book SynopsisErstellen Sie mit Hilfe dieses Buches ein Projekt, das alle Anforderungen modernster OOP-Programmierung beinhaltet. Lernen Sie das perfekte Zusammenspiel von XML/XSL(T)/PHP und JavaScript, sowie den JavaScript Framework Prototyp kennen. Staunen Sie über den schnelleren Datentransport beim Aufbau Ihres Projektes dank logisch richtiger Reihenfolge bei der Programmierung. Alle hier erarbeiteten Klassen können für spätere Projekte zu 100% genutzt und beliebig erweitert werden. Table of ContentsPlanung (Ablaufplan, Ordnerstruktur) - Das Projekt auf dem Server - Das Projekt lokal mit XAMPP - Die Templateklasse - Klasse zur Datenbankmanipulation
£999.99
Springer Fachmedien Wiesbaden 100 Minuten für Anforderungsmanagement: Kompaktes
Book SynopsisIn der Produkt-, System- und Softwareentwicklung spielt der professionelle Umgang mit Anforderungen eine entscheidende Rolle für den Erfolg der gesamten Entwicklung und für das entstehende Produkt. Dieses Buch vermittelt in kompakter Form das notwendige Grundwissen für Anforderungsmanagement. Begleitet werden die Ausführungen von Praxiserfahrungen und Beispielvorlagen.Table of ContentsWarum Anforderungsmanagement – Tätigkeiten und Abläufe im AM – Anforderungen finden, dokumentieren und validieren – Verwaltung und Pflege von Anforderungen – Nachverfolgbarkeit – Kontext Reifegrad- und Vorgehensmodelle – Werkzeuge – Praxiserfahrungen – Beispiele – Vorlagen
£26.59
Springer Fachmedien Wiesbaden Ein Architekturmodell für SAP®-Anwendungen:
Book SynopsisDieses Buch stellt ein neues Programmiermodell vor, das für die Entwicklung von eigenen SAP-Anwendungen verwendet werden kann. Dieses Entwurfsmuster bietet die Möglichkeit, ABAP-Programme so zu strukturieren, dass diese den Anforderungen einer teamorientierten Entwicklung sowie einer effektiven Wartbarkeit und Erweiterbarkeit gerecht werden. Zusätzlich dazu wird ein objektorientiertes Konzept für eine standardisierte und anwendungsübergreifende Implementierung von ALVs vorgestellt. Dieses Konzept kann unkompliziert und schnell eingesetzt werden und ermöglicht eine generische Auswertung von beliebigen Tabellen. Im ersten Teil des Buches werden darüber hinaus theoretische Grundlagen der Sprache ABAP Objects erläutert. Neben einer übersichtlichen Einstiegshilfe werden an dieser Stelle vor allem die Konzepte der Objektorientierung sowie deren Ausprägung innerhalb der Sprache ABAP Objects diskutiert.Table of ContentsEine Einführung in ABAP Objects – Die Konzepte der Objektorientierung in ABAP Objects – Ein neues Architekturmodell für SAP-Eigenentwicklungen – Ein Modell für anwendungsübergreifende, standardisierte ALVs – Ausblick
£31.34
Springer Fachmedien Wiesbaden Grundkurs Datenbankentwurf: Eine
Book SynopsisDie Stimmen zur 1. und zur 2. Auflage bestätigen: Endlich ein Buch, das den Leser wirklich verständlich an die Hand nimmt und sicher zum Ziel führt. Dies gelingt durch konsequente Beispielorientierung und leichte Verständlichkeit. Unterstützt wird der Leser zusätzlich durch den Online-Service. Schritt für Schritt werden die Etappen von der Analyse der Realität, die im Datenmodell abgebildet werden soll, zur Datenbank-Strukturierung aufgezeigt. Besonderer Vorzug sind die illustrativen Anwendungsbeispiele aus verschiedenen Unternehmenszusammenhängen und kaufmännischen Bereichen, zu denen in der 3. Auflage ausführliche Lösungen ergänzt wurden. Das Buch eignet sich für Studenten und Praktiker gleichermaßen, vor allem für Informatiker, Wirtschaftsinformatiker und Betriebswirte.Trade Review"Jarosch geht in seinem Buch ins Detail der Entwicklung eines konzeptionellen Datenmodells und zur konkreten Datenbank, unter Nutzung des Entity-Relationship-Modells. Wer Datenbanksysteme lernt, dürfte davon profitieren." iX, 03/2004Table of ContentsDatenbankentwurf - Von der Realität zum konzeptionellen Datenmodell - Datenbank-Modelle - Vom Datenmodell zur Datenbank - Möglichkeiten und Grenzen des Entity-Relationship-Modells und des relationalen Datenbank-Modells - Aufgaben zum Datenbankentwurf.
£47.49
Springer Fachmedien Wiesbaden Grundkurs Microsoft Dynamics AX: Die
Book SynopsisPraktiker, IT-Verantwortliche und Berater erhalten eine konkrete und leicht verständliche Anleitung zur Arbeit in Microsoft Dynamics AX. Dieses von Microsoft als Premium-Lösung für den Mittelstand und internationale Konzerne positionierte ERP-System ist für alle Unternehmen interessant, die ein leistungsfähiges System suchen, das dennoch einfach zu bedienen ist. Über ein zur besseren Verständlichkeit einfach gehaltenes, durchgängiges Fallbeispiel – die Modellfirma "Anso Technologies GmbH" – erhalten Sie das erforderliche Fachwissen zu Grundlagen und Systemfunktionen und können sämtliche zentrale Geschäftsprozesse in Dynamics AX abwickeln. Übungsaufgaben unterstützen die Erläuterungen, sodass dieses Buch auch für das Selbststudium gut geeignet ist. Die vierte Auflage des erfolgreichen Buches bezieht sich auf die aktuelle Version Dynamics AX 2012. Neuerungen im Vergleich zur Vorgängerversion Dynamics AX 2009 sind hervorgehoben.Table of ContentsGrundlagen und Architektur – Oberfläche und Bedienung – Logistik und Supply Chain Management – Handel und Vertriebsabwicklung – Produktionsplanung und -steuerung – Finanzmanagement
£49.49
Springer Fachmedien Wiesbaden Testen von Informationssystemen: Integriertes und
Book SynopsisDas Buch behandelt das Thema Testing – nicht aus Sicht der Entwickler, sondern aus Sicht der professionellen Anwender. Am Beispiel einer Bank werden Vorgehensweisen und Erfahrungswerte ermittelt, die die Bedeutung des Testwesens veranschaulichen. Tatsächlich ist das Testing am Anfang des Zyklus’ entscheidend, da hier das meiste Wissen gewonnen werden kann. In dem Band werden alle wichtigen Aspekte von der Konzeption bis zur Durchführung praxisnah beschrieben. Dabei orientiert sich der Autor am IT-System Lifecycle (Einführung, Wartung, Stilllegung).Table of ContentsTest-Definitionen & Begriffe – Testarten – Lebenszyklen eines IT-Systems: Evaluation und Einführung, Nutzung und Weiterentwicklung, Stilllegung – Testwerkzeuge
£999.99
Springer Fachmedien Wiesbaden Logikkalküle in der Informatik: Wie wird Logik
Book SynopsisIm Mittelpunkt steht das Spannungsverhältnis zwischen einerseits dem herkömmlichen Logikansatz mit Begriffen wie Signatur, Struktur, Wahrheitswert und andererseits dem eher dynamisch ausgerichteten Begriff des Kalküls, also zwischen Semantik und Syntax. Wie dieser Graben überwunden wird, wird für verschiedene auch nicht-klassische Logiken vorgeführt: Prädikatenlogik, modale, temporale, nichtmonotone, epistemische Logik und andere. Dadurch wird insbesondere auch eine einführende Übersicht über Logiken gegeben, die an manchen Stellen der Informatik benötigt werden, zu deren Verständnis man sich aber kein ganzes spezielles Buch anschaffen möchte. Das Buch enthält einen einheitlichen Ansatz für verschiedene Logiken. Table of ContentsAussagenlogik - Prädikatenlogik – SLD-Kalkül – Modale Logik – Temporale Logik – Epistemische Logik – Deontische Logik – Nichtmonotone Logik – Default-Logik
£23.74
