wwf
Mathematical Theory of Program Correctness
Mathematical Theory of Program CorrectnessJaco de Bakker1. Introduction
2. Basic concepts
3. While statements
4. Subscripted variables
5. Recursive procedures
6. Blocks
7. Nondeterministic statements
8. Weakest preconditions, strongest postconditions and termination
9. Parameter mechanisms
10. Goto statements
€2,00
wwf
Formal Development of Programs and Proofs
Formal Development of Programs and ProofsEdsger W. Dijkstra (Ed.)1. Constructive type theory: a perspective from computing science -
R. C. Backhouse
2. The maximum-segment-sum problem - D. Gries
3. Inorder traversal of a binary tree and its inversion - D. Gries, J. L. van de Snepscheut
4. A hands-in-the pocket presentation of a k-majority vote algorithm -
D. Gries
5. A small problem on rectangles - A. J. van Gasteren
6. On the formal derivation of a proof of the invariance theorem -
A. J. van...
€2,00
wwf
Go To - Software superheroes from Fortran to the internet age
Go To - Software superheroes from Fortran to the internet ageSteve Lohr1. Introduction: The Rise of Software and the Programming Art
2. FORTRAN: The Early "Turning Point"
3. The Hard Lesson of the Sixties: From Exuberance to the Realities of COBOL and the IBM 360 Project
4. Breaking Big Iron's Grip: Unix and C
5. Programming for the Millions: The BASIC Story from Dartmouth to Visual Basic
6. The European Influence: From Algol to Pascal to C++
7. A Computer of My Own: The Beginning of the PC Indu...
€2,00
wwf
Dynamics of Software Development
Dynamics of Software DevelopmentJim McCarthyShipping great software can be done, insists McCarthy, and charts, in five sections, the progress from initial design to successful product. McCarthy is a software industry veteran and the director of the Microsoft Visual C++ development group.
Recensie: "This book changed my life. It is based on a talk that Jim McCarthy gave while at Microsoft teaching people how the Visual C++ team went from the goats of the company (which was founded on languages, ...
€2,00
wwf
Artificial Intelligence
Artificial IntelligencePatrick Henry Winston1. The intelligent computer
2. Description matching and goal reduction
3. Exploiting natural constraints
4. Exploring alternatives
5. Control metaphors
6. Problem-solving paradigms
7. Logic and theorem proving
8. Representing commonsense knowledge
9. Language understanding
10. Image understanding
11. Learning class descriptions from samples
12. Learning rules from experience
€2,00
wwf
Einführung in die Numerische Mathematik I+II
Einführung in die Numerische Mathematik I+IIJ. Stoer, R. Bulirschunter Berücksichtigung von Vorlesungen von F.L. Bauer
1. Fehleranalyse
2. Interpolation
3. Integration von Funktionen
4. Lineare Gleichungssysteme
5. Nullstellenbestimmung durch Iterationsverfahren
---------
6. Eigenwertprobleme
7. Gewöhnliche Differentialgleichungen
8. Iterationsverfahren zur Lösung linearer Gleichungssysteme
€2,00
wwf
Numerical Methods
Numerical MethodsGermund Dahlquist, Åke Björck1. Some General Principles of Numerical Calculation
2. How to Obtain and Estimate Accuracy in Numerical Calculation
3. Numerical Uses of Series
4. Approximation of Functions
5. Numerical Linear Algebra
6. Nonlinear Equations
7. Finite Differences with Applications to Numerical Integration, Differentiation, and Interpolation
8. Differential Equations
9. Fourier Methods
10. Optimization
11. The Monte Carlo Method and Simulation
12. Solutions to Probl...
€2,00
wwf
Introduction to Matrix Computations
Introduction to Matrix ComputationsG.W. Stewart1. Preliminaries
2. Practicalities
3. The Direct Solution of Linear Systems
4. Norms, Limits, and Condition Numbers
5. The Linear Least Squares Problem
6. Eigenvalues and Eigenvectors
7. The QR Algorithm
€2,00
wwf
The Algebraic Eigenvalue Problem
The Algebraic Eigenvalue ProblemJ.H. Wilkinson1. Theoretical Background
2. Pertubation Theory
3. Error Analysis
4. Solution of Linear Algebraic Equations
5. Hermitian Matrices
6. Reduction of a General Matrix to Condensed Form
7. Eigenvalues of Matrices of Condensed Forms
8. The LR and QR Algorithms
9. Iterative Methods
€2,00
wwf
Computational Methods in Ordinary Differential Equations
Computational Methods in Ordinary Differential EquationsJ.D. Lambert1. Preliminaries
2. Linear multistep methods I: basic theory
3. Linear multistep methods II: application
4. Runge-Kutta methods
5. Hybrid methods
6. Extrapolation methods
7. Methods for special problems
8. First-order systems and the problem of stiffness
9. Linear multistep methods for a special class of second-order differential equations
€2,00