%A Ronald F. Ayres
%T VLSI: silicon compilation and the art of automatic microchip design
%I Prentice-Hall
%C Englewood Cliffs, New Jersey
%K book
%D 1983
%P 481

%A Maurice J. Bach
%T The design of the Unix operating system
%S Prentice-Hall Software Series
%I Prentice-Hall
%C Englewood Cliffs, New Jersey
%K book
%D 1986
%P 471
%K System V

%A Kate Behan
%A Diana Holmes
%T Understanding information technology
%I Prentice-Hall
%C Englewood Cliffs, New Jersey
%K book
%D February 1985
%P 493

%A M. Ben-Ari
%T Principles of concurrent programming
%I Prentice-Hall International
%C London
%K book
%D 1982
%P 172

%A Dimitri Bertsekas
%A Robert Gallager
%T Data networks
%I Prentice-Hall International
%C London
%K book
%D 1987
%O 486

%A Uyless Black
%T computer networks: protocols, standards, and interfaces
%I Prentice-Hall
%C Englewood Cliffs, New Jersey
%K book
%D 1987
%P 451

%A Leo Brodie
%T Starting FORTH
%I Prentice-Hall
%C Englewood Cliffs, New Jersey
%K book
%D 1981
%P 348
%K threaded interpretive languages

%A B.A. Bowen
%A W.R. Brown
%T VLSI systems design for digital signal processing
%I Prentice-Hall
%C Englewood Cliffs, New Jersey
%K book
%D 1982
%P 304

%A Peter Calingaert
%T Operating systems elements: a user perspective
%I Prentice-Hall
%C Englewood Cliffs, New Jersey
%K book
%D 1982
%P 240

%A Douglas Comer
%T Operating system design: the XINU approach
%I Prentice-Hall
%C Englewood Cliffs, New Jersey
%K book
%D 1984
%P 474
%K Unix

%A Douglas Comer
%T Operating system design - volume II: internetworking with Xinu
%I Prentice-Hall
%C Englewood Cliffs, New Jersey
%K book
%D 1987
%P 567
%K Unix, network

%A Ian Davies
%T End-user's guide to Focus
%I Prentice-Hall
%C Englewood Cliffs, New Jersey
%K book
%D February 1987
%P 300

%A Neil A.B. Gray
%T Introduction to computer systems
%I Prentice-Hall
%C Englewood Cliffs, New Jersey
%K book
%D January 1987
%P 412

%A Per Brinch\ Hansen
%T Operating systems principles
%S Prentice-Hall Series in Automatic Computation
%I Prentice-Hall
%C Englewood Cliffs, New Jersey
%K book
%D 1973
%P 366

%A Malcolm Haskard
%A Ian May
%T Analog VLSI design: nMOS and CMOS
%I Prentice-Hall
%C Englewood Cliffs, New Jersey
%K book
%D ?
%P ?

%A Peter Henderson
%T Functional programming: application and implementation
%S Prentice-Hall International Series on Computer Science
%I Prentice-Hall International
%C London
%K book
%D 1980
%P 355
%K LISP, Lispkit

%E C.A.R. Hoare
%E J.C. Shepherdson
%T Mathematical logic and programming languages
%I Prentice-Hall
%C Englewood Cliffs, New Jersey
%K book
%P 187
%D 1984
%K logic programming, functional programming, program verification
%X A series of papers on current topics in theoretical computer science
derived from a series of invited lectures to the Royal Society

%A Trevor Housley
%T Data communications and teleprocessing systems
%I Prentice-Hall International
%C London
%K book
%D 1987
%K 474

%A J.K. Iliffe
%T Advanced computer design
%I Prentice-Hall International
%C London
%K book
%P 1982
%P 469

%A W.H. Inmon
%A Thomas J. Bird,\ Jr.
%T The dynamics of database
%I Prentice-Hall
%C Englewood Cliffs, New Jersey
%K book
%D 1986
%P 395

%A Peter Juliff
%T Program design
%I Prentice-Hall
%C Englewood Cliffs, New Jersey
%K book
%D December 1986
%P 308

%A Brian W. Kernighan
%A Dennis M. Ritchie
%T The C programming language
%S Prentice-Hall Software Series
%I Prentice-Hall
%C Englewood Cliffs, New Jersey
%K book
%D 1978
%P 228

%A Brian W. Kernighan
%A Rob Pike
%T The Unix programming environment
%I Prentice-Hall
%C Englewood Cliffs, New Jersey
%K book
%D 1984

%A Robert L. Kruse
%T Data structures and program design
%I Prentice-Hall International
%C London
%K book
%D 1984
%P 486

%A Franklin F. Kuo
%T Protocols and techniques for data communications networks
%S Prentice-Hall Computer Applications in Electrical Engineering Series
%I Prentice-Hall
%C Englewood Cliffs, New Jersey
%K book
%D 1981
%P 468

%A Ann Nicols Lomuto
%A Nico Lomuto
%T A Unix primer
%I Prentice-Hall
%C Englewood Cliffs, New Jersey
%K book
%D 1983

%A M. Morris Mano
%T Computer system architecture
%I Prentice-Hall
%C Englewood Cliffs, New Jersey
%K book
%D 1982
%P 531

%A James Martin
%A Adrian R.D. Norman
%T The computerized society: an appraisal
of the impact of computers on society over the next fifteen years
%I Prentice-Hall
%C Englewood Cliffs, New Jersey
%K book
%D 1970

%A William M. McKeeman
%A James J. Horning
%A David B. Wortman
%T A compiler generator
%S Prentice-Hall Series in Automatic Computation
%I Prentice-Hall
%C Englewood Cliffs, New Jersey
%K book
%D 1970
%P 527
%K XPL

%A Amar Mukherjee
%T Introduction to nMOS & CMOS VLSI systems design
%I Prentice-Hall
%C Englewood Cliffs, New Jersey
%K book
%D 1986
%P 370

%A Wayne Muller
%T Programming using VAX Basic
%I Prentice-Hall
%C Englewood Cliffs, New Jersey
%K book
%D October 1985
%P 312

%A Frank G. Pagan
%T Formal specification of programming languages:
A Panoramic Primer
%I Prentice-Hall
%C Englewood Cliffs, New Jersey
%K book
%D 1981
%P 245
%K syntax, backus-naur form, BNF, two-level grammars, attribute grammars
%K semantics operational denotational axiomatic

%A James L. Peterson
%T Petri net theory and the modeling of systems
%I Prentice-Hall
%C Englewood Cliffs, New Jersey
%K book
%D 1981
%P 290
%K language description

%A Douglas A. Pucknell
%A Kamram Eshragian
%T Basic VLSI design: systems and circuits
%D ?
%P ?

%A Douglas A. Pucknell
%A Kamram Eshragian
%T Basic VLSI design: principles and applications
%I Prentice-Hall
%C Englewood Cliffs, New Jersey
%K book
%D 1985
%P 310

%A Ian C. Pyle
%T The Ada programming language
%I Prentice-Hall International
%C London
%K book
%D 1981
%P 293
%K language description

%A Marc J. Rochkind
%T Advanced Unix programming
%I PRHALL-SS
%D 1985
%P 265

%A Axel T. Schreiner
%A H. George Friedman,\ Jr.
%T Introduction to compiler construction with Unix
%I Prentice-Hall
%C Englewood Cliffs, New Jersey
%K book
%D 1985
%P 194
%K yacc lex

%A Alan C. Shaw
%T The logical design of operating systems
%I Prentice-Hall
%C Englewood Cliffs, New Jersey
%K book
%D 1974
%P 306

%A B.W. Stuck
%A E. Arthurs
%T A computer and communications network performance analysis primer
%I PRHALL-SS
%D 1985
%P 593

%A Andrew S. Tanenbaum
%T Operating systems: design and implementation
%S Prentice-Hall Software Series
%I Prentice-Hall
%C Englewood Cliffs, New Jersey
%K book
%D 1987
%P 719
%K Minix

%A Andrew S. Tanenbaum
%T Computer networks
%S Prentice-Hall Software Series
%I Prentice-Hall
%C Englewood Cliffs, New Jersey
%K book
%D 1981
%P 517
%K network architectures, network topology, ISO reference model
layer physical data link network transport session presentation

%A Aaron M. Tenenbaum
%A Moshe J. Augenstein
%T Data structures using Pascal
%S Prentice-Hall Software Series
%I Prentice-Hall
%C Englewood Cliffs, New Jersey
%K book
%D 1981
%P 545

%A Jim Welsh
%A John Elder
%T Introduction to Pascal
%S PRHALL-computer science
%D 1979
%P 282

%A Jim Welsh
%A Michael McKeag
%T Structured system programming
%S Prentice-Hall International Series on Computer Science
%I Prentice-Hall International
%C London
%K book
%D 1980
%P 324

%A Neil Weste
%A Kamran Eshraghian
%T Principles of CMOS VLSI design: a systems perspective
%D 1985
%P 531

%A Michael Wise
%T Prolog multiprocessors
%I Prentice-Hall
%C Englewood Cliffs, New Jersey
%K book
%D December 1986
%P 168
%K Epilog

%A Larry Wos
%A Ross Overbeek
%A Ewing Lusk
%A Jim Boyle
%T Automated reasoning: introduction and applications
%I Prentice-Hall
%C Englewood Cliffs, New Jersey
%K book
%D 1984
%P 482
%K automatic theorem proving, artificial intelligence, logic programming

%A Chao-Chih Yang
%T Relational databases
%I Prentice-Hall
%C Englewood Cliffs, New Jersey
%K book
%D 1986
%P 269

%A Edward Yourdon
%T Design of on-line computer systems
%I Prentice-Hall
%C Englewood Cliffs, New Jersey
%K book
%D 1972
%P 608