Search Results

Criteria:
  • Tag = computers
Page:12Next ›Modify search
Showing 1 to 20 of 31
  • WANG, Hao
    A SURVEY OF MATHEMATICAL LOGIC

    Peking / Amsterdam: Science Press / North-Holland, 1964. Second printing (first in 1962). Dark blue cloth lettered in red. pp (xii), 651. Page edges yellowed, small worn spot to front joint, else a VG+ clean and unworn jacketless copy, no owner marks. Wang was an important Chinese-American logician, philosopher, mathematician, and commentator on Kurt Gödel. Part two is devoted to calculating machines. Mr. Wang's early mathematical achievements contributed to advances in computer science in the 1950s. While working for IBM, he discovered a faster way to prove certain kinds of logical truths by using computers. 1.5 kg parcel

    Condition: Binding: Hardcover

    Book ID: 52068
    View cart More details Price: USD $95.00 USD $85.50
  • 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
  • POLLOCK, John
    HOW TO BUILD A PERSON: a prolegomenon

    Edition: First printing

    Cambridge, MA: MIT Press, 1989. Black cloth. pp (xiv), 189. Index. Fine in fine jacket. "Pollock describes an exciting theory of rationality and its partial implementation in OSCAR, a computer system who descendents will literally be persons." - jacket.

    Condition: Binding: Hardcover

    Book ID: 43668
    View cart More details Price: USD $19.00 USD $17.10
  • 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
  • KOBRINSKII, N.E. and B.A. Trakhtenbrott
    INTRODUCTION TO THE THEORY OF FINITE AUTOMATA. Translated from the Russian. Translation edited by J. C. Shepherdson.

    Edition: First US issue

    Amsterdam: North- Hollland Publishing Company, 1965. Yellow cloth. pp x, 337. Index. Mild cover soiling, VG jacketless copy otherwise.

    Condition: Binding: Hardcover

    Book ID: 52076
    View cart More details Price: USD $29.95 USD $26.96
  • 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
  • ROSSER, J. Barkley and Atwell R. Turquette
    MANY-VALUED LOGICS

    Edition: First printing

    Amsterdam: North-Holland Publishing Company, 1952. Yellow card covers. pp (8), (125). Fine copy. Yellow jacket has one corner nick; spine slightly sunned and darkened, VG otherwise. "The present text is notable for its comprehensive treatment of quantification in many-valued logic. This topic has received only very sketchy treatment in the past." Rosser was an American mathematical logician who contributed the Church-Rosser theorem to the study of computer science. An historically important text and scarce in this original editon.

    Condition: Binding: Softcover

    Book ID: 52074
    View cart More details Price: USD $95.00 USD $85.50
  • STIBITZ, George R. and Jules A. Larrivee
    MATHEMATICS AND COMPUTERS

    Edition: First edition

    New York: McGraw-Hill, 1957. Blue cloth. pp (10), 228, [2]. Index. Illustrated. Mild rubbing to spine ends, else fine. Thin dust jacket has chips and tears, spine fading, just good. An explanation of the early computers then in use.

    Condition: Binding: Hardcover

    Book ID: 52084
    View cart More details Price: USD $24.95 USD $22.46
  • 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