Popular Subjects
Buy Bulk Books
600-900 books per box.
More information
Buy Books
by the Foot
Decorator collections available.
More information
Members Savings Club
Join & Save at least 5% every day
Join and be notified of "Members Only" sales and discounts. Save from 5% to 50% on all items ordered!
If you haven't already done so, sign-up and save at least 5% today.
Sign-Up Now
Help
Podcast
Listen to the Zubal brothers unload about things in the book trade that make them smile or give them the feelings that their heads may explode!
Listen Now
Search Results
You searched for:
Periodicals Not Shown (Show Periodicals)eBooks Not Shown (Show eBooks)
Subject: computer
Programming in Martin-Lof's Type Theory. An Introduction. International Series of Monographs on Computer Science, Volume 7
Nordstrom, Bengt, et al.
/ Oxford University 1990
First edition, first printing, 221 pp., hardcover, some minor discoloration to front pastedown from where a bookplate once was else fine. Volumes
Included: 1
ISBN: 0198538146
Subject/Keywords: computer programming tf3
See more items from this collection ⇛
Item #: 1283668
Request a photo for this item.
$104.25
Warren's Abstract Machine: A Tutorial Reconstruction (Logic Programming)
Hassan Ait-Kaci
/ MITPress 1991
First edition, first printing, 134 pp., Hardcover, very good (lacks dust jacket). Volumes
Included: 1
ISBN: 0262011239
Subject/Keywords: Computer tf3 mathematics
See more items from this collection ⇛
Item #: 1283691
$23.53
Partial Order Methods in Verification. DIMACS Series in Discrete Mathematics and Theoretical Computer Science, Volume 29
Peled, Doron A., et al., eds.
/ American Mathematical Society 1997
403 pp., hardcover, fine. Volumes
Included: 1
ISBN: 0821805797
Subject/Keywords: computer tf3 mathematics
See more items from this collection ⇛
Item #: 1283719
$26.23
The Spin Verification System. Dimacs Series in Discrete Mathematics and Theoretical Computer Science, Volume 32
Gregoire, Jean-Charles, et al., eds.
/ American Mathematical Society 1997
203 pp., hardcover, previous owner's name to front pastedown else fine. Volumes
Included: 1
ISBN: 0821806807
Subject/Keywords: computer tf3 mathematics
See more items from this collection ⇛
Item #: 1283720
$6.40
Process Algebra (Cambridge Tracts in Theoretical Computer Science)
Baeten, J. C. M., Weijland, W. P.
/ Cambridge University Press 1990
256 pp., Hardcover, bookplate to front pastedown, faint wear to cover edges else very good. Volumes
Included: 1
ISBN: 0521400430
Subject/Keywords: mathematics computer tf3
See more items from this collection ⇛
Item #: 1283725
$5.59
Analysis and Synthesis of Computer Systems (Computer Science & Applied Mathematics)
Gelenbe, E., I Mitrani
/ Academic Press 1980
First edition, first printing, 239 pp., hardcover, bookplate to front pastedown else fine in a worn dust jacket. Volumes
Included: 1
ISBN: 0122793501
Subject/Keywords: Computer tf3 mathematics
See more items from this collection ⇛
Item #: 1283654
$5.52
The Modelling and Analysis of Security Protocols: The Csp Approach
Ryan, P. Y. A., Schneider, S. A., Goldsmith, M. H., Lowe, G., Roscoe, A. W.
/ Addison-Wesley 2000
320 pp., Paperback, previous owner's name to verso of front cover else fine. Volumes
Included: 1
ISBN: 0201674718
Subject/Keywords: computer security tf3
See more items from this collection ⇛
Item #: 1283616
$6.39
Temporal Logic. Mathematical Foundations and Computational Aspects. Volume I. Oxford Logic Guides, No. 28
Gabbay, Dov M., et al.
/ Oxford University 1994
First edition, first printing, 653 pp., hardcover, bookplate to front pastedown else fine (lacks dust jacket). Volumes
Included: 1
ISBN: 0198537697
Subject/Keywords: computer tf3 mathematics
See more items from this collection ⇛
Item #: 1283611
Request a photo for this item.
$96.56
Broadband Quantum Cryptography (Synthesis Lectures on Quantum Computing)
Rogers, Daniel J., Sandhu, Ravi
/ Morgan and Claypool Publishers 2010
100 pp., Paperback, new. Volumes
Included: 1
ISBN: 1608450597
Subject/Keywords: quantum computing Cryptography
Item #: 1283621
$9.88
Practical Process Simulation Using Object-Oriented Techniques and C++
Garrido, Jose
/ Artech House 1998
219 pp., Hardcover, fine. Volumes
Included: 1
ISBN: 0890066558
Subject/Keywords: va3 programming computer
See more items from this collection ⇛
Item #: 1283069
$3.72
Supercharged Bitmapped Graphics Book and Disk
Rimmer, Steve
/ Windcrest 1992
664 pp., Paperback, includes sealed disk, fine. Volumes
Included: 1
ISBN: 0830637885
Subject/Keywords: ap4 computer science
See more items from this collection ⇛
Item #: 1282378
$2.06
A Turbo Prolog Primer
Rogers, Jean B.
/ Addison-Wesley 1987
215 pp., Paperback, fine. Volumes
Included: 1
ISBN: 0201121980
Subject/Keywords: ap4 computer Prolog
See more items from this collection ⇛
Item #: 1282356
$6.39
Exploring Artificial Intelligence With Turbo PROLOG
Weiskamp, Keith, Hengl, Terry, Pronk, Ron
/ Wiley 1988
262 pp., Paperback, new. Volumes
Included: 1
ISBN: 0471627526
Subject/Keywords: ap4 computer PROLOG
See more items from this collection ⇛
Item #: 1282336
$7.55
Theoretical Introduction to Programming
Mills, Bruce Ian
/ Springer 2005
369 pp., Paperback, new. Volumes
Included: 1
ISBN: 1846280214
Subject/Keywords: va3 Programming computer
See more items from this collection ⇛
Item #: 1282531
$8.55
The Mathematical Foundations of Learning Machines
Nilsson, Nils J.
/ Morgan Kaufmann 1990
138 pp. paperback, previous owner's name to the half-title page, else very good. Volumes
Included: 1
ISBN: 1558601236
Subject/Keywords: computer science mathematics ap4
See more items from this collection ⇛
Item #: 1282467
$21.27
Automata-Theoretic Aspects of Formal Power Series (Monographs in Computer Science)
Salomaa, Arto; Soittola, Matti
/ Springer 1978
171 pp., Hardcover, fine. Volumes
Included: 1
ISBN: 0387902821
Subject/Keywords: bcy computer science lmb
See more items from this collection ⇛
Item #: 1281414
$24.26
Algorithm-Structured Computer Arrays and Networks: Architectures and Processes for Images, Precepts, Models, Information (Computer Science & Applied Mathematics)
Uhr, Leonard Merrick
/ Academic Pr 1984
413 pp., Hardcover, top edge lightly foxed, else very good. Volumes
Included: 1
ISBN: 0127069607
Subject/Keywords: computer science bcy
See more items from this collection ⇛
Item #: 1281787
$6.39
Come, Let's Play: Scenario-Based Programming Using LSCs and the Play-Engine
Harel, David, Marelly, Rami
/ Springer 2003
400 pp., Hardcover, brand new! still in shrink wrap. Volumes
Included: 1
ISBN: 3540007873
Subject/Keywords: computer Programming va3
See more items from this collection ⇛
Item #: 1281521
$6.72
Scientific and engineering problem-solving with the computer (Prentice Hall series in automatic computation)
Bennett, William Ralph
/ Prentice-Hall 1976
457 pp., Hardcover, previous owner's name (Richard Bucy of Kalman-Bucy) to the front free endpaper, edges lightly foxed, else very good in an edge-worn dust jacket. Volumes
Included: 1
ISBN: 0137958072
Subject/Keywords: computer science bcy
See more items from this collection ⇛
Item #: 1278624
$3.22
Principles of Dynamic Programming (Control & Systems Theory Series) (Part II: Advanced Theory and Applications)
Larson, Robert Edward
/ Marcel Dekker Inc 1982
497 pp., hardcover, top edge foxed, else very good. Volumes
Included: 1
ISBN: 0824765907
Subject/Keywords: computer science mathematics bcy
See more items from this collection ⇛
Item #: 1278570
$55.51