Computable Analysis: An Introduction (Texts in Theoretical Computer Science. An EATCS Series)

Weihrauch, Klaus / Springer 2000
First edition, first printing, 285 pp., Hardcover, NEW!!. Volumes Included: 1

ISBN: 3540668179
Subject/Keywords: computer tl4 mathematics

Item #: 1307118

$50.24

Add To Cart

The Little LISPer: Trade Edition

Friedman, Daniel P.; Felleisen, Matthias, Bibby, Duane / The MIT Press 1987
200 pp., paperback, very good. Volumes Included: 1

ISBN: 0262560380
Subject/Keywords: LISP computer tl4

Item #: 1307074

$22.90

Add To Cart

Axiomatising the Logic of Computer Programming (Lecture Notes in Computer Science, 130)

Goldblatt, R. / Springer 1982
First edition, first printing, 317 pp., paperback, fine. Volumes Included: 1

ISBN: 3540112103
Subject/Keywords: Computer Programming tl4

Item #: 1307051

$15.00

Add To Cart

Search mechanisms for large files (Computer science)

Neimat, Marie-Anne Kamal / UMI Research Press 1981
114 pp., hardcover, new. Volumes Included: 1

ISBN: 0835712311
Subject/Keywords: Computer tl4

Item #: 1307036

$28.49

Add To Cart

Translating Relational Queries into Iterative Programs. Lecture Notes in Computer Science, Volume 261

Freytag, Johann Christoph / Springer 1987
First edition, first printing, 131 pp., paperback, fine. Volumes Included: 1

ISBN: 3540180001
Subject/Keywords: computer tl4

Item #: 1307037

$28.00

Add To Cart

Algorithmic Skeletons: Structured Management of Parallel Computation. Research Monographs in Parallel and Distributed Computing

Cole, Murray / MIT 1989
180 pp., paperback, light wear to front cover else text clean & binding tight. Volumes Included: 1

ISBN: 0262530864
Subject/Keywords: computing tl4

Item #: 1307045

$51.20

Add To Cart

Open Problems in Communication and Computation

Thomas M. Cover, B. Gopinath / Springer 1987
First edition, first printing, 236 pp., Hardcover, some FAINT discoloration to bottom edge of pages else fine. Volumes Included: 1

ISBN: 0387966218
Subject/Keywords: computer Computation tl4 mathematics

Item #: 1307052

$29.43

Add To Cart

Logic, form and function: The mechanization of deductive reasoning

Robinson, J. A. / North-Holland 1979
First edition, first printing, 312 pp., Hardcover, spine faded, hand stamp to front pastedown else text clean & binding tight. Volumes Included: 1

ISBN: 0444194673
Subject/Keywords: computer logic tl4 mathematics

Item #: 1307054

$33.72

Add To Cart

Intention-Based Diagnosis of Novice Programming Errors. Research Notes in Artificial Intelligence

Johnson, W. Lewis / Pitman 1986
333 pp., paperback, fine. Volumes Included: 1

ISBN: 0273087681
Subject/Keywords: computer Programming tl4

Item #: 1307055

$32.62

Add To Cart

Design and Optimization of Compilers. Courant Computer Science Symposium, No. 5

Rustin, Randall, ed. / Englewood Cliffs: Prentice-Hall 1972
First edition, first printing, 141 pp., hardcover, fine in a lightly worn else very good dust jacket. Volumes Included: 1

ISBN: 0132002043
Subject/Keywords: Compilers tl4 mathematics computing

Item #: 1307060

Request a photo for this item.

$116.51

Add To Cart

Informal Introduction to Algol 68. Revised Edition

Lindsey, C. H., Meulen, S. G. van Der / North-Holland 1977
revised edition, 372 pp., HARDCOVER (same isbn), fine. Volumes Included: 1

ISBN: 0720407265
Subject/Keywords: tl4 mathematics Algol computer

Item #: 1307069

Request a photo for this item.

$90.07

Add To Cart

A Framework for Distributed Problem Solving. Computer Science: Artificial Intelligence. No. 10

Smith, Reid G. / Ann Arbor: UMI Research 1981
174 pp., hardcover, fine. Volumes Included: 1

ISBN: 0835712184
Subject/Keywords: computer tl4

Item #: 1307079

$24.71

Add To Cart

Efficiency Analysis of File Organization and Information Retrieval. Computer Science: Distributed Database Systems, No. 10

Omlor, J. Dennis / Ann Arbor: UMI Research 1981
110 pp., hardcover, new. Volumes Included: 1

ISBN: 0835712265
Subject/Keywords: computer tl4

Item #: 1307082

$12.14

Add To Cart

Formal Differentiation: A Program Synthesis Technique (Computer Science: Artificial Intelligence, No. 6)

Robert A Paige / UMI Research Press 1981
277 pp., hardcover, new. Volumes Included: 1

ISBN: 0835712133
Subject/Keywords: computer tl4

Item #: 1307102

$83.31

Add To Cart

An analysis of Pascal programs (Computer science)

Carter, Lynn Robert / UMI Research Press 1982
191 pp., hardcover, new. Volumes Included: 1

ISBN: 0835713318
Subject/Keywords: Pascal Computer tl4

Item #: 1307006

Request a photo for this item.

$117.68

Add To Cart

Algebraic Approaches to Program Semantics (Texts and Monographs in Computer Science)

Ernest G. Manes , Michael A. Arbib / Springer 1986
First edition, first printing, 351 pp., Hardcover, some FAINT wear to cover edges else fine. Volumes Included: 1

ISBN: 0387963243
Subject/Keywords: Computer programming tl4 mathematics

Item #: 1307026

$74.57

Add To Cart

Syntax-Directed Semantics: Formal Models Based on Tree Transducers (Monographs in Theoretical Computer Science)

Zoltan Fulop , Heiko Vogler / Springer-Verlag 1998
First edition, first printing, 269 pp., hardcover, new. Volumes Included: 1

ISBN: 3540646078
Subject/Keywords: computer programming tl4

Item #: 1307028

$35.31

Add To Cart

Graphs and Networks (Oxford Applied Mathematics & Computing Science Series)

Bernard Carre / Oxford University Press, USA 1979
277 pp., Paperback, hand stamp to half-title page, some FAINT wear to spine else fine. Volumes Included: 1

ISBN: 0198596227
Subject/Keywords: Computing tl4 mathematics

Item #: 1306970

$15.38

Add To Cart

Path selection for symbolic execution systems (Computer science)

Woods, John Lowe / UMI Research Press 1982
108 pp., hardcover, new. Volumes Included: 1

ISBN: 083571344X
Subject/Keywords: Computer tl4

Item #: 1306879

$75.32

Add To Cart

On reductions and livelocks in asynchronous parallel computation (Computer science)

Kwong, Yat-Sang / UMI Research Press 1982
107 pp., hardcover,. Volumes Included: 1

ISBN: 0835713423
Subject/Keywords: computation Computer tl4

Item #: 1306721

$32.00

Add To Cart