Return to Search Page
Total Books found 12
TRANSACTIONS OF THE EIGHTH PRAGUE CONFERENCE ON INFORMATION THEORY, STATISTICAL DECISION FUNCTIONS, RANDOM PROCESSES held at Prague, from August 28 to September 1, 1978. Volume B
Dordrect, Holland: D. Reidel, 1978.
Pale grey cloth. Mild cover soiling, VG otherwise, no owner marks. Text is in English, German, and Russian. Note: 1.5 kg parcel, extra postage may be required.
$65.00 Book Number: 44706 Order / Enquire
Neural Networks and Qualitative Physics
Cambridge, England: Cambridge University Press, 1996.
Glossy printed boards without jacket, as issued. pp (xvi), 283, (3). Fine copy, no owner names nor text marks. "This book is devoted to some mathematical methods that arise in two domains of artificial intelligence: neural networks and qualitative physics. The rapid advances in these two areas have left unanswered several mathematical questions that should motivate and challenge mathematicians."
$35.00 Book Number: 30843 Order / Enquire
The Implementation of Prolog
Princeton, NJ: Princeton University Press, 1993.
Glossy boards, pp 299. Fine copy, no owner marks. Computer science.
$34.95 Book Number: 47361 Order / Enquire
Carpenter, Gail A. and Stephen Grossberg, editors
Pattern Recognition by Self-Organizing Neural Networks
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.
$50.00 Book Number: 47390 Order / Enquire
Ferry, David K.; Grondin, Robert O.
Physics of Submicron Devices
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.
$39.95 Book Number: 47419 Order / Enquire
FOX, L. (Leslie Fox, 1918-92)
AN INTRODUCTION TO NUMERICAL LINEAR ALGEBRA.
Oxford: 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).
$35.00 Book Number: 18129 Order / Enquire
Gallagher, Richard S., editor
Computer Visualization: Graphics Techniques for Engineering and Scientific Analysis
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.
$85.00 Book Number: 47296 Order / Enquire
Goldberg. David E.
Genetic Algorithms in Search, Optimization, and Machine Learning
Reading, MA: Addison-Wesley, 1989.
Squarish octavo, beige boards, pp 412. Fine in fine jacket, no owner marks. 1.5 kg parcel.
$45.00 Book Number: 47320 Order / Enquire
Griswold, Ralph E.
Implementation of the Icon Programming Language
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.
$19.95 Book Number: 47421 Order / Enquire
Kurshan, Robert P.
Computer-Aided Verification of Coordinating Processes
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.
$18.95 Book Number: 47480 Order / Enquire
The CD-ROM Handbook
New York: Intetext / McGraw-Hill, 1988.
Glossy boards, pp 510. Indexed. Fine copy, no owner marks. Includes history as well as technical considerations. First guide book on the subject, historically important.
$34.95 Book Number: 47388 Order / Enquire
Wooff, C.; Hodgkinson, D.
MuMath: A Microcomputer Algebra System
New York: Academic Press, 1988.
Octavo, card covers. Fine copy, no owner marks.
$15.00 Book Number: 47273 Order / Enquire