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

Add To Cart

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.

$98.53

Add To Cart

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

$12.08

Add To Cart

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

$4.05

Add To Cart

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

Add To Cart

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

Add To Cart

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

Add To Cart

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.64

Add To Cart

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.48

Add To Cart

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

Add To Cart

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

Add To Cart

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

Add To Cart

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.67

Add To Cart

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

Add To Cart

Image Databases in North America. Computers and the History of Art. Volume 4, Part 2

Gordon, Marlene, Gordon, Marlene E. / Harwood 1994
99 pp., Paperback, very good. Volumes Included: 1

ISBN: 3718656086
Subject/Keywords: Databases computers

Item #: 1278505

$15.90

Add To Cart

Digital Filters and the Fast Fourier Transform. Benchmark Papers in Electrical Engineering and Computer Science, Volume 12

Liu, Bede, ed. / Stroudsburg: Dowden, Hutchinson & Ross 1975
423 pp., hardcover, ex library, else text and binding clean and tight. Volumes Included: 1

ISBN: 0470541504
Subject/Keywords: computer science engineering hmp

See more items from this collection  ⇛

Item #: 1278198

$13.65

Add To Cart

Fuzzy Logic and Neural Network Handbook

Chen, C. H., ed. / NY: McGraw-Hill 1996
hardcover, ex library, else text and binding clean and tight. Volumes Included: 1

ISBN: 0070111898
Subject/Keywords: computer science hmp

See more items from this collection  ⇛

Item #: 1278199

$13.81

Add To Cart

Ridges in Image and Data Analysis (Computational Imaging and Vision, 7)

Eberly, D. / Springer 1996
226 pp., Hardcover, ex library, else text and binding clean and tight. Volumes Included: 1

ISBN: 0792342682
Subject/Keywords: hmp computational imaging

See more items from this collection  ⇛

Item #: 1278152

$22.23

Add To Cart

Handbook of Combinatorial Optimization: Supplement Volume B

Du, Ding-Zhu, Pardalos, Panos M. / Springer 2004
402 pp., Hardcover, ex library, light age toning to edges, else text and binding clean and tight. Volumes Included: 1

ISBN: 0387238298
Subject/Keywords: hmp computer science mathematics operations research

See more items from this collection  ⇛

Item #: 1277518

$30.00

Add To Cart

Introductory Signal Processing. Advanced Series in Electrical and Computer Engineering, Volume 6

Priemer, Roland / Singapore: World Scientific 1991
734 pp., hardcover, ex library, covers rubbed, else text and binding clean and tight. Volumes Included: 1

ISBN: 9971509199
Subject/Keywords: computer science technology hmp

See more items from this collection  ⇛

Item #: 1278150

$54.24

Add To Cart