wwf
Mathematica
MathematicaNancy BlachmanI. Inleiding tot Mathematica
II. Programmeren
III. Appendices
€2,00
0 biedingen
wwf
Mathematische Unterhaltungen und Spiele - mit dem programmierbaren Taschenrechner
Mathematische Unterhaltungen und Spiele - mit dem programmierbaren TaschenrechnerHans Heinrich Gloistehn1. Würfelspiele
2. Diophantische Probleme
3. Ratespiele
4. Einige Probleme aus der numerischen Mathematik
5. Einige Probleme mit Zufallszahlen
6. Zahlen- und Anordnungsspiele
7. Der Taschenrechner als 'Simulant'
€2,00
0 biedingen
wwf
Algorithms to Live By - The Computer Science of Human Decisions
Algorithms to Live By - The Computer Science of Human DecisionsBrian Christian, Tom GriffithsAn exploration of how computer algorithms can be applied to our everyday lives to solve common decision-making problems and illuminate the workings of the human mind.
What should we do, or leave undone, in a day or a lifetime? How much messiness should we accept? What balance of the new and familiar is the most fulfilling? These may seem like uniquely human quandaries, but they are not. Computers, like ...
€2,00
0 biedingen
wwf
Logic Machines and Diagrams
Logic Machines and DiagramsMartin Gardner1. The Ars Magna of Ramon Lull
2. Logic Diagrams
3. A Network Diagram for the Propositional Calculus
4. The Stanhope Demonstrator
5. Jevon's Logic Machine
6. Marquand's Machine and Others
7. Window Cards
8. Early Electrical Machines
9. Machine Intelligence
€2,00
1 bod
wwf
A Discipline of Programming
A Discipline of ProgrammingEdsger W. Dijkstra0. Executional abstraction
1. The role of programming languages
2. States and their characterization
3. The characterization of semantics
4. The semantic characterization of a programming language
5. Two theorems
6. On the design of properly terminating constructs
7. Euclid's algorithm revisited
8. The formal treatment of some small examples
9. On nondeterminacy being bounded
10. An essay on the notion: "the scope of variables"
11. Array variables
12....
€2,00
1 bod
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
0 biedingen
wwf
The Design and Analysis of Computer Algorithms
The Design and Analysis of Computer AlgorithmsAlfred V. Aho, John E. Hopcroft, Jeffrey D. Ullman1. Models of Computation
2. Design of Efficient Algorithms
3. Sorting and Order Statistics
4. Data Structures for Set Manipulation Problems
5. Algorithms on Graphs
6. Matrix Multiplication and Related Operations
7. The Fast Fourier Transform and its Applications
8. Integer ond Polynomial Arithmetic
9. Pattern-Matching Algorithms
10. NP-Complete Problems
11. Some Provably Intractable Problems
12. Lo...
€2,00
1 bod
wwf
The Science of Programming
The Science of ProgrammingDavid GriesWhy Use Logic? Why Prove Programs Correct?
Part I: Propositions and Predicates
1. Propositions
2. Reasoning using Equivalence Transformations
3. A Natural Deduction System
4. Predicates
5. Notations and Conventions for Arrays
6. Using Assertions To Document Programs
Part II: The Semantics of a Small Language
7. The Predicate Transformer wp
8. The Commands skip, abort and Composition
9. The Assignment Command
10. The Alternative Command
11. The Iterative Comm...
€2,00
0 biedingen
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
0 biedingen
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
0 biedingen
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
0 biedingen
wwf
Leonardo's Laptop - Human Needs and the New Computing Technologies
Leonardo's Laptop - Human Needs and the New Computing TechnologiesBen Shneiderman1. Inspiration for the new computing
2. Unusable at any bandwidth
3. The quest for universal usability
4. New methods, new goals
5. Understanding human activities
6. The new education: e-learning
7. The new commerce: e-business
8. The medicine: e-healthcare
9. The new politics: e-government
10. Mega-creativity
11. Grander goals
€2,00
0 biedingen
wwf
Beyond Calculation - The Next Fifty Years of Computing
Beyond Calculation - The Next Fifty Years of ComputingPeter J. Denning, Robert M. MetcalfePart I: The Coming Revolution
Part II: Computers and Human Identity
Part III: Business and Innovation
€2,00
0 biedingen
wwf
Digitaal Leven
Digitaal LevenNicholas NegroponteMenselijke interactie vindt steeds vaker plaats met behulp van bits, 'Het nieuwe DNA van informatie'. Nicholas Negroponte toont ons de gevolgen van deze ontwikkeling. De computer evalueert van een levenloos voorwerp tot een altijd beschikbare gesprekspartner. Op heldere en humoristische wijze beschrijft Negroponte hoe onze toekomst eruit zal zien, de toekomst van het digitale leven.
Nicholas Negroponte is hoogleraar mediatechnologie aan het Massachusetts Institu...
€2,00
1 bod
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
0 biedingen