Search Results

Criteria:
  • Tag = Computers
Page:12Next ›Modify search
Showing 1 to 20 of 25
  • FOX, L. (Leslie Fox, 1918-92)
    AN INTRODUCTION TO NUMERICAL LINEAR ALGEBRA.

    Clarendon Press (Oxford University Press), 1967. Second printing, corrected (first was in 1964). Green cloth. (xii), 328 pp. Ink name and address to upper inner corner of front pastedown; spine very lightly sunned, light spots to rear cover; light soiling to page edges; else a VG tight & unworn jacketless copy, no marks in text. The book contains chapters on matrix algebra elimination methods of Gauss, Jordan, and Aitken, compact elimination methods of Doolittle, Crout, Banachiewicz and Cholesky, orthogonalization methods, condition, accuracy and precision, comparison of methods, measure of work, iterative and gradient methods, iterative methods for latent roots and vectors, and notes on error analysis for latent roots and vectors. Fox, Professor of Numerical Analysis at Oxford, was…

    (more)

    Clarendon Press (Oxford University Press), 1967. Second printing, corrected (first was in 1964). Green cloth. (xii), 328 pp. Ink name and address to upper inner corner of front pastedown; spine very lightly sunned, light spots to rear cover; light soiling to page edges; else a VG tight & unworn jacketless copy, no marks in text. The book contains chapters on matrix algebra elimination methods of Gauss, Jordan, and Aitken, compact elimination methods of Doolittle, Crout, Banachiewicz and Cholesky, orthogonalization methods, condition, accuracy and precision, comparison of methods, measure of work, iterative and gradient methods, iterative methods for latent roots and vectors, and notes on error analysis for latent roots and vectors. Fox, Professor of Numerical Analysis at Oxford, was also Directory of their computing laboratory. Though this undergraduate text contains little directly about computers or computer languages, it has computer relevance and the author advises that teachers of ALGOL can wisely use the algorithms in the text as excercises. The Leslie Fox Prize for Numerical Analysis of the Institute of Mathematics and its Applications (IMA) is a biennial prize established in 1985 by the IMA in honour of mathematician Leslie Fox (1918-1992).

    (less)

    Condition: Book: Very Good, Binding: Hardcover

    Book ID: 18129
    View cart More details Price: USD $35.00 USD $31.50
  • Przybylski, Steven A.
    Cache and Memory Hierarchy Design: A Performance Directed Approach

    Edition: First printing

    San Mateo, CA: 1990. Printed cloth. pp 223, index. Fine copy.The Morgan Kaufmann Series in Computer Architecture and Design. This first edition still in print (2018).

    Condition: Binding: Hardcover

    Book ID: 49988
    View cart More details Price: USD $24.95 USD $22.46
  • Davis, Martin
    Computability and Unsolvability

    New York: Dover Publications, 1982. Card covers. pp 248, index. Fine copy. Note: light parcel, any default shipping may be reduced.

    Condition: Binding: Softcover

    Book ID: 50034
    View cart More details Price: USD $7.95 USD $7.16
  • Gallagher, Richard S., editor
    Computer Visualization: Graphics Techniques for Engineering and Scientific Analysis

    Edition: First printing

    Boca Raton, FL: CRC Press, 1994. Glossy boards, octavo, pp 312. Soft bruise to upper outer corners, else fine, no owner names. In print (2017) at USD 243.00.

    Condition: Binding: Hardcover

    Book ID: 47296
    View cart More details Price: USD $85.00 USD $76.50
  • Kurshan, Robert P.
    Computer-Aided Verification of Coordinating Processes

    Edition: First printing

    Princeton, NJ: Princeton University Press, 1995. Blue cloth, pp (271), indexed. Fine in fine jacket, no owner marks. Formal verification increasingly has become recognized as an answer to the problem of how to create ever more complex control systems, which nonetheless are required to behave reliably. To be acceptable in an industrial setting, formal verification must be highly algorithmic; to cope with design complexity, it must support a top-down design methodology that leads from an abstract design to its detailed implementation. That combination of requirements points directly to the widely recognized solution of automata-theoretic verification, on account of its expressiveness, computational complexity, and perhaps general utility as well. This book develops the theory of automata-theoretic verification from its foundations,…

    (more)

    Princeton, NJ: Princeton University Press, 1995. Blue cloth, pp (271), indexed. Fine in fine jacket, no owner marks. Formal verification increasingly has become recognized as an answer to the problem of how to create ever more complex control systems, which nonetheless are required to behave reliably. To be acceptable in an industrial setting, formal verification must be highly algorithmic; to cope with design complexity, it must support a top-down design methodology that leads from an abstract design to its detailed implementation. That combination of requirements points directly to the widely recognized solution of automata-theoretic verification, on account of its expressiveness, computational complexity, and perhaps general utility as well. This book develops the theory of automata-theoretic verification from its foundations, with a focus on algorithms and heuristics to reduce the computational complexity of analysis. It is suitable as a text for a one-or two-semester graduate course, and is recommended reading for anyone planning to use a verification tool, such as COSPAN or SMV. An extensive bibliography that points to the most recent sources, and extensive discussions of methodology and comparisons with other techniques, make this a useful resource for research or verification tool development, as well.

    (less)

    Condition: Binding: Hardcover

    Book ID: 47480
    View cart More details Price: USD $18.95 USD $17.06
  • LEAR, Peter
    EXPLORING THE VIC

    Edition: First Canadian edition

    Burlington, Ontario: Hayes Publishing, 1984. White boards illustrated in colour. pp 59. Colour illustrations. Errata slip inside front cover. Soil spot in corner of rear cover, VG clean and unworn otherwise. "The VIC-20 (in Germany, VC-20; in Japan, VIC-1001) is an 8-bit home computer that was sold by Commodore Business Machines. The VIC-20 was announced in 1980 roughly three years after Commodore's first personal computer, the PET. The VIC-20 was the first computer of any description to sell one million units. The VIC-20 has been described as "one of the first anti-spectatorial, non-esoteric computers by design...no longer relegated to hobbyist/enthusiasts or those with money, the computer Commodore developed was the computer of the future."

    Condition: Binding: Hardcover

    Book ID: 50479
    View cart More details Price: USD $34.95 USD $31.46
  • Kanellakis, Paris Christos ; Alex Allister Shvartsman
    Fault-Tolerant Parallel Computation

    Edition: First printing

    Boston: Kluwer Academic Publishers, 1997. Glossy printed boards. pp 183, index. Fine copy. In print (2018) at USD 180.00.

    Condition: Binding: Hardcover

    Book ID: 50050
    View cart More details Price: USD $65.00 USD $58.50
  • Adamek, Jiri
    Foundations of Coding: Theory and Applications of Error-Correcting Codes with an Introduction to Cryptography and Information Theory

    New York: Wiley, c1991. Second printing. Grey printed cloth. pp 336, index. Fine copy. In print (2018) at CAD 294.00.

    Condition: Binding: Hardcover

    Book ID: 49915
    View cart More details Price: USD $65.00 USD $58.50
  • Varghese, K. and S. Pfleger, editors
    Human Comfort and Security of Information Systems: Advanced Interfaces for the Information Society

    Berlin: Springer, 1997. Card covers. pp 319. Fine copy. "This volume contains the latest accounts of research supported by the European Commission in human-computer interaction and presented at a workshop in October 1995." In printi (2018) at USD 129.00.

    Condition: Binding: Softcover

    Book ID: 49976
    View cart More details Price: USD $50.00 USD $45.00
  • Griswold, Ralph E.
    Implementation of the Icon Programming Language

    Edition: First printing

    Princeton, NJ: Princeton University Press, 1986. Blue cloth. pp 336, indexed. Fine in fine jacket, no owner marks.Princeton Series in Computer Science. Fine in fine jacket, no owner marks. 1.5 kg parcel.

    Condition: Binding: Hardcover

    Book ID: 47421
    View cart More details Price: USD $19.95 USD $17.96
  • Subbarao, Muralidhara
    Interpretation of Visual Motion: A Computational Study (Research Notes in Artificial Intelligence)

    Edition: First printing

    London / San Mateo, CA: Pitman / Morgan Kaufmann, 1988. Card covers. 139 pp. Sticker scar to rear cover, else VG. Research Notes in Artificial Intelligence.

    Condition: Binding: Softcover

    Book ID: 49833
    View cart More details Price: USD $19.95 USD $17.96
  • Alefeld, Gotz ; Jurgen Herzberger
    Introduction to Interval Computation

    Edition: First printing

    New York: Academic Press, 1983. Black cloth. pp 333, index. Fine copy.

    Condition: Binding: Hardcover

    Book ID: 49979
    View cart More details Price: USD $34.95 USD $31.46
  • Pollmann, Alfried
    Logic/Object-Oriented Concurrent Robot Programming and Performance Aspects

    Berlin: De Gruyter, 1997. Glossy printed boards. pp 280, index. Fine copy.

    Condition: Binding: Hardcover

    Book ID: 49954
    View cart More details Price: USD $18.95 USD $17.06
  • Golub, Gene H. ; Charles F. Van Loan
    Matrix Computations. Second edition

    Baltimore: Johns Hopkins University Press, 1989. Card covers. pp 642, index. Fine copy. 1.5 kg parcel.

    Condition: Binding: Softcover

    Book ID: 49980
    View cart More details Price: USD $18.95 USD $17.06
  • Leff, Andrew & Andrew F. Rex, editors
    Maxwell's Demon: Entropy, Information, Computing

    Edition: First printing

    Princeton, NJ: Princeton University Press, 1990. Grey boards. pp 349, index. Fine in fine jacket. In print (2018) at USD 160.00

    Condition: Binding: Hardcover

    Book ID: 49938
    View cart More details Price: USD $64.95 USD $58.46
  • Wooff, C.; Hodgkinson, D.
    MuMath: A Microcomputer Algebra System

    New York: Academic Press, 1988. Octavo, card covers. Fine copy, no owner marks.

    Condition: Binding: Softcover

    Book ID: 47273
    View cart More details Price: USD $15.00 USD $13.50
  • Omidvar, Omid; David L. Elliott
    Neural Systems for Control

    Edition: First printing

    San Diego: Academic Press, 1997. Printed cloth. pp 358, index. Minor rubbing to front cover, else fine.

    Condition: Binding: Hardcover

    Book ID: 50065
    View cart More details Price: USD $39.95 USD $35.96
  • Carpenter, Gail A. and Stephen Grossberg, editors
    Pattern Recognition by Self-Organizing Neural Networks

    Edition: First printing

    Cambridge, MA: MIT Press, 1991. Tall octavo, black cloth. pp 690. indexed. Fine copy, no owner marks, in a very near fine jacket. 2 kg parcel.

    Condition: Binding: Hardcover

    Book ID: 47390
    View cart More details Price: USD $50.00 USD $45.00
  • Ferry, David K.; Grondin, Robert O.
    Physics of Submicron Devices

    Edition: First printing

    New York: Plenum Press, 1991. Glossy printed boards. pp 402, indexed. Fine copy, no owner marks. The purposes of this book are many. First, we must point out that it is not a device book, as a proper treatment of the range of important devices would require a much larger volume even without treating the important physics for submicron devices. Rather, the book is written principally to pull together and present in a single place, and in a (hopefully) uniform treatment, much of the understanding on relevant physics for submicron devices. Indeed, the understand­ ing that we are trying to convey through this work has existed in the literature for quite some time, but has not been brought to…

    (more)

    New York: Plenum Press, 1991. Glossy printed boards. pp 402, indexed. Fine copy, no owner marks. The purposes of this book are many. First, we must point out that it is not a device book, as a proper treatment of the range of important devices would require a much larger volume even without treating the important physics for submicron devices. Rather, the book is written principally to pull together and present in a single place, and in a (hopefully) uniform treatment, much of the understanding on relevant physics for submicron devices. Indeed, the understand­ ing that we are trying to convey through this work has existed in the literature for quite some time, but has not been brought to the full attention of those whose business is the making of submicron devices. It should be remarked that much of the important physics that is discussed here may not be found readily in devices at the 1.0-JLm level, but will be found to be dominant at the O.I-JLm level. The range between these two is rapidly being covered as technology moves from the 256K RAM to the 16M RAM chips. 1.5 kg parcel.

    (less)

    Condition: Binding: Hardcover

    Book ID: 47419
    View cart More details Price: USD $39.95 USD $35.96
  • Floudas, Christodoulos A. ; Panos M. Pardalos, editors
    Recent Advances in Global Optimization

    Edition: First printing

    Princeton, NJ: Princeton University Press, 1992. Card covers. pp 633. Fine copy. 1.5 kg parcel

    Condition: Binding: Softcover

    Book ID: 50044
    View cart More details Price: USD $45.00 USD $40.50