Geometric Modeling: Methods and Applications (Computer Graphics-Systems and Applications)

H. Hagen; D. Roller / Springer Verlag 1991
286 pp., hardcover, minor library markings, else text clean and binding tight. Volumes Included: 1

ISBN: 0387536442
Subject/Keywords: su2 computer graphics

See more items from this collection  ⇛

Item #: 1335419

$50.00

Add To Cart

Mathematical software (ACM monograph series)

John Rischard Rice / Academic Press 1971
First edition, first printing, 515 pp., hardcover, very good. Volumes Included: 1

ISBN: 012587250X
Subject/Keywords: Mathematical software computer programming wi2 mathematics

See more items from this collection  ⇛

Item #: 1336129

$33.60

Add To Cart

Computer Algebra: EUROCAL’83, European Computer Algebra Conference London, England, March 28–30, 1983 Proceedings (Lecture Notes in Computer Science, 162)

Hulzen, J. A. van / Springer 1983
First edition, first printing, 319 pp., paperback, very good. Volumes Included: 1

ISBN: 3540128689
Subject/Keywords: Computer Algebra wi2 mathematics

See more items from this collection  ⇛

Item #: 1335811

$25.00

Add To Cart

View of Programming Languages (Addison-Wesley Series in Computer Science and Information Pr)

B.A. Galler , Alan J. Perlis / Addison-Wesley Educational Publishers Inc 1970
First edition, first printing, 282 pp., Hardcover, very good (lacks dust jacket). Volumes Included: 1

ISBN: 0201023245
Subject/Keywords: Programming Computer wi2

See more items from this collection  ⇛

Item #: 1335805

$47.00

Add To Cart

Elements of Algebra and Algebraic Computing

John D. Lipson / Addison-Wesley Educational Publishers Inc 1981
356 pp., HARDCOVER (same isbn), minor pencil notations to a few pages, light wear to cover edges else very good. Volumes Included: 1

ISBN: 0201041154
Subject/Keywords: Computing wi2 mathematics

See more items from this collection  ⇛

Item #: 1335806

$15.00

Add To Cart

Future Directions for Research in Symbolic Computation

Boyle, Ann, & B. F. Caviness, eds. / Philadelphia: Society for Industrial and Applied Mathematics 1990
86 pp., paperback, very good. Volumes Included: 1

ISBN: 0898712491
Subject/Keywords: Symbolic Computation wi2 mathematics

See more items from this collection  ⇛

Item #: 1335808

Request a photo for this item.

$220.50

Add To Cart

Predicate Calculus and Program Semantics. Texts and Monographs in Computer Science

Dijkstra, Edsger W., & Carl S. Scholten / Springer 1990
First edition, first printing, 220 pp., hardcover, minor pencil notations to about 20 pages else good. Volumes Included: 1

ISBN: 0387969578
Subject/Keywords: computer wi2 mathematics

See more items from this collection  ⇛

Item #: 1335812

$53.90

Add To Cart

Substructural Logics (Studies in Logic and Computation)

Schroeder-Heister, Peter, Dosen, Kosta / Clarendon Press 1994
396 pp., hardcover, ownership markings to the front free endpaper and fore edge, else fine. Volumes Included: 1

ISBN: 0198537778
Subject/Keywords: logic computer science sww

Item #: 1335672

$65.00

Add To Cart

Multiple scattering processes: Inverse and direct (Applied mathematics and computation ; no. 8)

KAGIWADA, Harriet H., KALABA, Robert & UENO, Sueo. / Addison-Wesley 1975
336 pp., hardcover, very good. Volumes Included: 1

ISBN: 0201041049
Subject/Keywords: wi2 mathematics computation

See more items from this collection  ⇛

Item #: 1335617

$19.00

Add To Cart

Mathematical Methods for Digital Computers Volumes 1 and 2.

Ralston, Anthony, Herbert S. Wilf, editors / John Wiley & Sons 1960
2 volumes, hardcover, 293 & 287 pp., previous owner's name to front free endpapers, light wear to cover edges else text clean & bindings tight (lacks dust jackets). Volumes Included: 2

ISBN: NA
Subject/Keywords: Computers wi2 mathematics

See more items from this collection  ⇛

Item #: 1335615

$24.50

Add To Cart

Hyperproof: For Macintosh (Volume 42) (Lecture Notes)

Barwise, Jon, Etchemendy, John / Center for the Study of Language and Inf 1994
254 pp., paperback, ownership markings to the front free endpaper and fore edge, else very good. Volumes Included: 1

ISBN: 1881526119
Subject/Keywords: computer science sww

Item #: 1335633

$32.00

Add To Cart

Qualitative Simulation Modeling and Analysis. Advances in Simulation, Volume 5

Fishwick, Paul A., & Paul A. Luker, editors / Springer 1991
341 pp., paperback, fine. Volumes Included: 1

ISBN: 0387974008
Subject/Keywords: Simulation computing tzbw

See more items from this collection  ⇛

Item #: 1335602

$60.00

Add To Cart

Lambda Calculi. A Guide for Computer Scientists (Graduate Texts in Computer Science, Volume 3)

Hankin, Chris / Oxford University Press 1995
162 pp., Paperback, ownership markings to the front free endpaper and fore edge, else very good. Volumes Included: 1

ISBN: 0198538405
Subject/Keywords: computer mathematics sww

Item #: 1335646

$20.30

Add To Cart

Dynamic Logic (Foundations of Computing)

Harel, David, Kozen, Dexter, Tiuryn, Jerzy / The MIT Press 2000
First edition, first printing, 476 pp., Hardcover, ownership markings to the front free endpaper and fore edge, else very good in a very good dust jacket. Volumes Included: 1

ISBN: 0262082896
Subject/Keywords: Computing sww mathematics

Item #: 1335650

$64.03

Add To Cart

Proofs and Types. Cambridge Tracts in Theoretical Computer Science 7

Jean-Yves Girard, Yves Lafont, Paul Taylor / Cambridge University 1989
176 pp., hardcover, ownership markings to the front free endpaper and fore edge, else very good. Volumes Included: 1

ISBN: 0521371813
Subject/Keywords: mathematics computer science sww

Item #: 1335699

Request a photo for this item.

$105.64

Add To Cart

Algorithmic Information Theory

Gregory. J. Chaitin / Cambridge University Press 1987
First edition, first printing, x, 175 pp., Hardcover, ownership markings to the front free endpaper and fore edge, else very good. Volumes Included: 1

ISBN: 0521343062
Subject/Keywords: Computer Mathematics sww

Item #: 1335702

$25.92

Add To Cart

Extensions of First-Order Logic (Cambridge Tracts in Theoretical Computer Science)

Manzano, Maria / Cambridge University Press 1996
410 pp., Hardcover, ownership markings to the front free endpaper and fore edge, else very good. Volumes Included: 1

ISBN: 0521354358
Subject/Keywords: computer science sww

Item #: 1335703

$54.89

Add To Cart

A Theory of Programming Language Semantics. TWO VOLUMES

Milne, Robert & Christopher Strachey / Chapman & Hall 1976
2 volumes; 858 pp., hardcover, very good. Volumes Included: 2

ISBN: 0412142600
Subject/Keywords: Programming Semantics computer wi2 mathematics

See more items from this collection  ⇛

Item #: 1335537

Request a photo for this item.

$117.61

Add To Cart

Elements of Software Science

Halstead, Maurice H. / Elsevier 1977
127 pp., hardcover, minor light pencil notations to about 10 pages else good+. Volumes Included: 1

ISBN: 0444002057
Subject/Keywords: Software computer programming wi2

See more items from this collection  ⇛

Item #: 1335558

$30.00

Add To Cart

Swarm Intelligence: From Natural to Artificial Systems (Santa Fe Institute Studies in the Sciences of Complexity Proceedings)

Eric Bonabeau , Marco Dorigo , Guy Theraulaz / Oxford University Press, USA 1999
307 pp., Paperback, ownership markings to the front free endpaper and fore edge, else fine. Volumes Included: 1

ISBN: 0195131592
Subject/Keywords: sww Computers Artificial Intelligence Neuroscience

Item #: 1335496

$24.47

Add To Cart