e99 Online Shopping Mall
Help | |
Home - Basic C - Computer Algorithms (Books) |
  | Back | 61-80 of 100 | Next 20 |
click price to see details click image to enlarge click link to go to the store
61. Verification of Reactive Systems: Formal Methods and Algorithms (Texts in Theoretical Computer Science. An EATCS Series) by Klaus Schneider | |
Paperback: 600
Pages
(2010-11-02)
list price: US$109.00 -- used & new: US$109.00 (price subject to change: see help) Asin: 3642055559 Canada | United Kingdom | Germany | France | Japan | |
Editorial Review Product Description This book is a solid foundation of the most important formalisms used for specification and verification of reactive systems. In particular, the text presents all important results on m-calculus, w-automata, and temporal logics, shows the relationships between these formalisms and describes state-of-the-art verification procedures for them. It also discusses advantages and disadvantages of these formalisms, and shows up their strengths and weaknesses. Most results are given with detailed proofs, so that the presentation is almost self-contained. Includes all definitions without relying on other material Proves all theorems in detail Presents detailed algorithms in pseudo-code for verification as well as translations to other formalisms |
62. Selected Papers on Design of Algorithms (Center for the Study of Language and Information - Lecture Notes) by Donald E. Knuth | |
Paperback: 453
Pages
(2010-04-15)
list price: US$35.00 -- used & new: US$30.10 (price subject to change: see help) Asin: 1575865823 Canada | United Kingdom | Germany | France | Japan | |
Editorial Review Product Description Donald Knuth’s influence in computer science ranges from the invention of methods for translating and defining programming languages to the creation of the TEX and METAFONT systems for desktop publishing. His award-winning textbooks have become classics that are often given credit for shaping the field; his scientific papers are widely referenced and stand as milestones of development over a wide variety of topics. The present volume, which is the seventh in a series of his collected papers, is devoted to his work on the design of new algorithms. It covers methods for numerous discrete problems such as sorting, searching, data compression, optimization, theorem-proving, and cryptography, as well as methods for controlling errors in numerical computations and for Brownian motion. Nearly thirty of Knuth’s classic papers on the subject are collected in this book, brought up to date with extensive revisions and notes on subsequent developments. Many of these algorithms have seen wide use—for example, Knuth’s algorithm for optimum search trees, the Faller-Gallagher-Knuth algorithm for adaptive Huffman coding, the Knuth-Morris-Pratt algorithm for pattern matching, the Dijkstra-Knuth algorithm for optimum expressions, and the Knuth-Bendix algorithm for deducing the consequences of axioms. Others are pedagogically important, helping students to learn how to design new algorithms for new tasks. One or two are significant historically, as they show how things were done in computing’s early days. All are found here, together with more than forty newly created illustrations. |
63. Rational Algebraic Curves: A Computer Algebra Approach (Algorithms and Computation in Mathematics) by J. Rafael Sendra, Franz Winkler, Sonia Pérez-Diaz | |
Hardcover: 270
Pages
(2007-11-08)
list price: US$89.95 -- used & new: US$43.03 (price subject to change: see help) Asin: 3540737243 Canada | United Kingdom | Germany | France | Japan | |
Editorial Review Product Description The central problem considered in this book is the determination of rational parametrizability of an algebraic curve, and, in the positive case, the computation of a good rational parametrization. This amounts to determining the genus of a curve, i.e. its complete singularity structure, computing regular points of the curve in small coordinate fields, and constructing linear systems of curves with prescribed intersection multiplicities. Various optimality criteria for rational parametrizations of algebraic curves are discussed. This book is mainly intended for graduate students and researchers in constructive algebraic curve geometry. |
64. Problem Solving With Algorithms And Data Structures Using Python by Bradley N. Miller, David L. Ranum | |
Paperback: 357
Pages
(2005-09)
list price: US$45.00 -- used & new: US$37.64 (price subject to change: see help) Asin: 1590280539 Canada | United Kingdom | Germany | France | Japan | |
65. Digital Video and HDTV: Algorithms and Interfaces (The Morgan Kaufmann Series in Computer Graphics) by Charles Poynton | |
Hardcover: 736
Pages
(2002-12-30)
list price: US$84.95 -- used & new: US$64.55 (price subject to change: see help) Asin: 1558607927 Average Customer Review: Canada | United Kingdom | Germany | France | Japan | |
Editorial Review Product Description Customer Reviews (19)
Over my head!
The most complete guide
Very useful, but ...
Comprehensive and dense
Magnificent Book |
66. Design and Modeling for Computer Experiments (Chapman & Hall/CRC Computer Science & Data Analysis) by Kai-Tai Fang, Runze Li, Agus Sudjianto | |
Hardcover: 304
Pages
(2005-10-14)
list price: US$83.95 -- used & new: US$72.70 (price subject to change: see help) Asin: 1584885467 Average Customer Review: Canada | United Kingdom | Germany | France | Japan | |
Editorial Review Product Description Customer Reviews (1)
simulated annealing, evolution ... |
67. Combinatorial Algorithms for Computers and Calculators (Computer science and applied mathematics) by Albert Nijenhuis | |
Hardcover: 316
Pages
(1978-06)
list price: US$70.00 -- used & new: US$59.95 (price subject to change: see help) Asin: 0125192606 Canada | United Kingdom | Germany | France | Japan | |
68. Introduction to Distributed Algorithms by Gerard Tel | |
Paperback: 608
Pages
(2001-02-15)
list price: US$80.00 -- used & new: US$68.40 (price subject to change: see help) Asin: 0521794838 Average Customer Review: Canada | United Kingdom | Germany | France | Japan | |
Editorial Review Product Description Customer Reviews (3)
Simply the Best Book on Distributed Algorithms! I found its coverage to be excellent, broad yet deep coverage on network algorithms and protocols for communication, routing, deadlock-free packet switching, election, termination, global snapshot, sychronization, authenticating, self-stabilization, failure detection, wave, traversal, deadlock detection, fault tolerance, consensus, sense of direction and orientation, etc. It terms of breadth of coverage no existing book compares to this book. In particular it covers more recent areas like sense of direction and orientation and wave algorithms missed by its main competitor Nancy Lynch's Distributed Algorithms. It uses very intuitive pseudocode and the algorthimic analysis and proofs are quite intuitive and easier to understand. My complaints: The coverage in a few areas like consensus are not nearly as comprehensive as Nancy Lynch's. Also, Tel covers algorithms for asynchronous systems mostly and synchronous systems, but Nancy Lynch covers partially synchronous systems as well. I recommend Gerard Tel's book which costs less and has a deeper and broader topic coverage. For balance you need both books if you can afford them (and indeed Vijay Garg's Elemenets of Distributed Computing as well). Vijay Garg's new book - Concurrent and Distributed Computing in Java would be the best for you if your focus is distributed software development as opposed to algorithmic computing. For coverage of distributed systems principles, design and architecture I recommend one of the 3 'Distributed Systems' books by Courolis OR Andrew Tanenbaum OR Sape Mullender.
translation >>
Distributed Algorithms |
69. Algorithm Engineering: 4th International Workshop, WAE 2000 Saarbrücken, Germany, September 5-8, 2000 Proceedings (Lecture Notes in Computer Science) | |
Paperback: 243
Pages
(2001-09-21)
list price: US$59.95 -- used & new: US$52.58 (price subject to change: see help) Asin: 3540425128 Canada | United Kingdom | Germany | France | Japan | |
Editorial Review Product Description |
70. Curves and Surfaces in Geometric Modeling: Theory & Algorithms (The Morgan Kaufmann Series in Computer Graphics) by Jean Gallier | |
Hardcover: 491
Pages
(1999-10-21)
list price: US$96.95 -- used & new: US$110.00 (price subject to change: see help) Asin: 1558605991 Average Customer Review: Canada | United Kingdom | Germany | France | Japan | |
Editorial Review Product Description Curves and Surfaces for Geometric Design offers both a theoretically unifying understanding of polynomial curves and surfaces and an effective approach to implementation that you can bring to bear on your own work-whether you're a graduate student, scientist, or practitioner. Inside, the focus is on "blossoming"-the process of converting a polynomial to its polar form-as a natural, purely geometric explanation of the behavior of curves and surfaces.This insight is important for far more than its theoretical elegance, for the author proceeds to demonstrate the value of blossoming as a practical algorithmic tool for generating and manipulating curves and surfaces that meet many different criteria.You'll learn to use this and related techniques drawn from affine geometry for computing and adjusting control points, deriving the continuity conditions for splines, creating subdivision surfaces, and more. The product of groundbreaking research by a noteworthy computer scientist and mathematician, this book is destined to emerge as a classic work on this complex subject.It will be an essential acquisition for readers in many different areas, including computer graphics and animation, robotics, virtual reality, geometric modeling and design, medical imaging, computer vision, and motion planning. Customer Reviews (3)
Best text on geometric design
A good mathematical review for practicing graphics engineers There are fewer graphics programmers who havean adequate understanding of the underlying mathematical concepts.Thisbook can partially help the graphics programmers to cross over to thatselect group. Problems at the end of each chapter enhance the value of thebook.The material is updated with latest developments in the field suchas subdivision surfaces. People interested in Computer Graphics,Geometric Modeling, Computer Vision, and Robotics will benefit fromstudying this book.
A brillian geometry book |
71. Analysis of Algorithms by Jeffrey Mcconnell | |
Hardcover: 451
Pages
(2007-11-02)
list price: US$122.95 -- used & new: US$36.70 (price subject to change: see help) Asin: 0763707821 Average Customer Review: Canada | United Kingdom | Germany | France | Japan | |
Editorial Review Product Description Customer Reviews (3)
Unacceptable errors
That is the book
Good Basic Textbook |
72. Algorithm Design: Foundations, Analysis, and Internet Examples by Michael Goodrich | |
Paperback: 720
Pages
(2001-09-15)
-- used & new: US$60.99 (price subject to change: see help) Asin: 0471383651 Average Customer Review: Canada | United Kingdom | Germany | France | Japan | |
Editorial Review Product Description Customer Reviews (11)
do not buy this book
A good book for algorithms
Be honest with your transactions...
This book hits the sweet spot
Do yourself a favor and dont buy this book |
73. Data Structures and Algorithms Using Java by William McAllister | |
Paperback: 600
Pages
(2008-12-17)
list price: US$119.95 -- used & new: US$51.01 (price subject to change: see help) Asin: 076375756X Average Customer Review: Canada | United Kingdom | Germany | France | Japan | |
Editorial Review Product Description Customer Reviews (2)
Okay, not the best
A review |
74. Distributed Control of Robotic Networks: A Mathematical Approach to Motion Coordination Algorithms (Princeton Series in Applied Mathematics) by Francesco Bullo, Jorge Cortes, Sonia Martinez | |
Hardcover: 336
Pages
(2009-07-06)
list price: US$49.50 -- used & new: US$46.83 (price subject to change: see help) Asin: 0691141959 Canada | United Kingdom | Germany | France | Japan | |
Editorial Review Product Description |
75. Non-Standard Inferences in Description Logics: From Foundations and Definitions to Algorithms and Analysis (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence) by Ralf Küsters | |
Paperback: 250
Pages
(2001-09-06)
list price: US$64.95 -- used & new: US$49.71 (price subject to change: see help) Asin: 3540423974 Canada | United Kingdom | Germany | France | Japan | |
Editorial Review Product Description |
76. Machine Vision Algorithms and Applications by Carsten Steger, Markus Ulrich, Christian Wiedemann | |
Paperback: 370
Pages
(2008-01-22)
list price: US$60.00 -- used & new: US$47.09 (price subject to change: see help) Asin: 3527407340 Average Customer Review: Canada | United Kingdom | Germany | France | Japan | |
Editorial Review Product Description Customer Reviews (1)
a follow on to Davies |
77. Accuracy and Stability of Numerical Algorithms by Nicholas J. Higham | |
Hardcover: 680
Pages
(2002-08)
list price: US$77.50 -- used & new: US$77.50 (price subject to change: see help) Asin: 0898715210 Canada | United Kingdom | Germany | France | Japan | |
Editorial Review Product Description This second edition expands and updates the coverage of the first edition (1996) and includes numerous improvements to the original material. Two new chapters treat symmetric indefinite systems and skew-symmetric systems, and nonlinear systems and Newton's method. Twelve new sections include coverage of additional error bounds for Gaussian elimination, rank revealing LU factorizations, weighted and constrained least squares problems, and the fused multiply-add operation found on some modern computer architectures. An expanded treatment of Gaussian elimination incorporates rook pivoting, along with a thorough discussion of the choice of pivoting strategy and the effects of scaling. The book's detailed descriptions of floating point arithmetic and of software issues reflect the fact that IEEE arithmetic is now ubiquitous. Although not designed specifically as a textbook, this new edition is a suitable reference for an advanced course. It can also be used by instructors at all levels as a supplementary text from which to draw examples, historical perspective, statements of results, and exercises. With its thorough indexes and extensive, up-to-date bibliography, the book provides a mine of information in a readily accessible form. |
78. Computer Algorithms: String Pattern Matching Strategies (Practitioners) by Jun-ichi Aoe | |
Paperback: 296
Pages
(1994-05-30)
list price: US$69.95 -- used & new: US$62.45 (price subject to change: see help) Asin: 0818654627 Canada | United Kingdom | Germany | France | Japan | |
Editorial Review Product Description |
79. Data Structures and Algorithms for Game Developers (Game Development Series) by Allen Sherrod | |
Paperback: 576
Pages
(2007-05-04)
list price: US$54.99 -- used & new: US$27.95 (price subject to change: see help) Asin: 1584504951 Average Customer Review: Canada | United Kingdom | Germany | France | Japan | |
Editorial Review Product Description Customer Reviews (6)
Should just be titled "Data Structures and Algorithms"
The book is good, but it has some shortcomings
Fills the gap for me
Nice Introduction, very well chosen list of Data Structures
Excellent Reference |
80. Data Structures and Algorithms by Alfred V. Aho, Jeffrey D. Ullman, John E. Hopcroft | |
Paperback: 427
Pages
(1983-01-11)
list price: US$74.20 -- used & new: US$40.00 (price subject to change: see help) Asin: 0201000237 Average Customer Review: Canada | United Kingdom | Germany | France | Japan | |
Editorial Review Product Description Customer Reviews (12)
Let's not get too excited
An okay book!
Excellent Book
A JEWEL
A classic text book on Data Structures. |
  | Back | 61-80 of 100 | Next 20 |