Guide to Fortran 2008 Programming

Brainerd, Walter S. / Springer 2015
419 pp., Hardcover, new. Volumes Included: 1

ISBN: 1447167589
Subject/Keywords: tng fortran programming computer science

See more items from this collection  ⇛

Item #: 1287089

$35.26

Add To Cart

Computation: Finite and Infinite Machines

Minsky, Marvin L. / Prentice Hall 1967
10th printing, 317 pp., hardcover, very good (lacks dust jacket). Volumes Included: 1

ISBN: 0131655639
Subject/Keywords: mathematics computation bcy cf1

See more items from this collection  ⇛

Item #: 1287329

Request a photo for this item.

$182.52

Add To Cart

Graphs, Networks and Algorithms. Third edition (Algorithms and Computation in Mathematics, Volume 5)

Jungnickel, Dieter / Springer 2007
3rd edition; 670 pp., Hardcover, NEW!!. Volumes Included: 1

ISBN: 3540663452
Subject/Keywords: mathematics computer cf1

See more items from this collection  ⇛

Item #: 1287478

$33.64

Add To Cart

Click here to view

A handbook on the teeth of gears, their curves, properties and practical construction; with odontographs for both epicycloidal and involute teeth, rules for the strength of teeth, a table of pitch

George B. Grant / George B. Grant 1885
First edition, 29 pp., original boards with cloth backstrip (hardcover), a few page corners lightly creased, minor wear to cover edges else text clean & binding tight. Includes a full page illustrated advertisement for Grant's "Calculating Machine". Volumes Included: 1

ISBN: NA
Subject/Keywords: gears computers computing fbf

Item #: 1286023

Request a photo for this item.

$483.07

Add To Cart

Turtle Geometry: The Computer as a Medium for Exploring Mathematics (Artificial Intelligence)

Harold Abelson , Andrea diSessa / The MIT Press 1986
497 pp., Paperback, faint wear to spine and cover edges else very good. Volumes Included: 1

ISBN: 0262510375
Subject/Keywords: Computing hm3 mathematics

See more items from this collection  ⇛

Item #: 1284725

$12.17

Add To Cart

Artificial Intelligence: Its Philosophy and Neural Context (Studies in Cybernetics)

Frank Honywill George / Gordon & Breach 1986
222 pp., hardcover, very good. Volumes Included: 1

ISBN: 2881240097
Subject/Keywords: computer Artificial Intelligence Cybernetics tzbw

See more items from this collection  ⇛

Item #: 1284290

$18.06

Add To Cart

Proof, Language, and Interaction: Essays in Honour of Robin Milner (Foundations of Computing)

Gordon Plotkin, Colin Stirling, Mads Tofte / The MIT Press 2000
First edition, first printing, 736 pp., Hardcover, a TINY bit of soiling to bottom edge of pages else fine in a fine dust jacket. Volumes Included: 1

ISBN: 0262161885
Subject/Keywords: Computing tf3 mathematics

See more items from this collection  ⇛

Item #: 1283747

$13.69

Add To Cart

Theories of Programming: The Life and Works of Tony Hoare (Acm Books)

Jones, Cliff B., Misra, Jayadev / ACM Books 2021
429 pp., Paperback, new. Volumes Included: 1

ISBN: 1450387292
Subject/Keywords: computer Programming tf3

See more items from this collection  ⇛

Item #: 1283703

$25.91

Add To Cart

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

Add To Cart

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.

$138.30

Add To Cart

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

Add To Cart

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

Add To Cart

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

Add To Cart

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

An Introduction to Quantum Computing Algorithms

Pittenger, Arthur O. / Birkhauser 1999
152 pp., Hardcover, NEW!!. Volumes Included: 1

ISBN: 0817641270
Subject/Keywords: Quantum physics, mathematics Computing tf3

See more items from this collection  ⇛

Item #: 1283598

$36.07

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.

$130.72

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

$13.64

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

$6.39

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

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