🚀 go-pugleaf

I have the following books for sale. I will take best offer.
Most of them are in excellent condition.  

Please contact siroker@cs.stanford.edu if you are interested.

Shipping paid by buyer.

__________________________________________________________________

				C

The C Primer,
Alan R. Feuer, 1986
$3

The C Programming Language
Kernighan and Ritchie
1979

The New C Primer Plux
Waite and Prata, 
1990

_____________________________________________________________

				PCs

Circuit Design using Personal Computers
Thomas R. Cuthbert, Jr
1982

Upgrading and Repairing PCs
Scott Mueller
1991

Supercharging MS DOS
Van Wolverton
1986

Upgrading, Maintaining, and Servicing IBM PCs and Compatibles
Julian Moss
1992

The PC Configurations Handbook
John Woram,
1990

The designer's Guide to Making Money with your Desktop Computer
Jack Neff
1992
$2

_________________________________________________________________

				AI


Readings in AI
Webber/Nilsson

AAAI Proceedings 1987

Designing Intelligent Systems
Igor Aleksander
1984

Expert Systems Using Guru
Holsapple, Whinston
1986

Machines Who Think
McCorduck
1979

Knowledge Acquisition for Expert Systems
Anna Hart
1986

Build Your Own Expert System
Chris Naylor
1985 PB
$1

Designing Knowledge-Based Systems
TR Addis
1985

Expert System Technology
Robert Keller
1987 PB

Performance and Evaluation of Lisp Systems
Richard P. Gabriel
1985

Developing Expert Systems for Business
Benchimol, Levine, Pomerol
1987

The AI Business
Commercial Uses of Artificial Intelligence
Patrick Winston and Karen Prendergast (Eds)
1984

The Cognitive Computer: On language, learning and AI
Schank and Childers
1984 PB

The Mind and the Machine: Philosophical Aspects of AI
Steve Torrance (ED)
1986

Introduction to Expert Systems
Peter Jackson
1986 (PB)

Man Made Minds; The Promise of AI
M. Mitchell Waldrop
1987 PB

Artificial Intelligence
P.H. Wintston, 2nd Ed. 1984

The AI handbooks ,  volumes 1, 2 and 3 (1981-1982)

Building Expert Systems 
Philip Slatter
1987
$5

Artificial Intelligence with Statistical Pattern Recognition
Edward A. Patrick, M.D., Ph.D. and James M. Fattu, M.D., Ph.D.
1986

The Specification of Complex Systems
B. Cohen W.T. Harwood M.I. Jackson
1986

Artificial Intelligence Using C
Herbert Schildt
1987

Artificial Intelligence
Eugene Charniak and Drew McDermott
1985

Artificial Intelligence Programming
Charniak/Riesbeck/McDermott
1980

___________________________________________________________________

				LISP

Robert Wilensky
LISPcraft
1984

Lisp, an Interactive Approach
Stuart Shapiro, 1986

LISP
Patrick Henry Winston and Berthold Klaus Paul Horn
1984
___________________________________________________________________

				ROBOTICS

Robotics in Practice
Joseph F. Engelberger
1984

The Robotics Revolution
Peter B. Scott
1984

Robotics
John J. Craig
1986

___________________________________________________________


				ADA

Understanding ADA
Ken Shumate
1984 PB
$1

Ada: an Introduction (Ada Reference Manual)
Henry Ledgard 
1981

Programming in Ada
J.G.P. Barnes
1982

The ADA Programming Language
I.C. Pyle
1981

Program Verification Using Ada
A. D. McGettrick
1982

ADA
Peter Wegner
1980


Towards a Formal Description of Ada
Bjorner and Oest (Ed)
1980 PB
$1
__________________________________________________________________


			COMPUTER GRAPHICS


Principles of Interactive Computer Graphics
Newmann and Spoull
2nd edition, McGraw-Hill Computer Science Series

Computer Graphics: A Programming Approach
Steven Harrington, 
1983 McGraw-Hill

Programming Principles in Computer Graphics
Leendert Ammeraal
1986
__________________________________________________________________

			COMPILERS


Writing Interactive Compilers and Interpreters
P.J. Brown
1979
$1

The Design of an Optimizing Compiler
Wulf et al.
Elsevier CS Library, Programming Languages Series, 
(PB)
$1

Compiler Techniques
Bary W. Pollack (Ed)
1972
$1

A Compiler Generator
McKeeman, Horning, Wortman
1970

A Programming Methodology in Compiler Construction
Part 1; Concepts
Lewi/DeVlaminck/Huens/Huybrechts
1979

Principles of Compiler Design
Aho and Ullman
1978

Assemblers, Compilers, and Program Translation
Peter Calingaert
1979

___________________________________________________________

				MISC

Object Oriented Programming
An Evolutionatry Approach
Brad J. Cox, 1986

A UNIX Primer,
Ann Nicols Lomuto
NIco Lomuto1983

Understanding UNIX
Groff Weinberg
1988 

Mastering McDraw
Gorden MbComb, 1987
$5

Software Engineering
Martin L. Shooman
1983

Flow Analysis of Computer Programs
Matthew S. Hecht
1977

Logic Design of Digital Systems
Donald L. Dietmeyer
1978, 2nd Ed

Principles of Database Systems
Jeffrey D. Ullman
1980

Structured Programming
Dahl, Dijkstra, Hoare
1972

Systems Programming: Concepts of Operating and Database Systems
David K. Hsiao
1975

Selected Writings on Computing: a Personal Perspective
Edsger W. Dijkstra
Springer-Verlag (silver series), 1981

Systematic Programming: An Introduction
Niklaus Wirth
1973

Algorithms + Data Structures = Programs
Niklaus Wirth
1976

Educational Logic as a Programming Language
Michael J. ODonnell
MIT Press 
1985

Structured Walkthroughs
Edward Yourdon
2nd Ed. 1979

Writings of the Revolution: Selected Readings on Software 
Engineering
Edward Yourdon (Ed)
1982

Managing Structured Techniques(2)
Edward Yourdon
2nd Ed.,1979

Techniques of Program Structure and Design
Edward Yourdon
1975

Operating System Principles
Per Brinch Hansen
1973

Structured Computer Organization
Andrew W. Tanenbaum
1976

Concepts and Methods in Discrete Event Digital Simulation
George Fishman
1973

The Logical Design of Operating Systems
Alan C. Shaw
1974

Operating Systems: A Systematic View
William S. Davis
1977

The Program Development Process
Joel D. Aron
1974

Structured Information Files
Richard A. Kaimann
1973

Software People: Inside the Computer Business
Douglas G. Carlston (PB)
1985

Pascal User Manual and Report
Jensen/Wirth
1974

Society of Mind
Marvin Minsky

Human Interaction with Computers
Smith and Green (Eds)
1980

Principles of Human-Computer Interaction
Andrew Monk (ed)
1985 PB

Selected Papers on Human Factors in the Design and Use of Control 
Systems
Wallace Sinaiko (Ed)
1961

The Human Factor: Designing Computer Systems for People
Rubinstein/Hersh
1984

Technostress: The Human Cost of the Computer Revolution
Craig Brod
1984

Controlling Automated Manufacturing Systems
PJ OGrady
1986

Computer Integrated Manufacturing
Paul G. Ranky
1986

Synchronization of Parallel Programs
Andre/Herman/Verjus
1985

Formal Specification of Programming Languages
Frank G. Pagan
1981

Software Engineering Concepts
Richard Fairley
1985 PB
$1

Strategic Value Analysis: A Modern Approach to Systems and 
Data Planning
Robert M. Curtice
1987

Creativity as an Exact Science
G. S. Altshuller
1984

Chaos, Fractals, and Dynamics
Fischer and Smith (Eds)
1985 PB

High Tech Espionage
Jay Tuck
1986

Software Engineering: A Practitioner's Approach
Roger S. Pressman
1982

Principles of Productive Software Management
Evans/Piazza/Dolkas
1983

The Psychology of Computer Programming
Gerald M. Weinberg
1971

Top-Down STructured Programming Techniques
McGowan and Kelly
1976

Managing the Systems Development Function
Robert O. Peterson
1987

Managing a Programming Project
Philip W. Metzger
1981

The Information Society as Post Industrial Society
Yoneji Masuda
1980 PB
$1

Managing Research and Development
John E. Gibson
1981

Controlling Software Projects
Tom DeMarco 
1982 PB
$1

The IBM Way
Buck Rodgers
1986

Odyssey; Pepsi to Apple
John Sculley
1987

Essential Systems Analysis
McMenamin and Palmer
1984 PB
$1

Quality Assurance for Computer Software
Robert Dunn and Richard Ullman
1982

The Sun Never Sets on IBM
Nancy Foy
1973

Binary Arithmetic and Boolean Algebra
Angelo Gillie
1965

Structured Analysis and Design of Information Systems
A. Ziya Aktas
1987

A Structured Approach to Computer Strategy
John Jeffrey Eastlake
1987

Project/Matrix Management Policy and Strategy
Kerzner and Cleland
1984

The Art of Software Testing
Glenford J. Myers
1979

Software Reliability
Glenford J. Myers
1976

The architecture of Concurrent Programs
Per Brinch Hansen
1977

Solid Modeling by Computers
Mary Pickett and John Boyse (eds)
1985

Design of Real-Time Computer Systems
James Martin
1967

Logical Construction of Programs
Jean Dominique Warnier
1974

Supercomputers of Today and Tomorrow
Richard A. Jenkins
1986


Software System Testing and Quality Assurance
Boris Beizer
1984

Software Development and Management for Microprocessor-Based 
Systems
Tomlinson G. Rauscher and Linda M. Ott
1987

CAD: Computational Concepts and Methods
Glen Mullineux
1986

Systems Design and Documentation
Harry Katzan, Jr.
1976

Operating Systems
Tsichritzis and Bernstein
1974

Formal Language Theory
Ronald V. Book (editor)
1980

Programing in Prolog
W.F. Clocksin and C.S. Mellish
1981

Robert M. Glorioso
Ferando C. Colon Osorio
Endineering Intelligent System
1980

Automatic Testing and Evaluation 
of Digital Integrated Circuits
James T. Healy
1981

Introduction to Operations Research
Frederick S. Hiller
Gerald J. Lieberman
1967

The Programer's Book of Rules
V. Ledin 
G. Ledin Jr.
1979

Modern Project Management
Claude W. Burrill
1980