Dijkstra, Edsger
Average customer rating:
|
A Discipline of Programming
Edsger Wybe Dijkstra
Manufacturer: Prentice Hall, Inc.
ProductGroup: Book
Binding: Hardcover
 History
| Business & Culture
| Computers & Internet
| Subjects
| Books
General
| Computers & Internet
| Subjects
| Books
Information Theory
| Computer Science
| Computers & Internet
| Subjects
| Books
Questions & Answers
| Education
| Reference
| Subjects
| Books
General
| Reference
| Subjects
| Books
Mathematics
| Professional Science
| Professional & Technical
| Subjects
| Books
| Applied
| Chaos & Systems
| Geometry & Topology
| Mathematical Analysis
| Mathematical Physics
| Number Systems
| Pure Mathematics
| Transformations
| Trigonometry
History of Ideas
| Historical Study
| History
| Subjects
| Books
Look Inside Computer Books
| Trip
| Specialty Stores
| Books
Look Inside History Books
| Trip
| Specialty Stores
| Books
Look Inside Reference Books
| Trip
| Specialty Stores
| Books
Qualifying Textbooks - Spring 2007
| Stores
| Books
Similar Items:
- The Science of Programming (Monographs in Computer Science)
- Algorithms + Data Structures = Programs (Prentice-Hall Series in Automatic Computation)
- Programming Pearls (2nd Edition)
- Software Tools
- A Logical Approach to Discrete Math (Monographs in Computer Science)
ASIN: 013215871X |
Amazon.com
Author Edsger W. Dijkstra introduces A Discipline of Programming with the statement, "My original idea was to publish a number of beautiful algorithms in such a way that the reader could appreciate their beauty." In this classic work, Dijkstra achieves this goal and accomplishes a great deal more.
He begins by considering the questions, "What is an algorithm?" and "What are we doing when we program?" These questions lead him to an interesting digression on the semantics of programming languages, which, in turn, leads to essays on programming language constructs, scoping of variables, and array references. Dijkstra then delivers, as promised, a collection of beautiful algorithms.
These algorithms are far ranging, covering mathematical computations, various kinds of sorting problems, pattern matching, convex hulls, and more. Because this is an old book, the algorithms presented are sometimes no longer the best available. However, the value in reading A Discipline of Programming is to absorb and understand the way that Dijkstra thought about these problems, which, in some ways, is more valuable than a thousand algorithms.
Average customer rating:
|
Predicate Calculus and Program Semantics (Monographs in Computer Science)
Edsger W. Dijkstra , and Carel S. Scholten
Manufacturer: Springer
ProductGroup: Book
Binding: Hardcover
Software Design
| Software Design
| Programming
| Computers & Internet
| Subjects
| Books
Logic
| Programming
| Computers & Internet
| Subjects
| Books
Semantics
| Languages & Tools
| Programming
| Computers & Internet
| Subjects
| Books
General
| Computers & Internet
| Subjects
| Books
General
| Mathematics
| Science
| Subjects
| Books
Logic
| Pure Mathematics
| Mathematics
| Science
| Subjects
| Books
Predicate & Propositional Calculus
| Pure Mathematics
| Mathematics
| Science
| Subjects
| Books
Logic
| Pure Mathematics
| Mathematics
| Professional Science
| Professional & Technical
| Subjects
| Books
General
| Computer Science & Information Systems
| New & Used Textbooks
| Stores
| Books
Software
| Information Systems
| Computer Science & Information Systems
| New & Used Textbooks
| Stores
| Books
Calculus
| Mathematics
| Sciences
| New & Used Textbooks
| Stores
| Books
Look Inside Computer Books
| Trip
| Specialty Stores
| Books
Look Inside Science Books
| Trip
| Specialty Stores
| Books
Software Design
| Design & Development
| Software Books
| Custom Stores
| Stores
| Software
ASIN: 0387969578 |
Average customer rating:
|
Selected Writings on Computing: A Personal Perspective (Texts and Monographs in Computer Science)
Edsger W. Dijkstra
Manufacturer: Springer
ProductGroup: Book
Binding: Hardcover
Questions & Answers
| Education
| Reference
| Subjects
| Books
General
| Reference
| Subjects
| Books
Mathematics
| Professional Science
| Professional & Technical
| Subjects
| Books
| Applied
| Chaos & Systems
| Geometry & Topology
| Mathematical Analysis
| Mathematical Physics
| Number Systems
| Pure Mathematics
| Transformations
| Trigonometry
General
| Computers & Internet
| Subjects
| Books
General
| Computer Science
| Computers & Internet
| Subjects
| Books
Look Inside Computer Books
| Trip
| Specialty Stores
| Books
Similar Items:
- A Discipline of Programming
- 201 Principles of Software Development
ASIN: 0387906525 |
Average customer rating:
|
On the Shape of Mathematical Arguments (Lecture Notes in Computer Science)
Antonetta J.M. van Gasteren
Manufacturer: Springer
ProductGroup: Book
Binding: Paperback
General
| Algorithms
| Programming
| Computers & Internet
| Subjects
| Books
Software Development
| Software Design
| Programming
| Computers & Internet
| Subjects
| Books
Logic
| Programming
| Computers & Internet
| Subjects
| Books
Logic & Language
| Philosophy
| Nonfiction
| Subjects
| Books
General
| Mathematics
| Science
| Subjects
| Books
Logic
| Pure Mathematics
| Mathematics
| Science
| Subjects
| Books
Logic
| Pure Mathematics
| Mathematics
| Professional Science
| Professional & Technical
| Subjects
| Books
Look Inside Computer Books
| Trip
| Specialty Stores
| Books
All Amazon Upgrade
| Amazon Upgrade
| Stores
| Books
Computers & Internet
| Amazon Upgrade
| Stores
| Books
Nonfiction
| Amazon Upgrade
| Stores
| Books
Professional & Technical
| Amazon Upgrade
| Stores
| Books
Science
| Amazon Upgrade
| Stores
| Books
Software Development
| Design & Development
| Software Books
| Custom Stores
| Stores
| Software
ASIN: 3540528490 |
Book Description
This book deals with the presentation and systematic design of mathematical proofs, including correctness proofs of algorithms. Its purpose is to show how completeness of argument, an important constraint especially for the correctness of algorithms, can be combined with brevity. The author stresses that the use of formalism is indispensible for achieving this. A second purpose of the book is to discuss matters of design. Rather than addressing psychological questions, the author deals with more technical questions like how analysis of the shape of the demonstrandum can guide the design of a proof. This technical rather than psychological view of heuristics together with the stress on exploiting formalism effectively are two key features of the book. The book consists of two independently readable parts. One part includes a number of general chapters discussing techniques for clear exposition, the use of formalism, the choice of notations, the choice of what to name and how to name it, and so on. The other part consists of a series of expositional essays, each dealing with a proof or an algorithm and illustrating the use of techniques discussed in the more general chapters.
Average customer rating:
|
Beauty Is Our Business: A Birthday Salute to Edsger W. Dijkstra (Monographs in Computer Science)
Manufacturer: Springer
ProductGroup: Book
Binding: Hardcover
General
| Programming
| Computers & Internet
| Subjects
| Books
General
| Languages & Tools
| Programming
| Computers & Internet
| Subjects
| Books
Logic
| Programming
| Computers & Internet
| Subjects
| Books
General
| Computers & Internet
| Subjects
| Books
General
| Computer Science
| Computers & Internet
| Subjects
| Books
Mathematics
| Professional Science
| Professional & Technical
| Subjects
| Books
| Applied
| Chaos & Systems
| Geometry & Topology
| Mathematical Analysis
| Mathematical Physics
| Number Systems
| Pure Mathematics
| Transformations
| Trigonometry
All Amazon Upgrade
| Amazon Upgrade
| Stores
| Books
Computers & Internet
| Amazon Upgrade
| Stores
| Books
Professional & Technical
| Amazon Upgrade
| Stores
| Books
Qualifying Textbooks - Spring 2007
| Stores
| Books
ASIN: 0387972994 |
Book Description
More than anything else, this book is a tribute to Edsger W. Dijkstra, on the occasion of his sixtieth birthday, by just a few of those fortunate enough to be influenced by him and his work and to be called his friend or relation, his master, colleague, or pupil. This book contains fifty-four technical contributions in different areas of endeavor, although many of them deal with an area of particular concern to Dijkstra: programming. Each contribution is relatively short and could be digested in one sitting. Together, they form a nice cross section of the discipline of programming at the beginning of the nineties. While many know of Dijkstra's technical contributions, they may not be aware of his ultimate goal, the mastery of complexity in mathematics and computing science. He has forcefully argued that beauty and elegance are essential to this mastery. The title of this book, chosen to reflect his ultimate goal, comes from a sentence in an article of his on some beautiful arguments using mathematical induction: "... when we recognize the battle against chaos, mess, and unmastered complexity as one of computing sci- ence's major callings, we must admit that 'Beauty Is Our Business'."
Average customer rating:
|
Formal Development of Programs and Proofs
Manufacturer: Addison-Wesley Professional
ProductGroup: Book
Binding: Hardcover
General
| Programming
| Computers & Internet
| Subjects
| Books
Software Engineering
| Computer Science
| Computers & Internet
| Subjects
| Books
| Design Tools & Techniques
| General
| Information Systems
| Methodology
| Multimedia Information Systems
General
| Operating Systems
| Computers & Internet
| Subjects
| Books
Mathematics
| Professional Science
| Professional & Technical
| Subjects
| Books
| Applied
| Chaos & Systems
| Geometry & Topology
| Mathematical Analysis
| Mathematical Physics
| Number Systems
| Pure Mathematics
| Transformations
| Trigonometry
ASIN: 0201172372 |
Average customer rating:
|
A Method of Programming
Edsger W. Dijkstra , W. H. J. Feijen , and Joke Sterringa
Manufacturer: Addison-Wesley
ProductGroup: Book
Binding: Paperback
General & Reference
| Technology
| Science
| Subjects
| Books
General
| Programming
| Computers & Internet
| Subjects
| Books
Methodology
| Software Engineering
| Computer Science
| Computers & Internet
| Subjects
| Books
General
| Operating Systems
| Computers & Internet
| Subjects
| Books
General
| Software
| Computers & Internet
| Subjects
| Books
Mathematics
| Professional Science
| Professional & Technical
| Subjects
| Books
| Applied
| Chaos & Systems
| Geometry & Topology
| Mathematical Analysis
| Mathematical Physics
| Number Systems
| Pure Mathematics
| Transformations
| Trigonometry
General
| Software Books
| Custom Stores
| Stores
| Software
ASIN: 0201175363 |
Book Description
Word count: 2673.
Computer Pioneers:
- Engelbart, Douglas
- Gates, Bill
- Hopper, Grace Murray
- Kay, Alan
- Kernighan, Brian
- Knuth, Donald
- Lampson, Butler
- Lovelace, Ada
- Minsky, Marvin
- Nelson, Ted
Computer Pioneers
Computer Pioneers
